Martin Lukac

2020

Editorial special issue on multiple valued logic

Lukac, M., Jan 2020, In : IfCoLoG Journal of Logics and their Applications. 7, 1, p. 1-4 4 p.

Research output: Contribution to journal › Editorial

2019

Properties of Bent Functions in the Truth Domain

Lukac, M., Moraga, C. & Kameyama, M., Jun 2019, Proceedings of the International Conference on Information and Digital Technologies 2019, IDT 2019. Institute of Electrical and Electronics Engineers Inc., p. 304-310 7 p. 8813751. (Proceedings of the International Conference on Information and Digital Technologies 2019, IDT 2019).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Quantum Encoded Quantum Evolutionary Algorithm for the Design of Quantum Circuits

Krylov, G. & Lukac, M., Apr 30 2019, ACM International Conference on Computing Frontiers 2019, CF 2019 - Proceedings. Association for Computing Machinery, Inc, p. 220-225 6 p. (ACM International Conference on Computing Frontiers 2019, CF 2019 - Proceedings).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access

2018

CNOT-measure quantum neural networks

Lukac, M., Abdiyeva, K. & Kameyama, M., Jul 19 2018, Proceedings - 2018 IEEE 48th International Symposium on Multiple-Valued Logic, ISMVL 2018. IEEE Computer Society, Vol. 2018-May. p. 186-191 6 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Citation (Scopus)

QL-Net: Quantized-by-LookUp CNN

Abdiyeva, K., Yap, K. H., Gang, W., Ahuja, N. & Lukac, M., Dec 18 2018, 2018 15th International Conference on Control, Automation, Robotics and Vision, ICARCV 2018. Institute of Electrical and Electronics Engineers Inc., p. 413-418 6 p. 8581119. (2018 15th International Conference on Control, Automation, Robotics and Vision, ICARCV 2018).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Reasoning and algorithm selection augmented symbolic segmentation

Kameyama, M., Lukac, M., Abdiyeva, K. & Kim, A., Mar 23 2018, 2017 Intelligent Systems Conference, IntelliSys 2017. Institute of Electrical and Electronics Engineers Inc., Vol. 2018-January. p. 259-266 8 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2017

A dynamically reconfigurable VLSI processor with hierarchical structure based on a micropacket transfer scheme

Fujioka, Y., Kameyama, M. & Lukac, M., Sep 1 2017, Proceedings of the International Conference on Information and Digital Technologies, IDT 2017. Institute of Electrical and Electronics Engineers Inc., p. 132-136 5 p. 8024284

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

3 Citations (Scopus)

An analytic sifting approach to optimization of LNN reversible circuits

Lukac, M., Kerntopf, P. & Kameyama, M., Sep 1 2017, Proceedings of the International Conference on Information and Digital Technologies, IDT 2017. Institute of Electrical and Electronics Engineers Inc., p. 240-245 6 p. 8024303. (Proceedings of the International Conference on Information and Digital Technologies, IDT 2017).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2 Citations (Scopus)

Context based visual content verification

Lukac, M., Bazarbciyeva, A. & Kameyama, M., Sep 1 2017, Proceedings of the International Conference on Information and Digital Technologies, IDT 2017. Institute of Electrical and Electronics Engineers Inc., p. 234-239 6 p. 8024302. (Proceedings of the International Conference on Information and Digital Technologies, IDT 2017).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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

Lukac, M., Kameyama, M. & Migranova, Y., Nov 27 2017, 2017 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2017. Institute of Electrical and Electronics Engineers Inc., p. 2152-2157 6 p. (2017 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2017; vol. 2017-January).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Study of GPU Acceleration in Genetic Algorithms for Quantum Circuit Synthesis

Lukac, M. & Krylov, G., Jun 30 2017, Proceedings - 2017 IEEE 47th International Symposium on Multiple-Valued Logic, ISMVL 2017. IEEE Computer Society, p. 213-218 6 p. 7964993. (Proceedings of The International Symposium on Multiple-Valued Logic).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2 Citations (Scopus)

2016

High-level verification of multi-object segmentation

Lukac, M., Zhurtanov, A. & Ospanova, A., Aug 31 2016, IDT 2016 - Proceedings of the International Conference on Information and Digital Technologies 2016. Institute of Electrical and Electronics Engineers Inc., p. 173-179 7 p. 7557169

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Citation (Scopus)

Modeling human intention in a live-feeling platform

Lukac, M., Oteniyaz, G. & Kameyama, M., 2016, Proceedings of ICCM 2016 - 14th International Conference on Cognitive Modeling. Reitter, D. & Ritter, F. E. (eds.). The Pennsylvania State University, p. 270-272 3 p. (Proceedings of ICCM 2016 - 14th International Conference on Cognitive Modeling).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Citation (Scopus)

Quantum algorithmic complexity of three-qubit pure states

Lukac, M. & Mandilara, A., Jul 18 2016, Proceedings - 2016 IEEE 46th International Symposium on Multiple-Valued Logic, ISMVL 2016. IEEE Computer Society, Vol. 2016-July. p. 253-257 5 p. 7515557

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Threat detection in episodic images

Madikenova, G., Galimuratova, A. & Lukac, M., Aug 31 2016, IDT 2016 - Proceedings of the International Conference on Information and Digital Technologies 2016. Institute of Electrical and Electronics Engineers Inc., p. 180-185 6 p. 7557170. (IDT 2016 - Proceedings of the International Conference on Information and Digital Technologies 2016).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2015

Algorithm selection platform in real-world intelligent systems

Lukac, M., Abdiyeva, K., Fujioka, Y. & Kameyama, M., 2015, 28th International Conference on Computer Applications in Industry and Engineering, CAINE 2015. International Society of Computers and Their Applications (ISCA), p. 227-234 8 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Citation (Scopus)

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

Lukac, M. & Kameyama, M., Jun 1 2015, In : International Journal of Machine Learning and Cybernetics. 6, 3, p. 417-434 18 p.

Research output: Contribution to journal › Article

2 Citations (Scopus)

Evaluation of algorithm selection approach for semantic segmentation based on high-level information feedback

Lukac, M., Abdiyeva, K. & Kameyama, M., Aug 25 2015, International Conference on Information and Digital Technologies, IDT 2015. Institute of Electrical and Electronics Engineers Inc., p. 223-229 7 p. 7222974. (International Conference on Information and Digital Technologies, IDT 2015).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Citation (Scopus)

2014

Analysis of faults in reversible computing

Lukac, M., Kameyama, M., Perkowski, M., Kerntopf, P. & Moraga, C., Jan 1 2014, Proceedings - 2014 IEEE 44th International Symposium on Multiple-Valued Logic, ISMVL 2014. IEEE Computer Society, p. 115-120 6 p. 6845006. (Proceedings of The International Symposium on Multiple-Valued Logic).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2 Citations (Scopus)

Minimizing reversible circuits in the 2n scheme using two and three bits patterns

Lukac, M., Hawash, M., Kameyama, M., Perkowski, M. & Kerntopf, P., Oct 16 2014, Proceedings - 2014 17th Euromicro Conference on Digital System Design, DSD 2014. Institute of Electrical and Electronics Engineers Inc., p. 708-711 4 p. 6927319. (Proceedings - 2014 17th Euromicro Conference on Digital System Design, DSD 2014).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Reversible, information-preserving logic and its application

Lukac, M., Shuai, B., Kameyama, M. & Miller, D. M., 2014, In : Journal of Multiple-Valued Logic and Soft Computing. 23, 3-4, p. 379-406 28 p.

Research output: Contribution to journal › Article

Synthesis of quantum arrays from Kronecker Functional Lattice Diagrams

Lukac, M., Shah, D., Perkowski, M. & Kameyama, M., Sep 2014, In : IEICE Transactions on Information and Systems. E97-D, 9, p. 2262-2269 8 p.

Research output: Contribution to journal › Article

1 Citation (Scopus)

2013

Analysis of reversible and quantum finite state machines using homing, synchronizing and distinguishing input sequences

Lukac, M., Kameyama, M., Perkowski, M. & Kerntopf, P., Aug 1 2013, Proceedings - 2013 IEEE 43rd International Symposium on Multiple-Valued Logic, ISMVL 2013. p. 322-327 6 p. 6524684. (Proceedings of The International Symposium on Multiple-Valued Logic).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Citation (Scopus)

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

Lukac, M. & Kameyama, M., 2013, 2013 International Joint Conference on Awareness Science and Technology and Ubi-Media Computing: Can We Realize Awareness via Ubi-Media?, iCAST 2013 and UMEDIA 2013. IEEE Computer Society, p. 69-74 6 p. 6765411

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Citation (Scopus)

Multiple-valued reversible benchmarks and extensible quantum specification (XQS) format

Hawash, M., Lukac, M., Kameyama, M. & Perkowski, M., Aug 1 2013, Proceedings - 2013 IEEE 43rd International Symposium on Multiple-Valued Logic, ISMVL 2013. p. 41-46 6 p. 6524637. (Proceedings of The International Symposium on Multiple-Valued Logic).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

5 Citations (Scopus)

Natural image understanding using algorithm selection and high-level feedback

Lukac, M., Kameyama, M. & Hiura, K., Apr 11 2013, Proceedings of SPIE-IS and T Electronic Imaging - Intelligent Robots and Computer Vision XXX: Algorithms and Techniques. 86620D. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 8662).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

6 Citations (Scopus)

On synthesis and verification from event diagrams in a robot theatre application

Perkowski, M., Bhutada, A., Lukac, M. & Sunardi, M., Aug 1 2013, Proceedings - 2013 IEEE 43rd International Symposium on Multiple-Valued Logic, ISMVL 2013. p. 77-83 7 p. 6524643. (Proceedings of The International Symposium on Multiple-Valued Logic).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2 Citations (Scopus)

Quantum finite state machines - A circuit based approach

Lukac, M., Kameyama, M. & Perkowski, M., May 1 2013, In : International Journal of Unconventional Computing. 9, 3-4, p. 267-301 35 p.

Research output: Contribution to journal › Article

1 Citation (Scopus)

VLSI platform for real-world intelligent integrated systems based on algorithm selection

Lukac, M., Kameyama, M. & Fujioka, Y., Oct 25 2013, Proc. of the IADIS Int. Conf. Information Systems Post-Implementation and Change Management 2013, ISPCM 2013, Proc. of the IADIS Int. Conf. Theory and Practice in Modern Computing 2013, TPMC 2013. p. 27-34 8 p. (Proc. of the IADIS Int. Conf. Information Systems Post-Implementation and Change Management 2013, ISPCM 2013, Proc. of the IADIS Int. Conf. Theory and Practice in Modern Computing 2013, TPMC 2013).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2012

An approach to synthesis of reversible circuits for partially specified functions

Perkowski, M., Fiszer, R., Kerntopf, P. & Lukac, M., Nov 22 2012, 2012 12th IEEE International Conference on Nanotechnology, NANO 2012. 6322122. (Proceedings of the IEEE Conference on Nanotechnology).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

3 Citations (Scopus)

High speed genetic algorithms in quantum logic synthesis: Low level parallelization vs. representation

Lukac, M., Kameyama, M., Miller, M. & Perkowski, M., 2012, In : Journal of Multiple-Valued Logic and Soft Computing. 20, 1-2, p. 89-120 32 p.

Research output: Contribution to journal › Article

6 Citations (Scopus)

2011

Adaptive functional module selection using machine learning: Framework for intelligent robotics

Lukac, M. & Kameyama, M., Jan 1 2011, SICE 2011 - SICE Annual Conference 2011, Final Program and Abstracts. Society of Instrument and Control Engineers (SICE), p. 2480-2483 4 p. 6060395. (Proceedings of the SICE Annual Conference).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

4 Citations (Scopus)

Information-preserving logic based on logical reversibility to reduce the memory data transfer bottleneck and heat dissipation

Lukac, M., Shuai, B., Kameyama, M. & Miller, D. M., 2011, Proceedings - 41st IEEE International Symposium on Multiple-Valued Logic, ISMVL 2011. p. 131-138 8 p. 5954221. (Proceedings - 41st IEEE International Symposium on Multiple-Valued Logic, ISMVL 2011).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2 Citations (Scopus)

2010

Adaptive selection of intelligent processing modules and its applications

Lukac, M., Kameyama, M. & Perkowski, M., Dec 1 2010, Proceedings of the 2010 International Conference on Artificial Intelligence, ICAI 2010. p. 513-520 8 p. (Proceedings of the 2010 International Conference on Artificial Intelligence, ICAI 2010; vol. 2).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Citation (Scopus)

Emotion-aware probabilistic robotics

Lukac, M. & Kameyama, M., Dec 1 2010, 2010 2nd International Symposium on Aware Computing, ISAC 2010 - Symposium Guide. p. 136-141 6 p. 5670464. (2010 2nd International Symposium on Aware Computing, ISAC 2010 - Symposium Guide).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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

Lukac, M., Perkowski, M. & Kameyama, M., Dec 1 2010, 2010 IEEE World Congress on Computational Intelligence, WCCI 2010 - 2010 IEEE Congress on Evolutionary Computation, CEC 2010. 5585969. (2010 IEEE World Congress on Computational Intelligence, WCCI 2010 - 2010 IEEE Congress on Evolutionary Computation, CEC 2010).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

15 Citations (Scopus)

Synthesis of small reversible and pseudo-reversible circuits using Y-gates and inverse Y-gates

Perkowski, M., Alhagi, N., Lukac, M., Saxena, N. & Blakely, S., Aug 12 2010, ISMVL 2010 - 40th IEEE International Symposium on Multiple-Valued Logic. p. 245-251 7 p. 5489143. (Proceedings of The International Symposium on Multiple-Valued Logic).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

4 Citations (Scopus)

2009

Quantum finite state machines as sequential quantum circuits

Martin, L. & Perkowski, M., 2009, Proceedings of The International Symposium on Multiple-Valued Logic. p. 92-97 6 p. 5010381

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

9 Citations (Scopus)

2008

Evolutionary approach to quantum symbolic logic synthesis

Lukac, M. & Perkowski, M., Nov 17 2008, 2008 IEEE Congress on Evolutionary Computation, CEC 2008. p. 3374-3380 7 p. 4631254. (2008 IEEE Congress on Evolutionary Computation, CEC 2008).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

4 Citations (Scopus)

Projective measurement-based logic synthesis of quantum circuits

Lukac, M. & Perkowski, M., Sep 4 2008, Proceedings - 38th International Symposium on Multiple-Valued Logic, ISMVL 2008. p. 191-196 6 p. 4539425. (Proceedings of The International Symposium on Multiple-Valued Logic).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Citation (Scopus)

2007

Quantum mechanical model of emotional robot behaviors

Lukac, M. & Perkowski, M., 2007, 37th International Symposium on Multiple-Valued Logic, ISMVL 2007. IEEE Computer Society, p. 19-24 6 p. 4215942. (Proceedings of The International Symposium on Multiple-Valued Logic).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

10 Citations (Scopus)

2005

Hahoe KAIST Robot Theatre: Learning rules of interactive robot behavior as a multiple-valued logic synthesis problem

Perkowski, M., Sasao, T., Kim, J. H., Lukac, M., Allen, J. & Gebauer, S., Sep 20 2005, In : Proceedings of The International Symposium on Multiple-Valued Logic. p. 236-248 13 p.

Research output: Contribution to journal › Conference article

10 Citations (Scopus)

Test generation and fault localization for quantum circuits

Perkowski, M., Biamonte, J. & Lukac, M., Sep 20 2005, In : Proceedings of The International Symposium on Multiple-Valued Logic. p. 62-68 7 p.

Research output: Contribution to journal › Conference article

25 Citations (Scopus)

2003

Evolutionary approach to quantum and reversible circuits synthesis

Lukac, M., Perkowski, M., Goi, H., Pivtoraiko, M., Yu, C. H., Chung, K., Jee, H., Kim, B. G. & Kim, Y. D., Dec 1 2003, In : Artificial Intelligence Review. 20, 3-4, p. 361-417 57 p.

Research output: Contribution to journal › Article

57 Citations (Scopus)

2002

Evolving quantum circuits using genetic algorithm

Lukac, M. & Perkowski, M., Jan 1 2002, Proceedings - 2002 NASA/DoD Conference on Evolvable Hardware, EH 2002. Lohn, J., Keymeulen, D., Stoica, A., Katz, R. & Zebulum, R. S. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 177-185 9 p. 1029883. (Proceedings - NASA/DoD Conference on Evolvable Hardware, EH; vol. 2002-January).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

46 Citations (Scopus)

Martin Lukac, PhD