40. ISMVL 2010: Barcelona, Spain

• Claudio Moraga:
  Spectral Techniques: The First Decade of the XXI Century (Invited Paper). 3-8
  
• João P. 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, Liu Ming:
  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 Arico:
  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
  

Last update Fri May 25 08:24:13 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page