ICTERI 2013
ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer

Table of Contents

• Preface
  
  
• Organization
  
  
• Sponsors
  
  

INVITED CONTRIBUTIONS

• The Knowledge-Based Bio-Economy and the "Green Triple-Helix" of Biotechnology, Synthetic Biology and ICT 2
  Wolf-Ekkehard Matzke
• A Movement of Higher Education Institutions to Consortiums of Institutions Banding Together to Create a Position of Strength 3
  Gary L. Pratt
• General Theory of Interaction and Cognitive Architectures 4-15
  Alexander Letichevsky

PART I: MAIN ICTERI CONFERENCE

I.I ICT Infrastructures, Integration and Interoperability

• Wireframe Model for Simulating Quantum Information Processing Systems 18-29
  Mizal Alobaidi, Andriy Batyiv, Grygoriy Zholtkevych
• Modeling, Algorithms and Implementation of the Microcontroller Control System for the Ion Beam Forming Process for Nanostructures Etching 30-37
  Aleksandr Ralo, Andrii Derevianko, Aleksandr Kropotov, Sergiy Styervoyedov, Oleksiy Voz
• Using Algebra-Algorithmic and Term Rewriting Tools for Developing Efficient Parallel Programs 38-46
  Anatoliy Doroshenko, Kostiantyn Zhereb, Olena Yatsenko

I.II Machine Intelligence, Knowledge Engineering and Management for ICT

• An Intelligent Approach to Increase Efficiency of IT-Service Management Systems: University Case-Study 48-63
  Nikolay Tkachuk, Vladyslav Sokol, Kateryna Glukhovtsova
• Refining an Ontology by Learning Stakeholder Votes from their Texts 64-78
  Olga Tatarintseva, Vadim Ermolayev
• Answering Conjunctive Queries over a Temporally-Ordered Finite Sequence of ABoxes sharing one TBox 79-90
  Natalya G. Keberle
• An Adaptive Forecasting of Nonlinear Nonstationary Time Series under Short Learning Samples 91-98
  Elena Mantula, Vladimir Mashtalir
• Application of an Instance Migration Solution to Industrial Ontologies 99-107
  Maxim Davidovsky, Vadim Ermolayev, Vyacheslav Tolok
• Extracting Knowledge Tokens from Text Streams 108-116
  Eugene Alferov, Vadim Ermolayev

I.III Model-Based Software System Development

• Use of Neural Networks for Monitoring Beam Spectrum of Industrial Electron Accelerators 118-129
  Oleksandr Baiev, Valentine Lazurik, Ievgen Didenko
• Lazy Parallel Synchronous Composition of Infinite Transition Systems 130-145
  Yuliia Romenska, Frederic Mallet
• Selecting Mathematical Software for Dependability Assessment of Computer Systems Described by Stiff Markov Chains 146-162
  Vyacheslav Kharchenko, Oleg Odarushchenko, Valentina Odarushchenko, Peter Popov
• Asymptotical Information Bound of Consecutive Qubit Binary Testing 163-177
  Anastasiia Varava, Grygoriy Zholtkevych
• A Data Transfer Model of Computer-Aided Vehicle Traffic Coordination System for the Rail Transport in Ukraine 178-186
  Denis B. Arkatov
• Quantitative Estimation of Competency as a Fuzzy Set 187-193
  Leonid Vasylevych, Ivan Iurtyn

I.IV Methodological and Didactical Aspects of Teaching ICT and Using ICT in Education

• New Approaches of Teaching ICT to Meet Educational Needs of Net Students Generation 195-208
  Nataliya Kushnir, Anna Manzhula, Nataliya Valko
• Pedagogical Diagnostics with Use of Computer Technologies 209-220
  Lyudmyla Bilousova, Oleksandr Kolgatin, Larisa Kolgatina
• The Use of Distributed Version Control Systems in Advanced Programming Courses 221-235
  Michael Cochez, Ville Isomottonen, Ville Tirronen, Jonne Itkonen
• Comparative Analysis of Learning in Three-Subjective Didactic Model 236-251
  Aleksander Spivakovskiy, Lyubov Petukhova, Evgeniya Spivakovska, Vera Kotkova, Hennadiy Kravtsov
• Conception of Programs Factory for Representing and E-Learning Disciplines of Software Engineering 252-263
  Ekaterina Lavrischeva, Artem Dzyubenko, Andrey Aronov
• Public Information Environment of a Modern University 264-272
  Natalia Morze, Olena Kuzminska, Galina Protsenko
• Designing Massive Open Online Courses 273-280
  Vladimir Kukharenko
• The Role of Informatization in the Change of Higher School Tasks: the Impact on the Professional Teacher Competences 281-287
  Dmitry Bodnenko

I.V ICTERI Tutorials

• UML Profile for MARTE: Time Model and CCSL 289-294
  Frederic Mallet
• Ontology Alignment and Applications in 90 Minutes 295-306
  Vadim Ermolayev, Maxim Davidovsky

PART II: ICTERI WORKSHOPS

II.I 2nd International Workshop on Information Technologies in Economic Research (ITER 2013)

• ITER Foreword
  
  
• Binary Quasi Equidistant and Reflected Codes in Mixed Numeration Systems 311-328
  Evgeny Beletsky, Anatoly Beletsky
• Mechanism Design for Foreign Producers of Unique Homogeneity Product 329-338
  Vitaliy Kobets
• Features of National Welfare Innovative Potential Parametric Indication Information-Analytical Tools System in the Globalization Trends' Context 339-351
  Elena Lazareva
• Matrix Analogues of the Diffie-Hellman Protocol 352-359
  Alexsander Beletsky, Anatoly Beletsky, Roman Kandyba
• Are Securities Secure: Study of the Influence of the International Debt Securities on the Economic Growth 360-365
  Darya Bonda, Sergey Mazol
• How to Make High-tech Industry Highly Developed? Effective Model of National R&D Investment Policy 366-373
  Oksana Moiseeva, Sergey Mazol
• Econometric Analysis on the Site "Lesson Pulse" 374-384
  Alexander J. Weissblut
• Decision Supporting Procedure for Strategic Planning: DEA Implementation for Regional Economy Efficiency Estimation 385-392
  Karine Mesropyan
• Applying of Fuzzy Logic Modeling for the Assessment of ERP Projects Efficiency 393-400
  Andriy Semenyuk
• Mathematical Model of Banking Firm as Tool for Analysis, Management and Learning 401-408
  Victor Selyutin, Margarita Rudenko

II.II 1st International Workshop on Methods and Resources of Distance Learning (MRDL 2013)

• MRDL Foreword
  
  
• What Should be E-Learning Course for Smart Education 411-423
  Natalia V. Morze, Olena G. Glazunova
• TIO - a Software Toolset for Mobile Learning in MINT Disciplines 424-435
  Daniel Sitzmann, Dietmar P.F. Möller, Karsten Becker, Harald Richter
• Holistic Approach to Training of ICT Skilled Educational Personnel 436-445
  Mariya Shyshkina

II.III 2nd International Workshop on Algebraic, Logical, and Algorithmic Methods of System Modeling, Specification and Verification (SMSV 2013)

• SMSV Foreword
  
  
• An Abstract Block Formalism for Engineering Systems 448-463
  Ievgen Ivanov
• Multilevel Environments in Insertion Modeling System 464-474
  Dmitriy M. Klionov
• Clocks Model for Specification and Analysis of Timing in Real-Time Embedded Systems 475-489
  Iryna Zaretska, Galyna Zholtkevych, Grygoriy Zholtkevych, Frederic Mallet
• Specializations and Symbolic Modeling 490-505
  Vladimir Peschanenko, Anton Guba, Constantin Shushpanov
• On a Dynamic Logic for Graph Rewriting 506-520
  Mathias Winckel, Ralph Matthes
• Logical Foundations for Reasoning about Transformations of Knowledge Bases 521-532
  Mohamed Chaabani, Rachid Echahed, Martin Strecker
• Program Algebras with Monotone Floyd-Hoare Composition 533-549
  Andrii Kryvolap, Mykola Nikitchenko, Wolfgang Schreiner
• A Formal Model of Resource Sharing Conicts in Multithreaded Java 550-564
  Nadezhda Baklanova, Martin Strecker
• Implementation of Propagation-Based Constraint Solver in IMS 565-572
  Igor Ol. Blinov
• UniTESK: Component Model Based Testing 573-581
  Alexander K. Petrenko, Victor Kuliamin, Andrey Maksimov
• Protoautomata as Models of Systems with Data Accumulation 582-589
  Irina Mikhailova, Boris Novikov, Grygoriy Zholtkevych
• Models of Class Specification Intersection of Object-Oriented Programming 590-594
  Dmitriy Buy, Serhiy Kompan

• AUTHOR INDEX
  
  
• Proceedings in a Single File