default search action
ICTERI 2016: Kyiv, Ukraine
- Vadim Ermolayev, Aleksander Spivakovsky, Mykola S. Nikitchenko, Athula Ginige, Heinrich C. Mayr, Dimitris Plexousakis, Grygoriy Zholtkevych, Oleksandr Burov, Vyacheslav S. Kharchenko, Vitaliy Kobets:
Proceedings of the 12th International Conference on ICT in Education, Research and Industrial Applications. Integration, Harmonization and Knowledge Transfer, Kyiv, Ukraine, June 21-24, 2016. CEUR Workshop Proceedings 1614, CEUR-WS.org 2016
Invited Contributions
- John Davies, Sandra Stincic Clarke:
The Internet of Things - Technical Challenges for Interoperability. 1 - Wolfgang Reisig:
Service Orientation as a Paradigm of Computing. 2 - Óscar Corcho:
Building Agreed Vocabularies and Data Structures for Successful Open City Data Sharing. 3
ICTERI 2016: Track 1 - Advances in ICT Research
- Oleg Bisikalo, Ilona Bogach:
Complexity Class of Semantics-related Tasks of Text Processing. 4-12 - Bogdan Chornomaz, Kirill Rukkas, Kseniia Troino:
A Complete Axiomatization for Reduced Clock Constraint Specification Language. 13-24 - Alexander V. Lyaletski, Alexandre Lyaletsky, Andrei Paskevich:
Evidential Paradigm as Formal Knowledge Presentation and Processing. 25-32 - Oksana Pichugina, Babak Farzad:
A Human Communication Network Model. 33-40 - Mykola V. Tkachuk, Oleksii Vekshyn, Rustam Gamzayev:
A Model-Based Framework for Adaptive Resource Management in Mobile Augmented Reality System. 41-56 - Grygoriy Zholtkevych, Konstantin Nosov, Yuri Bespalov, Larisa Rak, Elena Vysotskaya, Yulia Balkova, Vadim Kolomiychenko:
Descriptive Models of System Dynamics. 57-72
ICTERI 2016: Track 2 - Information Systems: Technology and Applications
- Vitalii Ivanov, Svitlana Vashchenko, Yiming Kevin Rong:
Information Support of the Computer-aided Fixture Design System. 73-86 - Andriy Krasiy, Tetiana Hovorushchenko:
Information Technology of Predicting the Characteristics and Evaluating the Success of Software Projects Implementation. 87-102 - Aleksandr Spivakovsky, Maksym Vinnyk, Yulia Tarasich, Maksym Poltoratskiy:
Design and Development of Information System of Scientific Activity Indicators. 103-110 - Eugene Tulika, Anatoliy Doroshenko, Kostiantyn Zhereb:
Adaptation of Legacy Fortran Applications to Cloud Computing. 111-118
ICTERI 2016: Track 3 - Academia/Industry ICT Cooperation
- Taras Panchenko:
Application of the Method for Concurrent Programs Properties Proof to Real-World Industrial Software Systems. 119-128 - Vladimir V. Sklyar:
Safety-critical Certification of FPGA-based Platform against Requirements of U.S. Nuclear Regulatory Commission (NRC): Industrial Case Study. 129-136
ICTERI 2016: Track 4 - ICT in Education
- Alexander Alexeyev, Nataliya Konovalova, Kateryna Lozova, Elena Korol:
Simulation Model for Computerized Testing of Learning Success in Quality Management Systems. 137-147 - Dmytro V. Fedasyuk, Nataliya Hots, Mykola Mykyychuk, Viktor Kuts, Yuliia Dzikovska:
Method of Evaluation of Electronic Educational Resource Quality for Conformity Assessment (Certification). 148-156 - Olena G. Glazunova, Tetyana Voloshyna:
Hybrid Cloud-Oriented Educational Environment for Training Future IT Specialists. 157-167 - Yuriy P. Kondratenko, Gholamreza Khademi, Vahid Azimi, Donald Ebeigbe, Mohamed Abdelhady, Seyed Abolfazl Fakoorian, Taylor Barto, Arash Roshanineshat, Igor P. Atamanyuk, Dan Simon:
Information, Communication, and Modeling Technologies in Prosthetic Leg and Robotics Research at Cleveland State University. 168-183 - Yuriy P. Kondratenko, Dan Simon, Igor P. Atamanyuk:
University Curricula Modification Based on Advancements in Information and Communication Technologies. 184-199 - Nataliya Kushnir, Nataliya Osipova, Nataliya Valko, Olena Litvinenko:
The Experience of the Master Classes as a Means of Formation of Readiness of Teachers to Implement Innovation. 200-214 - Michael Lvov, Ludmila Shishko, Irina Chernenko, Evgen Kozlovskiy:
Systems of Computer Mathematics for Educational Purposes as the Means of Reception of Procedural Knowledge. 215-230 - Nataliia Morze, Liliia Varchenko-Trotsenko:
Educator's e-Portfolio in the Modern University. 231-240 - Mariya Shyshkina:
The Hybrid Cloud-based Service Model of Learning Resources Access and its Evaluation. 241-256 - Evgeniya Spivakovska, Maksym Vinnyk, Yulia Tarasich, Olesya Kuchma:
Monitoring of Efficiency of Feedback Systems Use on the Base of Kherson State University. 257-272 - Leo van Moergestel, Ander de Keijzer, Esther van der Stappen:
Tips and pitfalls for blended learning: Redesigning a CS curriculum using IT. 273-283 - Kseniia Yashyna, Oleksandr Krupnyk, Oksana Karpenko:
Application of 3D Printing and 3D Scanning Technologies in Educational Activities. 284-291
2nd International Workshop on Theory of Reliability and Markov Modeling for Information Technologies (TheRMIT)
- Igor P. Atamanyuk, Yuriy P. Kondratenko, Vyacheslav Shebanin:
Calculation Methods of the Prognostication of the Computer Systems State under Different Level of Information Uncertainty. 292-307 - Yevgeniy Bulba, Yurij Ponochovny, Vladimir V. Sklyar, Aleksandr Ivasiuk:
Classification and Research of the Reactor Protection Instrumentation and Control System Functional Safety markov models in a Normal Operation Mode. 308-321 - Alexander V. Drozd, Miroslav Drozd, Mykola Kuznietsov:
Use of Natural LUT Redundancy to Improve Trustworthiness of FPGA Design. 322-331 - Tetiana Hovorushchenko, Oksana Pomorova:
Ontological Approach to the Assessment of Information Sufficiency for Software Quality Determination. 332-348 - Oleg Ivanchenko, Vyacheslav S. Kharchenko:
Semi-Markov Availability Models for an Infrastructure as a Service Cloud with Multiple Pools. 349-360 - Vitaly G. Levashenko, Elena N. Zaitseva, Miroslav Kvassay:
Application of Structure Function in System Reliability Analysis based on Uncertain Data. 361-374 - Oksana Pomorova, Oleg Savenko, Sergii Lysenko, Andrii Nicheporuk:
Metamorphic Viruses Detection Technique Based on the the Modified Emulators. 375-383 - Anatoliy Sachenko, Volodymyr Kochan, Vyacheslav S. Kharchenko, Hubert Roth, Vasyl Yatskiv, Mykhaylo Chernyshov, Pavlo Bykovyy, Olekxiy Roshchupkin, Vasyl Koval, Herman Fesenko:
Mobile Post-Emergency Monitoring System for Nuclear Power Plants. 384-398 - Bogdan Y. Volochiy, Vitaliy Yakovyna, Oleksandr Mulyak:
Availability Model of Critical NPP I&C Systems Considering Software Reliability Indices. 399-413 - Max Yanovsky, Olga Yanovskaya, Vyacheslav S. Kharchenko:
Analysis of Methods for Providing Availability and Accessibility of Cloud Services. 414-426 - Svitlana Yaremchuk, Vyacheslav S. Kharchenko:
Complexity-based Prediction of Faults Number for Software Modules Ranking Before Testing: Technique and Case Study. 427-440 - Elena Zaitseva, Miroslav Kvassay, Vitaly G. Levashenko, Jozef Kostolny:
Importance Analysis of k-out-of-n Multi-State Systems based on Direct Partial Logic Derivatives. 441-457
5th International Workshop on Information Technologies in Economic Research (ITER)
- Igor P. Atamanyuk, Yuriy P. Kondratenko, Natalia N. Sirenko:
Forecasting Economic Indices of Agricultural Enterprises Based on Vector Polynomial Canonical Expansion of Random Sequences. 458-468 - Vladimir Dorozhinsky, Arsen Khadikov, Nina Zholtkevych:
Machine Learning Methods and 'Real-Time' Economics. 469-476 - Lidiia Hladchenko:
Government Financial Accountability and Transparency in the Digital World. 477-484 - Vitaliy Kobets, Maksym Poltoratskiy:
Using an Evolutionary Algorithm to Improve Investment Strategies for Industries in an Economic System. 485-501 - Vitaliy Kobets, Alexander J. Weissblut:
Nonlinear Dynamic Model of a Microeconomic System with Different Reciprocity and Expectations Types of Firms: Stability and Bifurcations. 502-517 - Vitaliy Kobets, Valeria Yatsenko:
Adjusting Business Processes by the Means of an Autoregressive Model Using BPMN 2.0. 518-533 - Myroslav Komar, Anatoliy Sachenko, Sergei V. Bezobrazov, Vladimir A. Golovko:
Intelligent Cyber Defense System. 534-549 - Olena Liashenko, Tetyana Kravets:
Fractal Analysis of Currency Market: Hurst Index as an Indicator of Abnormal Events. 550-557 - Olha Moroz:
Using Hybrid Algorithms Based on GMDH-Type Neural Networks for Solving Economic Problems. 558-565 - Tetiana Paientko, Tatsiana Verezubova:
Modeling Input Financial Flows of Insurance Companies as a Component of Financial Strategy. 566-574 - Iryna Ushakova:
Simulation of the Impact of Social Media on Promoting Education Services. 575-590 - Viktoria Yatsenko:
A Company-Specific Business Process 'Accounting of Cash on the Bank Accounts' in the Global Electronic Payment System. 591-607
International Workshop on Professional Retraining and Life-Long Learning using ICT: Person-oriented Approach (3L-Person)
- Oleksandr Burov:
Life-Long Learning: Individual Abilities versus Environment and Means. 608-619 - Hennadiy Kravtsov, Olga Gnedkova:
The Use of Cloud Services for Learning Foreign Language (English). 620-631 - Olena Kuzminska, Mariia S. Mazorchuk:
Models and Tools for Information Support of Test Development Process in Learning Management Systems. 632-639 - Vira Liubchenko:
A Review of Teaching Methods for Life-Long Learning. 640-647 - Svitlana Lytvynova, Oksana Melnyk:
Professional Development of Teachers Using Cloud Services During Non-formal Education. 648-655 - Yuliya Nosenko, Mariya Shyshkina, Vasyl Oleksiuk:
Collaboration between Research Institutions and University Sector Using Cloud-based Environment. 656-671 - Nataliya Osipova, Olga Gnedkova, Denis Ushakov:
Mobile Learning Technologies for Learning English. 872-679 - Olga Pinchuck:
Perspective Analysis of the Use of Electronic Social Networks in a Learning Environment. 680-686 - Tatyana Zaytseva:
The Introduction of the Competence-based Approach in Educational Process of Training of Skippers. 687-699
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.