Information and Communication Technologies in Education, Research, and Industrial Applications : 18th International Conference, ICTERI 2023, Ivano-Frankivsk, Ukraine, September 18-22, 2023, Proceedings / / Grigoris Antoniou [and seven others], editors

• Record Nr.: UNINA9910767558903321
• Pubbl/distr/stampa: Cham, Switzerland : , : Springer Nature Switzerland AG, , [2023]; ©2023
• ISBN: 3-031-48325-1
• Edizione: [First edition.]
• Descrizione fisica: 1 online resource (373 pages)
• Collana: Communications in Computer and Information Science Series ; ; Volume 1980
• Disciplina: 371.33
• Soggetti: Educational technology; Information technology
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: Intro -- 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 &amp -- Optimization Layer. Building Machine Learning Model -- 2.3 Forecast &amp -- 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).