Table of Contents

• The Knowledge-Based Bio-Economy and the "Green Triple-Helix" of Biotechnology, Synthetic Biology and ICTWolf-Ekkehard Matzke. 2 [doi]
• A Movement of Higher Education Institutions to Consortiums of Institutions Banding Together to Create a Position of StrengthGary L. Pratt. 3 [doi]
• General Theory of Interaction and Cognitive ArchitecturesAlexander A. Letichevsky. 4-15 [doi]
• Wireframe Model for Simulating Quantum Information Processing SystemsMizal Alobaidi, Andriy Batyiv, Grygoriy Zholtkevych. 18-29 [doi]
• Modeling, Algorithms and Implementation of the Microcontroller Control System for the Ion Beam Forming Process for Nanostructures EtchingAleksandr Ralo, Andrii Derevianko, Aleksandr Kropotov, Sergiy Styervoyedov, Oleksiy Voz. 30-37 [doi]
• Using Algebra-Algorithmic and Term Rewriting Tools for Developing Efficient Parallel ProgramsAnatoliy Doroshenko, Kostiantyn Zhereb, Olena Yatsenko. 38-46 [doi]
• An Intelligent Approach to Increase Efficiency of IT-Service Management Systems: University Case-StudyNikolay Tkachuk, Vladyslav Sokol, Kateryna Glukhovtsova. 48-63 [doi]
• Refining an Ontology by Learning Stakeholder Votes from their TextsOlga Tatarintseva, Vadim Ermolayev. 64-78 [doi]
• Answering Conjunctive Queries over a Temporally-Ordered Finite Sequence of ABoxes sharing one TBoxNatalya Keberle. 79-90 [doi]
• An Adaptive Forecasting of Nonlinear Nonstationary Time Series under Short Learning SamplesElena Mantula, Vladimir Mashtalir. 91-98 [doi]
• Application of an Instance Migration Solution to Industrial OntologiesMaxim Davidovsky, Vadim Ermolayev, Vyacheslav Tolok. 99-107 [doi]
• Extracting Knowledge Tokens from Text StreamsEugene Alferov, Vadim Ermolayev. 108-116 [doi]
• Use of Neural Networks for Monitoring Beam Spectrum of Industrial Electron AcceleratorsOleksandr Baiev, Valentine Lazurik, Ievgen Didenko. 118-129 [doi]
• Lazy Parallel Synchronous Composition of Infinite Transition SystemsYuliia Romenska, Frédéric Mallet. 130-145 [doi]
• Selecting Mathematical Software for Dependability Assessment of Computer Systems Described by Stiff Markov ChainsVyacheslav S. Kharchenko, Oleg Odarushchenko, Valentina Odarushchenko, Peter T. Popov. 146-162 [doi]
• Asymptotical Information Bound of Consecutive Qubit Binary TestingAnastasiia Varava, Grygoriy Zholtkevych. 163-177 [doi]
• A Data Transfer Model of Computer-Aided Vehicle Traffic Coordination System for the Rail Transport in UkraineDenis B. Arkatov. 178-186 [doi]
• Quantitative Estimation of Competency as a Fuzzy SetLeonid Vasylevych, Ivan Iurtyn. 187-193 [doi]
• New Approaches of Teaching ICT to Meet Educational Needs of Net Students GenerationNataliya Kushnir, Anna Manzhula, Nataliya Valko. 195-208 [doi]
• Pedagogical Diagnostics with Use of Computer TechnologiesLyudmyla Bilousova, Oleksandr Kolgatin, Larisa Kolgatina. 209-220 [doi]
• The Use of Distributed Version Control Systems in Advanced Programming CoursesMichael Cochez, Ville Isomöttönen, Ville Tirronen, Jonne Itkonen. 221-235 [doi]
• Comparative Analysis of Learning in Three-Subjective Didactic ModelAleksander Spivakovsky, Lyubov Petukhova, Evgeniya Spivakovska, Vera Kotkova, Hennadiy Kravtsov. 236-251 [doi]
• Conception of Programs Factory for Representing and E-Learning Disciplines of Software EngineeringEkaterina Lavrischeva, Artem Dzyubenko, Andrey Aronov. 252-263 [doi]
• Public Information Environment of a Modern UniversityNatalia Morze, Olena Kuzminska, Galyna Protsenko. 264-272 [doi]
• Designing Massive Open Online CoursesVladimir Kukharenko. 273-280 [doi]
• The Role of Informatization in the Change of Higher School Tasks: the Impact on the Professional Teacher CompetencesDmitry Bodnenko. 281-287 [doi]
• UML Profile for MARTE: Time Model and CCSLFrédéric Mallet. 289-294 [doi]
• Ontology Alignment and Applications in 90 MinutesVadim Ermolayev, Maxim Davidovsky. 295-306 [doi]
• Binary Quasi Equidistant and Reflected Codes in Mixed Numeration SystemsEvgeny Beletsky, Anatoly Beletsky. 311-328 [doi]
• Mechanism Design for Foreign Producers of Unique Homogeneity ProductVitaliy Kobets. 329-338 [doi]
• Features of National Welfare Innovative Potential Parametric Indication Information-Analytical Tools System in the Globalization Trends' ContextElena Lazareva. 339-351 [doi]
• Matrix Analogues of the Diffie-Hellman ProtocolAlexsander Beletsky, Anatoly Beletsky, Roman Kandyba. 352-359 [doi]
• Are Securities Secure: Study of the Influence of the International Debt Securities on the Economic GrowthDarya Bonda, Sergey Mazol. 360-365 [doi]
• How to Make High-tech Industry Highly Developed? Effective Model of National R&D Investment PolicyOksana Moiseeva, Sergey Mazol. 366-373 [doi]
• Econometric Analysis on the Site "Lesson Pulse"Alexander J. Weissblut. 374-384 [doi]
• Decision Supporting Procedure for Strategic Planning: DEA Implementation for Regional Economy Efficiency EstimationKarine Mesropyan. 385-392 [doi]
• Applying of Fuzzy Logic Modeling for the Assessment of ERP Projects EfficiencyAndriy Semenyuk. 393-400 [doi]
• Mathematical Model of Banking Firm as Tool for Analysis, Management and LearningVictor Selyutin, Margarita Rudenko. 401-408 [doi]
• What Should be E-Learning Course for Smart EducationNatalia V. Morze, Olena G. Glazunova. 411-423 [doi]
• TIO - a Software Toolset for Mobile Learning in MINT DisciplinesDaniel Sitzmann, Dietmar P. F. Möller, Karsten Becker, Harald Richter. 424-435 [doi]
• Holistic Approach to Training of ICT Skilled Educational PersonnelMariya Shyshkina. 436-445 [doi]
• An Abstract Block Formalism for Engineering SystemsIevgen Ivanov. 448-463 [doi]
• Multilevel Environments in Insertion Modeling SystemDmitriy M. Klionov. 464-474 [doi]
• Clocks Model for Specification and Analysis of Timing in Real-Time Embedded SystemsIryna Zaretska, Galyna Zholtkevych, Grygoriy Zholtkevych, Frédéric Mallet. 475-489 [doi]
• Specializations and Symbolic ModelingVladimir S. Peschanenko, Anton Guba, Constantin Shushpanov. 490-505 [doi]
• On a Dynamic Logic for Graph RewritingMathias Winckel, Ralph Matthes. 506-520 [doi]
• Logical Foundations for Reasoning about Transformations of Knowledge BasesMohamed Chaabani, Rachid Echahed, Martin Strecker. 521-532 [doi]
• Program Algebras with Monotone Floyd-Hoare CompositionAndrii Kryvolap, Mykola Nikitchenko, Wolfgang Schreiner. 533-549 [doi]
• A Formal Model of Resource Sharing Conicts in Multithreaded JavaNadezhda Baklanova, Martin Strecker. 550-564 [doi]
• Implementation of Propagation-Based Constraint Solver in IMSIgor Ol. Blinov. 565-572 [doi]
• UniTESK: Component Model Based TestingAlexander K. Petrenko, Victor V. Kuliamin, Andrey Maksimov. 573-581 [doi]
• Protoautomata as Models of Systems with Data AccumulationIrina Mikhailova, Boris Novikov, Grygoriy Zholtkevych. 582-589 [doi]
• Models of Class Specification Intersection of Object-Oriented ProgrammingDmitriy Buy, Serhiy Kompan. 590-594 [doi]