Search results for "ISMVL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Sudhindu Bikash Mandal, Amlan Chakrabarti, Susmita Sur-Kolay	Synthesis Techniques for Ternary Quantum Logic.	ISMVL	2011	DBLP DOI BibTeX RDF
1	Michiro Kondo, Mayuka F. Kawaguchi, Masaaki Miyakoshi, Osamu Watari	Weak Uninorm Based Logic and Its Filter Theory.	ISMVL	2011	DBLP DOI BibTeX RDF
1	Igor N. Aizenberg	Learning of the Non-threshold Functions of Multiple-Valued Logic by a Single Multi-valued Neuron with a Periodic Activation Function.	ISMVL	2010	DBLP DOI BibTeX RDF
1	Hajime Machida, Jovanka Pantovic, Ivo G. Rosenberg	Galois Connection for Hyperclones.	ISMVL	2010	DBLP DOI BibTeX RDF	hyperoperation, hyperclones, Galois connection
1	Hajime Machida, Ivo G. Rosenberg	Endoprimal Monoids and Witness Lemma in Clone Theory.	ISMVL	2010	DBLP DOI BibTeX RDF	endoprimal monoid, clone, centralizer
1	Daniel Stamate	Queries with Multivalued Logic-Based Semantics for Imperfect Information Fusion.	ISMVL	2010	DBLP DOI BibTeX RDF	information fusion, multivalued logics, query equivalence, imperfect information, bilattices
1	João Marques-Silva 0001	Minimal Unsatisfiability: Models, Algorithms and Applications (Invited Paper).	ISMVL	2010	DBLP DOI BibTeX RDF
1	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.	ISMVL	2010	DBLP DOI BibTeX RDF	pseudo-reversible logic gates, reversible circuits
1	Carlos Caleiro, João Marcos 0001	Two Many Values: An Algorithmic Outlook on Suszko's Thesis.	ISMVL	2010	DBLP DOI BibTeX RDF
1	Dietlinde Lau, Karsten Schölzel	A Classification of Partial Boolean Clones.	ISMVL	2010	DBLP DOI BibTeX RDF
1	Claudio Moraga	Spectral Techniques: The First Decade of the XXI Century (Invited Paper).	ISMVL	2010	DBLP DOI BibTeX RDF	non-Abelian groups, Spectral Techniques
1	Stanislav Stankovic, Jaakko Astola, D. Michael Miller, Radomir S. Stankovic	Heterogeneous Decision Diagrams for Applications in Harmonic Analysis on Finite Non-Abelian Groups.	ISMVL	2010	DBLP DOI BibTeX RDF
1	Radomir S. Stankovic, Jaakko Astola, Claudio Moraga	Remarks on Applicability of Spectral Representations on Finite Non-Abelian Groups in the Design for Regularity.	ISMVL	2010	DBLP DOI BibTeX RDF
1	Masanori Natsui, Takashi Arimitsu, Takahiro Hanyu	Low-Energy Pipelined Multiple-Valued Current-Mode Circuit with 8-Level Static Current-Source Control.	ISMVL	2010	DBLP DOI BibTeX RDF
1	David J. Rosenbaum 0001, Marek A. Perkowski	Mapping Binary Functions to a Practical Adiabatic Quantum Computer.	ISMVL	2010	DBLP DOI BibTeX RDF
1	Hector Freytes, Roberto Giuntini, Giuseppe Sergioli, Antonio Aricò	Representing Fuzzy Structures in Quantum Computation with Mixed States.	ISMVL	2010	DBLP DOI BibTeX RDF	quantum operations, fuzzy logic, Quantum computation
1	Arnon Avron, Jonathan Ben-Naim, Beata Konikowska	Logics of Reasonable Information Sources.	ISMVL	2010	DBLP DOI BibTeX RDF	many-valued logics, proof systems, information sources, non-deterministic matrices
1	Miguel Couceiro, Erkko Lehtonen	Classes of Operations Closed under Permutation, Cylindrification and Composition.	ISMVL	2010	DBLP DOI BibTeX RDF
1	Josep Argelich, Alba Cabiscol, Inês Lynce, Felip Manyà	New Insights into Encodings from MaxCSP into Partial MaxSAT.	ISMVL	2010	DBLP DOI BibTeX RDF	MaxCSP, Partial MaxSAT, Encodings
1	Satyendra R. Datla, Mitchell A. Thornton	Quaternary Voltage-Mode Logic Cells and Fixed-Point Multiplication Circuits.	ISMVL	2010	DBLP DOI BibTeX RDF	quaternary logic, arithmetic logic circuits
1	Pilar Dellunde	Revisiting Ultraproducts in Fuzzy Predicate Logics.	ISMVL	2010	DBLP DOI BibTeX RDF	Ultraproducts, reduced products, fuzzy predicate logics, reduced semantics
1	Libor Behounek, Petr Cintula, Ulrich Bodenhofer, Susanne Saminger-Platz, Peter Sarkoci	On a Graded Notion of t-Norm and Dominance.	ISMVL	2010	DBLP DOI BibTeX RDF	Fuzzy Class Theory, graded property, dominance, t-norm
1	Tsutomu Sasao	On the Number of Products to Represent Interval Functions by SOPs with Four-Valued Variables.	ISMVL	2010	DBLP DOI BibTeX RDF
1	D. Michael Miller, Robert Wille, Rolf Drechsler	Reducing Reversible Circuit Cost by Adding Lines.	ISMVL	2010	DBLP DOI BibTeX RDF
1	Vincent C. Gaudet, Warren J. Gross	Switching Activity in Stochastic Decoders.	ISMVL	2010	DBLP DOI BibTeX RDF	stochastic decoding, low-power design, iterative decoding, LDPC
1	Dan A. Simovici, Dan Pletea, Rosanne Vetro	Information-Theoretical Mining of Determining Sets for Partially Defined Functions.	ISMVL	2010	DBLP DOI BibTeX RDF
1	Elena Dubrova, Maxim Teslenko, Ming Liu	Finding Attractors in Synchronous Multiple-Valued Networks Using SAT-Based Bounded Model Checking.	ISMVL	2010	DBLP DOI BibTeX RDF	multiple-valued network, SAT, bounded model checking, gene regulatory network, attractor
1	Stefan Frehse, Robert Wille, Rolf Drechsler	Efficient Simulation-Based Debugging of Reversible Logic.	ISMVL	2010	DBLP DOI BibTeX RDF
1	Mirko Navara, Milan Petrík, Peter Sarkoci	Reconstruction of Additive Generators from Partial Derivatives of Continuous Archimedean t-Norms.	ISMVL	2010	DBLP DOI BibTeX RDF	continuous Archimedean triangular norm, additive generator, fuzzy logic, reconstruction, many-valued logic, conjunction
1	Nouraddin Alhagi, Maher Hawash, Marek A. Perkowski	Synthesis of Reversible Circuits with No Ancilla Bits for Large Reversible Functions Specified with Bit Equations.	ISMVL	2010	DBLP DOI BibTeX RDF	MMD, MMDS, MMDSN, Large Reversible Circuits, 30-bit, Hasse diagram, line blocking, ancilla bit, Logic Synthesis
1	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.	ISMVL	2010	DBLP DOI BibTeX RDF	successive approximation, low-power, analog-to-digital converter, multiple-valued
1	Henri Prade, Gilles Richard	Multiple-Valued Logic Interpretations of Analogical, Reverse Analogical, and Paralogical Proportions.	ISMVL	2010	DBLP DOI BibTeX RDF	logical proportions, multi valued logic, analogical reasoning
1	Antonio Di Nola, Tommaso Flaminio	Generating the Variety of SMV-Algebras.	ISMVL	2010	DBLP DOI BibTeX RDF	hyper real states, MV-algebras, internal states
1	Arnon Avron, Anna Zamansky	Non-deterministic Multi-valued Logics--A Tutorial.	ISMVL	2010	DBLP DOI BibTeX RDF
1	Umberto Straccia	An Ontology Mediated Multimedia Information Retrieval System.	ISMVL	2010	DBLP DOI BibTeX RDF
1	Atsushi Matsumoto, Naoya Onizawa, Takahiro Hanyu	One-Color Two-Phase Asynchronous Communication Links Based on Multiple-Valued Simultaneous Control.	ISMVL	2010	DBLP DOI BibTeX RDF	asynchronous transmission, current-mode, multiple-valued
1	Manuela Busaniche, Leonardo Manuel Cabrer	Completions in Subvarieties of BL-Algebras.	ISMVL	2010	DBLP DOI BibTeX RDF
1	Hadi Hosseini, Gerhard W. Dueck	Toffoli Gate Implementation Using the Billiard Ball Model.	ISMVL	2010	DBLP DOI BibTeX RDF	Toffoli Gates, Billiard Ball Model, Logic Design, Reversible Logic
1	Akitaka Ishikawa, Nobuaki Okada, Michitaka Kameyama	Low-Power Multiple-Valued Reconfigurable VLSI Based on Superposition of Bit-Serial Data and Current-Source Control Signals.	ISMVL	2010	DBLP DOI BibTeX RDF
1	Tomás Kroupa	Note on Construction of Probabilities on Many-Valued Events via Schauder Bases and Inverse Limits.	ISMVL	2010	DBLP DOI BibTeX RDF	Lukasiewicz logic, MV-algebra, state
1	Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler	Floating-Point Numeric Function Generators Based on Piecewise-Split EVMDDs.	ISMVL	2010	DBLP DOI BibTeX RDF	Memory-based floating-point numeric function generators, piecewise-split EVMDDs
1	Pietro Codara, Ottavio M. D'Antona, Vincenzo Marra	The Euler Characteristic of a Formula in Godel Logic.	ISMVL	2010	DBLP DOI BibTeX RDF	Gödel Logic, Valuation, Euler Characteristic
1	Enrico Marchioni, George Metcalfe	Interpolation Properties for Uninorm Based Logics.	ISMVL	2010	DBLP DOI BibTeX RDF	Uninorm Based Logics, Deductive Interpolation, Quantifier Elimination, Craig Interpolation
1	Davide Ciucci, Didier Dubois	Truth-Functionality, Rough Sets and Three-Valued Logics.	ISMVL	2010	DBLP DOI BibTeX RDF	truth functionality, Rough sets, three-valued logics
1	Yngvar Berg	Low Voltage Semi Floating-Gate Binary to Multiple-Value and Multiple-Value to Binary Converters.	ISMVL	2010	DBLP DOI BibTeX RDF	CMOS, low-voltage, converters
1	Alexander Finder, Rolf Drechsler	An Evolutionary Algorithm for Optimization of Pseudo Kronecker Expressions.	ISMVL	2010	DBLP DOI BibTeX RDF
1	Claudia Muresan	Co-stone Residuated Lattices.	ISMVL	2010	DBLP DOI BibTeX RDF	reticulation, Stone algebras, strongly Stone hull, residuated lattice
1	David Picado-Muiño	A Graded Inference Approach Based on Infinite-Valued Lukasiewicz Semantics.	ISMVL	2010	DBLP DOI BibTeX RDF
1	Miguel Couceiro, Lucien Haddad	Finitely Generated Maximal Partial Clones and Their Intersections.	ISMVL	2010	DBLP DOI BibTeX RDF	partial clones, finitely generated partial clones, Clones
1	Félix Bou	Infinite-Valued Lukasiewicz Logic Based on Principal Lattice Filters.	ISMVL	2010	DBLP DOI BibTeX RDF
1	Yuichi Baba, Naofumi Homma, Atsushi Miyamoto, Takafumi Aoki	Design of Tamper-Resistant Registers for Multiple-Valued Cryptographic Processors.	ISMVL	2010	DBLP DOI BibTeX RDF	cryptographic processors, side-channel attacks, multiple-valued logic, RSA cryptosystem
1	Karsten Schölzel	Number of Maximal Partial Clones.	ISMVL	2010	DBLP DOI BibTeX RDF
1	Sa'ed Abed, Otmane Aït Mohamed	MDGs Reduction Technique Based on the HOL Theorem Prover.	ISMVL	2010	DBLP DOI BibTeX RDF	Soundness, Reduction Techniques, Multiway Decision Graphs, HOL Theorem Prover
1	Miguel Couceiro, Erkko Lehtonen	The Arity Gap of Polynomial Functions over Bounded Distributive Lattices.	ISMVL	2010	DBLP DOI BibTeX RDF
1	Stefano Aguzzoli, Simone Bova	Schauder Hats for the Two-Variable Fragment of BL.	ISMVL	2010	DBLP DOI BibTeX RDF	Free BL-algebras, Schauder Hats, Normal Forms, BL-algebras
1	Yasushi Yuminaka, Kyohei Kawano	A Ternary Partial-Response Signaling Scheme for Capacitively Coupled Interface.	ISMVL	2010	DBLP DOI BibTeX RDF	Partial-Response Signaling, Duobinary, Dicode, Capacitively Coupled Interface, Equalizer
1		40th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2010, Barcelona, Spain, 26-28 May 2010	ISMVL	2010	DBLP BibTeX RDF
1	Hiroki Nakahara, Tsutomu Sasao, Munehiro Matsuura	A Comparison of Architectures for Various Decision Diagram Machines.	ISMVL	2010	DBLP DOI BibTeX RDF	QDD, QRBDD, QRMDD, Heterogeneous MDD, Homogeneous MDD, Branching Machine, MDD, BDD
1	Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra	The Automorphism Group of Finite Godel Algebras.	ISMVL	2010	DBLP DOI BibTeX RDF	Godel logic, Godel algebra, Automorphism group
1	Yasaman Sanaee, Gerhard W. Dueck	ESOP-Based Toffoli Network Generation with Transformations.	ISMVL	2010	DBLP DOI BibTeX RDF	Toffoli Gates, Logic Design, Reversible Logic, ESOP
1	Ashur Rafiev, Julian P. Murphy, Alexandre Yakovlev	Secure Design Flow for Asynchronous Multi-valued Logic Circuits.	ISMVL	2010	DBLP DOI BibTeX RDF	Reed-Muller, design flow, asynchronous design
1	Van-Nam Huynh, Yoshiteru Nakamori, Chenyi Hu, Vladik Kreinovich	On Decision Making under Interval Uncertainty: A New Justification of Hurwicz Optimism-Pessimism Approach and its Use in Group Decision Making.	ISMVL	2009	DBLP DOI BibTeX RDF
1	Boris A. Romov	Positive Primitive Structures.	ISMVL	2009	DBLP DOI BibTeX RDF
1	Naoya Onizawa, Takahiro Hanyu	Robust Multiple-Valued Current-Mode Circuit Components Based on Adaptive Reference-Voltage Control.	ISMVL	2009	DBLP DOI BibTeX RDF
1	Reiko Sakashita, Atsuko Uchinuno, Kazuko Kamiizumi, Keiko Tei, Noriko Awaya	Web-Based Nursing Care Quality Improvement System with Fuzzy Recommendation System.	ISMVL	2009	DBLP DOI BibTeX RDF
1	Golnar Khodabndehloo, Mitra Mirhassani, Majid Ahmadi	16-level Current-Mode Multiple-Valued Dynamic Memory with Increased Noise Margin.	ISMVL	2009	DBLP DOI BibTeX RDF
1	Milton E. R. Romero, Evandro Mazina Martins, Ricardo Ribeiro dos Santos	Multiple Valued Logic Algebra for the Synthesis of Digital Circuits.	ISMVL	2009	DBLP DOI BibTeX RDF
1	Motoi Inaba, Koichi Tanno, Ryota Sawada, Hisashi Tanaka, Hiroki Tamura	Optimization of Current-Mode MVD-ORNS Arithmetic Circuits.	ISMVL	2009	DBLP DOI BibTeX RDF
1	Naotake 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.	ISMVL	2009	DBLP DOI BibTeX RDF
1	David Y. Feinstein, Mitchell A. Thornton	On the Guidance of Reversible Logic Synthesis by Dynamic Variable Reordering.	ISMVL	2009	DBLP DOI BibTeX RDF
1	Tomoko Ninomiya, Masao Mukaidono	Clarifying the Systems of Axioms Based on the Method of Indeterminate Coefficients.	ISMVL	2009	DBLP DOI BibTeX RDF
1	Naoki Tsuchiya, Hiroshi Nakajima	A Study of Practical Causality Acquisition among Vital Signals.	ISMVL	2009	DBLP DOI BibTeX RDF
1	Jaakko Astola, Radomir S. Stankovic	Application of Covering Codes for Reduced Representations of Logic Functions.	ISMVL	2009	DBLP DOI BibTeX RDF
1	Hong Ye, Syoji Kobashi, Yutaka Hata, Kazuhiko Taniguchi, Kazunari Asari	Biometric System by Foot Pressure Change Based on Neural Network.	ISMVL	2009	DBLP DOI BibTeX RDF
1	Noboru Takagi	Non-convex Fuzzy Truth Values and De Morgan Bisemilattices.	ISMVL	2009	DBLP DOI BibTeX RDF
1	Karsten Schölzel	The Minimal Covering of Maximal Partial Clones in 4-valued Logic.	ISMVL	2009	DBLP DOI BibTeX RDF
1	Seiya Kasai, Yuta Shiratori, Kensuke Miura, Nan-Jian Wu	Multi-path Switching Device Utilizing a Multi-terminal Nanowire Junction for MDD-Based Logic Circuit.	ISMVL	2009	DBLP DOI BibTeX RDF
1	Hiroshi Sakai, Hiroshi Kimura, Michinori Nakata	An Overview of a Software Tool in Rough Non-deterministic Information Analysis.	ISMVL	2009	DBLP DOI BibTeX RDF
1	Hosam A. Aleem, David H. Green, Ferda Mavituna	Representing the Genetic Code as a Function on a Galois Field Using the Reed-Muller Expansion.	ISMVL	2009	DBLP DOI BibTeX RDF
1	Patrik Eklund, Maria A. Galán, Jari Kortelainen, Lawrence Neff Stout	Paradigms for Non-classical Substitutions.	ISMVL	2009	DBLP DOI BibTeX RDF
1	Ramón Béjar, Cèsar Fernández, Carles Mateu, Nuria Pascual	Bounding the Phase Transition on Edge Matching Puzzles.	ISMVL	2009	DBLP DOI BibTeX RDF
1	Syoji Kobashi, Yuko Fujimoto, Masayo Ogawa, Kumiko Ando, Reiichi Ishikura, Seturo Imawaki, Shozo Hirota, Yutaka Hata	Fuzzy Logic Assisted Quantification of Gyral Deformation Index Using Magnetic Resonance Images for the Infantile Brain.	ISMVL	2009	DBLP DOI BibTeX RDF
1	Andrei A. Bulatov	Counting Problems and Clones of Functions.	ISMVL	2009	DBLP DOI BibTeX RDF
1	Dan A. Simovici, Selim Mimaroglu	Mining Approximative Descriptions of Sets Using Rough Sets.	ISMVL	2009	DBLP DOI BibTeX RDF
1	Ali Razib, Scott Dick, Vincent C. Gaudet	Design of a High-Speed Fuzzy Logic Controller Based on Log-Domain Arithmetic.	ISMVL	2009	DBLP DOI BibTeX RDF
1	André Sülflow, Robert Wille, Görschwin Fey, Rolf Drechsler	Evaluation of Cardinality Constraints on SMT-Based Debugging.	ISMVL	2009	DBLP DOI BibTeX RDF
1	Hajime Machida, Ivo G. Rosenberg	On Endoprimal Monoids in Clone Theory.	ISMVL	2009	DBLP DOI BibTeX RDF
1	David J. Rosenbaum 0001, Marek A. Perkowski	Efficient Implementation of Controlled Operations for Multivalued Quantum Logic.	ISMVL	2009	DBLP DOI BibTeX RDF
1	Michinori Nakata, Hiroshi Sakai	Applying Rough Sets to Information Tables Containing Missing Values.	ISMVL	2009	DBLP DOI BibTeX RDF
1	Karsten Schölzel	Minimal Coverings of Maximal Partial Clones.	ISMVL	2009	DBLP DOI BibTeX RDF
1	Takako Soma, Takashi Soma	Ternary Logic by 3rd Subharmonics and its Application to Multiway Switches.	ISMVL	2009	DBLP DOI BibTeX RDF
1	Gustav Nordh, Bruno Zanuttini	Frozen Boolean Partial Co-clones.	ISMVL	2009	DBLP DOI BibTeX RDF
1	Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler	Floating-Point Numerical Function Generators Using EVMDDs for Monotone Elementary Functions.	ISMVL	2009	DBLP DOI BibTeX RDF
1	Nobuaki Okada, Michitaka Kameyama	Multiple-Valued Reconfigurable VLSI Processor Based on Superposition of Data and Control Signals.	ISMVL	2009	DBLP DOI BibTeX RDF
1		ISMVL 2009, 39th International Symposium on Multiple-Valued Logic, 21-23 May 2009, Naha, Okinawaw, Japan	ISMVL	2009	DBLP BibTeX RDF
1	Yasuo Kudo, Tetsuya Murai	Attribute Reduction as Calculation of Focus in Granular Reasoning.	ISMVL	2009	DBLP DOI BibTeX RDF
1	Mozammel H. A. Khan	Scalable Architectures for Design of Reversible Quaternary Multiplexer and Demultiplexer Circuits.	ISMVL	2009	DBLP DOI BibTeX RDF
1	Mayuka F. Kawaguchi, Masaaki Miyakoshi	Generalized Extended t-Norms as t-Norms of Type 2.	ISMVL	2009	DBLP DOI BibTeX RDF
1	Tsutomu Sasao, Hiroki Nakahara, Munehiro Matsuura, Yoshifumi Kawamura, Jon T. Butler	A Quaternary Decision Diagram Machine and the Optimization of its Code.	ISMVL	2009	DBLP DOI BibTeX RDF
1	Ashur Rafiev, Julian P. Murphy, Alexandre Yakovlev	Quaternary Reed-Muller Expansions of Mixed Radix Arguments in Cryptographic Circuits.	ISMVL	2009	DBLP DOI BibTeX RDF

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