Information and Communication Technologies in Education, Research, and Industrial Applications: 18th International Conference, ICTERI 2023, ... in Computer and Information Science, 1980)

Preface
Organization
Automated Machine Learning for Knowledge Discovery (Invited Talk Abstract)
Contents
Invited Paper
The Power of Good Old-Fashioned AI for Urban Traffic Control
	1 Introduction
	2 Automated Planning
	3 AI for Traffic Signal Control
	4 AI for Traffic Routing
	5 Conclusion
	References
Main Conference
Automated Design of a Neuroevolution Program Using Algebra-Algorithmic Tools
	1 Introduction
	2 Neuroevolution of Augmenting Topologies
	3 Facilities for Automated Design of Algorithms and Programs
	4 Application of the Integrated Toolkit for Designing a Program for Single-Pole Balancing Problem Using the NEAT-Python Library
	5 Experimental Results
	6 Conclusion
	References
On Randomization of Reduction Strategies for Typeless Lambda Calculus
	1 Introduction
	2 A Brief Survey of Typeless Lambda Calculus
		2.1 Lambda Terms Construction Rules
		2.2 Lambda Calculus Computation Rules
	3 A Terms Reduction Strategy as Choice Procedure
		3.1 Deterministic Terms Reduction Strategies
		3.2 A Deterministic Reduction Strategy as a Choice Procedure
		3.3 Random Choice and Random Reduction Strategies
		3.4 Mixed Reduction Strategies
	4 Complexity of Terms Reduction Strategies
	5 Simulation of Reduction Processes
		5.1 Experimental Study of Random Strategies
		5.2 Experimental Study of Mixed Strategies
	6 Conclusions
	References
Solving Sokoban Game with a Heuristic for Avoiding Dead-End States
	1 Introduction
	2 Models with Irreversible Actions
		2.1 Sokoban Game
	3 Related Works
	4 The Heuristic
		4.1 Evaluation of the Sokoban Game State
		4.2 Preparing Data for Model Training
		4.3 Training of the Network
	5 Experiments
		5.1 General Information
		5.2 Classification Network vs Value Network as a Heuristic for MCTS
		5.3 Attempt to Fine-Tune the Network During Training
		5.4 Comparison of Heuristics Trained on Different Datasets
	6 Conclusion
	References
Information System for Calculating the Shortest Route for a Mobile Robot in a Multilevel Environment Based on Unity
	1 Introduction
	2 Review of Existing Information Systems for Calculating Optimal Routes
	3 Algorithm for Finding the Shortest Path in a Multilevel Environment
	4 Information System for Calculating the Shortest Path in a Multilevel Space Based on Unity
	5 Analysis of the Results of Simulation the Operation of the Information System
	6 Conclusions
	References
Analysis and Systematization of Vulnerabilities of Drone Subsystems
	1 Introduction
		1.1 Motivation and Relevance of Research
		1.2 Work Related Analysis
	2 Analysis of Drone’s Subsystems Vulnerabilities
	3 Systematization of Drone’s Vulnerabilities by Severities and Cyber-Attacks
	4 Conclusions
	References
Helicopters Turboshaft Engines Parameters Identification Using Neural Network Technologies Based on the Kalman Filter
	1 Introduction
	2 Related Works
	3 Materials and Methods
	4 Experiment
	5 Results
	6 Discussions
	7 Conclusions
	References
Modification of Fuzzy TOPSIS Based on Various Proximity Coefficients Metrics and Shapes of Fuzzy Sets
	1 Introduction
	2 Related Works and Problem Statement
	3 Modification of Fuzzy TOPSIS to Solve the Problem
	4 Conclusions
	References
Development of the Professional Competence of Bachelors in Preschool Education Through Online Interaction
	1 Introduction
	2 Analysis of Publications
	3 Discussion
		3.1 Students’ Readiness to Develop the Play Competence of Preschool Children
		3.2 Syllabus Outline to Teach Using ICT within the Course Workshop on Children’s Play Activities
		3.3 Research Results
	4 Conclusion
	References
Design and Implementation of Didactic Process Based on Simulation
	1 Introduction
		1.1 Practical Problems
	2 The Theoretical Backgrounds
		2.1 Extended ADDIE Model
		2.2 Decomposition of the Didactic Process
		2.3 Bloom's Taxonomy of Didactic Objectives
		2.4 Design Based on Theory of Multiple Intelligences and Bloom's Taxonomy
	3 Practical Implementation of the System
		3.1 Modeling of Activities
	4 Results and Discussion
		4.1 Workload and Effects
		4.2 Predicting the Next Didactic Unit or Activity
		4.3 Time Gap and Workload
	5 Conclusions and Prospects for Further Research
	References
Theoretical Principles of Measuring and Interpreting Levels of Attention, Involvement and Organizing Feedback of Students to the Educational Process Using Automated Software Products
	1 Introduction
	2 Peculiarities of Studying Students of the Zoomers Generation
		2.1 A Theoretical Overview of the Traditional Learning Model and Theories of Cognition
		2.2 Theoretical Review of the Modern Model of Learning and Theories of Cognition
	3 Overview of Modern Tools for Determining the Levels of Student Involvement in the Educational Process
		3.1 EmotionCues
		3.2 Headroom
		3.3 MeetingPulse
	4 A Software Tool for Analyzing the Degree of Involvement and the Degree of Information Perception
		4.1 Requirements for the Software Product
		4.2 Characterization and Interpretation of Visual Markers for Measuring Student Attention and Engagement
		4.3 Use of Machine Learning Technology
	5 Conclusions
	References
Self-directed Learning in Chemistry Laboratory via Simulations
	1 Introduction
	2 Method
		2.1 Sample
		2.2 Data Collection Tools
		2.3 Application Process
		2.4 Data Analyze
	3 Results
	4 Discussion and Conclusion
	References
The Use of Digital Tools for Mastering Practical Disciplines in the Distance Format of Training Bachelors of Preschool Education
	1 Introduction
		1.1 Problem Statement
		1.2 Literature Review
		1.3 The Aim of the Research
	2 Results of the Research
		2.1 Results of the Formative Stage
	3 Problems and Prospects
	4 Conclusions
	References
A Bot-Based Self-report Diagnostic Tool to Assess Post-traumatic Stress Disorder
	1 Introduction
	2 Related Works
	3 Information Technology of Significant Dependencies Identification
		3.1 Identification of Significant Dependencies
		3.2 Bot Description
		3.3 Analytical System for Dependencies Identification
	4 Case Study
	5 Discussion
	6 Conclusion
	References
Ph.D. Symposium
Stock Market Crashes as Phase Transitions
	1 Introduction
	2 Literature Review
	3 Multifractal Detrended Fluctuation Analysis
	4 Empirical Results
	5 Conclusions
	References
Bibliometric Analysis of Adaptive Learning Literature from 2011-2019: Identifying Primary Concepts and Keyword Clusters
	1 Introduction
	2 Method
	3 Results and Discussion
	4 Limitations
	5 Conclusions
	6 Future Work
	References
Data Analysis for Predicting Stock Prices Using Financial Indicators Based on Business Reports
	1 Introduction
	2 Related Works
	3 Financial Ratios of 10K Report
	4 Data Analysis
	5 Conclusions
	References
Artificial Intelligence Impact on Food Security of States in the World
	1 Introduction
	2 Related Works
		2.1 Agriculture 4.0 and AI Solutions Linkage
		2.2 AI Role in Addressing Food Security Challenges
		2.3 The Socio-economic Impact of AI on Food Security
	3 Main Results: Measuring the Impact of AI on Food Security of States
	4 Conclusions
	References
Increasing Investment Portfolio Profitability with Computer Analysis Trading Strategies
	1 Introduction
	2 Related Works
	3 Research Methodology
		3.1 Model
		3.2 Experimental Part
	4 Results
	5 Conclusions
	References
Quality Assessment and Assurance of Machine Learning Systems: A Comprehensive Approach
	1 Introduction
	2 Terminology
	3 Background
		3.1 Characteristics of ML Systems
		3.2 Quality Assessment and Assurance Challenges in ML Systems
	4 Related Work
		4.1 Quality Characteristics and Models
		4.2 Quality Assurance Models and Methods
	5 Limitations of Existing Software Quality Models and Methods
	6 Towards a Comprehensive Approach to Quality Assessment and Assurance of ML Systems
	7 Conclusion
	References
Vulnerability Detection of Smart Contracts Based on Bidirectional GRU and Attention Mechanism
	1 Introduction
	2 Literature Review and the Problem Statement
	3 Reentrancy Vulnerability
	4 Methodology of Building a Model for Detecting Vulnerabilities of Smart Contracts
		4.1 Vector Representation of Smart Contract Code
		4.2 Recurrent Neural Networks
		4.3 Dataset for Training
		4.4 Architecture of the Model for Detecting Smart Contract Vulnerabilities
	5 Evaluation of the Model
		5.1 Basic Values
		5.2 Precision and Recall Metrics
		5.3 F-Beta Score
		5.4 Hardware and Software
		5.5 Evaluation Results
	6 Conclusion
	References
Modeling the Resource Planning System for Grocery Retail Using Machine Learning
	1 Introduction
	2 Modeling the Resource Planning System
		2.1 The Data and Business Inputs Layer
		2.2 Forecast & Optimization Layer. Building Machine Learning Model
		2.3 Forecast & Optimization Layer. Building Machine Learning Model
		2.4 Business Intelligence Layer
	3 Conclusions
	References
Poster Papers
Organization of Independent Work of Students in LMS Moodle Using a Metacognitive Approach (on the Example of Physical and Mathematical Disciplines)
	1 Introduction
	2 Literature Review
	3 Research Methods
	4 Research Results
		4.1 Survey Results and Problem Statement
		4.2 LMS Moodle Tools for Organizing Students’ Independent Work in Physical and Mathematical Disciplines
	5 Conclusion
	References
Cognitive Technologies and Competence Development: Bibliometric Analysis
	1 Introduction
	2 Materials and Methods
	3 Results
		3.1 Journals
		3.2 Authors
		3.3 Countries
		3.4 Analysis of Citations
		3.5 Term Analysis
	4 Conclusions
	References
Smart-Systems in STEM Education
	1 Introduction
	2 Smart-Systems for Education in Modern Society
	3 STEM Application in Modern Education
	4 Models for STEM Learning in the Context of “Smart-Systems”
		4.1 Project-Based Learning (PBL)
		4.2 Design Thinking
		4.3 Inquiry-Based Learning
		4.4 Gamification
		4.5 Collaborative Learning
	5 Technologies for Teaching STEM in the Context of “Smart-Systems”
	6 Conclusion
	References
Digital Technologies as a Means of Forming Subject-Methodical Competence Future Primary School Teachers
	1 Introduction
	2 Literature Review
	3 The Aim of the Research
	4 Research Methodology
	5 Discussion and Results
	6 Conclusions and Prospects for Further Research
	References
Approaches and Economic Benefits of Property Registers Digitalization: Evidence from Ukraine
	1 Introduction
	2 Methods of the Research
	3 Main Definitions and Entities of Property Registers
	4 Primary Information and Telecommunication Systems in Ukraine
	5 Analysis of Approaches to Public Property Registers Development
	6 The Functionality of the Proposed Public Property System
	7 The Economic Effect of the Register
	8 Conclusions
	References
Author Index