Martin Lukac

IEICE Trans. Inf. Syst., 2024

Ternary Function Classification Using Machine Learning.

[BibT_eX]

[DOI]

Proceedings of the 54th IEEE International Symposium on Multiple-Valued Logic, 2024

A Proposal of Equivalence Classes in Maximally Asymmetric Functions and Their Application to Benchmark Generation.

[BibT_eX]

[DOI]

Shin'ichi Wakabayashi

Proceedings of the 54th IEEE International Symposium on Multiple-Valued Logic, 2024

2023

Editorial Note for the Speical Issue on Multiple Valued Logic 2023.

[BibT_eX]

[DOI]

FLAP, 2023

Verification Based Algorithm Selection.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Information and Digital Technologies, 2023

2022

Editorial Note for the Special Issue on Multiple-Valued Logic.

[BibT_eX]

[DOI]

Shinbo Nagayama

FLAP, 2022

Approximate Function Classification.

[BibT_eX]

[DOI]

Krzysztof Podlaski

Proceedings of the Computational Science - ICCS 2022, 2022

2021

Reputation systems and recruitment in online labor markets: insights from an agent-based model.

[BibT_eX]

[DOI]

André Grow

J. Comput. Soc. Sci., 2021

Optimization of LNN Reversible Circuits Using an Analytic Sifting Method.

[BibT_eX]

[DOI]

Pawel Kerntopf

J. Circuits Syst. Comput., 2021

Evaluation of Pseudo-Random Number Generation on GPU Cards.

[BibT_eX]

[DOI]

Tair Askar

Bekdaulet Shukirgaliyev

Ernazar Abdikamalov

Comput., 2021

On Distinguishing Sequences of Several Classes of Reversible Finite State Machines.

[BibT_eX]

[DOI]

Khaled El-Fakih

Proceedings of the 51st IEEE International Symposium on Multiple-Valued Logic, 2021

2020

Editorial.

[BibT_eX]

[DOI]

FLAP, 2020

Editorial for Special Issue on Multiple Valued Logic.

[BibT_eX]

[DOI]

FLAP, 2020

Capacity Limits of Fully Binary CNN.

[BibT_eX]

[DOI]

Timur Tibeyev

Proceedings of the 50th IEEE International Symposium on Multiple-Valued Logic, 2020

Selecting Algorithms Without Meta-features.

[BibT_eX]

[DOI]

Proceedings of the Pattern Recognition. ICPR International Workshops and Challenges, 2020

Remove to Improve?

[BibT_eX]

[DOI]

Narendra Ahuja

Proceedings of the Pattern Recognition. ICPR International Workshops and Challenges, 2020

Geometric Refactoring of Quantum and Reversible Circuits: Quantum Layout.

[BibT_eX]

[DOI]

Proceedings of the 23rd Euromicro Conference on Digital System Design, 2020

2019

Quantum encoded quantum evolutionary algorithm for the design of quantum circuits.

[BibT_eX]

[DOI]

Georgiy Krylov

Proceedings of the 16th ACM International Conference on Computing Frontiers, 2019

2018

Preface to the Special Issue of the 48th IEEE International Symposium on Multiple Valued Logic.

[BibT_eX]

[DOI]

Robert Wille

FLAP, 2018

Editor's Note.

[BibT_eX]

[DOI]

FLAP, 2018

CNOT-Measure Quantum Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 48th IEEE International Symposium on Multiple-Valued Logic, 2018

QL-Net: Quantized-by-LookUp CNN.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Control, 2018

2017

Context Based Visual Content Verification.

[BibT_eX]

[DOI]

Aigerim Bazarbayeva

CoRR, 2017

Building a Completely Reversible Computer.

[BibT_eX]

[DOI]

CoRR, 2017

Live-feeling communication: Multi-algorithm approach to the estimation of human intentions.

[BibT_eX]

[DOI]

Yevgeniya Migranova

Proceedings of the 2017 IEEE International Conference on Systems, Man, and Cybernetics, 2017

Study of GPU Acceleration in Genetic Algorithms for Quantum Circuit Synthesis.

[BibT_eX]

[DOI]

Georgiy Krylov

Proceedings of the 47th IEEE International Symposium on Multiple-Valued Logic, 2017

2016

On Minimal Accuracy Algorithm Selection in Computer Vision and Intelligent Systems.

[BibT_eX]

[DOI]

CoRR, 2016

Reasoning and Algorithm Selection Augmented Symbolic Segmentation.

[BibT_eX]

[DOI]

CoRR, 2016

Quantum Algorithmic Complexity of Three-Qubit Pure States.

[BibT_eX]

[DOI]

Aikaterini Mandilara

Proceedings of the 46th IEEE International Symposium on Multiple-Valued Logic, 2016

2015

An algorithm selection based platform for image understanding using high-level symbolic feedback and machine learning.

[BibT_eX]

[DOI]

Int. J. Mach. Learn. Cybern., 2015

Symbolic Segmentation Using Algorithm Selection.

[BibT_eX]

[DOI]

CoRR, 2015

2014

Reversible, Information-Preserving Logic and Its Application.

[BibT_eX]

[DOI]

J. Multiple Valued Log. Soft Comput., 2014

Synthesis of Quantum Arrays from Kronecker Functional Lattice Diagrams.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2014

Analysis of Faults in Reversible Computing.

[BibT_eX]

[DOI]

Proceedings of the IEEE 44th International Symposium on Multiple-Valued Logic, 2014

Minimizing Reversible Circuits in the 2n Scheme Using Two and Three Bits Patterns.

[BibT_eX]

[DOI]

Proceedings of the 17th Euromicro Conference on Digital System Design, 2014

2013

Quantum Finite State Machines - a Circuit Based Approach.

[BibT_eX]

[DOI]

Int. J. Unconv. Comput., 2013

On Synthesis and Verification from Event Diagrams in a Robot Theatre Application.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE International Symposium on Multiple-Valued Logic, 2013

Analysis of Reversible and Quantum Finite State Machines Using Homing, Synchronizing and Distinguishing Input Sequences.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE International Symposium on Multiple-Valued Logic, 2013

Multiple-Valued Reversible Benchmarks and Extensible Quantum Specification (XQS) Format.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE International Symposium on Multiple-Valued Logic, 2013

Bayesian Network for algorithm selection: Real-world hierarchy for nodes reduction.

[BibT_eX]

[DOI]

Proceedings of the International Joint Conference on Awareness Science and Technology & Ubi-Media Computing, 2013

Natural image understanding using algorithm selection and high-level feedback.

[BibT_eX]

[DOI]

Kosuke Hiura

Proceedings of the Intelligent Robots and Computer Vision XXX: Algorithms and Techniques, 2013

2012

High Speed Genetic Algorithms in Quantum Logic Synthesis: Low Level Parallelization vs. Representation?

[BibT_eX]

[DOI]

J. Multiple Valued Log. Soft Comput., 2012

2011

Information-Preserving Logic Based on Logical Reversibility to Reduce the Memory Data Transfer Bottleneck and Heat Dissipation.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE International Symposium on Multiple-Valued Logic, 2011

2010

Synthesis of Small Reversible and Pseudo-Reversible Circuits Using Y-Gates and Inverse Y-Gates.

[BibT_eX]

[DOI]

Proceedings of the 40th IEEE International Symposium on Multiple-Valued Logic, 2010

Adaptive Selection of Intelligent Processing Modules and its Applications.

[BibT_eX]

Proceedings of the 2010 International Conference on Artificial Intelligence, 2010

Evolutionary quantum logic synthesis of Boolean reversible logic circuits embedded in ternary quantum space using structural restrictions.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2010

2009

Quantum Finite State Machines as Sequential Quantum Circuits.

[BibT_eX]

[DOI]

Proceedings of the ISMVL 2009, 2009

Recovering temporal integrity with Data Driven Time Synchronization.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Information Processing in Sensor Networks, 2009

2008

Projective Measurement-Based Logic Synthesis of Quantum Circuits.

[BibT_eX]

[DOI]

Proceedings of the 38th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2008), 2008

Evolutionary approach to quantum symbolic logic synthesis.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2008

2007

Emstar: A software environment for developing and deploying heterogeneous sensor-actuator networks.

[BibT_eX]

[DOI]

ACM Trans. Sens. Networks, 2007

Quantum Mechanical Model of Emotional Robot Behaviors.

[BibT_eX]

[DOI]

Proceedings of the 37th International Symposium on Multiple-Valued Logic, 2007

End-to-End Routing for Dual-Radio Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the INFOCOM 2007. 26th IEEE International Conference on Computer Communications, 2007

2006

Disruption tolerant shell.

[BibT_eX]

[DOI]

Lewis Girod

Deborah Estrin

Proceedings of the 2006 SIGCOMM workshop on Challenged networks, 2006

A self-calibrating distributed acoustic sensing platform.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Embedded Networked Sensor Systems, 2006

The design and implementation of a self-calibrating distributed acoustic sensing platform.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Embedded Networked Sensor Systems, 2006

2005

Hahoe KAIST Robot Theatre: Learning Rules of Interactive Robot Behavior as a Multiple-Valued Logic Synthesis Problem.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2005), 2005

Test Generation and Fault Localization for Quantum Circuits.

[BibT_eX]

[DOI]

Jacob D. Biamonte

Proceedings of the 35th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2005), 2005

2003

Evolutionary Approach to Quantum and Reversible Circuits Synthesis.

[BibT_eX]

[DOI]

Artif. Intell. Rev., 2003

2002

Evolving Quantum Circuits Using Genetic Algorithm.

[BibT_eX]

[DOI]