default search action
14th ICTERI 2019: Kherson, Ukraine - Workshops
- Vadim Ermolayev, Frédéric Mallet, Vitaliy Yakovyna, Vyacheslav S. Kharchenko, Vitaliy Kobets, Artur Kornilowicz, Hennadiy Kravtsov, Mykola S. Nikitchenko, Serhiy Semerikov, Aleksander Spivakovsky:
Proceedings of the 15th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer. Volume II: Workshops, Kherson, Ukraine, June 12-15, 2019. CEUR Workshop Proceedings 2393, CEUR-WS.org 2019
Part I: 4th International Workshop on Professional Retraining and Life-Long Learning using ICT: Person-oriented Approach (3L-Person 2019)
- Michail Lvov, Sergiy Kuzmenkov, Hennadiy Kravtsov:
About One Approach to Building Systems for Testing Physical Knowledge. 1-16 - Hanna Chemerys, Kateryna Osadcha, Viacheslav Osadchyi, Vladyslav Kruhlyk:
Increase of the Level of Graphic Competence Future Bachelor in Computer Sciences in the Process of Studying 3D Modeling. 17-28 - Bogdan Buyak, Ivan Tsidylo, Serhiy Kozibroda, Victor Repskyi:
Ontological Model of Representation of University Resources. 29-40 - Michael Lvov, Ludmila Shishko, Irina Chernenko, Evgen Kozlovsky:
Mathematical Models and Methods of Supporting the Solution of the Geometry Tasks In Systems of Computer Mathematics for Educational Purposes. 41-52 - Olena Kuzminska, Mariia S. Mazorchuk, Nataliia Morze, Oleg Kobylin:
Attitude to the Digital Learning Environment in Ukrainian Universities. 53-67 - Oleg Spirin, Vasyl Oleksiuk, Nadiia R. Balyk, Svitlana Lytvynova, Sergiy Sydorenko:
The blended Methodology of Learning Computer Networks: Cloud-based Approach. 68-80 - Mariya Shyshkina, Uliana Kohut:
The Method of Using the Maxima System for Operations Research Learning. 81-92 - Mariya Shyshkina, Uliana Kohut, Maiia Popel:
The Comparative Analysis of the Cloud-based Learning Components Delivering Access to Mathematical Software. 93-104 - Svitlana Lytvynova:
Electronic Textbook as a Component of Smart Kids Technology of Education of Elementary School Pupils. 105-120 - Nataliia Osipova, Hennadiy Kravtsov, Olga Gnedkova, Tetiana Lishchuk, Kateryna Davidenko:
Technologies of Virtual and Augmented Reality for High Education and Secondary School. 121-131 - Tatiana Goncharenko, Nataliya Kushnir, Nataliia Valko, Nataliya Osipova:
Activity Plan Template for Supporting Study Science with Robotics and Programming. 132-143 - Viacheslav Osadchyi, Nataliia Valko, Nataliya Kushnir:
Determining the Level of Readiness of Teachers to Implementation of STEM-Education in Ukraine. 144-155 - Vladimir Kukharenko, Tatyana Oleinik:
Open Distance Learning For Teachers. 156-169 - Svitlana Lytvynova, Oleksandr Burov, Olga Slobodyanyk:
The Technique to Evaluate Pupils' Intellectual and Personal Important Qualities for ICT Competences. 170-177 - Yuliya Nosenko, Alisa Sukhikh:
The Method for Forming the Health-Saving Component of Basic School Students' Digital Competence. 178-190 - Yevheniia Spivakovska, Tetyana Vinnyk, Liudmula Perminova, Vera Kotkova:
ICT in Professional Education of Future Primary School Teachers: Modeling of Scientific and Research Work. 191-203 - Nadiia R. Balyk, Yaroslav Vasylenko, Galina Shmyger, Vasyl Oleksiuk, Anna Skaskiv:
Design of Approaches to the Development of Teacher's Digital Competencies in the Process of Their Lifelong Learning. 204-219 - Aleksandr Spivakovsky, Maksym Vinnik, Maksym Poltoratskiy, Yulia Tarasich, Yevheniia Spivakovska, Greg Gardner, Kateryna Panova:
Information System of Scientific Activity Indicators of Scientific Organizations: Development Status and Prospects. 220-228 - Yuliya Krylova-Grek:
Advanced Information Technology Tools for Media and Information Literacy Training. 229-240
Part II: 7th International Workshop on Information Technologies in Economic Research (ITER 2019)
- Mykola Odrekhivskyy, Nataliia Kunanets, Volodymyr Pasichnyk, Antonii Rzheuskyi, Danylo Tabachyshyn:
Information-Analytical Support for the Processes of Formation of "Smart Sociopolis" of Truskavets. 241-256 - Irina Nyzhnyk, Viktor Lysak:
The Main Aspects of the Introduction of ERP-Systems at the Machine-Building Enterprises. 257-268 - Leonid Melnyk, Oleksandr Derykolenko, Oleksandr Kubatko, Oleksandr Matsenko:
Business Models of Reproduction Cycles for Digital Economy. 269-276 - Daria Kilinich, Vitaliy Kobets:
Support of Investors' Decision Making in Economic Experiments Using Software Tools. 277-288 - Olga Popova, Liubov Pankratova, Inesa Mikhno:
Application of Geographic Information Systems in the Field of Domestic Waste Management. 289-301 - Igor P. Atamanyuk, Yuriy P. Kondratenko, Anastasiya Poltorak, Natalia N. Sirenko, Vyacheslav Shebanin, Inna Baryshevska, Valeriia Atamaniuk:
Forecasting of Cereal Crop Harvest on the Basis of an Extrapolation Canonical Model of a Vector Random Sequence. 302-315 - Andrii Roskladka, Nataliia Roskladka, Ganna Kharlamova, Roman Baglai:
Cloud Based Architecture of the Core Banking System. 316-331 - Liubov Pankratova, Tetiana Paientko, Yaroslav Lysenko:
Forecasting Prices on the Stock Exchange Using a Trading System. 332-347 - Olena Liashenko, Tetyana Kravets:
The Relationship between Oil and Gas Prices, Dow Jones and US Dollar Indexes: A Wavelet Co-movement Estimation and Neural Network Forecasting. 348-363 - Jan-Hendrik Meier, Stephan Schneider, Chan Le:
Short-term Electricity Price Forecasting Using Generalized Additive Models. 364-378 - Viktoria Yatsenko, Yevhen Kudriavets:
Budgeting Integration with a Business Strategy and Accounting System in Business Process Management - Case Study of Ukrainian Company. 379-392 - Tetiana Paientko, Viktor Fedosov:
Can Information Technology Increase Government Effectiveness? 393-405 - Vitaliy Kobets, Valeria Yatsenko, Mykhaylo Voynarenko:
Cluster Analysis of Countries Inequality due to IT Development. 406-421 - Victor Selyutin:
Simplified Model of Bank Balance Sheet Management. 422-433 - Vladimir N. Soloviev, Andrii Bielinskyi, Viktoria Solovieva:
Entropy Analysis of Crisis Phenomena for DJIA Index. 434-449 - Yuliia Lola, Svitlana Prokopovych, Olena Akhmedova:
Influence of the Country's Information Development on its Tourist Attractiveness. 450-464 - Igor Mazurok, Valeriy Pienko, Yevhen Leonchyk:
Empowering Fault-Tolerant Consensus Algorithm by Economic Leverages. 465-472 - Marina Bilinets, Lidiia Hladchenko, Tetiana Paientko:
Government Financial Support of Higher Education and its Role in Economic Prosperity of a Society. 473-484 - Andriy Matviychuk, Inna Strelchenko, Serhii Vashchaiev, Halyna Velykoivanenko:
Simulation of the Crisis Contagion Process Between Countries with Different Levels of Socio-Economic Development. 485-496
Part III: 3nd International Workshop on Rigorous Methods in Software Engineering (RMSE 2019)
- Michael Lvov:
Computations in Extensions of Multisorted Algebras. 497-512 - Volodymyr G. Skobelev:
On Some Classes of Problems on Graphs. 513-521 - Liudmyla Omelchuk, Olena Shyshatska:
Extending the SMT-Lib Standard with Theory of Nominative Data. 522-533 - Ivan A. Dychka, Olga Sulema:
Data Compression and Representation as Multicolor Barcodes. 534-541 - Ievgen Ivanov, Mykola S. Nikitchenko:
On the Kleene Algebra of Partial Predicates with Predicate Complement. 542-551 - Alexander J. Weissblut:
Computational Modeling and Structural Stability. 552-567 - Grygoriy Zholtkevych:
Event Universes: Specification and Analysis Using Coq Proof Assistant. 568-576 - Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Viktor Radchenko, Maksym Poltoratskiy, Yulia Tarasich:
Formalization and Algebraic Modeling of Tokenomics Projects. 577-584 - Volodymyr Peschanenko, Maksym Poltoratskiy, Karina Pryimak:
Formalization and Algebraic Modeling of University Economics. 585-594 - Vitalina Babenko:
Formalization of the Model of Management of the Technological Innovations. 595-602 - Mykola S. Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak:
Program Logics of Renominative Level with the Composition of Predicate Complement. 603-616
Part IV: 5th International Workshop on Theory of Reliability and Markov Modeling for Information Technologies (TheRMIT 2019)
- Tetiana Hovorushchenko, Artem Boyarchuk, Olga Pavlova, Kira Bobrovnikova:
Agent-Oriented Information Technology for Assessing the Initial Stages of the Software Life Cycle. 617-632 - Oleg Savenko, Andrii Nicheporuk, Ivan Hurman, Sergii Lysenko:
Dynamic Signature-based Malware Detection Technique Based on API Call Tracing. 633-643 - Volodymyr G. Skobelev, Volodymyr V. Skobelev:
On-Line Checking of Faults in Cyber-Physical Systems. 644-654 - Igor Shostak, Yashar Rahimi, Mariia Danova, Olena Feoktystova, Olga Melnyk:
Ensuring the Security of the Full Logistics Supply Chain Based on the Вlockсhain Technology. 655-663 - Vladimir V. Sklyar, Vyacheslav S. Kharchenko:
Application of the Booking.com Analytics Software Tools in Reliable Processing of Big Data in Hotels Management. 664-677 - Oleksandr Makarichev, Peter Horbachov, Oleksandr Voronkov, Stanislav Svichynskyi:
Reliability of Adaptive Traffic Lights Ensured by Warm Standby with Estimation of its Use. 678-693 - Andrey Sobol, Volodymyr G. Skobelev, Julian Konchunas, Viktor Radchenko, Sabina Sachtachtinskagia, Oleksandr A. Letychevskyi, Volodymyr Peschanenko, Maxim Orlovsky:
Random Re-Ordering of the Parties in the Consensus Protocol. 694-703 - Tetiana Shmelova, Arnold Sterenharz, Oleksandr Burlaka:
Optimization of Flows and Flexible Redistribution of Autonomous UAV Routes in Multilevel Airspace. 704-715 - Viktor Gnatyuk, Serhii Smirnov, Marek Aleksander, Liudmila Kharlai, Madina Bauyrzhan, Anzhelika Kokareva:
Intelligent Method for CSIRT Performance Evaluation in Critical Information Infrastructure. 716-728 - Maksat Kalimoldayev, Sahibay Tynymbayev, Miras Magzom, Margulan Ibraimov, Serik Khokhlov, Akmaral Abisheva, Viktoriia Sydorenko:
Polynomials Multiplier under Irreducible Polynomial Module for High-Performance Cryptographic Hardware Tools. 729-737 - Vyacheslav S. Kharchenko, Yuriy Ponochovnyi, Artem Boyarchuk, Anton Andrashov:
Multi-Fragmental Markov Models of Information and Control Systems Safety Considering Elimination of Hardware-Software Faults. 738-748 - Oleksandr Drozd, Viktor Antoniuk, Miroslav Drozd, Hanna Stepova:
Power-Oriented Checkability of Matrix and Pipeline Circuits in FPGA-Based Digital Components of Safety-Related Systems. 749-761 - Oleksandr Shkiliuk, Bohdan Y. Volochiy, Ivan Petliuk:
Discrete-Continuous Stochastic Model of Behavior Algorithm of Surveillance and Target Acquisition System. 762-777 - Leonid D. Ozirkovskyy, Bohdan Y. Volochiy, Mykhailo Zmysnyi, Andriy Maschak:
Methodology of Defining the Accident Rate Function for Fault Tolerant System with High Responsibility Purpose. 778-793 - Anastasiia Strielkina, Serhiy Volochiy, Vyacheslav S. Kharchenko:
Discrete-Continuous Stochastic Model of Insulin Pump Functioning for Health IoT System Using Erlang Phase Method. 794-809 - Zhengbing Hu, Sergiy Gnatyuk, Tetyana Okhrimenko, Vasyl Kinzeryavyy, Maksim Iavich, Khalicha Yubuzova:
High-Speed Privaсy Amplification Method for Deterministic Quantum Cryptography Protocols Using Pairs of Entangled Qutrits. 810-821 - Ol'ha Bashyns'ka, Volodymyr Kazymyr, Sergii Nesterenko:
Quality Assessment of Unmanned Aerial Systems Using Bayesian Trust Networks Processing of Testing Data. 822-832
Part V: 7th Workshop on Computer Simulation in Education (CoSinE 2019): A Workshop in memory of Professor Illia O. Teplytskyi
- Serhiy Semerikov, Illia O. Teplytskyi, Yuliia V. Yechkalo, Oksana M. Markova, Vladimir N. Soloviev, Arnold Kiv:
Computer Simulation of Neural Networks Using Spreadsheets: Dr. Anderson, Welcome Back. 833-848 - Tatyana Zaytseva, Lyudmila Kravtsova, Anna Puliaieva:
Computer Modelling of Educational Process as the Way to Modern Learning Technologies. 849-863 - Leonid Flehantov, Yuliia Ovsiienko:
The Simultaneous Use of Excel and GeoGebra to Training the Basics of Mathematical Modeling. 864-879 - Lyudmyla Bilousova, Oleksandr Kolgatin, Larisa Kolgatina:
Computer Simulation as a Method of Learning Research in Computational Mathematics. 880-894 - Liubov Panchenko:
Methodology of Using Structural Equation Modeling in Educational Research. 895-904 - Vladimir N. Soloviev, Natalia Moiseienko, Olena Tarasova:
Modeling of Cognitive Process Using Complexity Theory Methods. 905-918 - Oleg Pursky, Tetiana Dubovyk, Iryna Gamova, Iryna Buchatska:
Computation Algorithm for Integral Indicator of Socio-Economic Development. 919-934 - Vitalii Pazdrii, Petr Banschykov, Victoria Kosyk, Irina Tropina, Oleksandr Hryshchenko:
Simulation System in Educational and Career Guidance State Policy of Ukraine. 935-943 - Muhammet Demirbilek, Durmus Koç:
Using Computer Simulations and Games in Engineering Education: Views from the Field. 944-951 - Yuliia V. Yechkalo, Viktoriia Tkachuk, Tetiana Hruntova, Dmytro Brovko, Vitaliy Tron:
Augmented Reality in Training Engineering Students: Teaching Techniques. 952-959 - Nadiia R. Balyk, Yaroslav Vasylenko, Vasyl Oleksiuk, Galina Shmyger:
Designing of Virtual Cloud Labs for the Learning Cisco CyberSecurity Operations Course. 960-967 - Pavlo Nechypurenko, Tetiana Selivanova, Maryna Chernova:
Using the Cloud-Oriented Virtual Chemical Laboratory VLab in Teaching the Solution of Experimental Problems in Chemistry of 9th Grade Students. 968-983 - Nonna Shapovalova, Olena Rybalchenko, Iryna Dotsenko, Svitlana Bilashenko, Andrii Striuk, Levan Saitgareev:
Adaptive Testing Model as the Method of Quality Knowledge Control Individualizing. 984-999 - Evgeniy Lavrov, Olga Lavrova:
Intelligent Adaptation Method for Human-Machine Interaction in Modular E-Learning Systems. 1000-1010 - Aleksander Spivakovsky, Lyubov Petukhova, Vera Kotkova, Yuriy Yurchuk:
Historical Approach to Modern Learning Environment. 1011-1024
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.