Martin Lukac Website (Undergoing Repairs)

aboutme
teaching
publications
links
downloads
contact
projects
media

Main topics:___journals ___conferences ___book chapters


journals


2016

Lukac M., Abdiyeva K., Kameyama M., Evaluation of Component Algorithms in an Algorithm Selection Approach to Semantic Segmentation Based on High-Level Information Feedback, Radio Electronics, Computer Science, Control, No. 1, 2016, pp. 92-100, DOI 10.15588/1607-3274-2016-1-11

2015

Lukac M., Kameyama M., Bayesian-Network-Based Algorithm Selection with High Level Representation Feedback for Real-World Information Processing, IT in Industry, Vol. 3, Issue. 1, pp.10-15, May 2015

Lukac M., Kameyama M., An Algorithm Selection based Platform for Image Understanding using High-Level Symbolic Feedback and Machine Learning, International Journal of Machine Learning and Cybernetics (Springer), Vol. 6, Issue. 3, June 2015, pp. 417-434

2014

Lukac M., Shah D., Perkowski M., Kameyama M., Synthesis of Quantum Arrays from Kronecker Functional Lattice Diagrams, IEICE Transaction, Vol. E97-D, No.9, pp.-, Sep. 2014

Lukac M., Shuai B., Kameyama M., Miller M., Reversible, Information-Preserving Logic and its Application, Journal of Multiple-Valued Logic and Soft Computing, Vol. 23, No. 3-4, pp. 379-406, 2014

2013

Lukac M., Kameyama M., Fujioka Y., VLSI Platform for Real-World Intelligent Systems Based on Algorithm Selection, IADIS International Journal On Computer Science And Information Systems, Vol. 8, No. 2, pp.72-90, 2013

Lukac M., Kameyama M., Perkowski M., Quantum Finite State Machines - A Circuit Based Approach, International Journal of Unconventional Computing, Vol. 9, Num. 3-4, 2013, pp. 267-301

2012

Lukac, M., Tanizawa, R., Kameyama, M. Machine Learning Based Adaptive Contour Detection Using Algorithm Selection and Image splitting, Interdisciplinary Information Sciences, Vol. 18, No.2, 2012, pp. 123-134

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, Vol. 20, No. 1-2, 2012, pp. 89-120

2011

Lukac M., Kameyama M., Perkowski M., Kerntopf P., Decomposition of Reversible Logic Function Based on Cube-Reordering, Facta Universitatis, Vol 24, No. 3, 2011, pp. 403-422

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

conferences


2017

Lukac M., Kameyama M., Migranva Y., Live-Feeling Communication: Multi-Algorithm Approach to the Estimation of Human Intentions, IEEE SMC, Accepted, 2017

Lukac M., Krylov G., Study of GPU Acceleration in Genetic Algorithms for Quantum Circuit Synthesis, IEEE ISMVL, accepted, 2017

Lukac M., Kenrtopf P., Kameyama M., An Analytic Sifting Approach to Optimization of LNN Reversible Circuits, Reed-Muler workshop, ISMV 2017

Lukac M., Abdiyeva K., Kim A., Kameyama M., Reasoning and Algorithm Selection Augmented Symbolic Segmentation, IEEE Technically Sponsored Intelligent Systems Conference (IntelliSys), Accepted, 2017.

2016

Madikenova G., Galimuratova A., Lukac M., Threat Detection in Episodic Images, Information and Digital Technologies, July 5-7, 2016

Lukac M., Zhurtanov A., Ospanova A., High Level Verification of Multi-Object Segmentation, Information and Digital Technologies, July 5-7, 2016

Lukac M., Moraga C., Kameyama M., CnF logic gates derived from CnNOT gates. International Workshop on Boolean Problems, Spetember 21-22, 2016

Lukac M., Oteniyaz G., Modeling Human Intention in a Live-Feeling Platform, , International Conference on Cognitive Modeling, Poster, 2016

Lukac M., Krylov G., GPU Accelerated Genetic Algorithms for QUnatum Circuit Synthesis, , ULSI Workshop organized at the IEEE International Symposium On Multiple-Valued Logic, 2016

Lukac M., Mandilara A., Quantum algorithmic Complexity of three-qubit pure states, , IEEE International Symposium On Multiple-Valued Logic, 2016

Lukac M., Quantum Computing: simulating physics with quantum genetic algorithm, , Workshop on New Frontier Information Digital Technology, University of Rykyus, Okinawa, Jan. 23-24, 2016

Lukac M., Real-World Image Processing: how does meta learning improves the image understanding?, , Workshop on New Frontier Information Digital Technology, University of Rykyus, Okinawa, Jan. 23-24, 2016

2015

Lukac M., , Features, Attributes, Objects and Scene Understanding , International workshop on Emerging Technologies of Microelectronics and Their Application to IoT Paradigm, http://www.ngc.riec.tohoku.ac.jp/WSHAWAII/, 2015

Lukac M., Abdiyeva K., Fujioka Y., Kameyama K.,, Algorithm Selection Platform in Real-World Intelligent Systems , 28th International Conference on Computer Applications in Industry and Engineering, CAINE 2015

Lukac M., Abdiyeva K., Kameyama K.,On Evaluation of Algoritm Selection Approach for Semantic Segmentation Based on High-Level Information Feedback, Information and Digital Technologies (IEEE), 2015

Lukac M., Abdiyeva K., Kameyama K.,Symbolic Segmentation Using Algorithm Selection and Semantic Feedback, SUNw Workshop (organized in conjunction with CVPR), online, URL: http://sunw.csail.mit.edu/2015/posters.html, 2015

Lukac M., Principles of Clifford-T synthesis of Quantum Circuits, EMN Meeting, 2015, invited talk

2014

Lukac M., Hawash M., Kameyama M., Perkowski M., Kerntopf P.,Minimizing Reversible Circuits in the 2n Scheme Using Two and Three Bits Patterns, EUROMICRO Digital System Design Conference, Poster, 2014

Lukac M., Moraga C., Kameyama M., Perkowski M., Counting Symmetric Functions, Reversible Computation, accepted as Early Research Presentation, 2014

Lukac M., Kameyama M., Bayesian-Network-Based Algorithm Selection with High Level Representation Feedbackfor Real-World Intelligent Systems, 9th International Conference on Information Technology and Applications (ICITA), http://www.icita.org/2014/CD/papers.htm, ISBN: 978-0-9803267-6-5, 2014

Lukac M., Kameyama M., Automatic Algorithm Selection Mechanism for VLSI Platform for Real-World Intelligent Systems, 23rd International Workshop on Post-Binary ULSI Systems (ULSIWS2014) @ International Symposium on Multiple-Valued Logic, 2014

Lukac M., Kameyama M., Perkowski, M., Kerntopf, P., Analysis of Faults in Reversible Computing, International Symposium on Multiple-Valued Logic, 2014

2013

Lukac M., Kameyama M., Bayesian Network for Algorithm Selection: Real-World Hierarchy for Nodes Reduction, International Joint Conference on Awareness Science and Technology, (iCAST), pp. 69-74, 2013

Lukac M., Kameyama M., Fujioka Y., VLSI Platform for Real-World Intelligent Systems based on algorithm Selection, IADIS Theory and Practice in modern Computing, Prague, Czech Republic, July 22-24 2013 (Awarded Best Paper)

Lukac M., Kameyama M., Perkowski M., Kerntopf P.,Analysis of Reversible and Quantum Finite State Machines using Homing, Synchronizing and Distinguishing Input Sequences , IEEE 43rd International Symposium on Multiple-Valued Logic, Toyama, Japan, May 21-24 2013

Perkowski M., Bhutada A., Lukac M., Sunardi M., On Synthesis and Verification from Event Diagrams in a Robot Theatre Application , IEEE 43rd International Symposium on Multiple-Valued Logic, Toyama, Japan, May 21-24 2013

Hawash M., Lukac M., Kameyama M., Perkowski M., Multiple-Valued Reversible Benchmarks and Extensible Quantum Specification (XQS) format, IEEE 43rd International Symposium on Multiple-Valued Logic, Toyama, Japan, May 21-24 2013

Lukac M., Kameyama M., Hiura K., Natural image understanding using algorithm selection and high level feedback, SPIE Intelligent Robots and Computer Vision XXX: algorithms and Techniques,February 5th, 2013

Lukac M., Kameyama M., Learning-Based Adaptive Algorithm Selection Scheme for Real-World Image Processing, The 75th National Convention of the Information Processing Society of Japan (IPSJ), March 6, 2013

2012

Lukac M., Kameyama M., Real-World Image Understanding Using Algorithm Selection and High-Level Feedback , 6th Bilateral Workshop between Tohoku University and National Tsing Hua University, 2012

Lukac M., Tanizawa, R., Kameyama M., Segmentation Based on Algorithm Selection with Variable Windows Sizes Tohoku-Section Joint Convention of Institues of Electrical and Information Engineers, 2012

Perkowski M., Fiszer, R., Kerntopf P., Lukac M., An Approach to Synthesis of Reversible Circuits for Partially Specified Functions , IEEE Nanotechnology Conference, 2012

Lukac M., Kameyama M., Perkowski M., Kerntopf P., Minimization of Quantum Circuits using Quantum Operator Forms , ULSI Workshop (ISMVL) 2012

Perkowski M., Fiszer R., Kerntopf P., Lukac M., Synthesis of Reversible Circuits using PSE Gates , ULSI Workshop (ISMVL) 2012

Alhagi N., Lukac M., Perkowski M., Minimization of Quantum Circuits Based on ESOP Minimization and Single Ancilla Qubit Addition , ULSI Workshop (ISMVL) 2012

Pation A., Lukac M., Perkowski M., Synthesis of Reversible and Quantum Permutative Circuits Using Non-blocking Orderings, Tree Search and a Single Ancilla Qubit , ULSI Workshop (ISMVL) 2012

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.

book chapters


2017

Lukac M., Moraga C., Kameyama M., The C^nF Logic Gates Derived from C^NOT Gates, in Further Improvements in Boolean Domain, accepted, 2017

Lukac M., Kameyama M., Perkowski M., Kerntopf P., Moraga C., Fault Models in Reversible and Quantum Circuits, in Advances in Unconventional Computing, Adamtazky, A. eds., Volume 22 of Emergence, Complexity and Computation, pp. 475-493, Springer, 2017

2012

Hawash M., Perkowski M., Lukac M.,Synthesis of Ternary Quantum Circuits using Hasse Diagrams and Genetic Algorithms, pp. 161-190, in GPU Computing with Applications in Digital Logic, Astola J., Kameyama M., Lukac M., Stankovic, R. S.,(eds.), Tampere International Center for Signal Processing, TICSP series #62 , ISBN:978-952-15-2920-7, 2012

Lukac M., Perkowski M., Kerntopf P., Kameyama M.,GPU Acceleration Methods of Representations for Quantum Circuits, pp. 97-160, in GPU Computing with Applications in Digital Logic, Astola J., Kameyama M., Lukac M., Stankovic, R. S.,(eds.), Tampere International Center for Signal Processing, TICSP series #62 , ISBN:978-952-15-2920-7, 2012

Astola J., Kameyama M., Lukac M., Stankovic, R. S.,(eds.) GPU Computing with Applications in Digital Logic,Tampere International Center for Signal Processing, TICSP series #62 , ISBN:978-952-15-2920-7, 2012

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)