Martin Lukac Website

about me
teaching
links
downloads
contact
publications
projects
media

Journals


Submitted

Perkowski M., Fiszer R., Kerntopf P., Lukac M. Minimization of Multi-Level Multi-Output Incompletely Specified Reversible Functions,, International Symposium on Multiple Valued Logic (ISMVL) 2012

Lukac M., Kameyama, M. Natural Image Segmentation using Algorithm Selection Paradigm,, International Conference on Computer Vision and Pattern Matching (CVPR) 2012

Shah D., Perkowski M., Lukac M., Hossain S. Synthesis of Quantum Arrays with Low Quantum Cost from Kronecker Functional Lattice Diagrams,, Microprocessors and Microsystems: Embedded Hardware Design (MICPRO)

Lukac M., Kameyama M., Perkowski M., Evolutionary quantum logic synthesis of boolean reversible logic circuits embedded in ternary quantum space using heuristics, Journal of soft computing

Lukac M., Kameyama M., Perkowski M., Quantum Finite State Machines - a Circuit Based Approach, Quantum Information Processing

Lukac M., Shuai B., Kameyama M., Miller M. Lukac M., Kameyama M., Perkowski M., Reversible, Information-Preserving Logic and its ApplicationJournal of Multiple-Valued Logic and soft Computing

2011

Lukac M., Kameyama M., Perkowski M., Kerntopf P.Decomposition of Reversible Logic Function Based on Cube-Reordering, Facta Universitatis, Accepted

Lukac M., Kameyama M., Miller, D.M., Perkowski M. High Speed Genetic Algorithms in Quantum Logic Synthesis: Low Level Parallelization vs. Representation, Journal of Multiple-Valued Logic and soft Computing, Accepted

Perkowski M., Lukac M., Shah D., Kameyama M. Synthesis of quantum circuits in Linear Nearest Neighbormodel using Positive Davio Lattices, Facta Universitatis, Ser.: Electronics and Energetics, vol. 24, No. 1, April 2011, pp. 73-89

2007

Lukac M., Perkowski M., Inductive Learning of Quantum Behaviors, Facta Universitatis, special issue on Binary and Multiple-Valued Switching Theory and Circuit Design, Vol. 20, no 3, December 2007, pp. 561-586.

2003

Lukac M., Perkowski M., Goi H., Pivtoraiko M., Yu C.H.,Chung K., Jeech H., Kim B.-G., Kim Y.-D., Evolutionary Approach to Quantum and Reversible Circuits Synthesis, Artificial Intelligence Review, Volume 20, Numbers 3-4, December, 2003

Books and Chapters


2011

Lukac M., Kameyama, M., Perkowski M., Using Probabilistic Cellular automaton for Adaptive Modules Selection in the Human State Problem, Book chapter, in CELLULAR AUTOMATA - Innovative modelling for science and engineering, ISBN:978-953-307-172-5, 2011

2010

Lukac M., and Perkowski M., Evolving Quantum Finite State Machines for Sequence Detection, Book chapter, New Achievements in Evolutionary Computation, Peter Korosec(Eds.), URL: http://sciyo.com/books/show/title/new-achievements-in-evolutionary-computation, ISBN: 978-953-307-053-7, 2010

2004

Lukac M., Perkowski M., Goi H., Pivtoraiko M., Yu C. H., Chung K., Jee H., Kim B.-G., Kim Y.-D., Evolutionary Approach to Quantum and Reversible Circuits Synthesis, pp. 201 - 257, in "Artificial Intelligence in Logic Design," Edited by Svetlana N. Yanushkevich, Kluwer Academic Publisher, 2004. ISBN 1-4020-2052-X.(Book Chapter)

Conferences


2011

Lukac M., Kameyama M., Adaptive Functional Module Selection using Machine Learning: framework for intelligent robotics, International conference on Instrumentation, Control, Information Technology and System Integration, on CD, 2011
Lukac M., Perkowski M., Kameyama M., Alhagi N., Kerntopf P., Synthesis of Reversible Cascades from Relational Specifications, on CD,on CD, RC 2011,.
Lukac M., Kameyama M., Perkowski M., Kerntopf P., Decomposition of Reversible Logic Function Based on Cube-Reorderingp.63- 70, RM 2011
Lukac M., Shuai B., Kameyama M., Miller M., Information Preserving Logic - Using Logical Reversibility to Reduce the CPU-Memory Bottleneck, on CD, ISMVL 2011

2010

Lukac M., Ozaki Y., Kameyama M., Adaptive Functional Module Selection for Live-Feeling Communication using Probabilistic Cellular Automaton,Tohoku - Section Joint Convention Record of electrical and Information Engineers, Japan,1C07,p.84(2010).
Lukac M., Kameyama M., Emotion Aware Probabilistic Robotics, ISAC2010, pp. 136 - 141
Lukac M., Perkowski M., Kerntopf P., Kameyama M., GPU Acceleration Methods and Techniques for Quantum Logic Synthesis, International Workshop on Boolean Problems, on CD, 2010
Perkowski M., Lukac M., Kerntopf P., Kameyama M., GPU Library Based Approach to Quantum Logic Synthesis, 2nd Workshop on Reversible Computation, pp. 101-104
Lukac M., Kameyama M., Perkowski M., Adaptive Selection of Intelligent Processing Modules and its Applications, The 2010 International Conference on Artificial Intelligence, WORLDCOMP'10, pp. 513-520
Lukac M., Perkowski M., Kameyama M., Evolutionary Quantum Logic Synthesis of Boolean Reversible Logic Circuits Embedded in Ternary Quantum Space using Structural Restrictions, WCCI 2010, on CD
Perkowski M., Alhagi N., Lukac M., Saxena N., Blakley S., Synthesis of Small Reversible and Pseudo-Reversible Circuits Uusing Y-Gates and Inverse Y-Gates, ISMVL 2010, on CD

2009

Lukac M., Kameyama M., Universal Platform for Behavioral Robot Intelligence, BUPT symposium, Invited Talk, October 2009, on CD, (not refereed)
Lukac M., Sasaki A, and Kameyama M., Model of Cellular Automaton for Behavioral Arbitration and Its Application to Robotics , The annual meeting of the Society of Instrument and Control Engineers, pp. 89-93, September 2009
Lukac M., Sasaki A, and Kameyama M., Intelligent Processing Platform for robotics Based on Functional Behavioral Architecture, Tohoku-Section Joint Convention, pp. 61-62, august 20-21, 2009
Lukac M., and Perkowski M., Quantum Finite State Machines as Sequential Quantum Circuits, 39th International Symposium on Multiple-Valued Logic, pp. 92-97, 2009

2008

Lukac M., and Perkowski M., Projective Measurement-based Logic Synthesis of Quantum Circuits, 38th International Symposium on Multiple-Valued Logic workshop on Post-Binary ULSI Systems, pp. 191-196, 2008
Lukac M., and Perkowski M., Evolutionary Approach to Quantum symbolic Logic Synthesis, IEEE Congress on Computational Intelligence (WCCI), pp. 3374-3380, 2008

2007

Lukac M., and Perkowski M., Quantum Emotions: a cellular approach, 16th International Workshop on Post-Binary ULSI Systems, on CD 2007
Lukac M., and Perkowski M., A quantum Mechanical model of Robotic Emotions, 37th International Symposium on Multiple-Valued Logic workshop on Post-Binary ULSI Systems, pp. 19-24 2007
Williams Q., Bogner S., Kelley M., Castillo C., Lukac M., Kim D. H., Allen J., Sunardi M., Hossain S., Perkowski M.An Emotional Mimicking Humanoid Biped Robot and its Quantum Control Based on the Constraint Satisfaction Model, 16th International Workshop on Post-Binary ULSI Systems, on CD, 2007

2006

Serchuk P., Sharlin E., Lukac M., and Perkowski M., The Vagueness of Robot Emotions, 15th International Workshop on Post-Binary ULSI Systems, on CD, 2006
Kim D.H., Brawn C., Sajkowski M., Stenzel T., Sasao T., Allen J., Lukac M., Wang T., Perkowski M., Artificial Immune-Neuro-Fuzzy System to control a walking robot Hexor, 15th International Workshop on Post-Binary ULSI Systems,, on CD, 2006
Brawn C., Metzger N., Biamonte J., Lukac M., Aulakh A., Devanath I., Sajkowski M., Stenzel T., Kim D.H., Sasao T., Perkowski M., Hexor, a Walking and Talking Robot with Quantum and Fuzzy Inference, 15th International Workshop on Post-Binary ULSI Systems,, on CD, 2006
Serchuk P., Sharlin W., Lukac M., and Perkowski M., Emotion-mapped Robotic Facial Expressions based on Philosophical Theories of Vagueness,ACM Conference on Human Factors in Computing Systems (CHI 2006) workshop on HCI and the Face, on CD, April 22-27 2006, Montr�al, Canada

2005

Marek Perkowski, Jacob Biamonte, Martin Lukac, Test Generation and Fault Localization for Quantum Circuits, ismvl, 35th International Symposium on Multiple-Valued Logic (ISMVL'05), pp.62-68, 2005
Lukac M., Perkowski M., Combining Evolutionary and Exhaustive Search to find the Least expensive Quantum Circuits, Proceedings of ULSI, on CD, 2005
Lukac M., Perkowski M., Using exhaustive search for the discovery of new families of optimum universal permutative binary quantum gates, Proceedings of IWLS, poster Session, 2005.
Perkowski M., Biamonte J., Lukac M., Test Generation and Fault Localization for Quantum Circuits. Proceedings of ISMVL 2005. pp. 62-68, Invited Paper.
Perkowski M., Kim J.-H., Sasao T., Allen J., Lukac M. Gebauer S., Hahoe KAIST Robot Theatre. Proceedings of ISMVL 2005. pp. 236- 248, Invited Paper.
Lukac M., Giesecke N., Hossain S., Kim D.G., Perkowski M., Quantum Behaviors: synthesis and Measurement, 7th International Symposium on Representations and Methodology of Future Computing Technologies, on CD, 2005

2004

Lukac M., Steinbach B., and Perkowski M., Quantum Logic, Quantum Computing and Perspectives, Proceedings of Fifth International Conference on Computer Aided Design of Discrete Devices - CAD DD 2004, 16 - 17 November, 2004, Minsk, Belarus, Volume 1, pp. 121 - 145.
Aligala S., Ratakonda S., Narayan K., Nagarajan K., Lukac M., Biamonte J., Perkowski M., Deterministic and Probabilistic Test Generation for Binary and Ternary Quantum Circuits,, Proceedings of the 13th International Workshop on Post-Binary ULSI Systems, poster Session, University of Toronto, Toronto, Canada, May 19, 2004.

2003

Lukac M., Perkowski M. A., Goi H., Pivtoraiko M., Yu C. H., Chung K., Jeech H., Kim B-G., Kim Y. D., Evolutionary Approach to Quantum and Reversible Circuits Synthesis. Artif. Intell. Rev. 20(3-4): 361-417, 2003
Perkowski M., Sasao T., Iseno A., Wong U., Pivtoraiko M., Folgheraiter P., Lukac M., Ng D., Fix M., Kuchs K., Use of Machine Learning based on constructive Induction in Dialogs with Robotic Heads, Proceedings of the 8th International Conference on Rehabilitation Robotics (ICORR), pp. 326 - 329, Daejeon, Korea, April 22 -25, 2003.
Perkowski M., Lukac M., Pivtoraiko M., Kerntopf P., Folgheraiter M., A Hierarchical Approach to Computer Aided Design of Quantum Circuits, 6th International Symposium on Representations and Methodology of Future Computing Technology (RM), pp. 201-209, Trier, Germany, March 10-11, 2003.
Steinbach B., Yanchurin V., Lukac M., On SNF Optimization: A functional Comparison of Methods, 6th International Symposium on Representations and Methodology of Future Computing Technology (RM), pp. 11-18, Trier, Germany, March 10-11, 2003.

2002

Lukac M., Pivtoraiko M., Mishchenko A., Perkowski M., Automated Synthesis of Generalized Reversible Cascades using Genetic Algorithms, 5th International Workshop Boolean Problems, pp. 33-45, Freiberg, Germany, September 2002.
Negovetic G., Perkowski M., Lukac M., Buller A., Evolving quantum circuits and an FPGA-based Quantum Computing Emulator, 5th International Workshop Boolean Problems, pp. 15-22, Freiberg, Germany, September 2002.
Lukac M., Perkowski M., Evolving Quantum Circuits Using Genetic Algorithm, 2002 NASA/DoD Conference on Evolvable Hardware (EH'02), pp. 177-181, Alexandria, Virginia, July 15 - 18, 2002

2001

Lukac M., Cognitive Science and complexity, 2nd Proceeding on Cognitive Sciences, Bratislava, Slovakia, 2001.

2000

Lukac M., Bourgine P., Tetris Player: Strategy driven algorithm 1st Proceeding of the European Symposium on Computational Intelligence, 2000, 238-242.
Chudy L., Krajcovic G., Chudy V., Lukac M., Nagy J., Vicenik K., Modelling of brain-wave entrainment processes. In: Analysis of Biomedical Signals and Images.15th Biennial Int. Eurasip Conference. Euroconference BIOSIGNAL 2000. Proceedings. Brno, Czech Republic, University of Technology, 2000, 115-117
Chudy L ., Krajcovic G., Chudy V., Lukac M., Vicenik K. Modelling EEG-driven stimulation of the brain. In: Engineering of Intelligent Systems. Proceedings of the Second ICSC Symposium. Ed. Fyfe, C. International Computer Science Conventions, 2000. CD-ROM.

In preparation


Lukac M., and Perkowski M., Evolutionary Algorithms in Quantum Computational Intelligence,Book, Fall 2011
Lukac M., Kameyama M., and Perkowski M., A novel architecture for the Emotional Robotic Decision Making, 2011
Lukac M., Kameyama M., and Perkowski M., Exploration and Exploitation with self-learning in autonomous Agents,
Lukac M., Kameyama M., and Perkowski M., Quantum Logic Synthesis for Hamiltonian Specified Problems, 2009
Lukac M., Kameyama M., and Perkowski M., Automated desing of robotic behaviors for complex tasks, 2011
Lukac M., Sasaki A., Kameyama M., Real time image labelling using lineraly scalable cellular automaton, 2011

Others


Lukac M., Quantum Logic Synthesis and Inductive Learning, Ph.D. dissertation, Porltand State University, 2009

Presentations


Lukac M.,Quantum consciousness: Fiction or Reality, Comenius University Bratislava, Aprli 4th, 2003
Lukac M., Pivtoraiko M., Perkowski M.,Walking robots play soccer and Robot Theatre: what we plan to achieve,Portland State University, June 24th, 2002.
Lukac M., A New Approach to Applying Genetic Algorithm to Synthesize Quantum Logic Circuits, Portland State University, January 25th, 2002.
Lukac M., A New Approach to Problem Solving based on Artificial Life ideas, Portland State University, December 7th, 2001.

Unpublished


Lukac M., The Emergence of Sense,2001
Lukac M., A A Quasi-Genetic Perceptron, Master Thesis, University Bordeaux II, 1998.
Lukac M., Tetris Player: Implementation of a Champion, Ecole Polytechnique, 1999.