The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "ISMVL"( http://dblp.L3S.de/Venues/ISMVL )

URL (DBLP): http://dblp.uni-trier.de/db/conf/ismvl

Publication years (Num. hits)
1990 (61) 1991 (47) 1992 (62) 1993 (44) 1994 (49) 1995 (44) 1996 (50) 1997 (41) 1998 (59) 1999 (44) 2000 (67) 2001 (51) 2002 (40) 2003 (58) 2004 (56) 2005 (49) 2006 (40) 2007 (61) 2008 (43) 2009 (64) 2010 (59)
Publication types (Num. hits)
inproceedings(1080) proceedings(9)
Venues (Conferences, Journals, ...)
ISMVL(1089)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 907 occurrences of 486 keywords

Results
Found 1089 publication records. Showing 1089 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Radomir S. Stankovic, Jaakko Astola, Claudio Moraga Remarks on Applicability of Spectral Representations on Finite Non-Abelian Groups in the Design for Regularity. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1David J. Rosenbaum, Marek A. Perkowski Mapping Binary Functions to a Practical Adiabatic Quantum Computer. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Miguel Couceiro, Erkko Lehtonen Classes of Operations Closed under Permutation, Cylindrification and Composition. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Tomás Kroupa Note on Construction of Probabilities on Many-Valued Events via Schauder Bases and Inverse Limits. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Lukasiewicz logic, MV-algebra, state
1Arnon Avron, Jonathan Ben-Naim, Beata Konikowska Logics of Reasonable Information Sources. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF many-valued logics, proof systems, information sources, non-deterministic matrices
1Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra The Automorphism Group of Finite Godel Algebras. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Godel logic, Godel algebra, Automorphism group
1Claudio Moraga Spectral Techniques: The First Decade of the XXI Century (Invited Paper). Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF non-Abelian groups, Spectral Techniques
1Claudia Muresan Co-stone Residuated Lattices. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF reticulation, Stone algebras, strongly Stone hull, residuated lattice
1Mirko Navara, Milan Petrík, Peter Sarkoci Reconstruction of Additive Generators from Partial Derivatives of Continuous Archimedean t-Norms. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF continuous Archimedean triangular norm, additive generator, fuzzy logic, reconstruction, many-valued logic, conjunction
1Tsutomu Sasao On the Number of Products to Represent Interval Functions by SOPs with Four-Valued Variables. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Dietlinde Lau, Karsten Schölzel A Classification of Partial Boolean Clones. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà New Insights into Encodings from MaxCSP into Partial MaxSAT. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF MaxCSP, Partial MaxSAT, Encodings
1Arnon Avron, Anna Zamansky Non-deterministic Multi-valued Logics--A Tutorial. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Karsten Schölzel Number of Maximal Partial Clones. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1 40th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2010, Barcelona, Spain, 26-28 May 2010 Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  BibTeX  RDF
1Naoki Sugiyama, Hiroshi Noto, Yoshito Nishigami, Ryosuke Oda, Takao Waho A Low-Power Successive Approximation Analog-to-Digital Converter Based on 2-Bit/Step Comparison. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF successive approximation, low-power, analog-to-digital converter, multiple-valued
1Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler Floating-Point Numeric Function Generators Based on Piecewise-Split EVMDDs. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Memory-based floating-point numeric function generators, piecewise-split EVMDDs
1Sa'ed Abed, Otmane Aït Mohamed MDGs Reduction Technique Based on the HOL Theorem Prover. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Soundness, Reduction Techniques, Multiway Decision Graphs, HOL Theorem Prover
1Stefano Aguzzoli, Simone Bova Schauder Hats for the Two-Variable Fragment of BL. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Free BL-algebras, Schauder Hats, Normal Forms, BL-algebras
1Henri Prade, Gilles Richard Multiple-Valued Logic Interpretations of Analogical, Reverse Analogical, and Paralogical Proportions. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF logical proportions, multi valued logic, analogical reasoning
1Vincent C. Gaudet, Warren J. Gross Switching Activity in Stochastic Decoders. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF stochastic decoding, low-power design, iterative decoding, LDPC
1Antonio di Nola, Tommaso Flaminio Generating the Variety of SMV-Algebras. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF hyper real states, MV-algebras, internal states
1João P. Marques Silva Minimal Unsatisfiability: Models, Algorithms and Applications (Invited Paper). Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Alexander Finder, Rolf Drechsler An Evolutionary Algorithm for Optimization of Pseudo Kronecker Expressions. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Satyendra R. Datla, Mitchell A. Thornton Quaternary Voltage-Mode Logic Cells and Fixed-Point Multiplication Circuits. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF quaternary logic, arithmetic logic circuits
1Stanislav Stankovic, Jaakko Astola, D. Michael Miller, Radomir S. Stankovic Heterogeneous Decision Diagrams for Applications in Harmonic Analysis on Finite Non-Abelian Groups. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Elena Dubrova, Maxim Teslenko, Liu Ming Finding Attractors in Synchronous Multiple-Valued Networks Using SAT-Based Bounded Model Checking. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF multiple-valued network, SAT, bounded model checking, gene regulatory network, attractor
1Marek 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. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF pseudo-reversible logic gates, reversible circuits
1Dan A. Simovici, Dan Pletea, Rosanne Vetro Information-Theoretical Mining of Determining Sets for Partially Defined Functions. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Nouraddin Alhagi, Maher Hawash, Marek A. Perkowski Synthesis of Reversible Circuits with No Ancilla Bits for Large Reversible Functions Specified with Bit Equations. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF MMD, MMDS, MMDSN, Large Reversible Circuits, 30-bit, Hasse diagram, line blocking, ancilla bit, Logic Synthesis
1Pilar Dellunde Revisiting Ultraproducts in Fuzzy Predicate Logics. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Ultraproducts, reduced products, fuzzy predicate logics, reduced semantics
1Stefan Frehse, Robert Wille, Rolf Drechsler Efficient Simulation-Based Debugging of Reversible Logic. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1D. Michael Miller, Robert Wille, Rolf Drechsler Reducing Reversible Circuit Cost by Adding Lines. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Hajime Machida, Ivo G. Rosenberg Endoprimal Monoids and Witness Lemma in Clone Theory. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF endoprimal monoid, clone, centralizer
1Akitaka Ishikawa, Nobuaki Okada, Michitaka Kameyama Low-Power Multiple-Valued Reconfigurable VLSI Based on Superposition of Bit-Serial Data and Current-Source Control Signals. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Pietro Codara, Ottavio M. D'Antona, Vincenzo Marra The Euler Characteristic of a Formula in Godel Logic. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Gödel Logic, Valuation, Euler Characteristic
1Manuela Busaniche, Leonardo Manuel Cabrer Completions in Subvarieties of BL-Algebras. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Hadi Hosseini, Gerhard W. Dueck Toffoli Gate Implementation Using the Billiard Ball Model. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Toffoli Gates, Billiard Ball Model, Logic Design, Reversible Logic
1Igor N. Aizenberg Learning of the Non-threshold Functions of Multiple-Valued Logic by a Single Multi-valued Neuron with a Periodic Activation Function. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Hiroki Nakahara, Tsutomu Sasao, Munehiro Matsuura A Comparison of Architectures for Various Decision Diagram Machines. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF QDD, QRBDD, QRMDD, Heterogeneous MDD, Homogeneous MDD, Branching Machine, MDD, BDD
1Yuichi Baba, Naofumi Homma, Atsushi Miyamoto, Takafumi Aoki Design of Tamper-Resistant Registers for Multiple-Valued Cryptographic Processors. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF cryptographic processors, side-channel attacks, multiple-valued logic, RSA cryptosystem
1Atsushi Matsumoto, Naoya Onizawa, Takahiro Hanyu One-Color Two-Phase Asynchronous Communication Links Based on Multiple-Valued Simultaneous Control. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF asynchronous transmission, current-mode, multiple-valued
1David Picado-Muiño A Graded Inference Approach Based on Infinite-Valued Lukasiewicz Semantics. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Yasaman Sanaee, Gerhard W. Dueck ESOP-Based Toffoli Network Generation with Transformations. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Toffoli Gates, Logic Design, Reversible Logic, ESOP
1Miguel Couceiro, Erkko Lehtonen The Arity Gap of Polynomial Functions over Bounded Distributive Lattices. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Enrico Marchioni, George Metcalfe Interpolation Properties for Uninorm Based Logics. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Uninorm Based Logics, Deductive Interpolation, Quantifier Elimination, Craig Interpolation
1Yasushi Yuminaka, Kyohei Kawano A Ternary Partial-Response Signaling Scheme for Capacitively Coupled Interface. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Partial-Response Signaling, Duobinary, Dicode, Capacitively Coupled Interface, Equalizer
1Masanori Natsui, Takashi Arimitsu, Takahiro Hanyu Low-Energy Pipelined Multiple-Valued Current-Mode Circuit with 8-Level Static Current-Source Control. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Umberto Straccia An Ontology Mediated Multimedia Information Retrieval System. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Hector Freytes, Roberto Giuntini, Giuseppe Sergioli, Antonio Arico Representing Fuzzy Structures in Quantum Computation with Mixed States. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF quantum operations, fuzzy logic, Quantum computation
1Carlos Caleiro, João Marcos Two Many Values: An Algorithmic Outlook on Suszko's Thesis. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ashur Rafiev, Julian P. Murphy, Alexandre Yakovlev Secure Design Flow for Asynchronous Multi-valued Logic Circuits. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Reed-Muller, design flow, asynchronous design
1Félix Bou Infinite-Valued Lukasiewicz Logic Based on Principal Lattice Filters. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Yngvar Berg Low Voltage Semi Floating-Gate Binary to Multiple-Value and Multiple-Value to Binary Converters. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF CMOS, low-voltage, converters
1Daniel Stamate Queries with Multivalued Logic-Based Semantics for Imperfect Information Fusion. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF information fusion, multivalued logics, query equivalence, imperfect information, bilattices
1Miguel Couceiro, Lucien Haddad Finitely Generated Maximal Partial Clones and Their Intersections. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF partial clones, finitely generated partial clones, Clones
1Libor Behounek, Petr Cintula, Ulrich Bodenhofer, Susanne Saminger-Platz, Peter Sarkoci On a Graded Notion of t-Norm and Dominance. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Fuzzy Class Theory, graded property, dominance, t-norm
1Davide Ciucci, Didier Dubois Truth-Functionality, Rough Sets and Three-Valued Logics. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF truth functionality, Rough sets, three-valued logics
1Hajime Machida, Jovanka Pantovic, Ivo G. Rosenberg Galois Connection for Hyperclones. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF hyperoperation, hyperclones, Galois connection
1Naotake Kamiura, Ayumu Saitoh, Teijiro Isokawa, Nobuyuki Matsui A Two-Pronged Approach of Power-Aware Voltage Scheduling for Real-Time Task Graphs in Multi-processor Systems. Search on Bibsonomy ISMVL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Naoki Tsuchiya, Hiroshi Nakajima A Study of Practical Causality Acquisition among Vital Signals. Search on Bibsonomy ISMVL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Karsten Schölzel Minimal Coverings of Maximal Partial Clones. Search on Bibsonomy ISMVL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ashur Rafiev, Julian P. Murphy, Alexandre Yakovlev Quaternary Reed-Muller Expansions of Mixed Radix Arguments in Cryptographic Circuits. Search on Bibsonomy ISMVL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jaakko Astola, Radomir S. Stankovic Application of Covering Codes for Reduced Representations of Logic Functions. Search on Bibsonomy ISMVL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Nobuaki Okada, Michitaka Kameyama Multiple-Valued Reconfigurable VLSI Processor Based on Superposition of Data and Control Signals. Search on Bibsonomy ISMVL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Wim J. C. Melis, Shuhei Chizuwa, Michitaka Kameyama Evaluation of the Hierarchical Temporal Memory as Soft Computing Platform and its VLSI Architecture. Search on Bibsonomy ISMVL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Wancheng Zhang, Nan-Jian Wu, Tamotsu Hashizume, Seiya Kasai Multiple-Valued Logic Gates Using Asymmetric Single-Electron Transistors. Search on Bibsonomy ISMVL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà Regular Encodings from Max-CSP into Partial Max-SAT. Search on Bibsonomy ISMVL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Gustav Nordh, Bruno Zanuttini Frozen Boolean Partial Co-clones. Search on Bibsonomy ISMVL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Manabu Nii, Takafumi Yamaguchi, Yutaka Takahashi, Atsuko Uchinuno, Reiko Sakashita Fuzzy Rule Extraction from Nursing-Care Texts. Search on Bibsonomy ISMVL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Naoya Onizawa, Takahiro Hanyu Robust Multiple-Valued Current-Mode Circuit Components Based on Adaptive Reference-Voltage Control. Search on Bibsonomy ISMVL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Yasuo Kudo, Tetsuya Murai Attribute Reduction as Calculation of Focus in Granular Reasoning. Search on Bibsonomy ISMVL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Mayuka F. Kawaguchi, Masaaki Miyakoshi Generalized Extended t-Norms as t-Norms of Type 2. Search on Bibsonomy ISMVL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ali Sheikholeslami Multi-level Signaling for Chip-to-Chip and Backplane Communication (A Tutorial). Search on Bibsonomy ISMVL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Claudio Moraga, Radomir S. Stankovic, Jaakko Astola On Periodic Patterns and their Spectra. Search on Bibsonomy ISMVL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Golnar Khodabndehloo, Mitra Mirhassani, Majid Ahmadi 16-level Current-Mode Multiple-Valued Dynamic Memory with Increased Noise Margin. Search on Bibsonomy ISMVL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Patrik Eklund, Maria A. Galán, Jari Kortelainen, Lawrence Neff Stout Paradigms for Non-classical Substitutions. Search on Bibsonomy ISMVL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Masaki Murozuka, Kazumasa Ikeura, Fumiyuki Adachi, Kazuya Machida, Takao Waho Time-Interleaved Polyphase Decimation Filter Using Signed-Digit Adders. Search on Bibsonomy ISMVL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Michinori Nakata, Hiroshi Sakai Applying Rough Sets to Information Tables Containing Missing Values. Search on Bibsonomy ISMVL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ramón Béjar, Cèsar Fernández, Carles Mateu, Nuria Pascual Bounding the Phase Transition on Edge Matching Puzzles. Search on Bibsonomy ISMVL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Zeljko Zilic Designing and Using FPGAs beyond Classical Binary Logic: Opportunities in Nano-Scale Integration Age. Search on Bibsonomy ISMVL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Karsten Schölzel The Minimal Covering of Maximal Partial Clones in 4-valued Logic. Search on Bibsonomy ISMVL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Mozammel H. A. Khan Quantum Realization of Multiple-Valued Feynman and Toffoli Gates without Ancilla Input. Search on Bibsonomy ISMVL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Hajime Machida, Jovanka Pantovic Hyperclones Determined by Total-Parts of Hyper-relations. Search on Bibsonomy ISMVL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Yasushi Yuminaka, Yasunori Takahashi, Kenichi Henmi Multiple-Valued Data Transmission Based on Time-Domain Pre-emphasis Techniques in Consideration of Higher-Order Channel Effects. Search on Bibsonomy ISMVL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Cicilia C. Lozano, Bogdan J. Falkowski, Tadeusz Luba Fixed Polarity Quaternary Transforms Derived from Linearly Independent Transform over GF(2) Structure. Search on Bibsonomy ISMVL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1André Sülflow, Robert Wille, Görschwin Fey, Rolf Drechsler Evaluation of Cardinality Constraints on SMT-Based Debugging. Search on Bibsonomy ISMVL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Satyendra R. Datla, Mitchell A. Thornton, Luther Hendrix, Dave Henderson Quaternary Addition Circuits Based on SUSLOC Voltage-Mode Cells and Modeling with SystemVerilog©. Search on Bibsonomy ISMVL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Robert Wille, Daniel Große, D. Michael Miller, Rolf Drechsler Equivalence Checking of Reversible Circuits. Search on Bibsonomy ISMVL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Claudio Moraga, Michio Sugeno, Enric Trillas Optimization of Fuzzy If-Then Rule Bases by Evolutionary Tuning of the Operations. Search on Bibsonomy ISMVL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Tomoko Ninomiya, Masao Mukaidono Clarifying the Systems of Axioms Based on the Method of Indeterminate Coefficients. Search on Bibsonomy ISMVL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Takashi Matsuura, Hirokatsu Shirahama, Masanori Natsui, Takahiro Hanyu Timing-Variation-Aware Multiple-Valued Current-Mode Circuit for a Low-Power Pipelined System. Search on Bibsonomy ISMVL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Hiroshi Sakai, Hiroshi Kimura, Michinori Nakata An Overview of a Software Tool in Rough Non-deterministic Information Analysis. Search on Bibsonomy ISMVL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Mitsuo Kawato Computational Neuroscience and Multiple-Valued Logic. Search on Bibsonomy ISMVL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Boris A. Romov Positive Primitive Structures. Search on Bibsonomy ISMVL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1David J. Rosenbaum, Marek A. Perkowski Efficient Implementation of Controlled Operations for Multivalued Quantum Logic. Search on Bibsonomy ISMVL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Martin Lukac, Marek A. Perkowski Quantum Finite State Machines as Sequential Quantum Circuits. Search on Bibsonomy ISMVL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Md. Mahmud Muntakim Khan, Ayan Kumar Biswas, Shuvro Chowdhury, Masud Hasan, Asif Islam Khan Synthesis of GF(3) Based Reversible/Quantum Logic Circuits without Garbage Output. Search on Bibsonomy ISMVL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1 ISMVL 2009, 39th International Symposium on Multiple-Valued Logic, 21-23 May 2009, Naha, Okinawaw, Japan Search on Bibsonomy ISMVL The full citation details ... 2009 DBLP  BibTeX  RDF
1Takako Soma, Takashi Soma Ternary Logic by 3rd Subharmonics and its Application to Multiway Switches. Search on Bibsonomy ISMVL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1089 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.