default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID41st ISMVL 2011: Tuusula, Finland
- Jaakko Astola, Radomir S. Stankovic:
41st IEEE International Symposium on Multiple-Valued Logic, ISMVL 2011, Tuusula, Finland, May 23-25, 2011. IEEE Computer Society 2011, ISBN 978-0-7695-4405-2
Invited Talk 1
- Tsutomu Sasao:
Index Generation Functions: Recent Developments. 1-9
Logic Design and Switching Theory
- Anna Bernasconi
, Valentina Ciriani:
Autosymmetric Multiple-Valued Functions: Theory and Spectral Characterization. 10-15 - Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler:
Numeric Function Generators Using Piecewise Arithmetic Expressions. 16-21
Computer Arithmetic
- K. S. Vasundara Patel, K. S. Gurumurthy:
Design of High Performance Quaternary Adders. 22-26 - Kazuya Saito, Naofumi Homma, Takafumi Aoki:
A Graph-Based Approach to Designing Multiple-Valued Arithmetic Algorithms. 27-32
Logic Design and Switching Theory
- Takako Soma, Takashi Soma:
Classification of Ternary Logic Functions by Self-Dual Equivalence Classes. 33-37 - Helena Astola, Stanislav Stankovic, Jaakko Astola:
Error-Correcting Decision Diagrams for Multiple-Valued Functions. 38-43
Computer Arithmetic
- Seiki Akama, Yasunori Nagata:
A Three-Valued Approach to the Master Argument. 44-49 - Michiro Kondo:
Some Types of Filters in Hoops. 50-53
Spectral Transforms
- Radomir S. Stankovic, Jaakko Astola, Claudio Moraga:
Multiple-Valued Logic Networks with Regular Structure Obtained from Fast Fourier Transforms on Finite Groups. 54-61 - Stanislav Stankovic, Milena Stankovic, Jaakko Astola:
Representation of Multiple-Valued Bent Functions Using Vilenkin-Chrestenson Decision Diagrams. 62-68
Philosophical Aspects / Mathematical Fuzzy Logic
- Michiro Kondo, Mayuka F. Kawaguchi, Masaaki Miyakoshi, Osamu Watari:
Weak Uninorm Based Logic and Its Filter Theory. 69-72 - Itziar García-Honrado, Enric Trillas:
Notes on the Exclusive Disjunction. 73-77
Tutorial Talk 1
- Rolf Drechsler, Robert Wille:
From Truth Tables to Programming Languages: Progress in the Design of Reversible Circuits. 78-85
Logic Design and Switching Theory
- Md. Mazder Rahman, Anindita Banerjee, Gerhard W. Dueck, Anirban Pathak:
Two-Qubit Quantum Gates to Reduce the Quantum Cost of Reversible Circuit. 86-92 - A. H. Tran, Svetlana N. Yanushkevich, Sergey Edward Lyshevski, Vlad P. Shmerko:
Fault Tolerant Computing Paradigm for Random Molecular Phenomena: Hopfield Gates and Logic Networks. 93-98
Circuit/Device Implementation
- Shoun Matsunaga, Akira Katsumata, Masanori Natsui, Takahiro Hanyu:
Design of a Low-Energy Nonvolatile Fully-Parallel Ternary CAM Using a Two-Level Segmented Match-Line Scheme. 99-104 - Chris Winstead, Yi Luo, Eduardo Monzon, Abiezer Tejeda:
An Error Correction Method for Binary and Multiple-Valued Logic. 105-110
Logic Design and Switching Theory
- Milena Stankovic, Suzana Stojkovic, Claudio Moraga:
Mapping Decision Diagrams for Multiple-Valued Logic Functions into Threshold Logic Networks. 111-116 - Radomir S. Stankovic, Helena Astola, Jaakko Astola:
Determining Minimized Galois Field Expressions for Ternary Functions. 117-124
Circuit/Device Implementation
- Hiroki Nakahara, Tsutomu Sasao, Munehiro Matsuura:
A Comparison of Heterogeneous Multi-valued Decision Diagram Machines for Multiple-Output Logic Functions. 125-130 - Martin Lukac, Ben Shuai, Michitaka Kameyama, D. Michael Miller:
Information-Preserving Logic Based on Logical Reversibility to Reduce the Memory Data Transfer Bottleneck and Heat Dissipation. 131-138
Invited Talk 2
- Ilkka Niemelä:
Answer Set Programming: A Declarative Approach to Solving Challenging Search Problems. 139-141
Quantum Circuits
- Ayan Kumar Biswas, Shuvro Chowdhury, Md. Mahmud Muntakim Khan, Masud Hasan, Asif Islam Khan:
Some Basic Ternary Operations Using Toffoli Gates Along with the Cost of Implementation. 142-146 - Sayeeda Sultana, Katarzyna Radecka:
Rev-Map: A Direct Gateway from Classical Irreversible Network to Reversible Network. 147-152
Algebra and Formal Aspects
- Hajime Machida, Ivo G. Rosenberg:
Maximal Centralizing Monoids and their Relation to Minimal Clones. 153-159 - Jelena Colic, Hajime Machida, Jovanka Pantovic:
Maximal Hyperclones Determined by Monotone Operations. 160-163
Quantum Circuits
- David Y. Feinstein, Mitchell A. Thornton:
On the Skipped Variables of Quantum Multiple-Valued Decision Diagrams. 164-169 - Robert Wille, Mathias Soeken, Daniel Große, Eleonora Schönborn, Rolf Drechsler:
Designing a RISC CPU in Reversible Logic. 170-175 - Sidharth Dhawan, Marek A. Perkowski:
Comparison of Influence of Two Data-Encoding Methods for Grover Algorithm on Quantum Costs. 176-181
Algebra and Formal Aspects
- Miguel Couceiro, Erkko Lehtonen, Tamás Waldhauser:
On Equational Definability of Function Classes. 182-186 - Karsten Schölzel:
Galois Theory for Partial Clones and Some Relational Clones. 187-192 - Dmitriy Zhuk:
The Lattice of the Clones of Self-Dual Functions in Three-Valued Logic. 193-197
Review Talk
- Radomir S. Stankovic, Jaakko Astola:
Contributions of Arto Salomaa to Multiple-Valued Logic. 198-204
Tutorial Talk 2
- Hajime Machida, Lucien Haddad, Jovanka Pantovic:
Invitation to Clone Theory with Partial Clones and Hyperclones. 205-212
Invited Talk 3
- Enric Trillas:
Note: Towards a Formalization of Guessing. 213-217
Quantum Circuits
- Sudhindu Bikash Mandal, Amlan Chakrabarti, Susmita Sur-Kolay:
Synthesis Techniques for Ternary Quantum Logic. 218-223 - Vamsi Parasa, Marek A. Perkowski:
Quantum Phase Estimation Using Multivalued Logic. 224-229
Communication Systems
- Carlos Ansótegui, Miquel Bofill, Felip Manyà, Mateu Villaret:
Extending Multiple-Valued Clausal Forms with Linear Integer Arithmetic. 230-235 - Atsushi Matsumoto, Naoya Onizawa, Takahiro Hanyu:
Complementary Multiple-Valued Encoding Scheme for Interconnect-Fault-Resilient Bidirectional Asynchronous Links. 236-241
Logic Design and Switching Theory
- Mozammel H. A. Khan, Marek A. Perkowski:
Synthesis of Reversible Synchronous Counters. 242-247 - Takashi Hirayama, Yasuaki Nishitani, Seiji Kitamura:
A Testable Realization for Decimal Multipliers. 248-253
Circuit/Device Implementation
- Kazuki Kuribayashi, Kazuya Machida, Yuji Toyama, Takao Waho:
Time-Domain Multi-bit DeltaSigma Analog-to-Digital Converter. 254-258 - Yngvar Berg:
Ultra Low-Voltage and High-Speed CMOS Full Adder Using Floating-Gates and Multiple-Valued Logic. 259-262
Logic Design and Switching Theory
- Theodore W. Manikas, Mitchell A. Thornton, David Y. Feinstein:
Using Multiple-Valued Logic Decision Diagrams to Model System Threat Probabilities. 263-267 - Koki Shirakawa, Takashi Uemura, Yukihiro Iguchi:
A Realization Method of Forward Converters from Multiple-Precision Binary Numbers to Residue Numbers with Arbitrary Mutable Modulus. 268-273
Algebra and Formal Aspects
- Ioana Leustean:
The Tensor PMV-algebra of an MV-algebra. 274-276 - Miguel Couceiro, Erkko Lehtonen, Tamás Waldhauser:
A Survey on the Arity Gap. 277-281
Tutorial Talk 3
- Igor N. Aizenberg, Shane Alexander, Jacob Jackson:
Recognition of Blurred Images Using Multilayer Neural Network Based on Multi-valued Neurons. 282-287
Quantum Circuits
- D. Michael Miller, Robert Wille, Zahra Sasanian:
Elementary Quantum Gate Realizations for Multiple-Control Toffoli Gates. 288-293 - Yushi Wang, Marek A. Perkowski:
Improved Complexity of Quantum Oracles for Ternary Grover Algorithm for Graph Coloring. 294-301 - Mitsunaga Kinjo, Katsuhiko Shimabukuro:
Speed-up of Neuromorphic Adiabatic Quantum Computation by Local Adiabatic Evolution. 302-306
Algebra and Formal Aspects
- Dan A. Simovici:
Entropies on Bounded Lattices. 307-312 - Tamás Waldhauser:
On Composition-Closed Classes of Boolean Functions. 313-317 - Patrik Eklund, Robert Helgesson, María Ángeles Galán García, Jari Kortelainen:
Paradigms for Many-sorted Non-classical Substitutions. 318-321
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-12-02 21:14 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:
