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 (62) 1991 (48) 1992 (63) 1993 (45) 1994 (51) 1995 (45) 1996 (51) 1997 (42) 1998 (60) 1999 (45) 2000 (68) 2001 (52) 2002 (40) 2003 (58) 2004 (56) 2005 (49) 2006 (40) 2007 (61) 2008 (43) 2009 (64) 2010 (59) 2011 (56) 2012 (62) 2013 (60) 2014 (45) 2015 (39) 2016 (50) 2017 (50) 2018 (45) 2019 (36) 2020 (55) 2021 (35) 2022 (31) 2023 (38)
Publication types (Num. hits)
inproceedings(1670) proceedings(34)
Venues (Conferences, Journals, ...)
ISMVL(1704)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 907 occurrences of 486 keywords

Results
Found 1704 publication records. Showing 1704 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Gopalakrishnan Sundararajan, Chris Winstead CNTFET-RFB: An Error Correction Implementation for Multi-valued CNTFET Logic. Search on Bibsonomy ISMVL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Takahiro Yamanoi Elucidation of Brain Activities by Electroencephalograms and Its Application to Brain Computer Interface. Search on Bibsonomy ISMVL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Claudio Moraga Quantum p-Valued Toffoli and Deutsch Gates with Conjunctive or Disjunctive Mixed Polarity Control. Search on Bibsonomy ISMVL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Michiro Kondo, Mayuka F. Kawaguchi Some Properties of Generalized State Operators on Residuated Lattices. Search on Bibsonomy ISMVL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tsutomu Sasao A Realization of Index Generation Functions Using Multiple IGUs. Search on Bibsonomy ISMVL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Md. Mazder Rahman, Gerhard W. Dueck, Anupam Chattopadhyay, Robert Wille Integrated Synthesis of Linear Nearest Neighbor Ancilla-Free MCT Circuits. Search on Bibsonomy ISMVL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Miki Haseyama Realization of Associative Image Search: Development of Image Retrieval Platform for Enhancing Serendipity. Search on Bibsonomy ISMVL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mona Moradi, Reza Faghih Mirzaee, Keivan Navi Ternary Versus Binary Multiplication with Current-Mode CNTFET-Based K-Valued Converters. Search on Bibsonomy ISMVL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Naoto Sugaya, Masanori Natsui, Takahiro Hanyu Context-Based Error Correction Scheme Using Recurrent Neural Network for Resilient and Efficient Intra-Chip Data Transmission. Search on Bibsonomy ISMVL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jianjun Chen, Noboru Takagi Gray-Scale Morphology Based Image Segmentation and Character Extraction Using SVM. Search on Bibsonomy ISMVL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Daisuke Suzuki, Takahiro Hanyu Energy-Efficient and Highly-Reliable Nonvolatile FPGA Using Self-Terminated Power-Gating Scheme. Search on Bibsonomy ISMVL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Norihiro Kamide Paraconsistent Double Negation That Can Simulate Classical Negation. Search on Bibsonomy ISMVL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Catalin Zara, Dan A. Simovici Tolerance Distances on Minimal Coverings. Search on Bibsonomy ISMVL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hajime Machida, Ivo G. Rosenberg Centralizing Monoids on a Three-Element Set Related to Binary Idempotent Functions. Search on Bibsonomy ISMVL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Rei Ueno, Yukihiro Sugawara, Naofumi Homma, Takafumi Aoki Formal Design of Pipelined GF Arithmetic Circuits and Its Application to Cryptographic Processors. Search on Bibsonomy ISMVL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Shunsuke Koshita, Naoya Onizawa, Masahide Abe, Takahiro Hanyu, Masayuki Kawamata Realization of FIR Digital Filters Based on Stochastic/Binary Hybrid Computation. Search on Bibsonomy ISMVL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler An Efficient Heuristic for Linear Decomposition of Index Generation Functions. Search on Bibsonomy ISMVL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Laxmidhar Biswal, Chandan Bandyopadhyay, Anupam Chattopadhyay, Robert Wille, Rolf Drechsler, Hafizur Rahaman 0001 Nearest-Neighbor and Fault-Tolerant Quantum Circuit Implementation. Search on Bibsonomy ISMVL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ivan Chajda, Jan Paseka Set Representation of Partial Dynamic De Morgan Algebras. Search on Bibsonomy ISMVL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jaakko T. Astola, Pekka Astola, Radomir S. Stankovic, Ioan Tabus An Algebraic Approach to Reducing the Number of Variables of Incompletely Defined Discrete Functions. Search on Bibsonomy ISMVL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nils Przigoda, Gerhard W. Dueck, Robert Wille, Rolf Drechsler Fault Detection in Parity Preserving Reversible Circuits. Search on Bibsonomy ISMVL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Claudio Moraga, Radomir S. Stankovic, Milena Stankovic The Pascal Triangle (1654), the Reed-Muller-Fourier Transform (1992), and the Discrete Pascal Transform (2005). Search on Bibsonomy ISMVL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Helena Astola, Radomir S. Stankovic, Jaakko T. Astola Index Generation Functions Based on Linear and Polynomial Transformations. Search on Bibsonomy ISMVL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Qiangfu Zhao A Study on Realizing Awareness Using 3VL-MLP. Search on Bibsonomy ISMVL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mizuki Higuchi, Ken-ichi Sorachi, Yutaka Hata Dependency Analysis of BMI in Health Checkup Blood Data. Search on Bibsonomy ISMVL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bernd Steinbach, Stefan Heinrich, Christian Posthoff Multi-valued Problem Solvers. Search on Bibsonomy ISMVL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Philipp Niemann 0001, Rhitam Datta, Robert Wille Logic Synthesis for Quantum State Generation. Search on Bibsonomy ISMVL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Andrew Shorten, Wai Tung Ng SPRUCE, an Embedded Compact Stack Machine for IGBT Power Modules. Search on Bibsonomy ISMVL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Shin-ichi Minato Power of Enumeration - BDD/ZDD-Based Techniques for Discrete Structure Manipulation. Search on Bibsonomy ISMVL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Linh Tran, Addison Gronquist, Marek A. Perkowski, John S. Caughman IV An Improved Factorization Approach to Reversible Circuit Synthesis Based on EXORs of Products of EXORs. Search on Bibsonomy ISMVL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Debabani Chowdhury, Debesh K. Das, Bhargab B. Bhattacharya, Tsutomu Sasao On the Inadmissible Class of Multiple-Valued Faulty-Functions under Stuck-at Faults. Search on Bibsonomy ISMVL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Peter G. Jeavons, Andrius Vaicenavicius, Stanislav Zivný Minimal Weighted Clones with Boolean Support. Search on Bibsonomy ISMVL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ryuichi Murakami, Noriaki Muranaka Study Support System of Character Drawing Considering Feeling Evaluation. Search on Bibsonomy ISMVL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Zaid Al-Wardi, Robert Wille, Rolf Drechsler Re-Writing HDL Descriptions for Line-Aware Synthesis of Reversible Circuits. Search on Bibsonomy ISMVL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Joan Ramon Soler, Felip Manyà A Bit-Vector Approach to Satisfiability Testing in Finitely-Valued Logics. Search on Bibsonomy ISMVL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Md Belayet Ali, Takashi Hirayama, Katsuhisa Yamanaka, Yasuaki Nishitani New Two-Qubit Gate Library with Entanglement. Search on Bibsonomy ISMVL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Martin Lukac, Aikaterini Mandilara Quantum Algorithmic Complexity of Three-Qubit Pure States. Search on Bibsonomy ISMVL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hiroki Nakahara, Tsutomu Sasao, Hiroyuki Nakanishi, Kazumasa Iwai, Tohru Nagao, Naoya Ogawa An FFT Circuit Using Nested RNS in a Digital Spectrometer for a Radio Telescope. Search on Bibsonomy ISMVL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1 46th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2016, Sapporo, Japan, May 18-20, 2016 Search on Bibsonomy ISMVL The full citation details ... 2016 DBLP  BibTeX  RDF
1Anupam Chattopadhyay, Luca Gaetano Amarù, Mathias Soeken, Pierre-Emmanuel Gaillardon, Giovanni De Micheli Notes on Majority Boolean Algebra. Search on Bibsonomy ISMVL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Tsutomu Sasao A Reduction Method for the Number of Variables to Represent Index Generation Functions: s-Min Method. Search on Bibsonomy ISMVL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Daisaku Katagiri, Naoya Onizawa, Takahiro Hanyu Early-Stage Operation-Skipping Scheme for Low-Power Stochastic Image Processors. Search on Bibsonomy ISMVL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Miquel Bofill, Felip Manyà, Amanda Vidal, Mateu Villaret Finding Hard Instances of Satisfiability in Lukasiewicz Logics. Search on Bibsonomy ISMVL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler, Mitchell A. Thornton, Theodore W. Manikas Edge Reduction for EVMDDs to Speed Up Analysis of Multi-state Systems. Search on Bibsonomy ISMVL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Talal Bonny, Bassel Soudan Computation Time Reduction to Speed-up the Database Searching Process. Search on Bibsonomy ISMVL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Md. Mazder Rahman, Mathias Soeken, Gerhard W. Dueck Dynamic Template Matching with Mixed-Polarity Toffoli Gates. Search on Bibsonomy ISMVL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yukihiro Sugawara, Rei Ueno, Naofumi Homma, Takafumi Aoki System for Automatic Generation of Parallel Multipliers over Galois Fields. Search on Bibsonomy ISMVL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Claudio Moraga, Milena Stankovic, Radomir S. Stankovic Contribution to the Study of Ternary Functions with a Bent Reed-Muller Spectrum. Search on Bibsonomy ISMVL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Michiro Kondo Quotient Structures of Non-Commutative Residuated Lattices. Search on Bibsonomy ISMVL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Michitaka Kameyama Novel VLSI Architectures for Real-World Intelligent Systems. Search on Bibsonomy ISMVL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Libor Behounek, Vilém Novák Towards Fuzzy Partial Logic. Search on Bibsonomy ISMVL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nusrat Jahan Lisa, Hafiz Md. Hasan Babu Design of a Compact Ternary Parallel Adder/Subtractor Circuit in Quantum Computing. Search on Bibsonomy ISMVL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Victor Lagerkvist, Magnus Wahlström, Bruno Zanuttini Bounded Bases of Strong Partial Clones. Search on Bibsonomy ISMVL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Arighna Deb, Robert Wille, Rolf Drechsler, Debesh K. Das An Efficient Reduction of Common Control Lines for Reversible Circuit Optimization. Search on Bibsonomy ISMVL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mark Howard, Joel Wallman, Victor Veitch, Joseph Emerson Contextuality Supplies the Magic for Quantum Computation. Search on Bibsonomy ISMVL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Anupam Chattopadhyay, Alessandro Littarru, Luca Gaetano Amarù, Pierre-Emmanuel Gaillardon, Giovanni De Micheli Reversible Logic Synthesis via Biconditional Binary Decision Diagrams. Search on Bibsonomy ISMVL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Radomir S. Stankovic, D. Michael Miller Using QMDD in Numerical Methods for Solving Linear Differential Equations via Walsh Functions. Search on Bibsonomy ISMVL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Miguel Couceiro, Bruno Teheux Clones of Pivotally Decomposable Functions. Search on Bibsonomy ISMVL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1 2015 IEEE International Symposium on Multiple-Valued Logic, Waterloo, ON, Canada, May 18-20, 2015 Search on Bibsonomy ISMVL The full citation details ... 2015 DBLP  BibTeX  RDF
1Mozammel H. A. Khan Single-Electron Transistor Based Implementation of NOT, Feynman, and Toffoli Gates. Search on Bibsonomy ISMVL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Chikatoshi Yamada, D. Michael Miller Using SPIN to Check Nondeterministic Simulink Stateflow Models. Search on Bibsonomy ISMVL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ryuichi Murakami, Noriaki Muranaka Grading Evaluation Method in Character Drawing Study Support System. Search on Bibsonomy ISMVL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Miguel Couceiro, Lucien Haddad, Maurice Pouzet, Karsten Schölzel Hereditarily Rigid Relations: Dedicated to Professor I.G. Rosenberg on the Occasion of His 80-th Birthday. Search on Bibsonomy ISMVL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Rei Ueno, Naofumi Homma, Yukihiro Sugawara, Takafumi Aoki Formal Design of Galois-Field Arithmetic Circuits Based on Polynomial Ring Representation. Search on Bibsonomy ISMVL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Arman Allahyari-Abhari, Robert Wille, Rolf Drechsler An Examination of the NCV-|u1 > Quantum Library Based on Minimal Circuits. Search on Bibsonomy ISMVL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Thomas Macaulay Ferguson Cut-Down Operations on Bilattices. Search on Bibsonomy ISMVL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Pietro Codara, Diego Valota Valuations in Nilpotent Minimum Logic. Search on Bibsonomy ISMVL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Matthew Valeriote Algebras and Algorithms. Search on Bibsonomy ISMVL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Hajime Machida, Tamás Waldhauser Lazy Clones and Essentially Minimal Groupoids. Search on Bibsonomy ISMVL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Uichi Ishida, Yusuke Yamazaki, Takao Waho Non-Binary Analog-to-Digital Converter Based on Amoeba-Inspired Neural Network. Search on Bibsonomy ISMVL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Hiroki Nakahara, Tsutomu Sasao, Hiroyuki Nakanishi, Kazumasa Iwai An RNS FFT Circuit Using LUT Cascades Based on a Modulo EVMDD. Search on Bibsonomy ISMVL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Asif Nashiry, Gite Gaurav Bhaskar, Jacqueline E. Rice Online Testing for Three Fault Models in Reversible Circuits. Search on Bibsonomy ISMVL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Martin Goldstern, Hajime Machida, Ivo G. Rosenberg Some Classes of Centralizing Monoids on a Three-Element Set. Search on Bibsonomy ISMVL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Shawn Eastwood, Svetlana N. Yanushkevich, Vlad P. Shmerko Belief Network Support via Decision Diagrams. Search on Bibsonomy ISMVL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Takeaki Akutsu, Masanori Natsui, Takahiro Hanyu Write-Operation Frequency Reduction for Nonvoratile Logic LSI with a Short Break-Even Time. Search on Bibsonomy ISMVL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Clemen Deng, Marek A. Perkowski A Novel Weighted Hierarchical Adaptive Voting Ensemble Machine Learning Method for Breast Cancer Detection. Search on Bibsonomy ISMVL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Aynaz Vatankhahghadim, Ali Sheikholeslami A Multi-level Cell for STT-MRAM with Biaxial Magnetic Tunnel Junction. Search on Bibsonomy ISMVL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mathias Soeken, Anupam Chattopadhyay Fredkin-Enabled Transformation-Based Reversible Logic Synthesis. Search on Bibsonomy ISMVL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Paolo Baldi, Agata Ciabattoni Standard Completeness for Uninorm-Based Logics. Search on Bibsonomy ISMVL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sándor Jenei Four New Construction Methods on Residuated Monoids. Search on Bibsonomy ISMVL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Bernd Steinbach, Christian Posthoff Multiple-Valued Problem Solvers - Comparison of Several Approaches. Search on Bibsonomy ISMVL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Lucien Haddad, Karsten Schölzel Countable Intervals of Partial Clones. Search on Bibsonomy ISMVL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Tamás Waldhauser Maximal and Minimal Closed Classes in Multiple-Valued Logic. Search on Bibsonomy ISMVL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alexis De Vos, Stijn De Baerdemacker The Decomposition of U(n) into XU(n) and ZU(n). Search on Bibsonomy ISMVL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Miguel Couceiro, Lucien Haddad, Karsten Schölzel, Tamás Waldhauser Relation Graphs and Partial Clones on a 2-Element Set. Search on Bibsonomy ISMVL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Akira Mochizuki, Hirokatsu Shirahama, Takahiro Hanyu Design of a Quaternary Single-Ended Current-Mode Circuit for an Energy-Efficient Inter-chip Asynchronous Communication Link. Search on Bibsonomy ISMVL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Shintaro Harada, Xu Bai, Michitaka Kameyama, Yoshichika Fujioka Design of a Logic-in-Memory Multiple-Valued Reconfigurable VLSI Based on a Bit-Serial Packet Data Transfer Scheme. Search on Bibsonomy ISMVL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Chandan Bandyopadhyay, Hafizur Rahaman 0001, Rolf Drechsler A Cube Pairing Approach for Synthesis of ESOP-Based Reversible Circuit. Search on Bibsonomy ISMVL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Yosuke Iijima, Yasushi Yuminaka Evaluation of High-Speed Interfaces for VLSI Systems Using Tomlinson-Harashima Precoding. Search on Bibsonomy ISMVL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Debesh K. Das, Debabani Chowdhury, Bhargab B. Bhattacharya, Tsutomu Sasao Inadmissible Class of Boolean Functions under Stuck-at Faults. Search on Bibsonomy ISMVL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Hooman Jarollahi, Naoya Onizawa, Takahiro Hanyu, Warren J. Gross Associative Memories Based on Multiple-Valued Sparse Clustered Networks. Search on Bibsonomy ISMVL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Christian G. Fermüller Semantic Games with Backtracking for Fuzzy Logics. Search on Bibsonomy ISMVL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Dmitriy Zhuk On Key Relations Preserved by a Weak Near-Unanimity Function. Search on Bibsonomy ISMVL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler, Mitchell A. Thornton, Theodore W. Manikas Analysis Methods of Multi-state Systems Partially Having Dependent Components Using Multiple-Valued Decision Diagrams. Search on Bibsonomy ISMVL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Nan Li 0018, Elena Dubrova An Algorithm for Constructing a Minimal Register with Non-linear Update Generating a Given Sequence. Search on Bibsonomy ISMVL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Tsutomu Sasao, Yuta Urano, Yukihiro Iguchi A Lower Bound on the Number of Variables to Represent Incompletely Specified Index Generation Functions. Search on Bibsonomy ISMVL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Tamás Mihálydeák First-Order Logic Based on Set Approximation: A Partial Three-Valued Approach. Search on Bibsonomy ISMVL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Radomir S. Stankovic, Jaakko Astola, Claudio Moraga, Dusan B. Gajic Constant Geometry Algorithms for Galois Field Expressions and Their Implementation on GPUs. Search on Bibsonomy ISMVL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mitchell A. Thornton, Theodore W. Manikas, Stephen A. Szygenda, Shinobu Nagayama System Probability Distribution Modeling Using MDDs. Search on Bibsonomy ISMVL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Victor Lagerkvist, Magnus Wahlström Polynomially Closed Co-clones. Search on Bibsonomy ISMVL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
Displaying result #301 - #400 of 1704 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][13][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license