<html>
<head>
<link rel="stylesheet" type="text/css" href="../ceur-ws.css">
<title>CEUR-WS.org/Vol-1000 - ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer 2013</title>
</head>



<!--CEURLANG=eng -->

<body>


<table border="0" cellpadding="0" cellspacing="5" width="95%">
<tbody><tr>
<td align="left" valign="middle">
<a href="http://ceur-ws.org/"><img src="../CEUR-WS-logo.png" alt="[CEUR Workshop Proceedings]" border="0"></a>
</td>
<td align="right" valign="middle">

<span class="CEURVOLNR">Vol-1000</span> <br>
<span class="CEURURN">urn:nbn:de:0074-1000-9</span>
<p align="justify"><font color="#777777" size="-2">Copyright &copy; 
<span class="CEURPUBYEAR">2013</span> for the individual papers
by the papers' authors. Copying permitted only for private and academic purposes.
This volume is published and copyrighted by its editors.</font></p>

</td>
</tr>
</tbody></table>

<hr>


<br><br><br>

<h1><a href="http://icteri.org/"><span class="CEURVOLACRONYM">ICTERI 2013</span></a><br>
<span class="CEURVOLTITLE">ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer</span></h1>
<br>

<h3>
<span class="CEURFULLTITLE">Proceedings of the 9th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer</span><br>
</h3>
<h3><span class="CEURLOCTIME">Kherson, Ukraine, June 19-22, 2013</span>.</h3> 
<br>
<b> Edited by </b>
<p>

</p><h3>
   <a href="http://ermolayev.com/"><span class="CEURVOLEDITOR">Vadim Ermolayev</span></a> *<br>
   <span class="CEURVOLEDITOR">Heinrich C. Mayr</span>  **<br>
   <span class="CEURVOLEDITOR">Mykola Nikitchenko</span>  ***<br>
   <span class="CEURVOLEDITOR">Aleksander Spivakovsky</span>  ****<br>
   <span class="CEURVOLEDITOR">Grygoriy Zholtkevych</span>  *****<br>
   <span class="CEURVOLEDITOR">Mikhail Zavileysky</span>  ******<br>
   <span class="CEURVOLEDITOR">Hennadiy Kravtsov</span>  ****<br>
   <span class="CEURVOLEDITOR">Vitaliy Kobets</span>  ****<br>
   <span class="CEURVOLEDITOR">Vladimir Peschanenko</span>  ****<br>
   
</h3>

* <a href="http://www.znu.edu.ua/">Zaporozhye National University</a>,
  Ukraine<br>
** <a href="http://www.uni-klu.ac.at/">Alpen-Adria-Universitat Klagenfurt</a>,
  Austria<br>
*** <a href="http://www.univ.kiev.ua/">Taras Shevchenko National University of Kyiv</a>,
  Ukraine<br>
**** <a href="http://www.university.kherson.ua/default.aspx?lang=en">Kherson State University</a>,
  Ukraine<br>
***** <a href="http://www.univer.kharkov.ua/en">V. N. Karazin Kharkiv National University</a>,
  Ukraine<br>
****** <a href="http://www.dataart.com/">DataArt Solutions Inc.</a>,
  Russian Federation<br>
  <br>

<hr>

<br><br><br>


<div class="CEURTOC">
<h2> Table of Contents </h2>

<ul>
<li>
<A href="ICTERI-2013-p-I-II-Preface.pdf">Preface</A><BR><BR>
</li>
<li>
<A href="ICTERI-2013-p-III-V-Organization.pdf">Organization</A><BR><BR>
</li>
<li>
<A href="ICTERI-2013-p-VI-Sponsors.pdf">Sponsors</A><BR><BR>
</li>
</ul>


<h3><span class="CEURSESSION">INVITED CONTRIBUTIONS</span></h3>

<ul>

<li><a href="ICTERI-2013-p-002-002-Inv-1.pdf">
<span class="CEURTITLE">The Knowledge-Based Bio-Economy and the "Green Triple-Helix" of Biotechnology, Synthetic Biology  and ICT</span></a> 
<span class="CEURPAGES">2</span> <br>
<span class="CEURAUTHORS">Wolf-Ekkehard Matzke</span>
</li>

<li><a href="ICTERI-2013-p-003-003-Inv-2.pdf">
<span class="CEURTITLE">A Movement of Higher Education Institutions to Consortiums of Institutions Banding Together to Create a Position of Strength</span></a> 
<span class="CEURPAGES">3</span> <br>
<span class="CEURAUTHORS">Gary L. Pratt</span>
</li>

<li><a href="ICTERI-2013-p-004-015-Inv-3.pdf">
<span class="CEURTITLE">General Theory of Interaction and Cognitive Architectures</span></a> 
<span class="CEURPAGES">4-15</span> <br>
<span class="CEURAUTHORS">Alexander Letichevsky</span>
</li>
</ul>

<h3> PART I: MAIN ICTERI CONFERENCE </h3>

<h3><span class="CEURSESSION">I.I ICT Infrastructures, Integration and Interoperability</span></h3>

<ul>
<li><a href="ICTERI-2013-p-018-029.pdf">
<span class="CEURTITLE">Wireframe Model for Simulating Quantum Information Processing Systems</span></a> 
<span class="CEURPAGES">18-29</span> <br>
<span class="CEURAUTHORS">Mizal Alobaidi, Andriy Batyiv, Grygoriy Zholtkevych</span>
</li>

<li><a href="ICTERI-2013-p-030-037.pdf">
<span class="CEURTITLE">Modeling, Algorithms and Implementation of the Microcontroller Control 
System for the Ion Beam Forming Process for Nanostructures Etching</span></a> 
<span class="CEURPAGES">30-37</span> <br>
<span class="CEURAUTHORS">Aleksandr Ralo, Andrii Derevianko, Aleksandr Kropotov, Sergiy Styervoyedov, Oleksiy Voz</span>
</li>

<li><a href="ICTERI-2013-p-038-046.pdf">
<span class="CEURTITLE">Using Algebra-Algorithmic and Term Rewriting Tools for Developing 
Efficient Parallel Programs</span></a> 
<span class="CEURPAGES">38-46</span> <br>
<span class="CEURAUTHORS">Anatoliy Doroshenko, Kostiantyn Zhereb, Olena Yatsenko</span>
</li>
</ul>

<h3><span class="CEURSESSION">I.II Machine Intelligence, Knowledge Engineering and Management for ICT</span></h3>

<ul>
<li><a href="ICTERI-2013-p-048-063.pdf">
<span class="CEURTITLE">An Intelligent Approach to Increase Efficiency of IT-Service Management 
Systems: University Case-Study</span></a> 
<span class="CEURPAGES">48-63</span> <br>
<span class="CEURAUTHORS">Nikolay Tkachuk, Vladyslav Sokol, Kateryna Glukhovtsova</span>
</li>

<li><a href="ICTERI-2013-p-064-078.pdf">
<span class="CEURTITLE">Refining an Ontology by Learning Stakeholder Votes from their Texts</span></a> 
<span class="CEURPAGES">64-78</span> <br>
<span class="CEURAUTHORS">Olga Tatarintseva, Vadim Ermolayev</span>
</li>

<li><a href="ICTERI-2013-p-079-090.pdf">
<span class="CEURTITLE">Answering Conjunctive Queries over a Temporally-Ordered Finite 
Sequence of ABoxes sharing one TBox</span></a> 
<span class="CEURPAGES">79-90</span> <br>
<span class="CEURAUTHORS">Natalya G. Keberle</span>
</li>

<li><a href="ICTERI-2013-p-091-098.pdf">
<span class="CEURTITLE">An Adaptive Forecasting of Nonlinear Nonstationary Time Series 
under Short Learning Samples</span></a> 
<span class="CEURPAGES">91-98</span> <br>
<span class="CEURAUTHORS">Elena Mantula, Vladimir Mashtalir</span>
</li>

<li><a href="ICTERI-2013-p-099-107.pdf">
<span class="CEURTITLE">Application of an Instance Migration Solution  to Industrial Ontologies</span></a> 
<span class="CEURPAGES">99-107</span> <br>
<span class="CEURAUTHORS">Maxim Davidovsky, Vadim Ermolayev, Vyacheslav Tolok</span>
</li>

<li><a href="ICTERI-2013-p-108-116.pdf">
<span class="CEURTITLE">Extracting Knowledge Tokens from Text Streams</span></a> 
<span class="CEURPAGES">108-116</span> <br>
<span class="CEURAUTHORS">Eugene Alferov, Vadim Ermolayev</span>
</li>
</ul>

<h3><span class="CEURSESSION">I.III Model-Based Software System Development</span></h3>

<ul>
<li><a href="ICTERI-2013-p-118-129.pdf">
<span class="CEURTITLE">Use of Neural Networks for Monitoring Beam Spectrum of Industrial 
Electron Accelerators</span></a>
<span class="CEURPAGES">118-129</span> <br>
<span class="CEURAUTHORS">Oleksandr Baiev, Valentine Lazurik, Ievgen Didenko</span>
</li>

<li><a href="ICTERI-2013-p-130-145.pdf">
<span class="CEURTITLE">Lazy Parallel Synchronous Composition of Infinite Transition Systems</span></a>
<span class="CEURPAGES">130-145</span> <br>
<span class="CEURAUTHORS">Yuliia Romenska, Frederic Mallet</span>
</li>

<li><a href="ICTERI-2013-p-146-162.pdf">
<span class="CEURTITLE">Selecting Mathematical Software for Dependability Assessment 
of Computer Systems Described by Stiff Markov Chains</span></a>
<span class="CEURPAGES">146-162</span> <br>
<span class="CEURAUTHORS">Vyacheslav Kharchenko, Oleg Odarushchenko, Valentina Odarushchenko, Peter Popov</span>
</li>

<li><a href="ICTERI-2013-p-163-177.pdf">
<span class="CEURTITLE">Asymptotical Information Bound of Consecutive Qubit Binary Testing</span></a>
<span class="CEURPAGES">163-177</span> <br>
<span class="CEURAUTHORS">Anastasiia Varava, Grygoriy Zholtkevych</span>
</li>

<li><a href="ICTERI-2013-p-178-186.pdf">
<span class="CEURTITLE">A Data Transfer Model of Computer-Aided Vehicle Traffic Coordination System for the Rail Transport in Ukraine</span></a>
<span class="CEURPAGES">178-186</span> <br>
<span class="CEURAUTHORS">Denis B. Arkatov</span>
</li>

<li><a href="ICTERI-2013-p-187-193.pdf">
<span class="CEURTITLE">Quantitative Estimation of Competency as a Fuzzy Set</span></a>
<span class="CEURPAGES">187-193</span> <br>
<span class="CEURAUTHORS">Leonid Vasylevych, Ivan Iurtyn</span>
</li>
</ul>

<h3><span class="CEURSESSION">I.IV Methodological and Didactical Aspects of Teaching ICT 
and Using ICT in Education</span></h3>

<ul>
<li><a href="ICTERI-2013-p-195-208.pdf">
<span class="CEURTITLE">New Approaches of Teaching ICT to Meet Educational Needs of Net Students Generation</span></a>
<span class="CEURPAGES">195-208</span> <br>
<span class="CEURAUTHORS">Nataliya Kushnir, Anna Manzhula, Nataliya Valko</span>
</li>

<li><a href="ICTERI-2013-p-209-220.pdf">
<span class="CEURTITLE">Pedagogical Diagnostics with Use of Computer Technologies</span></a>
<span class="CEURPAGES">209-220</span> <br>
<span class="CEURAUTHORS">Lyudmyla Bilousova, Oleksandr Kolgatin, Larisa Kolgatina</span>
</li>

<li><a href="ICTERI-2013-p-221-235.pdf">
<span class="CEURTITLE">The Use of Distributed Version Control Systems in Advanced Programming Courses</span></a>
<span class="CEURPAGES">221-235</span> <br>
<span class="CEURAUTHORS">Michael Cochez, Ville Isomottonen, Ville Tirronen, Jonne Itkonen</span>
</li>

<li><a href="ICTERI-2013-p-236-251.pdf">
<span class="CEURTITLE">Comparative Analysis of Learning in Three-Subjective Didactic Model</span></a>
<span class="CEURPAGES">236-251</span> <br>
<span class="CEURAUTHORS">Aleksander Spivakovskiy, Lyubov Petukhova, Evgeniya Spivakovska,
Vera Kotkova, Hennadiy Kravtsov</span>
</li>

<li><a href="ICTERI-2013-p-252-263.pdf">
<span class="CEURTITLE">Conception of Programs Factory for Representing  and E-Learning Disciplines of Software Engineering</span></a>
<span class="CEURPAGES">252-263</span> <br>
<span class="CEURAUTHORS">Ekaterina Lavrischeva, Artem Dzyubenko, Andrey Aronov</span>
</li>

<li><a href="ICTERI-2013-p-264-272.pdf">
<span class="CEURTITLE">Public Information Environment of a Modern University</span></a>
<span class="CEURPAGES">264-272</span> <br>
<span class="CEURAUTHORS">Natalia Morze, Olena Kuzminska, Galina Protsenko</span>
</li> 

<li><a href="ICTERI-2013-p-273-280.pdf">
<span class="CEURTITLE">Designing Massive Open Online Courses</span></a>
<span class="CEURPAGES">273-280</span> <br>
<span class="CEURAUTHORS">Vladimir Kukharenko</span>
</li>

<li><a href="ICTERI-2013-p-281-287.pdf">
<span class="CEURTITLE">The Role of Informatization in the Change of Higher School Tasks: the Impact on the Professional Teacher Competences</span></a>
<span class="CEURPAGES">281-287</span> <br>
<span class="CEURAUTHORS">Dmitry Bodnenko</span>
</li>
</ul>

<h3><span class="CEURSESSION">I.V ICTERI Tutorials</span></h3>

<ul>
<li><a href="ICTERI-2013-p-289-294-T1.pdf">
<span class="CEURTITLE">UML Profile for MARTE: Time Model and CCSL</span></a>
<span class="CEURPAGES">289-294</span> <br>
<span class="CEURAUTHORS">Frederic Mallet</span>
</li>

<li><a href="ICTERI-2013-p-295-306-T2.pdf">
<span class="CEURTITLE">Ontology Alignment and Applications in 90 Minutes</span></a>
<span class="CEURPAGES">295-306</span> <br>
<span class="CEURAUTHORS">Vadim Ermolayev, Maxim Davidovsky</span>
</li>
</ul>

<h2> PART II: ICTERI WORKSHOPS </h2>

<h3><span class="CEURSESSION">II.I 2nd International Workshop on Information Technologies in Economic Research (ITER 2013)</span></h3>

<ul>
<li>
<A href="ICTERI-2013-p-309-310-ITER-Foreword.pdf">ITER Foreword</A><BR><BR>
</li>

<li><a href="ICTERI-2013-p-311-328-ITER.pdf">
<span class="CEURTITLE">Binary Quasi Equidistant and Reflected Codes in Mixed Numeration Systems</span></a>
<span class="CEURPAGES">311-328</span> <br>
<span class="CEURAUTHORS">Evgeny Beletsky, Anatoly Beletsky</span>
</li>

<li><a href="ICTERI-2013-p-329-338-ITER.pdf">
<span class="CEURTITLE">Mechanism Design for Foreign Producers of Unique Homogeneity Product</span></a>
<span class="CEURPAGES">329-338</span> <br>
<span class="CEURAUTHORS">Vitaliy Kobets</span>
</li>

<li><a href="ICTERI-2013-p-339-351-ITER.pdf">
<span class="CEURTITLE">Features of National Welfare Innovative Potential Parametric Indication Information-Analytical Tools System in the Globalization Trends' Context</span></a>
<span class="CEURPAGES">339-351</span> <br>
<span class="CEURAUTHORS">Elena Lazareva</span>
</li>

<li><a href="ICTERI-2013-p-352-359-ITER.pdf">
<span class="CEURTITLE">Matrix Analogues of the Diffie-Hellman Protocol</span></a>
<span class="CEURPAGES">352-359</span> <br>
<span class="CEURAUTHORS">Alexsander Beletsky, Anatoly Beletsky, Roman Kandyba</span>
</li>

<li><a href="ICTERI-2013-p-360-365-ITER.pdf">
<span class="CEURTITLE">Are Securities Secure: Study of the Influence of the International 
Debt Securities on the Economic Growth</span></a>
<span class="CEURPAGES">360-365</span> <br>
<span class="CEURAUTHORS">Darya Bonda, Sergey Mazol</span>
</li>

<li><a href="ICTERI-2013-p-366-373-ITER.pdf">
<span class="CEURTITLE">How to Make High-tech Industry Highly Developed? Effective Model 
of National R&D Investment Policy</span></a>
<span class="CEURPAGES">366-373</span> <br>
<span class="CEURAUTHORS">Oksana Moiseeva, Sergey Mazol</span>
</li>

<li><a href="ICTERI-2013-p-374-384-ITER.pdf">
<span class="CEURTITLE">Econometric Analysis on the Site "Lesson Pulse"</span></a>
<span class="CEURPAGES">374-384</span> <br>
<span class="CEURAUTHORS">Alexander J. Weissblut</span>
</li>

<li><a href="ICTERI-2013-p-385-392-ITER.pdf">
<span class="CEURTITLE">Decision Supporting Procedure for Strategic Planning: DEA Implementation for Regional Economy Efficiency Estimation</span></a>
<span class="CEURPAGES">385-392</span> <br>
<span class="CEURAUTHORS">Karine Mesropyan</span>
</li>

<li><a href="ICTERI-2013-p-393-400-ITER.pdf">
<span class="CEURTITLE">Applying of Fuzzy Logic Modeling for the Assessment of ERP Projects Efficiency</span></a>
<span class="CEURPAGES">393-400</span> <br>
<span class="CEURAUTHORS">Andriy Semenyuk</span>
</li>

<li><a href="ICTERI-2013-p-401-408-ITER.pdf">
<span class="CEURTITLE">Mathematical Model of Banking Firm as Tool for Analysis, Management and Learning</span></a>
<span class="CEURPAGES">401-408</span> <br>
<span class="CEURAUTHORS">Victor Selyutin, Margarita Rudenko</span>
</li>
</ul>

<h3><span class="CEURSESSION">II.II 1st International Workshop on Methods and Resources of Distance Learning (MRDL 2013)</span></h3>

<ul>
<li>
<A href="ICTERI-2013-p-410-410-MRDL-Foreword.pdf">MRDL Foreword</A><BR><BR>
</li>

<li><a href="ICTERI-2013-p-411-423-MRDL.pdf">
<span class="CEURTITLE">What Should be E-Learning Course for Smart Education</span></a>
<span class="CEURPAGES">411-423</span> <br>
<span class="CEURAUTHORS">Natalia V. Morze, Olena G. Glazunova</span>
</li>

<li><a href="ICTERI-2013-p-424-435-MRDL.pdf">
<span class="CEURTITLE">TIO - a Software Toolset for Mobile Learning in MINT Disciplines</span></a>
<span class="CEURPAGES">424-435</span> <br>
<span class="CEURAUTHORS">Daniel Sitzmann, Dietmar P.F. M&ouml;ller, Karsten Becker, Harald Richter</span>
</li>

<li><a href="ICTERI-2013-p-436-445-MRDL.pdf">
<span class="CEURTITLE">Holistic Approach to Training of ICT Skilled Educational Personnel</span></a>
<span class="CEURPAGES">436-445</span> <br>
<span class="CEURAUTHORS">Mariya Shyshkina</span>
</li>
</ul>

<h3><span class="CEURSESSION">II.III 2nd International Workshop on Algebraic, Logical, and Algorithmic Methods of System Modeling, Specification and Verification (SMSV 2013)</span></h3>

<ul>
<li>
<A href="ICTERI-2013-p-447-447-SMSV-Foreword.pdf">SMSV Foreword</A><BR><BR>
</li>

<li><a href="ICTERI-2013-p-448-463-SMSV.pdf">
<span class="CEURTITLE">An Abstract Block Formalism for Engineering Systems</span></a> 
<span class="CEURPAGES">448-463</span> <br>
<span class="CEURAUTHORS">Ievgen Ivanov</span>
</li>

<li><a href="ICTERI-2013-p-464-474-SMSV.pdf">
<span class="CEURTITLE">Multilevel Environments in Insertion Modeling System</span></a> 
<span class="CEURPAGES">464-474</span> <br>
<span class="CEURAUTHORS">Dmitriy M. Klionov</span>
</li>

<li><a href="ICTERI-2013-p-475-489-SMSV.pdf">
<span class="CEURTITLE">Clocks Model for Specification and Analysis of Timing in Real-Time Embedded Systems</span></a> 
<span class="CEURPAGES">475-489</span> <br>
<span class="CEURAUTHORS">Iryna Zaretska, Galyna Zholtkevych, Grygoriy Zholtkevych, Frederic Mallet</span>
</li>

<li><a href="ICTERI-2013-p-490-505-SMSV.pdf">
<span class="CEURTITLE">Specializations and Symbolic Modeling</span></a> 
<span class="CEURPAGES">490-505</span> <br>
<span class="CEURAUTHORS">Vladimir Peschanenko, Anton Guba, Constantin Shushpanov</span>
</li>

<li><a href="ICTERI-2013-p-506-520-SMSV.pdf">
<span class="CEURTITLE">On a Dynamic Logic for Graph Rewriting</span></a> 
<span class="CEURPAGES">506-520</span> <br>
<span class="CEURAUTHORS">Mathias Winckel, Ralph Matthes</span>
</li>

<li><a href="ICTERI-2013-p-521-532-SMSV.pdf">
<span class="CEURTITLE">Logical Foundations for Reasoning about Transformations of Knowledge Bases
</span></a> 
<span class="CEURPAGES">521-532</span> <br>
<span class="CEURAUTHORS">Mohamed Chaabani, Rachid Echahed, Martin Strecker</span>
</li>

<li><a href="ICTERI-2013-p-533-549-SMSV.pdf">
<span class="CEURTITLE">Program Algebras with Monotone Floyd-Hoare Composition</span></a> 
<span class="CEURPAGES">533-549</span> <br>
<span class="CEURAUTHORS">Andrii Kryvolap, Mykola Nikitchenko, Wolfgang Schreiner</span>
</li>

<li><a href="ICTERI-2013-p-550-564-SMSV.pdf">
<span class="CEURTITLE">A Formal Model of Resource Sharing Conicts in Multithreaded Java</span></a> 
<span class="CEURPAGES">550-564</span> <br>
<span class="CEURAUTHORS">Nadezhda Baklanova, Martin Strecker</span>
</li>

<li><a href="ICTERI-2013-p-565-572-SMSV.pdf">
<span class="CEURTITLE">Implementation of Propagation-Based Constraint Solver in IMS</span></a> 
<span class="CEURPAGES">565-572</span> <br>
<span class="CEURAUTHORS">Igor Ol. Blinov</span>
</li>

<li><a href="ICTERI-2013-p-573-581-SMSV.pdf">
<span class="CEURTITLE">UniTESK: Component Model Based Testing</span></a> 
<span class="CEURPAGES">573-581</span> <br>
<span class="CEURAUTHORS">Alexander K. Petrenko, Victor Kuliamin, Andrey Maksimov</span>
</li>

<li><a href="ICTERI-2013-p-582-589-SMSV.pdf">
<span class="CEURTITLE">Protoautomata as Models of Systems with Data Accumulation</span></a> 
<span class="CEURPAGES">582-589</span> <br>
<span class="CEURAUTHORS">Irina Mikhailova, Boris Novikov, Grygoriy Zholtkevych</span>
</li>

<li><a href="ICTERI-2013-p-590-594-SMSV.pdf">
<span class="CEURTITLE">Models of Class Specification Intersection of Object-Oriented Programming</span></a> 
<span class="CEURPAGES">590-594</span> <br>
<span class="CEURAUTHORS">Dmitriy Buy, Serhiy Kompan</span>
</li>
</ul>

<ul>
<li>
<A href="ICTERI-2013-p-595-597-AuthorIndex.pdf">AUTHOR INDEX</A><BR><BR>
</li>
<li>
<A href="ICTERI-2013-CEUR-WS-Volume.pdf">Proceedings in a Single File</A><BR><BR>
</li>
</ul>



</div>


<hr>
<font color="#777777" size="-1">
12-Jun-2013: submitted by Vadim Ermolayev<br>
<span class="CEURPUBDATE">13-Jun-2013</span>: published on CEUR-WS.org
</font>
</body></html>
