![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
ICTERI 2017: Kyiv, Ukraine
- Vadim Ermolayev, Nick Bassiliades, Hans-Georg Fill, Vitaliy Yakovyna, Heinrich C. Mayr, Vyacheslav S. Kharchenko, Vladimir S. Peschanenko, Mariya Shyshkina, Mykola S. Nikitchenko, Aleksander Spivakovsky:
Proceedings of the 13th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017. CEUR Workshop Proceedings 1844, CEUR-WS.org 2017
Main Conference Track 1: Advances in ICT Research
- Yuriy P. Kondratenko, Oleksiy V. Kozlov, Oleksiy V. Korobko, Andriy M. Topalov:
Internet of Things Approach for Automation of the Complex Industrial Systems. 3-18 - Alexander V. Lyaletski, Alexandre Lyaletsky, Konstantin Verchinine:
The SAD System: a Current State and Future Work. 19-22 - Michael D. Godlevsky, Sergey V. Orekhov, Elena Orekhova:
Theoretical Fundamentals of Search Engine Optimization Based on Machine Learning. 23-32
Main Conference Track 2: Information Systems Technology and Applications
- Artem Artyukhov, Viktor Obodiak, Pavlo Boiko, Pablo Rossi:
Computer Modeling of Hydrodynamic and Heat-Mass Transfer Processes in the Vortex Type Granulation Devices. 33-47 - Olena Tymchenko, Yuliia Sybirianska:
ICT and Personal Income Tax Control in Ukraine. 48-55 - Olena Liashenko, Tetyana Kravets, Kateryna Krytsun:
Econometric Modeling of Financial Time Series Volatility Using Software Packages. 56-71 - Jan Rabcan, Miroslav Kvassay:
Electroencephalogram Signals Classification by Ordered Fuzzy Decision Tree. 72-87 - Oleksii Ignatenko:
Game Theoretic Analysis of Multi-Processor Schedulers: Matrix Multiplication Example. 88-95
Main Conference Track 3: Academia / Industry ICT Cooperation
- Yaroslava Samchynska, Maksym Vinnyk:
Decision Making in Information Technologies Governance of Companies. 96-110 - Alla Ivashchenko, Yuliia Sybirianska, Yevheniia Polischuk:
Information and Communication Platform as a Complex Approach for Solving Information Asymmetry Problems. 111-126 - Oleksandr Burov:
ICT for Performance Assessment of Emergent Technologies Operators. 127-138 - Vitaliy Kobets, Alexander J. Weissblut:
Mathematical Model of Microeconomic System with Different Social Responsibilities in Software Module. 139-154
Main Conference Track 4: ICT in Education
- Halyna Kuchakovska:
The Organization of Students' Joint Activity by Means of Popular Network Services. 155-165 - Yuliia Denysenko, Vitalii Ivanov, Oleksandr Ivchenko:
Quality Assessment of Teaching the Disciplines in the E-learning Environment of Sumy State University. 166-175 - Oleksandr Spivakovskiy, Nataliya Kushnir, Nataliya Valko, Maksym Vinnyk:
ICT Advanced Training of University Teachers. 176-190 - Nataliya Osipova, Vitaliy Kobets, Tatyana Bazanova:
Design, Development and Use of Decision Support Systems in the Study of Economic Disciplines in Higher Education. 191-206 - Galyna Chornous, Serhii Rybalchenko:
Integration of Information Technologies' Dynamic Development into Academic Teaching Process. 207-222 - Leo van Moergestel, John-Jules Ch. Meyer:
Is Knowledge of Mathematics a Key for Success for Studying ICT? 223-228 - Nataliia Morze, Oksana Buinytska, Olena G. Glazunova, Olena Kuzminska, Galyna Protsenko, Iryna Vorotnykova:
E-Learning Managers Training at Universities: Projection, Design and Efficiency Indicators. 229-244 - Alexander Prokhorov, Ihor Klymenko, Elena Yashina, Olga Morozova, Sergey Oleynick, Tatiana Solyanyk:
SCADA Systems and Augmented Reality as Technologies for Interactive and Distance Learning. 245-256 - Vitaliy Pavlenko, Aleksander Prokhorov, Olena Kuzminska, Mariia S. Mazorchuk:
Competence Approach to Modeling and Control of Students' Learning Pathways in the Cloud Service. 257-264 - Juan Pablo Martínez Bastida, Elena Gavrilenko, Andrey Chukhray:
Developing a Pedagogical Intervention Support based on Bayesian Networks. 265-272 - Iuliia Iarmolenko:
Effectiveness and Transparency of Sentiment Analysis Tools for Academic Purposes. 273-280 - Jozef Kostolny, Monika Vaclavkova:
Learning System FRIMAN. 281-288 - Aleksandra Mrela, Oleksandr Sokolov:
Rankings of Students Based on Experts' Assessment of Levels of Verification of Learning Outcomes by Test Items. 289-302
Workshop 3L-Person
- Volodymyr Morkun, Serhiy Semerikov, Svitlana Hryshchenko, Kateryna Slovak:
Environmental Geo-information Technologies as a Tool of Pre-service Mining Engineer's Training for Sustainable Development of Mining Industry. 303-310 - Taras Kobylnyk:
Statistical Software in the Higher School Educational Process. 311-318 - Pavlo Nechypurenko, Serhiy Semerikov:
VlabEmbed - the New Plugin Moodle for the Chemistry Education. 319-326 - Maiia Popel, Svitlana V. Shokalyuk, Mariya Shyshkina:
The Learning Technique of the SageMathCloud Use for Students Collaboration Support. 327-339 - Alena Zhmurko, Vladyslav Kruglyk, Michail Lvov:
The Concepts of Software Development for OOP and BAP Self-Learning Courses. 340-347 - Maryna Rassovytska, Andrii Striuk:
Mechanical Engineers' Training in Using Cloud and Mobile Services in Professional Activity. 348-359 - Svitlana Lytvynova, Olga Pinchuk:
The Evolution of Teaching Methods of Students in Electronic Social Networks. 360-371 - Vasyl Oleksiuk, Olessia Oleksiuk, Mykola Berezitskyi:
Planning and Implementation of the Project "Cloud Services to Each School". 372-379 - Michael Lvov, Hanna Shmarova:
Generation of Test Tasks in Systems of Computer Mathematics for Educational Purposes. 380-387 - Serhiy Rakov, Mariia S. Mazorchuk, Viktoriia Dobriak:
Data Processing Technologies for Calculating Prognostic Validity of Educational Achievement Tests. 388-395 - Mariya Shyshkina, Ulyana Kohut, Maiia Popel:
The Systems of Computer Mathematics in the Cloud-Based Learning Environment of the Educational Institutions. 396-405 - Svitlana Lytvynova, Oleksandr Burov:
Methods, Forms and Safety of Learning in Corporate Social Networks. 406-413 - Hennadiy Kravtsov, Vitaliy Kobets:
Implementation of Stakeholders' Requirements and Innovations for ICT Curriculum Through Relevant Competences. 414-427 - Maria Leshchenko, Larysa Ruban, Larysa Tymchuk:
Digital Storytelling in a Foreign Language Classroom of Higher Educational Establishments. 428-439 - Nadiia R. Balyk, Vasyl Oleksiuk, Galina Shmyger:
Development of E-Learning Quality Assessment Model in Pedagogical University. 440-450 - Yuliya Nosenko, Viktoriya Bohdan:
The Implementation of Cloud Services in Ukrainian Pre-School Educational Institution Management. 451-458 - Yuliya Nosenko, Zhanna Matyukh:
The Implementation of Multimedia Technology in Ukrainian Inclusive Pre-school Education. 459-466
Workshop RMSE
- Ievgen Ivanov, Taras Panchenko:
A Formal Proof of Correctness of a Distributed Presentation Software System. 467-487 - Hassan Khalil El Zein, Grygoriy Zholtkevych:
Logical Time Models to Study Cyber-Physical Systems. 488-503 - Artur Kornilowicz, Andrii Kryvolap, Mykola S. Nikitchenko, Ievgen Ivanov:
An Approach To Formalization of an Extension of Floyd-Hoare Logic. 504-523 - Alexander Godlevskyi, Aleksander Letichevskyi, Vladimir S. Peschanenko, Oleksandr A. Letychevskyi, Maryna Morokhovets, Volodymyr G. Skobelev, Maksym Poltorackiy:
Formalization and Algebraic Verification of Legal Requirements. 524-535 - Michael Lvov, Vladimir S. Peschanenko, Oleksandr A. Letychevskyi, Yulia Tarasich:
The Canonical Forms of Logical Formulae over the Data Types and Their Using in Programs Verification. 536-554
Workshop TheRMIT
- Oleg Savenko, Sergii Lysenko, Andrii Nicheporuk, Bohdan Savenko:
Metamorphic Viruses' Detection Technique Based on the Equivalent Functional Block Search. 555-568 - Yuriy Pashchuk, Yuriy Salnyk, Serhiy Volochiy:
Reliability Synthesis for UAV Flight Control System. 569-582 - Vladimir Pevnev:
Pseudoprime Numbers: Basic Concepts and the Problem of Security. 583-593 - Jüri Vain, Leonidas Tsiopoulos, Vyacheslav S. Kharchenko, Apneet Kaur, Maksim Jenihhin, Jaan Raik:
Multi-Fragment Markov Model Guided Online Test Generation for MPSoC. 594-607 - Yuriy P. Kondratenko, Oleksiy V. Kozlov, Andriy M. Topalov, Oleksandr S. Gerasin:
Computerized System for Remote Level Control with Discrete Self-Testing. 608-619 - Bogdan Y. Volochiy, Vitaliy Yakovyna, Oleksandr Mulyak, Vyacheslav S. Kharchenko:
Availability Model of Critical NPP I&C Systems with K-phase Erlang Distribution of Software Update. 620-633 - Oleg Ivanchenko, Vyacheslav S. Kharchenko, Yurij Ponochovny, Ivan Blindyuk, Oksana Smoktii:
Semi-Markov Availability Model for Infrastructure as a Service Cloud Considering Hidden Failures of Physical Machines. 634-644 - Dmitry A. Maevsky, Elena Maevskaya, Lyudmila N. Shapa:
Software Reliability Growth Model's Assumptions in Context of the Secondary Faults. 645-653 - Oleksandr Drozd, Miroslav Drozd, Oleksandr Martynyuk, Mykola Kuznietsov:
Improving of a Circuit Checkability and Trustworthiness of Data Processing Results in LUT-based FPGA Components of Safety-Related Systems. 654-661 - Volodymyr Zaslavskyi, Maya Pasichna:
AHP-Based Comparative Analysis of Electricity Generating Portfolios for the Companies in EU and Ukraine: Criteria, Reliability, Safety. 662-669 - Vladimir V. Sklyar, Vyacheslav S. Kharchenko:
Assurance Case Driven Design based on the Harmonized Framework of Safety and Security Requirements. 670-685 - Vyacheslav S. Kharchenko, Svitlana Yaremchuk:
Technology Oriented Assessment of Software Reliability: Big Data Based Search of Similar Programs. 686-698 - Maryna Kolisnyk, Vyacheslav S. Kharchenko, Iryna Piskachova, Nikolaos G. Bardis:
A Markov Model of IoT System Availability Considering DDoS Attacks and Energy Modes of Server and Router. 699-712 - Miroslav Kvassay, Elena Zaitseva, Vitaly G. Levashenko:
Minimal Cut and Minimal Path Vectors in Reliability Analysis of Binary- and Multi-State Systems. 713-726 - Oleksandr Gordieiev, Vyacheslav S. Kharchenko, Kate Vereshchak:
Usable Security Versus Secure Usability: an Assessment of Attributes Interaction. 727-740
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.