Information and Communication Technologies in Education, Research, and Industrial Applications: 15th International Conference, ICTERI 2019, Kherson, ... in Computer and Information Science, 1175)

Preface
Organization
Contents
Advances in ICT and IS Research
Automated Design of Parallel Programs for Heterogeneous Platforms Using Algebra-Algorithmic Tools
	Abstract
	1 Introduction
	2 Algorithmic Algebra and Tools for Automated Software Design
		2.1 The Main Operations of Algorithmic Algebra
		2.2 The Tools for Automated Software Design
	3 The Extension of Algebra-Algorithmic Tools with Constructs Oriented on Parallel Computations in a Heterogeneous OpenCL Platform
	4 The Method for Semi-automatic Parallelization of Loop Operators
		4.1 Loop Transformations
		4.2 Program Execution Flow
	5 Application of the Developed Tools for Designing Parallel Interpolation Program
		5.1 Designing the Parallel Interpolation Algorithm Scheme
		5.2 Experiment Results
	6 Related Work
	7 Conclusion
	References
Optimized Term Extraction Method Based on Computing Merged Partial C-Values
	Abstract
	1 Introduction
	2 Background, Research Problem, and Contribution
	3 Related Work
		3.1 Terminological Saturation
		3.2 Methods for ATE
		3.3 Efficient String Matching for Searching Nested Terms
	4 Motivation
	5 Formal Framework
	6 Experimental Evaluation
		6.1 Experimental Objectives
		6.2 Experimental Data
		6.3 Instrumental Software and Computational Environment
		6.4 Experimental Flow
		6.5 The Results of Experiments and Discussion
	7 Conclusions and Future Work
	References
Expressibility in the Kleene Algebra of Partial Predicates with the Complement Composition
	1 Introduction
	2 Notation
	3 Preliminaries
	4 Expressibility in Kleene Algebra
	5 Proof of Theorem 1
	6 Proof of Theorem3
	7 Conclusion
	References
Program-Oriented Logics of Renominative Level with Extended Renomination and Equality
	Abstract
	1 Introduction
	2 Program Algebras with Predicate Complement, Extended Renomination, and Equality
	3 Extended Logic of Partial Quasiary Predicates of Renominative Level
		3.1 Extended Algebras of Partial Quasiary Predicates of Renominative Level
		3.2 Language (Signature and Formulas) of L ^{R \equiv }
		3.3 L ^{R \equiv } -Interpretations
		3.4 Logical Consequence Relation Under Conditions of Undefinedness
	4 Sequent Calculus for L ^{R \equiv }
	5 Soundness and Completeness of C ^{R \equiv }
	6 Conclusion
	References
SMT-LIB Theory of Nominative Data
	Abstract
	1 Introduction
	2 Composition-Nominative Approach
	3 Nominative Data
	4 Axiomatization of Nominative Data Theory
	5 The Domain of Nominative Data
	6 Conclusions
	References
Intelligent Support of the Business Process Model Analysis and Improvement Method
	Abstract
	1 Introduction
	2 Related Work
		2.1 Business Process Management Lifecycle
		2.2 Business Process Model Analysis
		2.3 Conclusion on Related Work Review
	3 Business Process Model Analysis and Improvement Method
		3.1 Formalization of Business Process Modeling Best Practices
		3.2 Business Process Model Analysis and Improvement Procedure
		3.3 Recommendations Elaboration for Business Process Model Improvement
		3.4 Applying Business Intelligence Techniques
	4 Implementation of the Proposed Method
		4.1 System’s Architecture
		4.2 Input Data Format
		4.3 Data Extraction, Transformation and Storage
		4.4 Results Presentation
	5 Results and Discussion
		5.1 Method Evaluation
		5.2 Method Validation
	6 Conclusion and Future Work
	References
The Use of Analogy to Simplify the Mathematical Description of the Didactical Process
	1 Introduction
	2 The Theoretical Backgrounds
		2.1 The Basic Network Elements and Their Meaning
		2.2 Solving Network Equations
	3 Didactical Process Modelling
		3.1 Didactical Process as a Network
		3.2 Decomposition of the Didactical Process Implemented on the Quela Platform
	4 Results and Discussion
	5 Conclusions and Prospects for Further Research
	References
ICT in Teaching, Learning, and Education Management
Developing a Mobile Augmented Reality Application for Enhancing Early Literacy Skills
	Abstract
	1 Introduction
	2 Tools for Augmented Reality Development
	3 System Design and Architecture
	4 Project Design with Vuforia
	5 Implementation of “Tilsimli Arifler”
	6 Interface of “Tilsimli Arifler” Application
	7 Conclusions
	References
System for Testing Physics Knowledge
	Abstract
	1 Introduction
	2 The Formal Definition of the Subject Area
	3 Examples of Formal Models of Physical Processes
	4 The Formal Model of Physics Knowledge Testing System
		4.1 The Course of the Discipline “Physics” Is Represented by a Hierarchy of Dependence of the Subject (Training) Modules (Structural-Logical Scheme of the Discipline)
		4.2 The Formal Model of a Physical Phenomenon, A Process
	5 Methods for Generating and Validating Test Items
		5.1 Test Template Selection
		5.2 Test Generation
	6 DLS Software Module for Testing Physics Knowledge and Skills
		6.1 Adaptive Test Items
		6.2 Template Type Test Items
		6.3 Implementation of a Software Module for Testing Physics Knowledge
	7 Conclusions and Outlooks
	References
Digital Learning Environment of Ukrainian Universities: The Main Components to Influence the Competence of Students and Teachers
	Abstract
	1 Introduction
	2 Theoretical Background
	3 Methodology of Research
		3.1 General Design
		3.2 Instruments and Participants
		3.3 The Methods and Models of Data Processing
	4 Results of Research
		4.1 The Results of a Survey Reliability Estimate
		4.2 Using Factor Analysis to Model the Informational and Educational Environment of the University
		4.3 Analysis of the Impact of Component Digital Educational Environment the Respondents’ Digital Competence Level
		4.4 Development Analysis of the Ukrainian Universities Digital Learning Environment
	5 Conclusions
	References
Complexity Theory and Dynamic Characteristics of Cognitive Processes
	Abstract
	1 Introduction
	2 Analysis of Previous Studies
	3 Information Mono- and Multiscale Measures of Complexity
	4 Fractal Measures of Complexity
	5 Recurrence Analysis of Cognitive Processes
	6 Complex Network Methods for Studying Cognitive Processes
		6.1 Cognitive Linguistics and Complex System Theory
		6.2 Transformation of a Time Series into a Network
		6.3 Spectral and Topological Characteristics of Cognitive Networks
	7 Gamified Methods for Testing Cognitive Trajectories
	8 Conclusions
	References
Applications of ICT in Industrial and Public Practice
Short-Term Electricity Price Forecasting: Deep ANN vs GAM
	Abstract
	1 Introduction
	2 Literature Review
		2.1 Generalized Additive Models for Electricity Price Forecasting
		2.2 Artificial Neural Nets for Electricity Price Forecasting
		2.3 Research Gap
	3 Sample and Methodology
		3.1 Sample Description
		3.2 Benchmark Models: Naïve Forecasts and Autoregressive Integrated Moving Average Model with External Regressors (ARIMAX)
		3.3 Generalized Additive Model (GAM)
		3.4 Artificial Neural Nets
		3.5 Forecasting Accuracy Measures
	4 Assessment of the Model Performances
	5 Conclusion
	References
Model of Functional Behavior of Healthcare Internet of Things Device Using Erlang Phase Method
	Abstract
	1 Introduction
		1.1 Motivation
		1.2 Related Works Analysis
		1.3 Objectives, Approach and Structure of the Paper
	2 Analysis of an Insulin Pump Behavior
		2.1 A Structure of the Insulin Pump
		2.2 The Sequencing of Procedures that Shape the Behavior of Insulin Pump
		2.3 Functional Parameters and Indicators of the Pump’s Behavior Procedures
	3 Development of Discrete-Continuous Stochastic Model of Real States
		3.1 Assumptions to the Model Development
		3.2 Definition of Basic Events
		3.3 Structure of the State Vector of the DCSM
		3.4 Structural Automaton Model Development
		3.5 Validation of the Developed Model
	4 Development of the Insulin Pump Functional Behavior Model Using the Erlang Phase Method
		4.1 Modification of the SAM Using the Erlang Phase Method
		4.2 Additional Components in the State Vector
		4.3 Changes in the SAM Components
		4.4 Validation of the Changed Model
	5 Conclusions and Future Work
	Acknowledgment
	References
Multi-fragmental Markov’s Models for Safety Assessment of NPP I&C System Considering Migration of Hidden Failures
	Abstract
	1 Introduction
		1.1 Motivation
		1.2 State of the Art
	2 Approach and Modeling Technique
		2.1 Principles for the Development and Correction of Markov’ Models for Assessing Safety at Different Stages of the V-model Life Cycle
		2.2 Development and Research of Model MICS32 for Assessing the ICS Safety with the Complete Elimination of Design Faults
		2.3 Model MICS42 for Evaluating the Safety of the Information and Control System with the Migration of Failures
	3 Simulation and Comparative Analysis
	4 Method for Assessing the Requirements Implementation for ICS Safety on Programmable Platforms
	5 Information Technology for Decision Support in Assessing and Managing the Implementation of Requirements for ICS Safety
		5.1 Streams and Processes
		5.2 Tools
	6 Conclusions
	References
About One Approach to Modelling Dynamics of Network Community Opinion
	1 Introduction
	2 Motivation and State-of-Art
	3 Proposed Mathematical Model
		3.1 Modelling Assumptions
		3.2 Modelling Framework
		3.3 Estimating Community Preference Density
		3.4 Model of Dialogue
		3.5 Model of Actor Individual Decision Procedure
		3.6 Evaluating Collective Opinion and Its Dynamics
	4 Simulation Framework in a Nutshell
	5 Case Studies
		5.1 Analysis of Two-Actor Communities
		5.2 Analysis of Communities with One Leader
		5.3 Analysis of Communities with Two Leaders
	6 Future Research Challenges
	7 Conclusion
	References
Our Approach to Formal Verification of Token Economy Models
	Abstract
	1 Introduction
	2 Our Contribution
	3 Formalization of the Tokenomics Model
	4 Specific Model. Simulation Results
	5 Symbolic Model
	6 Discussion and Conclusions
	Acknowledgements
	References
Using Trading System Consolidated Models in Stock Exchange Price Forecasting
	Abstract
	1 Introduction
	2 Theoretical Background
	3 Methodology
	4 Efficiency Estimation Procedure
		4.1 NIKE Inc. Financial and Economic Indicators Analysis
		4.2 Estimation of Efficiency of the Developed Model of the Forecast of Prices
		4.3 Forecast of Prices Using the Developed Trading Model
		4.4 Updated Model
	5 Conclusions
	References
Simulation as a Method for Asymptotic System Behavior Identification (e.g. Water Frog Hemiclonal Population Systems)
	Abstract
	1 Introduction
		1.1 Motivation
		1.2 Reproduction within HPSs
		1.3 Scope of Modelling
	2 Model Description and Its Justification
		2.1 The Cycle of the Model
		2.2 Input Parameters
		2.3 The Algorithm of the Model
	3 Selection of Parameters
	4 Case Studies
		4.1 The Probabilistic Character of the Simulation Results
		4.2 The Space of Possible Outcomes of the HPS Transformations
	5 Outcome Interpretation
	6 Discussion and Conclusion
	References
Cluster Analysis of Countries Inequality Due to IT Development Through Macros Application
	Abstract
	1 Introduction
	2 Related Works
		2.1 Dialectical Essence of the “Inequality”
		2.2 The Connection of Inequality and Technological Changes
	3 Impact of the Industry 4.0 Implementation on Income Inequality Using Principal Component Approach
		3.1 Methodology
		3.2 Principal Component Approach
	4 Cluster Analysis Through Macros Application
	5 Conclusions
	References
Correction to: Information and Communication Technologies in Education, Research, and Industrial Applications
	Correction to: V. Ermolayev et al. (Eds.): Information and Communication Technologies in Education, Research, and Industrial Applications, CCIS 1175, https://doi.org/10.1007/978-3-030-39459-2
Author Index