PROGRAM
Days: Wednesday, June 12th Thursday, June 13th Friday, June 14th Saturday, June 15th
Wednesday, June 12th
View this program: with abstractssession overviewtalk overview
08:30-12:30 Session 1: Registration
Registered participants to come to the registration counter at the conference venue to receive their badge and conference bundle.
09:00-10:30 Session 2A: WS ITER Session I: Neural Networks and Economic Modeling
Chair:
Location: 256
09:00 | Simulation of the crisis contagion process between countries with different levels of socio-economic development (abstract) |
09:20 | Government Financial Support of Higher Education and its Role in Economic Prosperity of a Society (abstract) |
09:40 | Forecasting of Cereal Crop Harvest on the Basis of an Extrapolation Canonical Model of a Vector Random Sequence (abstract) |
10:10 | Business models of reproduction cycles for digital economy (abstract) |
09:00-10:30 Session 2B: WS TheRMIT Session I: Models and Tools for Systems Reliability and Safety
Chair:
Location: Coworking Hall
09:00 | Multi-fragmental Markov models of functional safety of information and control system considering elimination of hardware-software faults (abstract) |
09:30 | Discrete-Continuous Stochastic Model of Insulin Pump Functioning for Health IoT System Using Erlang Phase Method (abstract) |
09:50 | Discrete-Continuous Stochastic Model of Behavior Algorithm of Surveillance and Target Acquisition System (abstract) |
10:10 | Reliability of adaptive traffic lights ensured by warm standby with estimation of its use (abstract) |
09:00-11:00 Session 2C: WS CoSinE Session I: Learning and Instruction with Computer Simulations
Chair:
Location: Conference Hall
09:00 | Computer Simulation of Neural Networks Using Spreadsheets: Dr. Anderson, Welcome Back (abstract) |
09:30 | THE SIMULTANEOUS USE OF EXEL AND GEOGEBRA TO TRAINING THE BASICS OF MATHEMATICAL MODELING (abstract) |
10:00 | Computer Modeling of Educational Process as Way to Modern Learning Technologies (abstract) |
10:30 | Methodology of Using Structural Equation Modeling in Educational Research (abstract) |
09:00-10:30 Session 2D: WS 3L-Person Session I: System Models and Methods for Forming Competences
Chair:
Location: 507
09:00 | About One Approach to Building Systems for Testing Physical Knowledge (abstract) |
09:30 | Increase of the Level of Graphic Competence Future Bachelor in Computer Sciences in the Process of Studying Three-Dimensional Modeling (abstract) |
09:50 | Ontological model of representation of university resources (abstract) |
10:10 | Mathematical Models and Methods of Supporting the Solution of the Geometry Tasks In Systems of Computer Mathematics for Educational Purposes (abstract) |
09:00-10:30 Session 2E: WS RMSE Session I
Chair:
Location: 512
09:00 | On Some Classes of Problems on Graphs (abstract) |
09:30 | Computations in extensions of multisorted algebras (abstract) |
10:00 | Computational Modeling and Structural Stability (abstract) |
10:30-11:00Coffee Break
11:00-12:30 Session 3A: WS ITER Session II: Computational Economics and Economic Modeling
Chair:
Location: 256
11:00 | Budgeting Integration with a Business Strategy and Accounting System in Business Process Management - Case Study of Ukrainian Company (abstract) |
11:30 | Support of Investors’ Decision Making in Economic Experiments Using Software Tools (abstract) |
11:50 | Short-term electricity price forecasting using Generalized Additive Models (abstract) |
12:20 | Forecasting Prices on the Stock Exchange Using a Trading System (abstract) |
11:00-12:30 Session 3B: WS TheRMIT Session II: Checkability and Fault-tolerance of Safe and Secure Systems
Chair:
Location: Coworking Hall
11:00 | Methodology of defining the accident rate function for fault tolerant system with high responsibility purpose (abstract) |
11:30 | On-Line Checking of Faults in Cyber-Physical Systems (abstract) |
11:50 | Power-Oriented Checkability of Matrix and Pipeline Circuits in FPGA-Based Digital Components of Safety-Related Systems (abstract) |
12:10 | Polynomials Multiplier Under Irreducible Polynomial Module (abstract) |
11:00-12:30 Session 3C: WS CoSinE Session II: How Computer Simulation of Socio-economic Processes Transforms Education and Training
12.20 – 12.30. Memories of Professor Illia O. Teplytskyi
Chair:
Location: Conference Hall
11:00 | Modeling of Cognitive Process Using Complexity Theory Methods (abstract) |
11:30 | Computation algorithm for integral indicator of socio-economic development (abstract) |
12:00 | Simulation System in Educational and Career Guidance State Policy of Ukraine (abstract) |
11:00-12:30 Session 3D: WS 3L-Person Session II: Cloud-based Learning Environment
Chair:
Location: 507
11:00 | Attitude to the Digital Learning Environment in Ukrainian Universities (abstract) |
11:30 | The blended methodology of learning computer networks: cloud-based approach (abstract) |
11:50 | THE METHOD OF OPERATIONS RESEARCH LEARNING USING MAXIMA SYSTEM (abstract) |
12:10 | The Comparative Analysis of the Design and Application of the Cloud-based Components for Mathematics Learning (abstract) |
11:00-12:30 Session 3E: WS RMSE Session II
Chair:
Location: 512
11:00 | Extending the SMT-Lib Standard with Theory of Nominative Data (abstract) |
11:30 | Program Logics of Renominative Level with the Composition of Predicate Complement (abstract) |
12:00 | Formalization of the Model of Management of the Technological Innovations (abstract) |
12:30-14:00Lunch Break
14:00-15:30 Session 4A: WS ITER Session III: Evolutionary and Simulation Economics
Chair:
Location: 256
14:00 | Entropy analysis of crisis phenomena for DJIA index (abstract) |
14:30 | Cluster Analysis of Countries Inequality due to IT Development (abstract) |
15:00 | The Relationship between Oil and Gas Prices, Dow Jones and US Dollar Indexes: A Wavelet Co-movement Estimation and Neural Network Forecasting (abstract) |
14:00-15:30 Session 4B: WS TheRMIT Session III: Quality and Reliability of Software System
Chair:
Location: Coworking Hall
14:00 | Agent-Oriented Information Technology for Assessing the Initial Stages of the Software Life Cycle (abstract) |
14:30 | Quality assessment of unmanned aerial systems using Bayesian Trust Networks processing of testing data (abstract) |
14:50 | Optimization of flows and flexible redistribution of autonomous UAV routes in multilevel airspace (abstract) |
15:10 | Reliability of Big Data in Hotels Management (abstract) |
14:00-15:30 Session 4C: WS CoSinE Session III: Modelling systems in education
Chair:
Location: Conference Hall
14:00 | Computer Simulation as a Method of Learning Research in Computational Mathematics (abstract) |
14:30 | Adaptive Testing Model as the Method of Quality Knowledge Control Individualizing (abstract) |
15:00 | Historical Approach to Modern Learning Environment (abstract) |
14:00-15:30 Session 4D: WS 3L-Person Session III: Virtual and Smart Technologies, STEM and Robotics
Chair:
Location: 507
14:00 | Electronic Textbook as a Component of Smart Kids Technology of Education of Elementary School Pupils (abstract) |
14:30 | Technologies of Virtual and Augmented Reality for High Education and Secondary School (abstract) |
14:50 | Activity Plan Template for Supporting Study Science with Robotics and Programming (abstract) |
15:10 | Determining the Level of Readiness of Teachers to Implementation of STEM-Education in Ukraine (abstract) |
14:00-15:30 Session 4E: WS RMSE Session III
Chair:
Location: 512
14:00 | On the Kleene Algebra of Partial Predicates with Predicate Complement (abstract) |
14:30 | Event Universes: Specification and Analysis Using Coq Proof Assistant (abstract) |
15:00 | Formalization and Algebraic Modeling of Tokenomics Projects (abstract) |
15:30-16:00Coffee Break
16:00-17:30 Session 5A: WS ITER Session IV: Intelligent Manufacturing and Information Systems 1
Chair:
Location: 256
16:00 | Economic-based Fault-Tolerant Consensus Algorithm (abstract) |
16:20 | Can Information Technology Increase Government Effectiveness? (abstract) |
16:50 | CLOUD BASED ARCHITECTURE OF THE CORE BANKING SYSTEM (abstract) |
17:20 | Application of geographic information systems in the field of domestic waste management (abstract) |
16:00-17:30 Session 5B: WS TheRMIT Session IV: Security and Privacy of IT Infrastructures
Chair:
Location: Coworking Hall
16:00 | Dynamic Signature-based Malware Detection Technique Based on API Call Tracing (abstract) |
16:30 | High-Speed Privaсy Amplification Method for Deterministic Quantum Cryptography Protocols Using Pairs of Entangled Qutrits (abstract) |
16:50 | Intelligent Method for CSIRT Performance Evaluation in Critical Information Infrastructure (abstract) |
17:10 | Random Re-Ordering of the Parties in the Consensus Protocol (abstract) |
16:00-18:00 Session 5C: WS CoSinE Session IV: Learning Virtualization
17.50 – 18.00. Closing, CoSinE 2020 Announcement, and Farewell
Chair:
Location: Conference Hall
16:00 | Augmented Reality in Training Engineering Students: Teaching Techniques (abstract) |
16:20 | Intellectual Adaptation Method for Human-Machine Interaction in Modular E-Learning Systems (abstract) |
16:40 | Using the Cloud-Oriented Virtual Chemical Laboratory VLab in Teaching the Solution of Experimental Problems in Chemistry of 9th Grade Students (abstract) |
17:10 | Designing of Virtual Cloud Labs for the Learning Cisco CyberSecurity Operations Course (abstract) |
17:30 | Using Computer Simulations and Games in Engineering Education: Views from the Field (abstract) |
16:00-17:30 Session 5D: WS 3L-Person Session IV: ICT in Education and 3L Retraining
Chair:
Location: 507
16:00 | Open Distance Learning For Teachers (abstract) |
16:30 | The Technique to Evaluate Pupils’ Intellectual and Personal Important Qualities for ICT Competences (abstract) |
16:50 | The Method for Forming the Health-Saving Component of Basic School Students’ Digital Competence (abstract) |
17:10 | ICT IN PROFESSIONAL EDUCATION OF FUTURE PRIMARY SCHOOL TEACHERS: MODELING OF SCIENTIFIC AND RESEARCH WORK (abstract) |
16:00-17:30 Session 5E: WS RMSE Session IV
Chair:
Location: 512
16:00 | Data Compression and Representation as Multicolor Barcodes (abstract) |
16:30 | Formalization and Algebraic Modeling of University Economics (abstract) |
17:30-18:00Coffee Break
18:00-19:30 Session 6A: WS ITER Session V: Intelligent Manufacturing and Information Systems 2
Chair:
Location: 256
18:00 | THE MAIN ASPECTS OF THE INTRODUCTION OF ERP-SYSTEMS AT THE MACHINE-BUILDING ENTERPRISES (abstract) |
18:20 | Information-analytical Support for the Processes of Formation of "Smart Sociopolis" Truskavets (abstract) |
18:50 | Simplified Model of Bank Balance Sheet Management (abstract) |
19:10 | Influence of the country’s information development on its tourist attractiveness (abstract) |
18:00-19:30 Session 6B: WS TheRMIT Session V: Security and Privacy of IT Infrastructures. Clothing
Chair:
Location: Coworking Hall
18:00 | Ensuring the Security of the Full Logistics Supply Chain Based on the Вlockсhain Technology (abstract) |
18:00-19:30 Session 6C: WS 3L-Person Session V: Learning tools for Research and Forming Competences
Chair:
Location: 507
18:00 | Design of Approaches to the Development of Teacher’s Digital Competencies in the Process of Their Lifelong Learning (abstract) |
18:30 | Information System of Scientific Activity Indicators of Scientific Organizations: Development Status and Prospects (abstract) |
19:00 | ADVANCED INFORMATION TECHNOLOGY TOOLS FOR MEDIA AND INFORMATION LITERACY TRAINING (abstract) |
Thursday, June 13th
View this program: with abstractssession overviewtalk overview
08:30-09:00 Session 8: ICTERI 2019 Opening and Welcome
Chair:
Location: Assembly Hall
08:30 | ICTERI 2019 Opening (abstract) |
09:00-10:30 Session 9A: ICTERI Session I-A (ICT-R: Research, Infrastructures)
Chair:
Location: Assembly Hall
09:00 | Simulation as a Tool to Identify Dynamical Typology of Water Frog Hemiсlonal Population Systems (abstract) |
09:30 | Simulating Pairwise Communication for Studying Its Impact on Macro-Behaviour of Communities (abstract) |
10:00 | Optimizing Automated Term Extraction for Terminological Saturation Measurement (abstract) |
09:00-10:30 Session 9B: ICTERI Session I-B (ICT-E: Education)
Chair:
Location: Conference Hall
09:00 | VIRTUAL EDUCATIONAL PHYSICS EXPERIMENT AS A MEANS OF FORMATION OF THE SCIENTIFIC WORLDVIEW OF THE PUPILS (abstract) |
09:30 | Development Of The State University Of Infrastructure And Technologies Knowledge Transfer Strategy For Improving The Quality Of Higher Education (abstract) |
10:00 | Educational Video in the University: Instruments, Technologies, Opportunities and Restrictions (abstract) |
10:30-11:00Coffee Break
11:00-12:30 Session 10A: ICTERI Session II-A (ICT-R: Research, Infrastructures)
Chair:
Location: Assembly Hall
11:00 | Integration of Information Systems for Predicting the Employee Behavior (abstract) |
11:30 | Heterogeneous Hybrid Neural Network for Modeling Spatially Distributed Destructive Processes (abstract) |
12:00 | The main barriers and drivers of the digital transformation of Ukraine business structures (abstract) |
11:00-12:30 Session 10B: ICTERI Session II-B (ICT-E: Education)
Chair:
Location: Conference Hall
11:00 | Development of the ICT-standard of Higher Education in Ukraine within the Framework of European Requirements (abstract) |
11:30 | Development of professional competencies of information technology university teachers: motivation and content (abstract) |
12:00 | Design of mobile augmented reality system for early literacy (abstract) |
12:30-14:00Lunch Break
14:00-15:30 Session 11A: ICTERI Session III-A (ICT-IS: Information Systems)
Chair:
Location: Assembly Hall
14:00 | Information measuring system for monitoring thermal resistance (abstract) |
14:30 | Software models for investigation of Turbo-Product-codes decoding (abstract) |
15:00 | Selecting a Rational Operation Mode of Mobile Power Unit Using Measuring and Control Complex (abstract) |
14:00-15:30 Session 11B: ICTERI Session III-B (ICT-C: Industry, Cooperation)
Chair:
Location: Conference Hall
14:00 | Integration of IT education in Ukraine into the European educational space (abstract) |
14:30 | Maintaining Scientific Integrity through Academic-Industrial Research and Development Cooperation (abstract) |
15:00 | Project Management Systems as Means of Development Students Time Management Skills (abstract) |
15:30-16:00Coffee Break
16:00-17:30 Session 12A: ICTERI Session IV-A (ICT-IS: Information Systems)
Chair:
Location: Assembly Hall
16:00 | The Maple ® Symbolic Mathematics System in the Method of Projections for Discrete Optimization Problems (abstract) |
16:30 | The model "information gatekeepers" for sentiment analysis of text data (abstract) |
17:00 | Rule-based machine translation into Ukrainian Sign Language using concept dictionary (abstract) |
16:00-17:30 Session 12B: ICTERI Session IV-B (ICT-E: Education)
Chair:
Location: Conference Hall
16:00 | Modern Information Technologies in Training of Green Business Managers (abstract) |
16:20 | Experience of Developing and Implementation of the Virtual Case Environment in Physics Learning by Google Services (abstract) |
16:40 | Educational Analogy Dedicated for Didactical Process Simulation (abstract) |
17:30-18:00Coffee Break
18:00-19:00 Session 13: ICTERI Poster Session I
Chair:
Location: Library Hall
18:00 | ICT Support of Higher Education Institutions Participation in Innovation Networks (abstract) |
18:00 | Cloud-oriented technologies of training as a means of forming of XXI century skills of future mathematics teachers (abstract) |
18:00 | Search Query Classification Using Machine Learning for Information Retrieval Systems in Intelligent Manufacturing (abstract) |
18:00 | Software-algorithmic tool for analyzing the processes of messages distribution in social networks (abstract) |
18:00 | Applied Artificial Intelligence for Air Navigation Sociotechnical System Development (abstract) |
18:00 | Competency framework as an instrument to assess professional competency of future seafarers (abstract) |
18:00 | Methodology for the Construction of Predictive Analysis Systems as Exemplified by the Mining Equipment in the Conditions of Big Data and Simulation Methods (abstract) |
18:00 | Algorithms Constructor (abstract) |
18:00 | Computer visualization of logic elements of the information system based on PROTEUS (abstract) |
18:00 | AR and VR as gamification of cognitive tasks (abstract) |
Friday, June 14th
View this program: with abstractssession overviewtalk overview
09:00-10:30 Session 15: ICTERI Tutorial (Plenary Session)
Chair:
Location: Conference Hall
09:00 | Do Not Let Them Trash Your Paper! The Alchemy for Higher Chances to be Accepted (abstract) |
10:30-11:00Coffee Break
11:00-12:30 Session 16A: ICTERI Session V-A (ICT-IS: Information Systems)
Chair:
Location: 256
11:00 | Advantages of Programmable Compile Time with Metaprogramming: the Case of ASN.1 and Perl 6 (abstract) |
11:30 | Formation Control of Multiple Autonomous Fixed-Wing Unmanned Aerial Vehicles in Dynamic Environment (abstract) |
12:00 | Development of software for fuel combustion control system based on frequency regulator (abstract) |
11:00-12:30 Session 16B: ICTERI PhD Symposium Session I-B
Chair:
Location: Conference Hall
11:00 | Simple-typed Functional Language Modelled by Category Theory (abstract) |
11:20 | An Introduction to Image Classification and Object Detection using YOLO Detector (abstract) |
11:40 | Assessing the Reviving Risks while using the Manufacturing Resource Planning system at agribusiness enterprises (abstract) |
12:00 | A Method for Business Process Model Analysis and Improvement (abstract) |
12:30-14:00Lunch Break
14:00-15:30 Session 17A: ICTERI Session VI-A (ICT-IS: Information Systems)
Chair:
Location: 256
14:00 | Application of wavelet transform for determining diagnostic signs (abstract) |
14:30 | Spatio-Temporal Representation of the Ecological State of the Surface Waters of the Lower Section of the Dnieper River using GIS Technologies (abstract) |
15:00 | News Feed in Stock Movement Prediction (abstract) |
14:00-15:30 Session 17B: ICTERI PhD Symposium Session II-B
Chair:
Location: Conference Hall
14:00 | Intelligent Dialogue System Based on Deep Learning Technology (abstract) |
14:20 | Automatic Image Annotation with Ensemble of Convolutional Neural Networks (abstract) |
14:40 | Innovative approaches in C introductory programming courses (abstract) |
15:00 | Natural Language Dialogue Formalization: From Hyperintensional Logic to Linear Logic (abstract) |
15:30-16:00Coffee Break
16:00-17:30 Session 18A: ICTERI Session VII-A (ICT-R, ICT-IS: Research, Infrastructures, IS - Short Papers)
Chair:
Location: 256
16:00 | Automated Generation of OpenCL Programs Based on Algebra-Algorithmic Approach (abstract) |
16:20 | On a multi-language computer support of a human mathematical activity (abstract) |
16:40 | Large-scale loops parallelization for GPU accelerators (abstract) |
16:00-17:30 Session 18B: ICTERI PhD Symposium Session III-B
Chair:
Location: Conference Hall
16:00 | Multi-Criteria Decision Making Approaches for Rational Choice of Wireless Communication Technologies for IoT-Based Systems (abstract) |
16:20 | Noise Filtration in the Digital Images Using Fuzzy Sets and Fuzzy Logic (abstract) |
17:30-18:00Coffee Break
18:00-19:00 Session 19: ICTERI Poster Session II
Chair:
Location: Library Hall
18:00 | COMPUTER INTELLIGENT TUTORING SYSTEM “SQLTOR” (abstract) |
18:00 | Management of critical competencies in a multi-project environment (abstract) |
18:00 | Textures Maps Complex for 3D Character Model Development (abstract) |
18:00 | STRUCTURAL DIAGNOSIS METHOD FOR TRAINEE’S COMPUTER PROGRAMS (abstract) |
18:00 | Finding a Strong Key Point Correspondences in Large-Scale Images and Depth Maps (abstract) |
18:00 | Hesitant Fuzzy Information Processing Based on the Generalized Aggregation of Resulting Trapezoidal Linguistic Terms (abstract) |
18:00 | SEARCH ALGORITHMS LEARNING BASED ON COGNITIVE VISUALIZATION (abstract) |
18:00 | Evaluation of the Effectiveness of Domain Modeling Methods in Terms of Model Complexity (abstract) |
18:00 | Information technology of digital images processing with saving of material resources (abstract) |
18:00 | An Analysis of Criteria for Choosing a First Programming Language in High Schools (abstract) |
Saturday, June 15th
View this program: with abstractssession overviewtalk overview