- High-Strength, Self-Sensing Multiphase Hydrogels for Load-Bearing Actuation and Logical Human–Machine Interaction
2026/07/23 by Zhilin Zhang, Jiayi Gu, Lina Wang +10 · 1 voice
Engineering · Biochemistry, Genetics and Molecular Biology · #Advanced Materials and Mechanics #Hydrogels: synthesis, properties, applications #Advanced Sensor and Energy Harvesting Materials #Self-healing hydrogels #Actuator #Artificial muscle #Grippers #Electronics #Cascade #Logic gate #Binary number
- Planar Fault-Tolerant Circuits for Non-Clifford Gates on the 2D Color Code
2025/05/08 by Andreas Bauer, Bauer, Andreas, Julio C. Magdalena de la Fuente +2 · 5 citations
Computer Science · Physics and Astronomy · #Code (set theory) #Decoding methods #Electronic circuit #Integrated circuit #Interconnection Networks and Systems #Logic gate #NOR logic #Path (computing) #Planar #Quantum Computing Algorithms and Architecture #Quantum many-body systems #Quantum-Dot Cellular Automata #Representation (politics) #Topology (electrical circuits) #Traverse #Truth table
- Countering the Path Explosion Problem in the Symbolic Execution of Hardware Designs
2023/04/11 by Kaki Ryan, Ryan, Kaki, Cynthia Sturton +1 · 3 citations
Computer Science · Engineering · #Algorithm #Computer science #Datapath #Embedded system #Field-programmable gate array #Formal Methods in Verification #Logic gate #Logic synthesis #Model checking #Modular design #Netlist #Parallel computing #Path (computing) #Programming language #Radiation Effects in Electronics #Register-transfer level #Software #Symbolic execution #VLSI and Analog Circuit Testing #Verilog
- Space-efficient quantum multiplication of polynomials for binary finite fields with sub-quadratic Toffoli gate count
2019/10/07 by Iggy van Hoof, van Hoof, Iggy · 1 citation
Computer Science · Mathematics · Social Sciences · #Algorithm #Arithmetic #Coding theory and cryptography #Combinatorics #Computational Complexity (cs.CC) #Computer science #Controlled NOT gate #Cryptography and Residue Arithmetic #Discrete mathematics #Educational Curriculum and Learning Methods #FOS: Computer and information sciences #FOS: Physical sciences #Finite field #Gate count #Logic gate #Mathematics #Modulo #Multiplication (music) #Physics #Polynomial #Polynomial and algebraic computation #Quantum #Quantum Computing Algorithms and Architecture #Quantum Physics (quant-ph) #Quantum gate #Quantum mechanics #Qubit #Toffoli gate #XOR gate
- Ternary circuits: why R=3 is not the Optimal Radix for Computation
2019/08/19 by Daniel Etiemble, Etiemble, Daniel · 1 voice
Computer Science · Engineering · Mathematics · #Adder #Advancements in Semiconductor Devices and Circuit Design #Algorithm #Arithmetic #Binary number #CMOS #Computation #Computer science #Electrical engineering #Electronic circuit #Electronic engineering #Engineering #Logic gate #Low-power high-performance VLSI design #Mathematics #NAND gate #Ternary operation #Transistor #VLSI and FPGA Design Techniques #Voltage #cs.AR
- Reliability of Solid-State Drives Based on NAND Flash Memory
2017/08/01 by Neal R. Mielke, Neal Mielke, Robert E. Frickey +6 · 1 citation
Computer Science · Engineering · #Advanced Data Storage Technologies #Computer hardware #Computer science #Embedded system #Engineering #Firmware #Logic gate #NAND gate #Power (physics) #Reliability (semiconductor) #Reliability engineering #Semiconductor materials and devices #Silicon Carbide Semiconductor Technologies
- Deep Gate Recurrent Neural Network
2016/04/11 by Yuan Gao, Gao, Yuan, Dorota Glowacka +2 · 1 voice · 3 citations
Computer Science · Engineering · Mathematics · #Algorithm #Artificial intelligence #Artificial neural network #Computation #Computer science #Deep learning #Dependency (UML) #Ferroelectric and Negative Capacitance Devices #Graph #Information flow #Logic gate #Long short term memory #Mathematics #Multiplicative function #Neural Networks and Applications #Recurrent neural network #Sequence (biology) #Simple (philosophy) #Stochastic Gradient Optimization Techniques #Theoretical computer science #cs.NE
- XNOR-Net: ImageNet Classification Using Binary Convolutional Neural\n Networks
2016/03/16 by Mohammad Rastegari, Vicente Ordóñez, Rastegari, Mohammad +6 · 1 voice · 120 citations
Computer Science · Mathematics · #Advanced Image and Video Retrieval Techniques #Advanced Neural Network Applications #Algorithm #Arithmetic #Artificial intelligence #Artificial neural network #Binary classification #Binary number #Computer science #Convolutional neural network #Domain Adaptation and Few-Shot Learning #Logic gate #Mathematics #Pattern recognition (psychology) #Support vector machine #XNOR gate #cs.CV
- Model Checking of UML Activity Diagrams in Logic Controllers Design
2014/01/01 by Iwona Grobelna, Michał Grobelny, Marian Adamski · 1 citation
Computer Science · Engineering · #Activity diagram #Algorithm #Applications of UML #Computer science #Formal Methods in Verification #Function block diagram #Logic gate #Model checking #Model-Driven Software Engineering Techniques #Programming language #Safety Systems Engineering in Autonomy #Software #Temporal logic #UML tool #Unified Modeling Language
- Fault Analysis-Based Logic Encryption
2013/10/01 by Jeyavijayan Rajendran, Huan Zhang, Chi Zhang +4 · 14 citations
Computer Science · Engineering · #Algorithm #Computer engineering #Computer hardware #Computer network #Computer science #Computer security #Cryptographic Implementations and Security #Cryptography #Embedded system #Encryption #Hamming distance #Integrated Circuits and Semiconductor Failure Analysis #Key (lock) #Logic gate #Physical Unclonable Functions (PUFs) and Hardware Security #Sequential logic
- Ultralow-Power Design in Near-Threshold Region
2010/01/26 by D. Markovic, Dejan Marković, C.C. Wang +5 · 1 citation
Engineering · #Advancements in Semiconductor Devices and Circuit Design #Analog and Mixed-Signal Circuit Design #CMOS #Computer science #Electrical engineering #Electronic engineering #Energy (signal processing) #Engineering #Inversion (geology) #Leakage (economics) #Logic gate #Low-power high-performance VLSI design #Multiplexer #Multiplexing #Physics #Sizing #Subthreshold conduction #Telecommunications #Threshold voltage #Transistor #Voltage
- Страховой интерес как категория страхового права
2007/09/01 by Lei Wang, Baowen Li, Вакулина Галина Анатольевна · 1 citation
Engineering · Materials Science · Physics and Astronomy · Social Sciences · #Actuarial science #Advancements in Semiconductor Devices and Circuit Design #Algorithm #Business #Computation #Computer science #Digital electronics #Electronic circuit #General insurance #Graphene research and applications #Insurability #Insurance law #Insurance policy #Legal and Regulatory Analysis #Logic gate #Nonlinear system #Pass transistor logic #Philosophy #Phonon #Physics #Property (philosophy) #Quantum mechanics #Thermal #Thermal properties of materials #Thermodynamics #cond-mat.mtrl-sci #cond-mat.stat-mech
- Optimum Gate Ordering of CMOS Logic Gates using Euler Path Approach: Some Insights and Explanations
2006/07/12 by Kuntal Roy · 1 citation
Engineering · Computer Science · Mathematics · #VLSI and FPGA Design Techniques #Low-power high-performance VLSI design #VLSI and Analog Circuit Testing #NMOS logic #PMOS logic #Path (computing) #Computer science #CMOS #Minification #Logic gate #Algorithm #Euler's formula #Sequence (biology) #Topology (electrical circuits) #Mathematics #Electronic engineering #Electrical engineering #Transistor #Engineering #Computer network #Combinatorics
- Concurrency and Hardware Design
2002/01/01 by Jordi Cortadella, Alex Yakovlev, Grzegorz Rozenberg · 1 citation
Computer Science · #Algorithm #Asynchronous circuit #Asynchronous communication #Asynchronous system #Circuit design #Computer architecture #Computer hardware #Computer network #Computer science #Concurrency #Distributed computing #Embedded Systems Design Techniques #Embedded system #Jitter #Logic gate #Logic synthesis #Parallel Computing and Optimization Techniques #Parallel computing #Petri Nets in System Modeling #Petri net #Programming language #Synchronous circuit
- FinFET-a self-aligned double-gate MOSFET scalable to 20 nm
2000/01/01 by Chenming Hu, J. Bokor, Jeffrey Bokor +13 · 32 citations
Engineering · #Advancements in Semiconductor Devices and Circuit Design #Computer science #Double gate #Electrical engineering #Electronic engineering #Engineering #Logic gate #MOSFET #Materials science #Optoelectronics #Planar #Semiconductor materials and devices #Short-channel effect #Silicon Carbide Semiconductor Technologies #Threshold voltage #Transistor #Voltage
- Test set compaction algorithms for combinational circuits
1998/01/01 by İlker Hamzaoğlu, J.H. Patel · 2 citations
Computer Science · Engineering · #VLSI and Analog Circuit Testing #Low-power high-performance VLSI design #Integrated Circuits and Semiconductor Failure Analysis #Computer science #Algorithm #Citation #Combinational logic #Test (biology) #Center (category theory) #Research center #Library science #Logic gate
- Single-chip interpolating time counter with 200-ps resolution and 43-s range
1997/01/01 by J. Kalisz, R. Szplet, R. Pełka +1 · 1 citation
Physics and Astronomy · Engineering · #Advanced Frequency and Time Standards #Advancements in PLL and VCO Technologies #Advanced Electrical Measurement Techniques #Least significant bit #Field-programmable gate array #Chip #Gate array #Computer science #Time-to-digital converter #Converters #Electronic engineering #Resolution (logic) #Differential nonlinearity #Computer hardware #Logic gate #System on a chip #Electronic circuit #Voltage #Engineering #Electrical engineering #Embedded system #Clock signal #Telecommunications
- A universal two-bit gate for quantum computation
1995/05/24 by A. Barenco, Adriano Barenco · 2 citations
Computer Science · Mathematics · Physics and Astronomy · #Algorithm #Arithmetic #Bit (key) #Class (philosophy) #Combinatorics #Computation #Computer science #Controlled NOT gate #Logic gate #Mathematics #Physics #Quantum #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum computer #Quantum gate #Quantum mechanics #Quantum-Dot Cellular Automata #Toffoli gate #Topology (electrical circuits) #quant-ph
- Improved performance of IBM Enterprise System/9000 bipolar logic chips
1992/09/01 by A. E. Barish, J.P. Eckhardt, M. Mayo +2 · 1 citation
Engineering · #Low-power high-performance VLSI design #Advancements in Semiconductor Devices and Circuit Design #Analog and Mixed-Signal Circuit Design #Emitter-coupled logic #Resistor–transistor logic #IBM #Logic family #Electronic circuit #Logic gate #Modular design #Chip #Pass transistor logic #Electrical engineering #Computer science #Electronic engineering #Computer hardware #Engineering #Logic synthesis #Materials science #Digital electronics #Operating system
- Low-power CMOS digital design
1992/04/01 by A.P. Chandrakasan, Anantha P. Chandrakasan, S. Sheng +2 · 21 citations
Computer Science · Engineering · #Analog and Mixed-Signal Circuit Design #CMOS #Computation #Computer science #Digital electronics #Dynamic voltage scaling #Electrical engineering #Electronic circuit #Electronic engineering #Engineering #Logic gate #Low-power electronics #Low-power high-performance VLSI design #Parallel Computing and Optimization Techniques #Power (physics) #Power consumption #Scaling #Telecommunications #Throughput #Voltage #Wireless
- Differential current switch—High performance at low power
1991/05/01 by E. B. Eichelberger, Stephen E. Bello · 2 citations
Engineering · #Analog and Mixed-Signal Circuit Design #Low-power high-performance VLSI design #Advancements in Semiconductor Devices and Circuit Design #Emitter-coupled logic #Logic family #Resistor–transistor logic #Logic gate #Cascode #Diode–transistor logic #Pass transistor logic #Logic level #Computer science #Differential (mechanical device) #Electronic circuit #Electrical engineering #Set (abstract data type) #Electronic engineering #Engineering #Logic synthesis #Digital electronics #Transistor #Voltage #Programming language
- A methodology for hardware verification based on logic simulation
1991/04/01 by Randal E. Bryant · 2 citations
Computer Science · #Algorithm #Computer engineering #Computer science #Correctness #Digital electronics #Electrical engineering #Electronic circuit #Embedded Systems Design Techniques #Formal Methods in Verification #Formal verification #Functional verification #High-level verification #Logic gate #Logic simulation #Logic synthesis #Logic, programming, and type systems #Programming language #Register-transfer level #Sequential logic #Software #Theoretical computer science
- A high speed bulk CMOS C2L microprocessor
1977/01/01 by A. Dingwall, R. Stricker, J. Sinniger · 1 citation
Engineering · Computer Science · #Advancements in Semiconductor Devices and Circuit Design #Semiconductor materials and devices #VLSI and Analog Circuit Testing #CMOS #Microprocessor #Silicon #Logic gate #Integrated injection logic #Simplicity #Silicon on sapphire #Electronic engineering #Pass transistor logic #Computer science #Electrical engineering #Optoelectronics #Materials science #Engineering #Electronic circuit #Physics #Silicon on insulator #Digital electronics