Table of Contents

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