ICTERI 2016
ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer

Table of Contents

• Cover and Preface
  
  
• Organization and Committees
  
  
• Sponsors and Organizers
  
  

Invited Contributions

• The Internet of Things -- Technical Challenges for Interoperability (Keynote Talk) 1
  John Davies, Sandra Stincic Clarke
• Service Orientation as a Paradigm of Computing (Keynote Talk) 2
  Wolfgang Reisig
• Building Agreed Vocabularies and Data Structures for Successful Open City Data Sharing (Invited Tutorial) 3
  Oscar Corcho

ICTERI 2016: Track 1 - Advances in ICT Research

• Complexity Class of Semantics-related Tasks of Text Processing 4-12
  Oleg Bisikalo, Ilona Bogach
• A Complete Axiomatization for Reduced Clock Constraint Specification Language 13-24
  Bogdan Chornomaz, Kirill Rukkas, Kseniia Troino
• Evidential Paradigm as Formal Knowledge Presentation and Processing 25-32
  Alexander Lyaletski, Alexandre Lyaletsky, Andrei Paskevich
• A Human Communication Network Model 33-40
  Oksana Pichugina, Babak Farzad
• A Model-Based Framework for Adaptive Resource Management in Mobile Augmented Reality System 41-56
  Mykola Tkachuk, Oleksii Vekshyn, Rustam Gamzayev
• Descriptive Models of System Dynamics 57-72
  Grygoriy Zholtkevych, Konstantin Nosov, Yuri Bespalov, Larisa Rak, Elena Vysotskaya, Yulia Balkova, Vadim Kolomiychenko

ICTERI 2016: Track 2 - Information Systems: Technology and Applications

• Information Support of the Computer-aided Fixture Design System 73-86
  Vitalii Ivanov, Svitlana Vashchenko, Yiming (Kevin) Rong
• Information Technology of Predicting the Characteristics and Evaluating the Success of Software Projects Implementation 87-102
  Andriy Krasiy, Tetiana Hovorushchenko
• Design and Development of Information System of Scientific Activity Indicators 103-110
  Aleksandr Spivakovsky, Maksym Vinnyk, Yulia Tarasich, Maksym Poltoratskiy
• Adaptation of Legacy Fortran Applications to Cloud Computing 111-118
  Eugene Tulika, Anatoliy Doroshenko, Kostiantyn Zhereb

ICTERI 2016: Track 3 - Academia/Industry ICT Cooperation

• Application of the Method for Concurrent Programs Properties Proof to Real-World Industrial Software Systems 119-128
  Taras Panchenko
• Safety-critical Certification of FPGA-based Platform against Requirements of U.S. Nuclear Regulatory Commission (NRC): Industrial Case Study 129-136
  Vladimir Sklyar

ICTERI 2016: Track 4 - ICT in Education

• Simulation Model for Computerized Testing of Learning Success in Quality Management Systems 137-147
  Alexander Alexeyev, Nataliya Konovalova, Kateryna Lozova, Elena Korol
• Method of Evaluation of Electronic Educational Resource Quality for Conformity Assessment (Certification) 148-156
  Dmytro Fedasyuk, Nataliya Hots, Mykola Mykyychuk, Viktor Kuts, Yuliia Dzikovska
• Hybrid Cloud-Oriented Educational Environment for Training Future IT Specialists 157-167
  Olena Glazunova, Tetyana Voloshyna
• Information, Communication, and Modeling Technologies in Prosthetic Leg and Robotics Research at Cleveland State University 168-183
  Yuriy Kondratenko, Gholamreza Khademi, Vahid Azimi, Donald Ebeigbe, Mohamed Abdelhady,
  Seyed Abolfazl Fakoorian, Taylor Barto, Arash Roshanineshat, Igor Atamanyuk, Dan Simon
• University Curricula Modification Based on Advancements in Information and Communication Technologies 184-199
  Yuriy Kondratenko, Dan Simon, Igor Atamanyuk
• The Experience of the Master Classes as a Means of Formation of Readiness of Teachers to Implement Innovation 200-214
  Nataliya Kushnir, Nataliya Osipova, Nataliya Valko, Olena Litvinenko
• Systems of Computer Mathematics for Educational Purposes as the Means of Reception of Procedural Knowledge 215-230
  Michael Lvov, Ludmila Shishko, Irina Chernenko, Evgen Kozlovskiy
• Educator's e-Portfolio in the Modern University 231-240
  Nataliia Morze, Liliia Varchenko-Trotsenko
• The Hybrid Cloud-based Service Model of Learning Resources Access and its Evaluation 241-256
  Mariya Shyshkina
• Monitoring of Efficiency of Feedback Systems Use on the Base of Kherson State University 257-272
  Evgeniya Spivakovska, Maksym Vinnyk, Yulia Tarasich, Olesya Kuchma
• Tips and pitfalls for blended learning: Redesigning a CS curriculum using IT 273-283
  Leo van Moergestel, Ander de Keijzer, Esther van der Stappen
• Application of 3D Printing and 3D Scanning Technologies in Educational Activities 284-291
  Kseniia Yashyna, Oleksandr Krupnyk, Oksana Karpenko

2nd International Workshop on Theory of Reliability and Markov Modeling for Information Technologies (TheRMIT)

• Calculation Methods of the Prognostication of the Computer Systems State under Different Level of Information Uncertainty 292-307
  Igor Atamanyuk, Yuriy Kondratenko, Vyacheslav Shebanin
• Classification and Research of the Reactor Protection Instrumentation and Control System Functional Safety markov models in a Normal Operation Mode 308-321
  Yevgeniy Bulba, Yurij Ponochovny, Vladimir Sklyar, Aleksandr Ivasiuk
• Use of Natural LUT Redundancy to Improve Trustworthiness of FPGA Design 322-331
  Alex Drozd, Miroslav Drozd, Mykola Kuznietsov
• Ontological Approach to the Assessment of Information Sufficiency for Software Quality Determination 332-348
  Tetiana Hovorushchenko, Oksana Pomorova
• Semi-Markov Availability Models for an Infrastructure as a Service Cloud with Multiple Pools 349-360
  Oleg Ivanchenko, Vyacheslav Kharchenko
• Application of Structure Function in System Reliability Analysis based on Uncertain Data 361-374
  Vitaly Levashenko, Elena Zaitseva, Miroslav Kvassay
• Metamorphic Viruses Detection Technique Based on the the Modified Emulators 375-383
  Oksana Pomorova, Oleg Savenko, Sergii Lysenko, Andrii Nicheporuk
• Mobile Post-Emergency Monitoring System for Nuclear Power Plants 384-398
  Anatoliy Sachenko, Volodymyr Kochan, Vyacheslav Kharchenko, Hubert Roth, Vasyl Yatskiv,
  Mykhaylo Chernyshov, Pavlo Bykovyy, Oleksiy Roshchupkin, Vasyl Koval, Herman Fesenko
• Availability Model of Critical NPP I&C Systems Considering Software Reliability Indices 399-413
  Bogdan Volochiy, Vitaliy Yakovyna, Oleksandr Mulyak
• Analysis of Methods for Providing Availability and Accessibility of Cloud Services 414-426
  Max Yanovsky, Olga Yanovskaya, Vyacheslav Kharchenko
• Complexity-based Prediction of Faults Number for Software Modules Ranking Before Testing: Technique and Case Study 427-440
  Svitlana Yaremchuk, Vyacheslav Kharchenko
• Importance Analysis of k-out-of-n Multi-State Systems based on Direct Partial Logic Derivatives 441-457
  Elena Zaitseva, Miroslav Kvassay, Vitaly Levashenko, Jozef Kostolny

5th International Workshop on Information Technologies in Economic Research (ITER)

• Forecasting Economic Indices of Agricultural Enterprises Based on Vector Polynomial Canonical Expansion of Random Sequences 458-468
  Igor P. Atamanyuk, Yuriy P. Kondratenko, Natalia N. Sirenko
• Machine Learning Methods and 'Real-Time' Economics 469-476
  Vladimir Dorozhinsky, Arsen Khadikov, Nina Zholtkevych
• Government Financial Accountability and Transparency in the Digital World 477-484
  Lidiia Hladchenko
• Using an Evolutionary Algorithm to Improve Investment Strategies for Industries in an Economic System 485-501
  Vitaliy Kobets, Maksym Poltoratskiy
• Nonlinear Dynamic Model of a Microeconomic System with Different Reciprocity and Expectations Types of Firms: Stability and Bifurcations 502-517
  Vitaliy Kobets, Alexander Weissblut
• Adjusting Business Processes by the Means of an Autoregressive Model Using BPMN 2.0 518-533
  Vitaliy Kobets, Valeria Yatsenko
• Intelligent Cyber Defense System 534-549
  Myroslav Komar, Anatoliy Sachenko, Sergei Bezobrazov, Vladimir Golovko
• Fractal Analysis of Currency Market: Hurst Index as an Indicator of Abnormal Events 550-557
  Olena Liashenko, Tetyana Kravets
• Using Hybrid Algorithms Based on GMDH-Type Neural Networks for Solving Economic Problems 558-565
  Olha Moroz
• Modeling Input Financial Flows of Insurance Companies as a Component of Financial Strategy 566-574
  Tetiana Paientko, Tatsiana Verezubova
• Simulation of the Impact of Social Media on Promoting Education Services 575-590
  Iryna Ushakova
• A Company-Specific Business Process 'Accounting of Cash on the Bank Accounts' in the Global Electronic Payment System 591-607
  Viktoria Yatsenko

International Workshop on Professional Retraining and Life-Long Learning using ICT: Person-oriented Approach (3L-Person)

• Life-Long Learning: Individual Abilities versus Environment and Means 608-619
  Oleksandr Burov
• The Use of Cloud Services for Learning Foreign Language (English) 620-631
  Hennadiy Kravtsov, Olga Gnedkova
• Models and Tools for Information Support of Test Development Process in Learning Management Systems 632-639
  Olena Kuzminska, Mariia Mazorchuk
• A Review of Teaching Methods for Life-Long Learning 640-647
  Vira Liubchenko
• Professional Development of Teachers Using Cloud Services During Non-formal Education 648-655
  Svitlana Lytvynova, Oksana Melnyk
• Collaboration between Research Institutions and University Sector Using Cloud-based Environment 656-671
  Yuliya Nosenko, Mariya Shyshkina, Vasyl Oleksiuk
• Mobile Learning Technologies for Learning English 872-679
  Nataliya Osipova, Olga Gnedkova, Denis Ushakov
• Perspective Analysis of the Use of Electronic Social Networks in a Learning Environment 680-686
  Olga Pinchuck
• The Introduction of the Competence-based Approach in Educational Process of Training of Skippers 687-699
  Tatyana Zaytseva

• Author Index
  
  

• All Papers in One Volume (zip file)