ICTERI 2013: Kherson, Ukraine
Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych, Mikhail Zavileysky, Hennadiy Kravtsov, Vitaliy Kobets, Vladimir S. Peschanenko (Eds.): Proceedings of the 9th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, Kherson, Ukraine, June 19-22, 2013. CEUR-WS.org 2013 CEUR Workshop Proceedings 1000
Invited Contributions
- Wolf-Ekkehard Matzke: The Knowledge-Based Bio-Economy and the "Green Triple-Helix" of Biotechnology, Synthetic Biology and ICT. 2
- Gary L. Pratt: A Movement of Higher Education Institutions to Consortiums of Institutions Banding Together to Create a Position of Strength. 3
- Alexander A. Letichevsky: General Theory of Interaction and Cognitive Architectures. 4-15
I.I ICT Infrastructures, Integration and Interoperability
- Mizal Alobaidi, Andriy Batyiv, Grygoriy Zholtkevych: Wireframe Model for Simulating Quantum Information Processing Systems. 18-29
- Aleksandr Ralo, Andrii Derevianko, Aleksandr Kropotov, Sergiy Styervoyedov, Oleksiy Voz: Modeling, Algorithms and Implementation of the Microcontroller Control System for the Ion Beam Forming Process for Nanostructures Etching. 30-37
- Anatoliy Doroshenko, Kostiantyn Zhereb, Olena Yatsenko: Using Algebra-Algorithmic and Term Rewriting Tools for Developing Efficient Parallel Programs. 38-46
I.II Machine Intelligence, Knowledge Engineering and Management for ICT
- Nikolay Tkachuk, Vladyslav Sokol, Kateryna Glukhovtsova: An Intelligent Approach to Increase Efficiency of IT-Service Management Systems: University Case-Study. 48-63
- Olga Tatarintseva, Vadim Ermolayev: Refining an Ontology by Learning Stakeholder Votes from their Texts. 64-78
- Natalya Keberle: Answering Conjunctive Queries over a Temporally-Ordered Finite Sequence of ABoxes sharing one TBox. 79-90
- Elena Mantula, Vladimir Mashtalir: An Adaptive Forecasting of Nonlinear Nonstationary Time Series under Short Learning Samples. 91-98
- Maxim Davidovsky, Vadim Ermolayev, Vyacheslav Tolok: Application of an Instance Migration Solution to Industrial Ontologies. 99-107
I.III Model-Based Software System Development
- Oleksandr Baiev, Valentine Lazurik, Ievgen Didenko: Use of Neural Networks for Monitoring Beam Spectrum of Industrial Electron Accelerators. 118-129
- Yuliia Romenska, Frédéric Mallet: Lazy Parallel Synchronous Composition of Infinite Transition Systems. 130-145
- Vyacheslav S. Kharchenko, Oleg Odarushchenko, Valentina Odarushchenko, Peter T. Popov: Selecting Mathematical Software for Dependability Assessment of Computer Systems Described by Stiff Markov Chains. 146-162
- Anastasiia Varava, Grygoriy Zholtkevych: Asymptotical Information Bound of Consecutive Qubit Binary Testing. 163-177
- Denis B. Arkatov: A Data Transfer Model of Computer-Aided Vehicle Traffic Coordination System for the Rail Transport in Ukraine. 178-186
I.IV Methodological and Didactical Aspects of Teaching ICT and Using ICT in Education
- Nataliya Kushnir, Anna Manzhula, Nataliya Valko: New Approaches of Teaching ICT to Meet Educational Needs of Net Students Generation. 195-208
- Lyudmyla Bilousova, Oleksandr Kolgatin, Larisa Kolgatina: Pedagogical Diagnostics with Use of Computer Technologies. 209-220
- Michael Cochez, Ville Isomöttönen, Ville Tirronen, Jonne Itkonen: The Use of Distributed Version Control Systems in Advanced Programming Courses. 221-235
- Aleksander Spivakovsky, Lyubov Petukhova, Evgeniya Spivakovska, Vera Kotkova, Hennadiy Kravtsov: Comparative Analysis of Learning in Three-Subjective Didactic Model. 236-251
- Ekaterina Lavrischeva, Artem Dzyubenko, Andrey Aronov: Conception of Programs Factory for Representing and E-Learning Disciplines of Software Engineering. 252-263
- Natalia Morze, Olena Kuzminska, Galyna Protsenko: Public Information Environment of a Modern University. 264-272
- Vladimir Kukharenko: Designing Massive Open Online Courses. 273-280
- Dmitry Bodnenko: The Role of Informatization in the Change of Higher School Tasks: the Impact on the Professional Teacher Competences. 281-287
I.V ICTERI Tutorials
- Frédéric Mallet: UML Profile for MARTE: Time Model and CCSL. 289-294
II.I 2nd International Workshop on Information Technologies in Economic Research (ITER 2013)
- Evgeny Beletsky, Anatoly Beletsky: Binary Quasi Equidistant and Reflected Codes in Mixed Numeration Systems. 311-328
- Vitaliy Kobets: Mechanism Design for Foreign Producers of Unique Homogeneity Product. 329-338
- Elena Lazareva: Features of National Welfare Innovative Potential Parametric Indication Information-Analytical Tools System in the Globalization Trends' Context. 339-351
- Alexsander Beletsky, Anatoly Beletsky, Roman Kandyba: Matrix Analogues of the Diffie-Hellman Protocol. 352-359
- Darya Bonda, Sergey Mazol: Are Securities Secure: Study of the Influence of the International Debt Securities on the Economic Growth. 360-365
- Oksana Moiseeva, Sergey Mazol: How to Make High-tech Industry Highly Developed? Effective Model of National R&D Investment Policy. 366-373
- Alexander J. Weissblut: Econometric Analysis on the Site "Lesson Pulse". 374-384
- Karine Mesropyan: Decision Supporting Procedure for Strategic Planning: DEA Implementation for Regional Economy Efficiency Estimation. 385-392
- Andriy Semenyuk: Applying of Fuzzy Logic Modeling for the Assessment of ERP Projects Efficiency. 393-400
- Victor Selyutin, Margarita Rudenko: Mathematical Model of Banking Firm as Tool for Analysis, Management and Learning. 401-408
II.II 1st International Workshop on Methods and Resources of Distance Learning (MRDL 2013)
- Daniel Sitzmann, Dietmar P. F. Möller, Karsten Becker, Harald Richter: TIO - a Software Toolset for Mobile Learning in MINT Disciplines. 424-435
- Mariya Shyshkina: Holistic Approach to Training of ICT Skilled Educational Personnel. 436-445
II.III 2nd International Workshop on Algebraic, Logical, and Algorithmic Methods of System Modeling, Specification and Verification (SMSV 2013)
- Ievgen Ivanov: An Abstract Block Formalism for Engineering Systems. 448-463
- Dmitriy M. Klionov: Multilevel Environments in Insertion Modeling System. 464-474
- Iryna Zaretska, Galyna Zholtkevych, Grygoriy Zholtkevych, Frédéric Mallet: Clocks Model for Specification and Analysis of Timing in Real-Time Embedded Systems. 475-489
- Vladimir S. Peschanenko, Anton Guba, Constantin Shushpanov: Specializations and Symbolic Modeling. 490-505
- Mohamed Chaabani, Rachid Echahed, Martin Strecker: Logical Foundations for Reasoning about Transformations of Knowledge Bases. 521-532
- Andrii Kryvolap, Mykola Nikitchenko, Wolfgang Schreiner: Program Algebras with Monotone Floyd-Hoare Composition. 533-549
- Nadezhda Baklanova, Martin Strecker: A Formal Model of Resource Sharing Conicts in Multithreaded Java. 550-564
- Igor Ol. Blinov: Implementation of Propagation-Based Constraint Solver in IMS. 565-572
- Alexander K. Petrenko, Victor V. Kuliamin, Andrey Maksimov: UniTESK: Component Model Based Testing. 573-581
- Irina Mikhailova, Boris Novikov, Grygoriy Zholtkevych: Protoautomata as Models of Systems with Data Accumulation. 582-589
- Dmitriy Buy, Serhiy Kompan: Models of Class Specification Intersection of Object-Oriented Programming. 590-594
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team