default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID40th ISMVL 2010: Barcelona, Spain
- 40th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2010, Barcelona, Spain, 26-28 May 2010. IEEE Computer Society 2010, ISBN 978-0-7695-4024-5
- Claudio Moraga:
Spectral Techniques: The First Decade of the XXI Century (Invited Paper). 3-8 - João Marques-Silva
:
Minimal Unsatisfiability: Models, Algorithms and Applications (Invited Paper). 9-14 - Sa'ed Abed, Otmane Aït Mohamed:
MDGs Reduction Technique Based on the HOL Theorem Prover. 15-20 - Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra:
The Automorphism Group of Finite Godel Algebras. 21-26 - Stefano Aguzzoli, Simone Bova:
Schauder Hats for the Two-Variable Fragment of BL. 27-32 - Igor N. Aizenberg:
Learning of the Non-threshold Functions of Multiple-Valued Logic by a Single Multi-valued Neuron with a Periodic Activation Function. 33-38 - Nouraddin Alhagi, Maher Hawash, Marek A. Perkowski:
Synthesis of Reversible Circuits with No Ancilla Bits for Large Reversible Functions Specified with Bit Equations. 39-45 - Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà:
New Insights into Encodings from MaxCSP into Partial MaxSAT. 46-52 - Arnon Avron, Anna Zamansky:
Non-deterministic Multi-valued Logics--A Tutorial. 53-60 - Arnon Avron, Jonathan Ben-Naim, Beata Konikowska:
Logics of Reasonable Information Sources. 61-66 - Yuichi Baba, Naofumi Homma, Atsushi Miyamoto, Takafumi Aoki:
Design of Tamper-Resistant Registers for Multiple-Valued Cryptographic Processors. 67-72 - Libor Behounek, Petr Cintula, Ulrich Bodenhofer, Susanne Saminger-Platz, Peter Sarkoci:
On a Graded Notion of t-Norm and Dominance. 73-78 - Yngvar Berg:
Low Voltage Semi Floating-Gate Binary to Multiple-Value and Multiple-Value to Binary Converters. 79-82 - Félix Bou:
Infinite-Valued Lukasiewicz Logic Based on Principal Lattice Filters. 83-88 - Manuela Busaniche, Leonardo Manuel Cabrer:
Completions in Subvarieties of BL-Algebras. 89-92 - Carlos Caleiro, João Marcos:
Two Many Values: An Algorithmic Outlook on Suszko's Thesis. 93-97 - Davide Ciucci, Didier Dubois:
Truth-Functionality, Rough Sets and Three-Valued Logics. 98-103 - Claudia Muresan:
Co-stone Residuated Lattices. 104-107 - Pietro Codara, Ottavio M. D'Antona, Vincenzo Marra:
The Euler Characteristic of a Formula in Godel Logic. 108-112 - Miguel Couceiro, Erkko Lehtonen:
The Arity Gap of Polynomial Functions over Bounded Distributive Lattices. 113-116 - Miguel Couceiro, Erkko Lehtonen:
Classes of Operations Closed under Permutation, Cylindrification and Composition. 117-121 - Miguel Couceiro, Lucien Haddad:
Finitely Generated Maximal Partial Clones and Their Intersections. 122-127 - Satyendra R. Datla, Mitchell A. Thornton:
Quaternary Voltage-Mode Logic Cells and Fixed-Point Multiplication Circuits. 128-133 - Pilar Dellunde:
Revisiting Ultraproducts in Fuzzy Predicate Logics. 134-139 - Antonio Di Nola, Tommaso Flaminio:
Generating the Variety of SMV-Algebras. 140-143 - Elena Dubrova, Maxim Teslenko, Ming Liu:
Finding Attractors in Synchronous Multiple-Valued Networks Using SAT-Based Bounded Model Checking. 144-149 - Alexander Finder, Rolf Drechsler:
An Evolutionary Algorithm for Optimization of Pseudo Kronecker Expressions. 150-155 - Stefan Frehse, Robert Wille, Rolf Drechsler:
Efficient Simulation-Based Debugging of Reversible Logic. 156-161 - Hector Freytes, Roberto Giuntini, Giuseppe Sergioli, Antonio Aricò:
Representing Fuzzy Structures in Quantum Computation with Mixed States. 162-166 - Vincent C. Gaudet, Warren J. Gross:
Switching Activity in Stochastic Decoders. 167-172 - Hadi Hosseini, Gerhard W. Dueck:
Toffoli Gate Implementation Using the Billiard Ball Model. 173-178 - Akitaka Ishikawa, Nobuaki Okada, Michitaka Kameyama:
Low-Power Multiple-Valued Reconfigurable VLSI Based on Superposition of Bit-Serial Data and Current-Source Control Signals. 179-184 - Tomás Kroupa:
Note on Construction of Probabilities on Many-Valued Events via Schauder Bases and Inverse Limits. 185-188 - Dietlinde Lau, Karsten Schölzel:
A Classification of Partial Boolean Clones. 189-194 - Hajime Machida, Ivo G. Rosenberg:
Endoprimal Monoids and Witness Lemma in Clone Theory. 195-200 - Hajime Machida, Jovanka Pantovic, Ivo G. Rosenberg:
Galois Connection for Hyperclones. 201-204 - Enrico Marchioni, George Metcalfe:
Interpolation Properties for Uninorm Based Logics. 205-210 - Atsushi Matsumoto, Naoya Onizawa, Takahiro Hanyu:
One-Color Two-Phase Asynchronous Communication Links Based on Multiple-Valued Simultaneous Control. 211-216 - D. Michael Miller, Robert Wille, Rolf Drechsler:
Reducing Reversible Circuit Cost by Adding Lines. 217-222 - Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler:
Floating-Point Numeric Function Generators Based on Piecewise-Split EVMDDs. 223-228 - Hiroki Nakahara, Tsutomu Sasao, Munehiro Matsuura:
A Comparison of Architectures for Various Decision Diagram Machines. 229-234 - Masanori Natsui, Takashi Arimitsu, Takahiro Hanyu:
Low-Energy Pipelined Multiple-Valued Current-Mode Circuit with 8-Level Static Current-Source Control. 235-240 - Mirko Navara, Milan Petrík, Peter Sarkoci:
Reconstruction of Additive Generators from Partial Derivatives of Continuous Archimedean t-Norms. 241-244 - Marek A. Perkowski, Nouraddin Alhagi, Martin Lukac, Neha Saxena, Scott Blakely:
Synthesis of Small Reversible and Pseudo-Reversible Circuits Using Y-Gates and Inverse Y-Gates. 245-251 - David Picado-Muiño:
A Graded Inference Approach Based on Infinite-Valued Lukasiewicz Semantics. 252-257 - Henri Prade, Gilles Richard:
Multiple-Valued Logic Interpretations of Analogical, Reverse Analogical, and Paralogical Proportions. 258-263 - Ashur Rafiev, Julian P. Murphy, Alexandre Yakovlev:
Secure Design Flow for Asynchronous Multi-valued Logic Circuits. 264-269 - David J. Rosenbaum, Marek A. Perkowski:
Mapping Binary Functions to a Practical Adiabatic Quantum Computer. 270-275 - Yasaman Sanaee, Gerhard W. Dueck:
ESOP-Based Toffoli Network Generation with Transformations. 276-281 - Tsutomu Sasao:
On the Number of Products to Represent Interval Functions by SOPs with Four-Valued Variables. 282-287 - Karsten Schölzel:
Number of Maximal Partial Clones. 288-293 - Dan A. Simovici, Dan Pletea, Rosanne Vetro:
Information-Theoretical Mining of Determining Sets for Partially Defined Functions. 294-299 - Daniel Stamate:
Queries with Multivalued Logic-Based Semantics for Imperfect Information Fusion. 300-306 - Stanislav Stankovic, Jaakko Astola, D. Michael Miller, Radomir S. Stankovic:
Heterogeneous Decision Diagrams for Applications in Harmonic Analysis on Finite Non-Abelian Groups. 307-312 - Radomir S. Stankovic, Jaakko Astola, Claudio Moraga:
Remarks on Applicability of Spectral Representations on Finite Non-Abelian Groups in the Design for Regularity. 313-318 - Umberto Straccia:
An Ontology Mediated Multimedia Information Retrieval System. 319-324 - Naoki Sugiyama, Hiroshi Noto, Yoshito Nishigami, Ryosuke Oda, Takao Waho:
A Low-Power Successive Approximation Analog-to-Digital Converter Based on 2-Bit/Step Comparison. 325-330 - Yasushi Yuminaka, Kyohei Kawano:
A Ternary Partial-Response Signaling Scheme for Capacitively Coupled Interface. 331-336
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 2025-11-02 20:52 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:
