Мартин Лукач
Департамент
Компьютерлік ғылымдар, Инженерия және цифрлық ғылымдар мектебі, Ғылымдар және технология мектебі, National Laboratory Astana, Computer Science Laboratory Лауазымы
Қауымдастырылған профессоры Кеңсе
7228 Электр. пошта
martin.lukac@nu.edu.kz Телефон
+77172694667 Веб-сайт
http://mechanoids.blackhole.sk Live-feeling communication: Multi-algorithm approach to the estimation of human Intentions
Lukac, M., Kameyama, M., Migranova, Y., 2017 2017 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2017. Institute of Electrical and Electronics Engineers Inc., 2017-January, p. 2152-2157
Context based visual content verification
Lukac, M., Bazarbciyeva, A., Kameyama, M., 2017 Proceedings of the International Conference on Information and Digital Technologies, IDT 2017. Institute of Electrical and Electronics Engineers Inc., p. 234-239
A dynamically reconfigurable VLSI processor with hierarchical structure based on a micropacket transfer scheme
Fujioka, Y., Kameyama, M., Lukac, M., 2017 Proceedings of the International Conference on Information and Digital Technologies, IDT 2017. Institute of Electrical and Electronics Engineers Inc., p. 132-136
Study of GPU Acceleration in Genetic Algorithms for Quantum Circuit Synthesis
Lukac, M., Krylov, G., 2017 Proceedings - 2017 IEEE 47th International Symposium on Multiple-Valued Logic, ISMVL 2017. IEEE Computer Society, p. 213-218
Threat detection in episodic images
Madikenova, G., Galimuratova, A., Lukac, M., 2016 IDT 2016 - Proceedings of the International Conference on Information and Digital Technologies 2016. Institute of Electrical and Electronics Engineers Inc., p. 180-185
High-level verification of multi-object segmentation
Lukac, M., Zhurtanov, A., Ospanova, A., 2016 IDT 2016 - Proceedings of the International Conference on Information and Digital Technologies 2016. Institute of Electrical and Electronics Engineers Inc., p. 173-179
Quantum algorithmic complexity of three-qubit pure states
Lukac, M., Mandilara, A., 2016 Proceedings - 2016 IEEE 46th International Symposium on Multiple-Valued Logic, ISMVL 2016. IEEE Computer Society, 2016-July, p. 253-257
Evaluation of algorithm selection approach for semantic segmentation based on high-level information feedback
Lukac, M., Abdiyeva, K., Kameyama, M., 2015 International Conference on Information and Digital Technologies, IDT 2015. Institute of Electrical and Electronics Engineers Inc., p. 223-229
An algorithm selection based platform for image understanding using high-level symbolic feedback and machine learning
Lukac, M., Kameyama, M., 2015 In : International Journal of Machine Learning and Cybernetics. 6, 3, p. 417-434
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
Minimizing reversible circuits in the 2n scheme using two and three bits patterns
Lukac, M., Hawash, M., Kameyama, M., Perkowski, M., Kerntopf, P., 2014 Proceedings - 2014 17th Euromicro Conference on Digital System Design, DSD 2014. Institute of Electrical and Electronics Engineers Inc., p. 708-711
Synthesis of quantum arrays from Kronecker Functional Lattice Diagrams
Lukac, M., Shah, D., Perkowski, M., Kameyama, M., 2014 In : IEICE Transactions on Information and Systems. E97-D, 9, p. 2262-2269
Reversible, information-preserving logic and its application
Lukac, M., Shuai, B., Kameyama, M., Miller, D., 2014 In : Journal of Multiple-Valued Logic and Soft Computing. 23, 3-4, p. 379-406
Analysis of faults in reversible computing
Lukac, M., Kameyama, M., Perkowski, M., Kerntopf, P., Moraga, C., 2014 Proceedings of The International Symposium on Multiple-Valued Logic. IEEE Computer Society, p. 115-120
VLSI platform for real-world intelligent integrated systems based on algorithm selection
Lukac, M., Kameyama, M., Fujioka, Y., 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
Quantum finite state machines - A circuit based approach
Lukac, M., Kameyama, M., Perkowski, M., 2013 In : International Journal of Unconventional Computing. 9, 3-4, p. 267-301
On synthesis and verification from event diagrams in a robot theatre application
Perkowski, M., Bhutada, A., Lukac, M., Sunardi, M., 2013 Proceedings of The International Symposium on Multiple-Valued Logic. p. 77-83
Natural image understanding using algorithm selection and high-level feedback
Lukac, M., Kameyama, M., Hiura, K., 2013 Proceedings of SPIE - The International Society for Optical Engineering. 8662,
Multiple-valued reversible benchmarks and extensible quantum specification (XQS) format
Hawash, M., Lukac, M., Kameyama, M., Perkowski, M., 2013 Proceedings of The International Symposium on Multiple-Valued Logic. p. 41-46
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
Analysis of reversible and quantum finite state machines using homing, synchronizing and distinguishing input sequences
Lukac, M., Kameyama, M., Perkowski, M., Kerntopf, P., 2013 Proceedings of The International Symposium on Multiple-Valued Logic. p. 322-327
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
An approach to synthesis of reversible circuits for partially specified functions
Perkowski, M., Fiszer, R., Kerntopf, P., Lukac, M., 2012 Proceedings of the IEEE Conference on Nanotechnology.
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., 2011 Proceedings - 41st IEEE International Symposium on Multiple-Valued Logic, ISMVL 2011. p. 131-138
Adaptive functional module selection using machine learning: Framework for intelligent robotics
Lukac, M., Kameyama, M., 2011 Proceedings of the SICE Annual Conference. p. 2480-2483
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., 2010 Proceedings of The International Symposium on Multiple-Valued Logic. p. 245-251
Evolutionary quantum logic synthesis of Boolean reversible logic circuits embedded in ternary quantum space using structural restrictions
Lukac, M., Perkowski, M., Kameyama, M., 2010 2010 IEEE World Congress on Computational Intelligence, WCCI 2010 - 2010 IEEE Congress on Evolutionary Computation, CEC 2010.
Emotion-aware probabilistic robotics
Lukac, M., Kameyama, M., 2010 2010 2nd International Symposium on Aware Computing, ISAC 2010 - Symposium Guide. p. 136-141
Adaptive selection of intelligent processing modules and its applications
Lukac, M., Kameyama, M., Perkowski, M., 2010 Proceedings of the 2010 International Conference on Artificial Intelligence, ICAI 2010. 2, p. 513-520
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
Projective measurement-based logic synthesis of quantum circuits
Lukac, M., Perkowski, M., 2008 Proceedings of The International Symposium on Multiple-Valued Logic. p. 191-196
Evolutionary approach to quantum symbolic logic synthesis
Lukac, M., Perkowski, M., 2008 2008 IEEE Congress on Evolutionary Computation, CEC 2008. p. 3374-3380
Quantum mechanical model of emotional robot behaviors
Lukac, M., Perkowski, M., 2007 Proceedings of The International Symposium on Multiple-Valued Logic.
Test generation and fault localization for quantum circuits
Perkowski, M., Biamonte, J., Lukac, M., 2005 Proceedings of The International Symposium on Multiple-Valued Logic. p. 62-68
Hahoe KAIST Robot Theatre: Learning rules of interactive robot behavior as a multiple-valued logic synthesis problem
Perkowski, M., Sasao, T., Kim, J., Lukac, M., Allen, J., Gebauer, S., 2005 Proceedings of The International Symposium on Multiple-Valued Logic. p. 236-248
Evolutionary approach to quantum and reversible circuits synthesis
Lukac, M., Perkowski, M., Goi, H., Pivtoraiko, M., Yu, C., Chung, K., Jee, H., Kim, B., Kim, Y., 2003 In : Artificial Intelligence Review. 20, 3-4, p. 361-417
Evolving quantum circuits using genetic algorithm
Lukac, M., Perkowski, M., 2002 Proceedings - NASA/DoD Conference on Evolvable Hardware, EH. Institute of Electrical and Electronics Engineers Inc., 2002-January, p. 177-185
Lukac, M., Kameyama, M., Migranova, Y., 2017 2017 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2017. Institute of Electrical and Electronics Engineers Inc., 2017-January, p. 2152-2157
Context based visual content verification
Lukac, M., Bazarbciyeva, A., Kameyama, M., 2017 Proceedings of the International Conference on Information and Digital Technologies, IDT 2017. Institute of Electrical and Electronics Engineers Inc., p. 234-239
A dynamically reconfigurable VLSI processor with hierarchical structure based on a micropacket transfer scheme
Fujioka, Y., Kameyama, M., Lukac, M., 2017 Proceedings of the International Conference on Information and Digital Technologies, IDT 2017. Institute of Electrical and Electronics Engineers Inc., p. 132-136
Study of GPU Acceleration in Genetic Algorithms for Quantum Circuit Synthesis
Lukac, M., Krylov, G., 2017 Proceedings - 2017 IEEE 47th International Symposium on Multiple-Valued Logic, ISMVL 2017. IEEE Computer Society, p. 213-218
Threat detection in episodic images
Madikenova, G., Galimuratova, A., Lukac, M., 2016 IDT 2016 - Proceedings of the International Conference on Information and Digital Technologies 2016. Institute of Electrical and Electronics Engineers Inc., p. 180-185
High-level verification of multi-object segmentation
Lukac, M., Zhurtanov, A., Ospanova, A., 2016 IDT 2016 - Proceedings of the International Conference on Information and Digital Technologies 2016. Institute of Electrical and Electronics Engineers Inc., p. 173-179
Quantum algorithmic complexity of three-qubit pure states
Lukac, M., Mandilara, A., 2016 Proceedings - 2016 IEEE 46th International Symposium on Multiple-Valued Logic, ISMVL 2016. IEEE Computer Society, 2016-July, p. 253-257
Evaluation of algorithm selection approach for semantic segmentation based on high-level information feedback
Lukac, M., Abdiyeva, K., Kameyama, M., 2015 International Conference on Information and Digital Technologies, IDT 2015. Institute of Electrical and Electronics Engineers Inc., p. 223-229
An algorithm selection based platform for image understanding using high-level symbolic feedback and machine learning
Lukac, M., Kameyama, M., 2015 In : International Journal of Machine Learning and Cybernetics. 6, 3, p. 417-434
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
Minimizing reversible circuits in the 2n scheme using two and three bits patterns
Lukac, M., Hawash, M., Kameyama, M., Perkowski, M., Kerntopf, P., 2014 Proceedings - 2014 17th Euromicro Conference on Digital System Design, DSD 2014. Institute of Electrical and Electronics Engineers Inc., p. 708-711
Synthesis of quantum arrays from Kronecker Functional Lattice Diagrams
Lukac, M., Shah, D., Perkowski, M., Kameyama, M., 2014 In : IEICE Transactions on Information and Systems. E97-D, 9, p. 2262-2269
Reversible, information-preserving logic and its application
Lukac, M., Shuai, B., Kameyama, M., Miller, D., 2014 In : Journal of Multiple-Valued Logic and Soft Computing. 23, 3-4, p. 379-406
Analysis of faults in reversible computing
Lukac, M., Kameyama, M., Perkowski, M., Kerntopf, P., Moraga, C., 2014 Proceedings of The International Symposium on Multiple-Valued Logic. IEEE Computer Society, p. 115-120
VLSI platform for real-world intelligent integrated systems based on algorithm selection
Lukac, M., Kameyama, M., Fujioka, Y., 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
Quantum finite state machines - A circuit based approach
Lukac, M., Kameyama, M., Perkowski, M., 2013 In : International Journal of Unconventional Computing. 9, 3-4, p. 267-301
On synthesis and verification from event diagrams in a robot theatre application
Perkowski, M., Bhutada, A., Lukac, M., Sunardi, M., 2013 Proceedings of The International Symposium on Multiple-Valued Logic. p. 77-83
Natural image understanding using algorithm selection and high-level feedback
Lukac, M., Kameyama, M., Hiura, K., 2013 Proceedings of SPIE - The International Society for Optical Engineering. 8662,
Multiple-valued reversible benchmarks and extensible quantum specification (XQS) format
Hawash, M., Lukac, M., Kameyama, M., Perkowski, M., 2013 Proceedings of The International Symposium on Multiple-Valued Logic. p. 41-46
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
Analysis of reversible and quantum finite state machines using homing, synchronizing and distinguishing input sequences
Lukac, M., Kameyama, M., Perkowski, M., Kerntopf, P., 2013 Proceedings of The International Symposium on Multiple-Valued Logic. p. 322-327
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
An approach to synthesis of reversible circuits for partially specified functions
Perkowski, M., Fiszer, R., Kerntopf, P., Lukac, M., 2012 Proceedings of the IEEE Conference on Nanotechnology.
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., 2011 Proceedings - 41st IEEE International Symposium on Multiple-Valued Logic, ISMVL 2011. p. 131-138
Adaptive functional module selection using machine learning: Framework for intelligent robotics
Lukac, M., Kameyama, M., 2011 Proceedings of the SICE Annual Conference. p. 2480-2483
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., 2010 Proceedings of The International Symposium on Multiple-Valued Logic. p. 245-251
Evolutionary quantum logic synthesis of Boolean reversible logic circuits embedded in ternary quantum space using structural restrictions
Lukac, M., Perkowski, M., Kameyama, M., 2010 2010 IEEE World Congress on Computational Intelligence, WCCI 2010 - 2010 IEEE Congress on Evolutionary Computation, CEC 2010.
Emotion-aware probabilistic robotics
Lukac, M., Kameyama, M., 2010 2010 2nd International Symposium on Aware Computing, ISAC 2010 - Symposium Guide. p. 136-141
Adaptive selection of intelligent processing modules and its applications
Lukac, M., Kameyama, M., Perkowski, M., 2010 Proceedings of the 2010 International Conference on Artificial Intelligence, ICAI 2010. 2, p. 513-520
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
Projective measurement-based logic synthesis of quantum circuits
Lukac, M., Perkowski, M., 2008 Proceedings of The International Symposium on Multiple-Valued Logic. p. 191-196
Evolutionary approach to quantum symbolic logic synthesis
Lukac, M., Perkowski, M., 2008 2008 IEEE Congress on Evolutionary Computation, CEC 2008. p. 3374-3380
Quantum mechanical model of emotional robot behaviors
Lukac, M., Perkowski, M., 2007 Proceedings of The International Symposium on Multiple-Valued Logic.
Test generation and fault localization for quantum circuits
Perkowski, M., Biamonte, J., Lukac, M., 2005 Proceedings of The International Symposium on Multiple-Valued Logic. p. 62-68
Hahoe KAIST Robot Theatre: Learning rules of interactive robot behavior as a multiple-valued logic synthesis problem
Perkowski, M., Sasao, T., Kim, J., Lukac, M., Allen, J., Gebauer, S., 2005 Proceedings of The International Symposium on Multiple-Valued Logic. p. 236-248
Evolutionary approach to quantum and reversible circuits synthesis
Lukac, M., Perkowski, M., Goi, H., Pivtoraiko, M., Yu, C., Chung, K., Jee, H., Kim, B., Kim, Y., 2003 In : Artificial Intelligence Review. 20, 3-4, p. 361-417
Evolving quantum circuits using genetic algorithm
Lukac, M., Perkowski, M., 2002 Proceedings - NASA/DoD Conference on Evolvable Hardware, EH. Institute of Electrical and Electronics Engineers Inc., 2002-January, p. 177-185