Program for Monday, May 14th: Talk View

PROGRAM FOR MONDAY, MAY 14TH: TALK VIEW

Days:

next day

all days

View: with abstracts session overview

8:30

9:00

9:30

10:00

10:30

11:00

11:30

12:00

12:30

13:00

13:30

14:00

14:30

15:00

15:30

16:00

16:30

17:00

17:30

18:00

18:30

19:00

08:30-12:30 Registration

09:00-09:25

Cognitive Tasks Design by Applying Computer Modeling System for Forming Competences in Mathematics

Svitlana Lytvynova

09:25-09:45

Models and applied tools for prediction of student ability to effective learning

Oleg Spirin, Oleksandr Burov

09:45-10:05

Mathematical models of supporting the solution of the algebra tasks in systems of computer mathematics for educational

Michael Lvov, Irina Chernenko, Ludmila Shishko, Evgen Kozlovsky

10:05-10:30

Model of the curriculum revision system in computer science

Hennadiy Kravtsov, Vitaliy Kobets

09:00-09:25

Estimation of Currency Risks in the Process of Enterprise Foreign Economic Activity

Valeria Yatsenko

09:25-09:45

Production Activity of Agricultural Business Structures and Its Efficiency in Ukraine

Nadiia Reznik, Mykola Ilchuk, Sergey Us

09:45-10:10

The predictive power of the sentiment of financial reports

Jan-Hendrik Meier, Walid Esmatyar, Rasmus Frost

10:10-10:35

Geographic Information Systems: Should They Be Used in Public Finance Reform Development?

Tetiana Paientko

09:00-09:05

WS TheRMIT Co-Chair Welcome. Challenges in IT Reiability, Safety and Security

Vyacheslav Kharchenko

09:05-09:25

Multi-Criteria Selection of the Wireless Communication Technology for Specialized IoT Network

Yuriy Kondratenko, Galyna Kondratenko, Ievgen Sidenko

09:25-09:45

Patching the Firewall Software to Improve the Availability and Security: Markov Models for Internet of Things Based Smart Business

Maryna Kolisnyk, Iryna Piskachova, Vyacheslav Kharchenko

09:45-10:05

A Markov Model of Healthcare Internet of Things System Considering Failures of Components

Anastasiia Strielkina, Vyacheslav Kharchenko, Dmytro Uzun

10:05-10:20

Reducing Power Consumption of Measurement and Control Modules Fed with Autonomous Power Supply

P. Bykovyy, A. Sachenko, V. Kochan, O. Osolinskyi, R. Kochan

09:30-09:50

Investigating Separation Logic as Logic of Quasiary Predicates

Andrii Kryvolap

09:50-10:10

Using Formal B Method in Software Engineering: Case Study

Tural Mamedov

10:10-10:30

Verification System Based on Program-Oriented Logics

Tohrul Mamedov, Sevil Mennanova

10:30-10:50

Use of insertion modeling for the analysis of regulatory requirements

Poltorackiy Maksym

11:00-11:25

The Concept, Principles of Design and Implementation of the University Cloud-based Learning and Research

Mariya Shyshkina, Olena Glazunova

11:25-11:50

СoCalc as a Learning Tool for Neural Network Simulation in the Special Course “Foundations of Mathematic

Oksana Markova, Serhiy Semerikov, Maiia Popel

11:50-12:10

The Design and Evaluation of the Cloud-Based Learning Components on the basis of the Systems of Computer

Mariya Shyshkina, Uliana Kohut, Maiia Popel

12:10-12:30

The group methodology of using cloud technologies in the training of future computer science

Oleg Spirin, Vasyl Oleksiuk, Olessia Oleksiuk, Sergiy Sydorenko

11:00-11:25

Electricity Price Forecasting A methodological ANN-based Approach with special Consideration of Time Series

J.-H. Meier, S. Schneider, T. Schoenfeldt, B. Wanke, P. Schueller

11:25-11:45

High-Frequency Trade as a component of Algorithmic Trading: market consequences

Nadiia Reznik, Lubov Pankratova

11:45-12:10

Neuro-Fuzzy Model of Development Forecasting and Effective Agrarian Sector Transformations of

Diana Nemchenko, Vitaliy Kobets, Larisa Potravka

12:10-12:35

Universal Direct Analytic Models for the Minimum of Triangular Fuzzy Numbers

Yuriy Kondratenko, Nina Kondratenko

11:00-11:30

On the Sequence Rule for the Floyd-Hoare Logic with Partial Pre- and Post-Conditions

Ievgen Ivanov, Mykola Nikitchenko

11:30-12:00

Toward Synthesis of Event-Pattern Detectors for Event Complex Processing with Using Machine Learning

Grygoriy Zholtkevych, Stanislav Lukyanenko, Natalya Polyakovska

12:00-12:30

Category Methods for Analysis of Two Approaches to Modelling Logical Time Based on Concept of Clocks

Grygoriy Zholtkevych, Hassan Khalil El Zein, Lyudmila Polyakova

11:00-11:20

Information Technology of Evaluating the Sufficiency of Information on Quality in the Software Requirements

Tetiana Hovorushchenko, Oksana Pomorova

11:20-11:40

Availability as a Cloud Service for Control System of Critical Energy Infrastructure

O. Ivanchenko, V. Kharchenko, K.S. Smoktii, Y. Ponochovnyi

11:40-12:00

Model of information and control systems in smart buildings with separate maintenance by reliability and

Y. Ponochovniy, V. Kharchenko, M. Alsudani, A. Ivasiuk, O. Ivanchenko

12:00-12:20

Synthesis of a Quite Proof Cryptosystem with Increased Unicity Distance for Cloud Computing

Sergiy Gnatyuk, Viktor Gnatyuk

13:30-13:55

Methods of nonlinear dynamics and the construction of cryptocurrency crisis phenomena precursors

Vladimir Soloviev, Andrii Belinskyi

13:55-14:20

Еconomic Modeling Of Energy Security: Simulation Of Economic Processes (Case Of Ukraine Gas System)

Ganna Kharlamova, Andriy Stavytskyy

14:20-14:45

Data Analysis of Private Investment Decision Making Using Tools Of Robo-Advisers in Long-Run Period

Vitaliy Kobets, Valeria Yatsenko, Anastasia Mazur, Mykyta Zubrii

14:45-15:05

Bitcoin Response to Twitter Sentiments

Svitlana Galeshchuk, Oleksandra Vasylchyshyn, Andriy Krysovatyy

15:05-15:30

Modeling the social and human capital factors effect on the cross-country income differences

Olena Bazhenova, Ihor Chornodid

14:00-14:25

Model of professional retraining of teachers based on the development of STEM competencies

Nadiia Balyk, Olga Barna, Galyna Shmyger, Vasyl Oleksiuk

14:25-14:50

Experience of Foundation STEM-School

Nataliya Kushnir, Nataliia Valko, Nataliia Osipova, Tatiana Bazanova

14:50-15:10

Cognitive abilities' research technology as a tool for STEM-education

Oleksandr Burov, Iryna Parkhomenko, Olena Burmak, Yaroslav Vasilchenko

15:10-15:30

Scheduling Algorithms Exploring via Robotics Learning

P. Merzlykin, N. Kharadzjan, D. Medvediev, I. Zakarliuka, L. Fadieieva

14:00-14:45

Challenge-based learning in Computational Biology and Data Science

Emilio Serrano

14:45-15:30

Architecting Data Science Education

Vadim Ermolayev, Mari Carmen Suárez-Figueroa, Oleksii Molchanovskyi

14:00-14:20

Reliability-Oriented Approach for UAV Flight Control System Structural Optimization

Yuriy Pashchuk, Bohdan Volochiy, Yuriy Salnyk, Volodymyr Ozharevskyi

14:20-14:40

RAMS Issues in Hotels Management

Vladimir Sklyar, Vyacheslav Kharchenko

14:40-15:00

Comparative Reliability Analysis of Reactor Trip System Architectures: Industrial Case

Aleksei Vambol, Vyacheslav Kharchenko

15:00-15:15

Deterministic and Stochastic models of Decision making in Air Navigation Socio-Technical System

Tetiana Shmelova, Yuliya Sikirda, Claudio Scarponi, Antonio Chialastri

16:00-16:20

DEVELOPMENT OF RATING SYSTEMS FOR SCIENTOMETRIC INDICES OF UNIVERSITIES

Spivakovsky, Vinnik, Poltorackiy, Tarasich, Panova, Melnichenko

16:20-16:40

Organization of independent studying of future bachelors in computer science within higher education institutions of

Proskura Svitlana, Lytvynova Svitlana

16:40-17:00

Using Blippar Augmented Reality Browser in the Practical Training of Mechanical Engineers

Andrii Striuk, Maryna Rassovytska, Svitlana Shokaliuk

17:00-17:20

Digital Competency of the Students and Teachers in Ukraine: Measurement, Analysis, Development

O. Kuzminska, M. Mazorchuk, N. Morze, V. Pavlenko, A. Prokhorov

17:20-17:40

Design and Development of MOOCs

Zarema Seidametova

17:40-18:00

Practical Realization of English Knowledge Control of Future IT-Specialists Using Distance Learning

Olha Hniedkova

16:00-16:25

The determinants of trade credit for firms listed on the Zagreb Stock Exchange: An empirical

Fitim Deari, Nicoleta Bărbuţă-Mişu

16:25-16:50

Implementation of Robo-Advisors Tools for Different Risk Attitude Investment Decisions

Oleksii Ivanov, Oleksandr Snihovyi, Vitaliy Kobets

16:50-17:15

Ukrainian Company Cost Accounting System Development from the Evolutionary Theory Position

Viktoria Yatsenko

16:00-18:00 RoundTable: IT\CS\DS Education, Cooperation, and Association of Departments

16:00-16:20

High-Performance Reliable Block Encryption Algorithms Secured against Linear and Differential Cryptanalytic

Sergiy Gnatyuk

16:20-16:40

Automation System for Configuration of Cryptographic Data Protection Unit Model

Ivan Zholubak, Mohammed Kadhim Rahma, Valeriy Hlukhov

16:40-17:00

The Metamorphic Viruses’ Detection Technique Based On Its Obfuscation Features Analysis

George Markowsky, Oleg Savenko, Sergii Lysenko, Andrii Nicheporuk

17:00-17:15

DDoS botnet detection technique based on the use of the semi-supervised fuzzy c-means clustering

Sergii Lysenko, Oleg Savenko, Kira Bobrovnikova

17:15-17:40

System-Dynamic Modeling of Information Influences and Co-Operations

S. Yablochnikov, I. Yablochnikova, V. Minaev, M. Kuptsov, S. Vidov, V. Shved

17:40-18:05

The Concept of Benchmarking in Librarianship

Antonii Rzheuskyi, Nataliia Kunanets

18:05-18:25

Application of Medical Information Systems for the Implementation of Lean Technologies in the Management of Medical

Tatyana Avacheva, Sergey Yablochnikov

18:25-18:50

Auditing of the Software of Computer Accounting System

Oksana Adamyk, Bogan Adamyk, Nadiya Khorunzhak

18:50-19:15

Integrated Information and Communication System as a Basis for Strategic Partnership in Agribusiness

Nina Shashkova, Andrii Soloviov, Kateryna Syniakova

18:00-18:15 A short informal gathering to exchange opinions about the workshops

10:30-11:00 Coffee Break

12:30-14:00 Lunch Break

15:30-16:00 Coffee Break