PROGRAM
Days: Monday, May 14th Tuesday, May 15th Wednesday, May 16th Thursday, May 17th
Monday, May 14th
View this program: with abstractssession overviewtalk overview
09:00-10:30 Session 3L-Person-1: System Modeling for Forming Competences
Chair:
Location: 18
| 09:00 | Cognitive Tasks Design by Applying Computer Modeling System for Forming Competences in Mathematics ( abstract ) |
| 09:25 | Models and applied tools for prediction of student ability to effective learning ( abstract ) |
| 09:45 | Mathematical models of supporting the solution of the algebra tasks in systems of computer mathematics for educational purposes ( abstract ) |
| 10:05 | Model of the curriculum revision system in computer science ( abstract ) |
09:00-10:35 Session ITER-1: Business Process Modeling
Chair:
Location: Assembly Hall
| 09:00 | Estimation of Currency Risks in the Process of Enterprise Foreign Economic Activity ( abstract ) |
| 09:25 | Production Activity of Agricultural Business Structures and Its Efficiency in Ukraine ( abstract ) |
| 09:45 | The predictive power of the sentiment of financial reports ( abstract ) |
| 10:10 | Geographic Information Systems: Should They Be Used in Public Finance Reform Development? ( abstract ) |
09:00-10:30 Session TheRMIT-1: Internet of Things Reliability and Availsbility
10.20 -10.30. Discussion
Chair:
Location: 56
| 09:00 | WS TheRMIT Co-Chair Welcome. Challenges in IT Reiability, Safety and Security ( abstract ) |
| 09:05 | Multi-Criteria Selection of the Wireless Communication Technology for Specialized IoT Network ( abstract ) |
| 09:25 | Patching the Firewall Software to Improve the Availability and Security: Markov Models for Internet of Things Based Smart Business Center ( abstract ) |
| 09:45 | A Markov Model of Healthcare Internet of Things System Considering Failures of Components ( abstract ) |
| 10:05 | Reducing Power Consumption of Measurement and Control Modules Fed with Autonomous Power Supply ( abstract ) |
09:30-10:30 Session RMSE-1: Applied Aspects of Rigorous Methods in Software Engineering
Chair:
Location: Chinese Room
| 09:30 | Investigating Separation Logic as Logic of Quasiary Predicates ( abstract ) |
| 09:50 | Using Formal B Method in Software Engineering: Case Study ( abstract ) |
| 10:10 | Verification System Based on Program-Oriented Logics ( abstract ) |
| 10:30 | Use of insertion modeling for the analysis of regulatory requirements ( abstract ) |
10:30-11:00Coffee Break
11:00-12:30 Session 3L-Person-2: Cloud-based Learning Environment
Chair:
Location: 18
| 11:00 | The Concept, Principles of Design and Implementation of the University Cloud-based Learning and Research Environment ( abstract ) |
| 11:25 | СoCalc as a Learning Tool for Neural Network Simulation in the Special Course “Foundations of Mathematic Informatics” ( abstract ) |
| 11:50 | The Design and Evaluation of the Cloud-Based Learning Components on the basis of the Systems of Computer Mathematics ( abstract ) |
| 12:10 | The group methodology of using cloud technologies in the training of future computer science teachers ( abstract ) |
11:00-12:35 Session ITER-2: Fuzzy logic and neural networks in economics
Chair:
Location: Assembly Hall
| 11:00 | Electricity Price Forecasting A methodological ANN-based Approach with special Consideration of Time Series Properties ( abstract ) |
| 11:25 | High-Frequency Trade as a component of Algorithmic Trading: market consequences ( abstract ) |
| 11:45 | Neuro-Fuzzy Model of Development Forecasting and Effective Agrarian Sector Transformations of Ukraine ( abstract ) |
| 12:10 | Universal Direct Analytic Models for the Minimum of Triangular Fuzzy Numbers ( abstract ) |
11:00-12:30 Session RMSE-2: Theoretical Aspects of Rigorous Methods in Software Engineering
Chair:
Location: Chinese Room
| 11:00 | On the Sequence Rule for the Floyd-Hoare Logic with Partial Pre- and Post-Conditions ( abstract ) |
| 11:30 | Toward Synthesis of Event-Pattern Detectors for Event Complex Processing with Using Machine Learning ( abstract ) |
| 12:00 | Category Methods for Analysis of Two Approaches to Modelling Logical Time Based on Concept of Clocks ( abstract ) |
11:00-12:30 Session TheRMIT-2: Software and Clouds Reliability and Security
12.20 – 12.30. Discussion
Chair:
Location: 56
| 11:00 | Information Technology of Evaluating the Sufficiency of Information on Quality in the Software Requirements Specifications ( abstract ) |
| 11:20 | Availability as a Cloud Service for Control System of Critical Energy Infrastructure ( abstract ) |
| 11:40 | Model of information and control systems in smart buildings with separate maintenance by reliability and security ( abstract ) |
| 12:00 | Synthesis of a Quite Proof Cryptosystem with Increased Unicity Distance for Cloud Computing ( abstract ) |
12:30-14:00Lunch Break
13:30-15:30 Session ITER-3: Computational Economics and Economic Modeling
Chair:
Location: Assembly Hall
| 13:30 | Methods of nonlinear dynamics and the construction of cryptocurrency crisis phenomena precursors ( abstract ) |
| 13:55 | Еconomic Modeling Of Energy Security: Simulation Of Economic Processes (Case Of Ukraine Gas System) ( abstract ) |
| 14:20 | Data Analysis of Private Investment Decision Making Using Tools Of Robo-Advisers in Long-Run Period ( abstract ) |
| 14:45 | Bitcoin Response to Twitter Sentiments ( abstract ) |
| 15:05 | Modeling the social and human capital factors effect on the cross-country income differences ( abstract ) |
14:00-15:30 Session 3L-Person-3: STEM
Chair:
Location: 18
| 14:00 | Model of professional retraining of teachers based on the development of STEM competencies ( abstract ) |
| 14:25 | Experience of Foundation STEM-School ( abstract ) |
| 14:50 | Cognitive abilities' research technology as a tool for STEM-education ( abstract ) |
| 15:10 | Scheduling Algorithms Exploring via Robotics Learning ( abstract ) |
14:00-15:30 Session DSEDU-1: Data Science Education: Teaching methodologies and program development
The first part of DSEDU Workshop - two talks: a Keynote and a Contributed Paper.
Chair:
Location: Chinese Room
| 14:00 | Challenge-based learning in Computational Biology and Data Science ( abstract ) |
| 14:45 | Architecting Data Science Education ( abstract ) |
14:00-15:30 Session TheRMIT-3: Industry and Transport Systems Reliability and Safety
15.15 – 15.30. Discussion
Chair:
Location: 56
| 14:00 | Reliability-Oriented Approach for UAV Flight Control System Structural Optimization ( abstract ) |
| 14:20 | RAMS Issues in Hotels Management ( abstract ) |
| 14:40 | Comparative Reliability Analysis of Reactor Trip System Architectures: Industrial Case ( abstract ) |
| 15:00 | Deterministic and Stochastic models of Decision making in Air Navigation Socio-Technical System ( abstract ) |
15:30-16:00Coffee Break
16:00-18:00 Session 3L-Person-4: ICT in Education and 3L Retraining
Chair:
Location: 18
| 16:00 | DEVELOPMENT OF RATING SYSTEMS FOR SCIENTOMETRIC INDICES OF UNIVERSITIES ( abstract ) |
| 16:20 | Organization of independent studying of future bachelors in computer science within higher education institutions of Ukraine ( abstract ) |
| 16:40 | Using Blippar Augmented Reality Browser in the Practical Training of Mechanical Engineers ( abstract ) |
| 17:00 | Digital Competency of the Students and Teachers in Ukraine: Measurement, Analysis, Development Prospects ( abstract ) |
| 17:20 | Design and Development of MOOCs ( abstract ) |
| 17:40 | Practical Realization of English Knowledge Control of Future IT-Specialists Using Distance Learning ( abstract ) |
16:00-17:15 Session ITER-4: Evolutionary and Simulation Economics
Chair:
Location: Assembly Hall
| 16:00 | The determinants of trade credit for firms listed on the Zagreb Stock Exchange: An empirical analysis ( abstract ) |
| 16:25 | Implementation of Robo-Advisors Tools for Different Risk Attitude Investment Decisions ( abstract ) |
| 16:50 | Ukrainian Company Cost Accounting System Development from the Evolutionary Theory Position ( abstract ) |
16:00-18:00 Session RT: RoundTable: IT\CS\DS Education, Cooperation, and Association of Departments
Chair:
Location: Chinese Room
16:00-18:00 Session TheRMIT-4: Cyber Security Models and Techniques
17.15 – 17.30. Discussion
17.30 – 17.45. Closing remarks
Chair:
Location: 56
| 16:00 | High-Performance Reliable Block Encryption Algorithms Secured against Linear and Differential Cryptanalytic Attacks ( abstract ) |
| 16:20 | Automation System for Configuration of Cryptographic Data Protection Unit Model ( abstract ) |
| 16:40 | The Metamorphic Viruses’ Detection Technique Based On Its Obfuscation Features Analysis ( abstract ) |
| 17:00 | DDoS botnet detection technique based on the use of the semi-supervised fuzzy c-means clustering ( abstract ) |
17:15-19:15 Session ITER-5: Information Systems in Economics
Chair:
Location: Assembly Hall
| 17:15 | System-Dynamic Modeling of Information Influences and Co-Operations ( abstract ) |
| 17:40 | The Concept of Benchmarking in Librarianship ( abstract ) |
| 18:05 | Application of Medical Information Systems for the Implementation of Lean Technologies in the Management of Medical Institution ( abstract ) |
| 18:25 | Auditing of the Software of Computer Accounting System ( abstract ) |
| 18:50 | Integrated Information and Communication System as a Basis for Strategic Partnership in Agribusiness ( abstract ) |
18:00-18:15 Session Hasta Luego: A short informal gathering to exchange opinions about the workshops
This is not a real session but just a short informal gathering to exchange opinions about the workshops. We will also be happy to wish a very good evening to each other and say "See you tomorrow", which is "Hasta Luego".in Spanish.
Chair:
Location: 112
Tuesday, May 15th
View this program: with abstractssession overviewtalk overview
08:30-09:00 Session OW: Opening and Welcome: Olexandr Rozhko (Ukraine), Anatoly Anisimov (Ukraine), Mari Carmen Suarez-Figueroa (Spain), Vadim Ermolayev (Ukraine), Heinrich C. Mayr (Austria), Grygoriy Zholtkevych (Ukraine), Mykola Nikitchenko (Ukraine)
Chair:
Location: Assembly Hall
| 08:30 | Welcome from the Program Chairs ( abstract ) |
09:00-10:30 Session 4: Plenary Session: Keynote
Chair:
Location: Assembly Hall
| 09:00 | Augmenting Educational Material with Knowledge Graphs ( abstract ) |
10:30-11:00Coffee Break
11:00-12:30 Session 5A: Advances in ICT Research
Chair:
Location: Assembly Hall
| 11:00 | Non-iterative Neural-like Predictor for Solar Energy in Libya ( abstract ) |
| 11:30 | Estimation of the production potential of Ukraine's regions using Kohonen neural network ( abstract ) |
| 12:00 | Refining Terminological Saturation using String Similarity Measures ( abstract ) |
11:00-12:30 Session 5B: ICT in Education
Chair:
Location: 112
| 11:00 | Exploring the ICT proficiency level among primary and secondary school teachers in Lao PDR ( abstract ) |
| 11:30 | Informatization of School Education in Ukraine under Globalization and Europeanization ( abstract ) |
| 12:00 | Information and Technological Service for the Accompaniment of the Educational Process of People with Visual Impairments ( abstract ) |
12:30-14:00Lunch Break
14:00-15:30 Session 6A: Academia/Industry ICT Cooperation
Chair:
Location: 112
| 14:00 | Building an Extensible Synbiotic University-Enterprises Cooperation in Ukrainian Game Industry ( abstract ) |
| 14:30 | Analysis of ICT Application in Technology Transfer Management within Industry 4.0 Conditions (Education Based Approach) ( abstract ) |
14:00-15:30 Session 6B: Invited Tutorial I
Using the SlideWiki Open Education Platform. Part 1
Location: Assembly Hall
| 14:00 | INVITED TUTORIAL: Using the SlideWiki Open Education Platform. Part 1 ( abstract ) |
15:30-16:00Coffee Break
16:00-18:00 Session 7A: Information Systems: Technology and Applications
Chair:
Location: 112
| 16:00 | Method of the Multi-UAV Formation Flight Control ( abstract ) |
| 16:30 | Analysis of completeness, diversity and ergonomics of information online resources of diagnostic and correction facilities in Ukraine ( abstract ) |
| 17:00 | GIS Based Model of Quotas Regulation and its Impact on the Extraction of Ecosystems’ Natural Resources and Social Welfare ( abstract ) |
| 17:30 | Innovative Complex of Information and Technological Support of Professional Training in Smart Cities ( abstract ) |
16:00-18:00 Session 7B: Invited Tutorial II
Using the SlideWiki Open Education Platform. Part 2
Location: Assembly Hall
| 16:00 | INVITED TUTORIAL: Using the SlideWiki Open Education Platform. Part 2 ( abstract ) |
18:00-19:00 Session 8: Poster Session I
Chair:
Location: Hall
| 18:00 | Tripled Learning: conception and first steps ( abstract ) |
| 18:00 | Mind Map Environments in Learning and Instruction in Education and Industry ( abstract ) |
| 18:00 | Computer Models as a Tools of Teaching Physics in Higher Education Institutions ( abstract ) |
| 18:00 | Developing of Key Competencies by Means of Augmented Reality in Science and Language Integrated Learning ( abstract ) |
| 18:00 | Mathematical Support for Statistical Research Based on Informational Technologies ( abstract ) |
| 18:00 | Design Patterns for Object-Oriented Scientific Software ( abstract ) |
Wednesday, May 16th
View this program: with abstractssession overviewtalk overview
09:00-10:30 Session 11: Plenary Session: Keynote
Chair:
Location: Assembly Hall
| 09:00 | Unlocking Value from Ubiquitous Data ( abstract ) |
10:30-11:00Coffee Break
11:00-12:30 Session 12A: Advances in ICT Research
Chair:
Location: Assembly Hall
| 11:00 | Machine Learning in Estimating of SME Investment Potential in Ukraine ( abstract ) |
| 11:30 | Universal Properties of the General Agent-Based Market Model through Computational Experiments ( abstract ) |
| 12:00 | Recognition of Price Discrimination in the Online Sale of Airline tickets ( abstract ) |
11:00-12:30 Session 12B: Information Systems: Technology and Applications
Chair:
Location: 112
| 11:00 | The Neuromarketing ICT Technique for Assessing Buyer Emotional Fatigue ( abstract ) |
| 11:20 | The construction of the algorithm study based on the mathematical model of motion ( abstract ) |
| 11:40 | Optimization of the activity of operators of critical systems by methods of regulating operational-tempo tension ( abstract ) |
| 12:00 | Fuzzy technology-based cause detection of structural cracks of stone buildings ( abstract ) |
12:30-14:00Lunch Break
14:00-15:30 Session 13A: ICT in Education
Chair:
Location: Assembly Hall
| 14:00 | Adaptive Technology for Students' Knowledge Assessment as a Prerequisite for Effective Education Process Management ( abstract ) |
| 14:30 | GEOGEBRA AS MEANS OF IMPROVING THE QUALITY OF EDUCATION ( abstract ) |
| 15:00 | IoT Information-Communication in the “Smart Cities” Projects ( abstract ) |
14:00-15:30 Session 13B: PhD Symposium I
Chair:
Location: 112
| 14:00 | Selecting Cloud Service for Healthcare Applications: From Hardware to Cloud Across Machine Learning ( abstract ) |
| 14:20 | Analysis of the possibilities of unauthorized access in content management systems using attack trees ( abstract ) |
| 14:40 | Bank attractiveness evaluation method based on soft computing in the analytic hierarchy process ( abstract ) |
| 15:00 | An Approach to Forming Dashboards for Business Process Indicators Analysis using Fuzzy and Semantic Technologies ( abstract ) |
| 15:20 | Towards Requirements Variability in Agile Software Product Line Development ( abstract ) |
15:30-16:00Coffee Break
16:00-18:00 Session 14A: ICT in Education
Chair:
Location: Assembly Hall
| 16:00 | How Participation in an Intensive Project can Increase 3d Level Students' Awareness of Entrepreneurship ( abstract ) |
| 16:30 | Scientific E-conference as a Tool of Development Students Research Competences: Local Study ( abstract ) |
| 17:00 | Optimization of training content for future engineers-teachers after the criterion of maximizing the generalized significance ( abstract ) |
| 17:30 | THE CONSTRUCTION OF THE IRT PROFILES USING FRACTURES THAT STORE THE AVERAGE ( abstract )  |
16:00-18:00 Session 14B: PhD Symposium II
Chair:
Location: 112
| 16:00 | Efficient search in short documents ( abstract ) |
| 16:20 | Software Module Representing Geometry Tasks in Mathematical Systems of Educational Appointment ( abstract ) |
| 16:40 | Development of the universal data transfer protocol: mobile solution ( abstract ) |
| 17:00 | Markov Model of FPGA Resources as a Service Considering Hardware Failures ( abstract ) |
| 17:20 | Evaluating the Fitness of a Domain Ontology to Formalized Stakeholder Requirements ( abstract ) |
| 17:40 | Conceptualizing and Formalizing Requirements for Ontology Engineering ( abstract ) |
18:00-19:00 Session 15: Poster Session II
Chair:
Location: Hall
| 18:00 | Recommendations based on visual content ( abstract ) |
| 18:00 | Development of the Ateb-Gabor filtration method in biometric protection systems ( abstract ) |
| 18:00 | Mobile Supplement to Determine the Severity of Salmonellosis Disease ( abstract ) |
| 18:00 | Classification of Multifractal Time Series by Decision Tree Methods ( abstract ) |
| 18:00 | Cryptocurrencies Prices Forecasting with Anaconda Tool Using Machine Learning Techniques ( abstract ) |
| 18:00 | Automation of assessing the reliability of operator's activities in contact centers that provide access to information resources ( abstract ) |
Thursday, May 17th
View this program: with abstractssession overviewtalk overview
09:00-10:30 Session 18: Plenary Session: Tutorial
We regret to inform that this tutorial is cancelled as the tutor can not attend ICTERI 2018 due to personal reasons.
Chair:
Location: Assembly Hall
| 09:00 | Blockchain technology and applications ( abstract ) |
09:00-10:30 Session 20A: Information Systems: Technology and Applications
Chair:
Location: 18
| 09:00 | Conflict control of spreading processes on networks ( abstract ) |
| 09:20 | Collecting the Seminal Scientific Abstracts with Topic Modelling, Snowball Sampling and Citation Analysis ( abstract ) |
| 09:50 | Optimization of Parallel Software Tuning with Statistical Modeling and Machine Learning ( abstract ) |
09:00-10:30 Session 20B: IT Talks
Location: 112
10:30-11:00Coffee Break
11:00-12:30 Session 19A: Advances in ICT Research
Chair:
Location: 112
| 11:00 | Ukrainian Banks' Business Models Under Systemic Risk ( abstract ) |
| 11:30 | Plausible Event-Tree Networks for Knowledge Representation in Real-Time GIS-Based Decision Support Systems ( abstract ) |
| 12:00 | Computerized intelligent system for remote diagnostics of level sensors in the floating dock ballast complexes ( abstract ) |
11:00-12:30 Session 19B: ICT in Education
Chair:
Location: Assembly Hall
| 11:00 | ICT Using in Integrated Teaching Management Core Courses in a Foreign Language ( abstract ) |
| 11:30 | Identification of IT Sector Stakeholder’s Requirements to Masters Program in Information System in Lviv Region ( abstract ) |