2019

Lukac M., Kameyama M., Perkowski M., Kerntopf P., Using Homing, Synchronizing and Distinguishing Input Sequences for the Analysis of Reversible Finite State Machines, Facta Universitatis Electronics and Energetics,Vol. 32, No.3, 2019, pp: 417-438,

Lukac, M., Pruned Single Class Deep Convolutional Detectors, The 6th International Symposium on Brainware LSI, Research Institute of Electrical Communication, Tohoku University, Sendai, Japan

Lukac, M. and Moraga, C. and Kameyama, M. Properties of Bent Functions in the Truth Domain, Information Digital Technologies, 2019, (IEEE Excellent Paper on Reliability Award)

Lukac, M. and Krylov G., Geometric Refactoring of Quantum and Reversible Circuits: Quantum Layout, Reed-Muller Workshop, 2019

Krylov, G. and Lukac, M., Quantum Encoded Quantum Evolutionary Algorithm for the Design of Quantum Circuits, ACM Computational Frontiers, 2019

2018

Zhumagambetov R., Sterling M. Automated Theorem Proving in a Chat Environment. 13th International Workshop on User Interfaces for Theorem Provers (UITP), Oxford, United Kingdom, to appear in Electronic Proceedings in Theoretical Computer Science (EPTCS), 2018.

Sterling, M. and Suleimenov, A., 2018, December. Patterns of Syntax Theme Customization for Code Editors. In 2018 IEEE 3rd International Conference on Communication and Information Systems (ICCIS) (pp. 173-176). IEEE.

Adilbekov U., Adilova A., Saginbekov S., Providing Location Privacy Using Fake Sources in Wireless Sensor Networks, The IEEE 12th International Conference on Application of Information and Communication Technologies, 2018.

Abdiyeva K., Yap K.H., Wang G., Ahuja N., Lukac M., QL-Net: Quantized-by-LookUp CNN, ICARCV 2018, accepted

Sterling G., Tyler B., Renewable Energy Management Using Action Dependent Heuristic Dynamic Programming. 4th IEEE International Smart Cities Conference (ISC2). 2018.

Tyler B., Yessenbayeva A., A Comparison of Flipped Programming Classroom Models – Results by Gender and Major. IEEE/ASEE Frontiers in Education 2018 Conference. 2018.

Lukac M., Steinbach B., Analysis of Quantumm Circuits with Classical Boolean Logic, International Workshop on Boolean Problems, IWSBP 2018, accepted

Lukac M., Izbassarova N., Li A., Kameyama M., Algorthm Selection for Non-Linearly Separable Algorithms in Computer Vision, Euromicro Workshop on ML-IoT, accepted

Cerone A., Zhexenbayeva A., Using Formal Methods to Validate Research Hypotheses: the Duolingo Case Study, DataMod 2018, Toulouse, France, to appear in Lecture Notes in Computer Science, Springer, 2018.

Cerone A., FormalMiner: a Formal Framework for Refinement Mining, DataMod 2018, Toulouse, France, to appear in Lecture Notes in Computer Science, Springer, 2018.

Cerone A., Towards a Cognitive Architecture for the Formal Analysis of Human Behaviour and Learning, FMIS 2018, Toulouse, France, to appear in Lecture Notes in Computer Science, Springer, 2018.

Cerone A., Roveri M. (eds.), SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Vol. 10729 of Lecture Notes in Computer Science, Springer, 2018.

G. Yestemirova and S. Saginbekov, Efficient Data Aggregation in Wireless Sensor Networks with Multiple Sinks, The 32-nd IEEE International Conference on Advanced Information Networking and Applications (AINA-2018), 2018.

Lukac M., Abdiyeva K., Kameyama M., CNOT-Measure Quantum Neural Networks, IEEE ISMVL 2018, accepted, 2018

Lukac M., Algorithm Selection with Reasoning for Real-World Problems, The 5th International Symposium on Brainware LSI, 2018

2017

Cerone A., Model Mining - Integrating Data Analytics, Modelling and Verification, Journal of Intelligent Information Systems, Springer, 2017, Online First, DOI: 10.1007/s10844-017-0474-3.

Mukala P., Cerone A. and Turini F., An Empirical Verification of A-priori Learning Models on Mailing Archives in the context of Online Learning Activities of Participants in Free/Libre Open Source Software (FLOSS) Communities, Education and Information Technologies 22(6): 3207-3229 (2017), Springer, DOI: 10.1007/s10639-017-9573-6.

M. Sterling, “Situated big data and big data analytics for healthcare,” 2017 IEEE Global Humanitarian Technology Conference (GHTC), San Jose, CA, 2017, doi: 10.1109/GHTC.2017.8239322

M. Sterling. Performance of Distributed Sensing Algorithms with Correlated Noise and Defective Sensors. In Proceedings of the 2017 2nd International Conference on Communication and Information Systems (ICCIS 2017). Wuhan, China, 2017. ACM DOI: 10.1145/3158233.3159344

Fujioka Y., Kameyama K., Lukac M.,, A Dynamically Reconfigurable VLSI Processor with Hierarchical Structure based on a Micropacket Transfer Scheme, IDT (IEEE technically sponsored), (Accepted), 2017

Lukac M., Bazarbayeva A., Kameyama M., Context Based Visual Content Verification, IDT (IEEE technically sponsored), (Accepted), 2017

Lukac M., Kerntopf P., Kameyama M., An Analytic Sifting Approach to Optimization of LNN Reversible Circuits, IDT (IEEE technically sponsored), (Accepted), 2017

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

Saginbekov S., Jhumka A., Many-to-Many Data Aggregation Scheduling in Wireless Sensor Networks with Two Sinks, Computer Networks, 123: 184-199, Elsevier, 2017

Lukac M., Krylov G., Study of GPU Acceleration in Genetic Algorithms for Quantum Circuit Synthesis, IEEE ISMVL, accepted, 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.

Saginbekov S., Jhumka A., Mademikhanov Y., A Lower Bound on the Number of Nodes with Multiple Slots in Wireless Sensor Networks with Multiple Sinks, 6th International Conference on Sensor Networks (SENSORNETS 2017), 2017.

2016

Cerone A., Human-Oriented Formal Modelling of Human-Computer Interaction: Practitioners’ and Students’ Perspectives, Software Technologies: Applications and Foundations (STAF 2016 Collocated Workshops: HOFM), Vol. 9946 of Lecture Notes in Computer Science, Springer, 2016, pages 232-241.

Cerone A., Refinement Mining: Using Data to Sift Plausible Models, Software Technologies: Applications and Foundations (STAF 2016 Collocated Workshops: DataMod), Vol. 9946 of Lecture Notes in Computer Science, Springer, 2016, pages 26-41.

Sterling, Mark. “A Linear Dependence Based Construction Related to Costas Arrays.” In Proceedings of the 2016 International Conference on Communication and Information Systems, pp. 21-24. ACM, Dec 2016.

Saginbekov S., Shakenov C., Hybrid Simulators for Wireless Sensor Networks. IEEE International Conference on Wireless Sensors, 2016.

Saginbekov S., Jhumka A., Shakenov C., Towards Energy-efficient Collision-free Data Aggregation Scheduling in Wireless Sensor Networks with Multiple Sinks. 5th International Conference on Sensor Networks (SENSORNETS 2016), 2016. Best Paper candidate.

Rizvi M., Toleuov A., Khaitov D., Baitursinov S., A General Extensible Framework for Mobile Location-based Information Systems, 10th IEEE International Conference on Application of Information and Communication Technologies, Accepted, 2016.

Tyler B., Abdrakmanova M., Flipping the CS1 and CS2 Classrooms in Central Asia, IEEE/ASEE Frontiers in Education 2016, Accepted, 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

Madikenova G., Galimuratova A., Lukac M., Threat Detection in Episodic Images, Information and Digital Technologies, Accepted, 2016

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

Lukac M., Moraga C., Kameyama M., CnF logic gates derived from CnNOT gates. International Workshop on Boolean Problems, Accepted, 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

Zhanbyrtayev M., Kassenov B., A Novel Approach to Mobile Indoor Navigation Systems, 3rd IEEE/ACM International Conference on Mobile Software Engineering and Systems (ACM Student Research Competition, advised by Rizvi), 2016.

2015

Rhee, H., Belyea, M.J., Sterling, M. and Bocko, M.F., 2015. Evaluating the Validity of an Automated Device for Asthma Monitoring for Adolescents: Correlational Design. Journal of medical Internet research, 17(10).

Shellington W., Rizvi M., Humphries T., Morsi R., “Syntax Circuitry: A Mobile Game for Practicing Programming Syntax”, Frontiers in Education 2015, El Paso, TX, USA, Oct 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

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

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, 2016