default search action
42nd ISMVL 2012: Victoria, BC, Canada
- D. Michael Miller, Vincent C. Gaudet:
42nd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2012, Victoria, BC, Canada, May 14-16, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-0908-0
Wireline and Clocking
- Mostafa Rashdan
, James W. Haslett, Brent Maundy:
Multiple-Valued Time-Based Architecture for Serial Communication Links. 1-6 - Yasushi Yuminaka, Masaaki Okui:
Efficient Data Transmission Using Multiple-Valued Pulse-Position Modulation. 7-12 - Atsushi Matsumoto, Naoya Onizawa, Takahiro Hanyu:
Systematic Coding Schemes for Low-Power Multiple-Valued Current-Mode Asynchronous Communication Links. 13-18 - Rohit P. Menon, Mitchell A. Thornton
Global Multiple-Valued Clock Approach for High- Performance Multi-phase Clock Integrated Circuits. 19-24
SAT
- Carlos Ansótegui
Building Automated Theorem Provers for Infinitely-Valued Logics with Satisfiability Modulo Theory Solvers. 25-30 - Cong Wang, Andrei A. Bulatov:
Greedy Algorithms, Ordering of Variables, and d-degenerate Instances. 31-36 - Bernd Steinbach, Christian Posthoff:
Extremely Complex 4-Colored Rectangle-Free Grids: Solution of Open Multiple-Valued Problems. 37-44 - Terrance Sun, Lawrence Sun, Marek A. Perkowski:
Using Formal Verification and Robotic Evolution Techniques to Find Contradictions in Laws Concerning Police Rules of Engagement. 45-49
Quantum Circuits
- Edison Tsai, Marek A. Perkowski:
Synthesis of Permutative Quantum Circuits with Toffoli and TISC Gates. 50-56 - Sidharth Dhawan, Marek A. Perkowski:
ESOP-Inspired Synthesis Method for Ternary Permutative Quantum Circuits. 57-62 - Maher Hawash, Marek A. Perkowski:
Using Hasse Diagrams to Synthesize Ternary Quantum Circuits. 63-68 - Robert Wille
Exact Synthesis of Toffoli Gate Circuits with Negative Control Lines. 69-74
Algebra and Logic
- Sándor Jenei, Franco Montagna:
Two new classification theorems on residuated monoids. 75-78 - Ori Lahav
Non-deterministic Matrices for Semi-canonical Deduction Systems. 79-84 - Michiro Kondo, Mayuka F. Kawaguchi:
Modal Operators on Non-commutative Residuated Lattices. 85-88 - Michiro Kondo, Esko Turunen
Prime Filters on Residuated Lattices. 89-91
Arithmetic Circuits
- Naoya Onizawa, Vincent C. Gaudet
Asynchronous Stochastic Decoding of Low-Density Parity-Check Codes. 92-97 - Shoun Matsunaga, Takahiro Hanyu:
Quaternary 1T-2MTJ Cell Circuit for a High-Density and a High-Throughput Nonvolatile Bit-Serial CAM. 98-103 - Shogo Kisara, Michitaka Kameyama:
Unified Current-Source Control for Low-Power Current-Mode-Logic Bit-Serial Circuits. 104-109 - Naofumi Homma, Kazuya Saito, Takafumi Aoki:
Formal Design of Multiple-Valued Arithmetic Algorithms over Galois Fields and Its Application to Cryptographic Processor. 110-115 - Babak Zamanlooy, Ashley Novak, Mitra Mirhassani:
Complexity Study of the Continuous Valued Number System Adders. 116-121
Decision Diagrams
- Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler:
Analysis of Multi-state Systems with Multi-state Components Using EVMDDs. 122-127 - Elena Dubrova, Shohreh Sharif Mansouri:
A BDD-Based Approach to Constructing LFSRs for Parallel CRC Encoding. 128-133 - Stanislav Stankovic, Radomir S. Stankovic, Jaakko Astola
Remarks on Shapes of Decision Diagrams and Classes of Multiple-Valued Functions. 134-141 - Milena Stankovic, Suzana Stojkovic, Radomir S. Stankovic:
Representation of Incompletely Specified Binary and Multiple-Valued Logic Functions by Compact Decision Diagrams. 142-147 - Hiroki Nakahara
Multi-terminal Multi-valued Decision Diagrams for Characteristic Function Representing Cluster Decomposition. 148-153
Invited Address I
- Michele Mosca:
Quantum Computing, Cryptography and Compilers. 154-156
Quantum Circuits
- Ben Schaeffer, Marek A. Perkowski:
Linear Reversible Circuit Synthesis in the Linear Nearest-Neighbor Model. 157-160 - Md. Mazder Rahman, Gerhard W. Dueck:
Optimal Quantum Circuits of Three Qubits. 161-166 - Alexis De Vos, Stijn De Baerdemacker
The Roots of the NOT Gate. 167-172 - Mathias Soeken
Optimizing the Mapping of Reversible Circuits to Four-Valued Quantum Gate Circuits. 173-178
Switching Theory
- Dan A. Simovici, Marius Zimand, Dan Pletea:
Several Remarks on Index Generation Functions. 179-184 - Tsutomu Sasao:
Multiple-Valued Input Index Generation Functions: Optimization by Linear Transformation. 185-190 - Yoshinori Yamamoto:
Banzhaf Index and Boolean Difference. 191-196 - Blanca Fernanda López Martinolich:
Gröbner Bases over Cyclic Post Algebras. 197-202
Mixed-Signal Design
- Hiroaki Kotani, Ryoto Yaguchi, Takao Waho:
Energy Efficiency of Multi-bit delta-sigma Modulators Using Inverter-based Integrators. 203-207 - Xu Bai, Michitaka Kameyama:
Current-Source-Sharing Differential-Pair Circuits for a Low-Power Fine-Grain Reconfigurable VLSI Architecture. 208-213 - Masanori Natsui
Process-Variation-Resilient OTA Using MTJ-based Multi-level Resistance Control. 214-219
Exploring New Roads
- Claudio Moraga:
Mosaics, Fermat, Walsh (Aller guten Dinge sind drei). 220-225 - Alejandro Veloz, Rodrigo Salas
SIFAR: Self-Identification of Lags of an Autoregressive TSK-based Model. 226-231 - Spyros Hadjichristodoulou, David Scott Warren:
Probabilistic Logic Programming with Well-Founded Negation. 232-237
Biomedical/Sensors
- Majid Janidarmian, Zeljko Zilic, Katarzyna Radecka:
Issues in Multi-valued Multi-modal Sensor Fusion. 238-243 - Theodore W. Manikas
Modeling Medical System Threats with Conditional Probabilities Using Multiple-Valued Logic Decision Diagrams. 244-249 - Farinoush Saffar, Mitra Mirhassani, Majid Ahmadi:
A Fault-Tolerant Area-Efficient Current-Mode ADC for Multiple-Valued Neural Networks. 250-255
Clones
- Jelena Colic, Hajime Machida, Jovanka Pantovic
Clones of Incompletely Specified Operations. 256-261 - Miguel Couceiro
Hierarchies of Local Monotonicities and Lattice Derivatives for Boolean and Pseudo-Boolean Functions. 262-267 - Miguel Couceiro
GAP vs. PAG. 268-273
Special Session to Honour Ivo G. Rosenberg
- Hajime Machida, Ivo G. Rosenberg:
Centralizing Monoids on a Three-Element Set. 274-280 - Dmitry Zhuk:
The Cardinality of the Set of All Clones Containing a Given Minimal Clone. 281-286 - Miguel Couceiro
A Survey on Intersections of Maximal Partial Clones of Boolean Partial Functions. 287-292 - Christian Delhommé, Masahiro Miyakawa, Maurice Pouzet, Ivo G. Rosenberg, Hisayuki Tatsumi:
Semirigid Systems of Equivalence Relations. 293-298
Quantum Circuits
- Mathias Soeken
A Synthesis Flow for Sequential Reversible Circuits. 299-304 - David Y. Feinstein, Mitchell A. Thornton
Using the Asynchronous Paradigm for Reversible Sequential Circuit Implementation. 305-310 - Vamsi Parasa, Marek A. Perkowski:
Quantum Pseudo-Fractional Fourier Transform Using Multiple-Valued Logic. 311-314 - Noor M. Nayeem, Jacqueline E. Rice:
A New Approach to Online Testing of TGFSOP-based Ternary Toffoli Circuits. 315-321
Invited Address II
- Hajime Machida, Teruo Hikita:
Honouring Ivo G. Rosenberg: His Contributions to ISMVL. 322-330
Special Session to Honour Ivo G. Rosenberg
- Andrei A. Bulatov, Amir Hedayaty:
Counting Predicates, Subset Surjective Functions, and Counting CSPs. 331-336 - Josef Niederle, Jan Paseka
Triple Representation Theorem for Homogeneous Effect Algebras. 337-342 - Benoît Larose, Adrien Lemaître:
List-Homomorphism Problems on Graphs and Arc Consistency. 343-348 - Ágnes Szendrei
Rosenberg-Type Completeness Criteria for Subclones of Slupecki's Clone. 349-354 - Sebastian Kerkhoff:
On the Generation of (Minimal) Clones Containing Near-Unanimity Operations. 355-360
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-18 20:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: