Conferences in DBLP
Sergiu Rudeanu Equations in the Algebra of Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Hajime Machida , Masahiro Miyakawa , Ivo G. Rosenberg Some Results on the Centralizers of Monoids in Clone Theory. [Citation Graph (0, 0)][DBLP ] Conf ] B. A. Romov Partial Hyperclones on a Finite Set. [Citation Graph (0, 0)][DBLP ] Conf ] Michiro Kondo On the Structures of Weak Interlaced Bilattice. [Citation Graph (0, 0)][DBLP ] Conf ] Claudio Moraga Improving the Characterization of p-Valued Threshold Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Elena Dubrova , Petra Färm A Conjunctive Canonical Expansion of Multiple-Valued Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Denis V. Popel , Anita Dani Sierpinski Gaskets for Logic Functions Representation. [Citation Graph (0, 0)][DBLP ] Conf ] Noboru Takagi , Kyoichi Nakashima Logic for Static Hazard Detection of Multiple-Valued Logic Circuits with Tsum, Min, and Literals. [Citation Graph (0, 0)][DBLP ] Conf ] Yasushi Yuminaka , Tatsuya Morishita , Takafumi Aoki , Tatsuo Higuchi Multiple-Valued Data Recovery Techniques for Band-Limited Channels in VLSI. [Citation Graph (0, 0)][DBLP ] Conf ] Takao Waho , Shin-ya Kobayashi , Koji Matsuura An Impact of Introducing Multi-Level Signals to a Bandpass Cascaded Delta-Sigma Modulator. [Citation Graph (0, 0)][DBLP ] Conf ] Yongjian Brandon Guo , K. Wayne Current Voltage Comparator Circuits for Multiple-Valued CMOS Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Dragan Jankovic , Radomir S. Stankovic Efficient Calculation of Fixed-Polarity Polynomial Expressions for Multiple-Valued Logic Functions. [Citation Graph (0, 0)][DBLP ] Conf ] K. J. Adams , J. McGregor Comparison of Different Features of Quaternary Reed-Muller Canonical Forms and Some New Statistical Results. [Citation Graph (0, 0)][DBLP ] Conf ] Boris Polianskikh , Zeljko Zilic Design and Implementation of Error Detection and Correction Circuitry for Multilevel Memory Protection. [Citation Graph (0, 0)][DBLP ] Conf ] Masanori Natsui , Takafumi Aoki , Tatsuo Higuchi Parallel Evolutionary Graph Synthesis on a PC Cluster and Its Application to Multiple-Valued Circuit Synthesis. [Citation Graph (0, 0)][DBLP ] Conf ] Vincenzo Marra , Daniele Mundici Consequence and Complexity in Infinite-Valued Logic: A Survey. [Citation Graph (0, 0)][DBLP ] Conf ] Radomir S. Stankovic , Jaakko Astola Some Remarks on Linear Transform of Variables in Representation of Adders by Word-Level Expressions and Spectral Transform Decision Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] Mitchell A. Thornton , D. Michael Miller , Whitney J. Townsend Chrestenson Spectrum Computation Using Cayley Color Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Zeljko Zilic , Katarzyna Radecka The Role of Super-Fast Transforms in Speeding Up Quantum Computations. [Citation Graph (0, 0)][DBLP ] Conf ] Bogdan J. Falkowski , Beata T. Olejnicka Multiple-Valued and Spectral Approach to Lossless Compression of Binary, Gray Scale and Color Biomedical Images. [Citation Graph (0, 0)][DBLP ] Conf ] Elena N. Zaitseva , Vitaly G. Levashenko Design of Dynamic Reliability Indices. [Citation Graph (0, 0)][DBLP ] Conf ] Naotake Kamiura , Teijiro Isokawa , Nobuyuki Matsui PODEM Based on Static Testability Measures and Dynamic Testability Measures for Multiple-Valued Logic Circuits. [Citation Graph (0, 0)][DBLP ] Conf ] Yinshui Xia , Xunwei Wu , Penjung Wang Design of Ternary Schmitt Triggers Based on Its Sequential Characteristics. [Citation Graph (0, 0)][DBLP ] Conf ] Hiromitsu Kimura , Takahiro Hanyu , Michitaka Kameyama Multiple-Valued Logic-in-Memory VLSI Based on Ferroelectric Capacitor Storage and Charge Addition. [Citation Graph (0, 0)][DBLP ] Conf ] Robert K. Brayton , M. Gao , Jie-Hong Roland Jiang , Yunjian Jiang , Yinghua Li , Alan Mishchenko , Subarnarekha Sinha , Tiziano Villa Optimization of Multi-Valued Multi-Level Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Hiroaki Kikuchi , Noboru Takagi de Morgan Bisemilattice of Fuzzy Truth Value. [Citation Graph (0, 0)][DBLP ] Conf ] Tomoko Ninomiya , Masao Mukaidono Independence of Each Axiom in a Set of Axioms and Complete Sets of Axioms of Boolean Algebra. [Citation Graph (0, 0)][DBLP ] Conf ] Ivo G. Rosenberg , Dan A. Simovici , Szymon Jaroszewicz On Functions Defined on Free Boolean Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Svetlana N. Yanushkevich , Piotr Dziurzanski , Vlad P. Shmerko The Word-Level Models for Efficient Computation of Multiple-Valued Functions. PART 1: LAR Based Model. [Citation Graph (0, 0)][DBLP ] Conf ] Anna M. Tomaszewska , Svetlana N. Yanushkevich , Vlad P. Shmerko The Word-Level Models for Efficient Computation of Multiple-Valued Functions. PART 2: LWL Based Model. [Citation Graph (0, 0)][DBLP ] Conf ] Ilia Polian , Piet Engelke , Bernd Becker Efficient Bridging Fault Simulation of Sequential Circuits Based on Multi-Valued Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Naofumi Takagi Multiple-Valued-Digit Number Representations in Arithmetic Circuit Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Masahiro Miyakawa , Nobuyuki Otsu , Ivo G. Rosenberg Variable Selection Heuristics and Optimum Decision Trees - An Experimental Study. [Citation Graph (0, 0)][DBLP ] Conf ] D. Michael Miller , Rolf Drechsler On the Construction of Multiple-Valued Decision Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] Rolf Drechsler Evaluation of Static Variable Ordering Heuristics for MDD Construction. [Citation Graph (0, 0)][DBLP ] Conf ] Shinobu Nagayama , Tsutomu Sasao , Yukihiro Iguchi , Munehiro Matsuura Representations of Logic Functions Using QRMDDs. [Citation Graph (0, 0)][DBLP ] Conf ] Tsukasa Ike , Takahiro Hanyu , Michitaka Kameyama Fully Source-Coupled Logic Based Multiple-Valued VLSI. [Citation Graph (0, 0)][DBLP ] Conf ] Sung Il Han , Seung-Yong Park , Hyeon Kyeong Seong , Heung-Soo Kim A Current-Mode Folding/Interpolating CMOS Analog to Quaternary Converter Using Binary to Quaternary Encoding Block. [Citation Graph (0, 0)][DBLP ] Conf ] Motoi Inaba , Koichi Tanno , Okihiko Ishizuka Multi-Valued Flip-Flop with Neuron-CMOS NMIN Circuits. [Citation Graph (0, 0)][DBLP ] Conf ] 