default search action
ICTERI 2013: Kherson, Ukraine
- Vadim Ermolayev, Heinrich C. Mayr, Mykola S. Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych, Mikhail Zavileysky, Hennadiy Kravtsov, Vitaliy Kobets, Vladimir S. Peschanenko:
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 Workshop Proceedings 1000, CEUR-WS.org 2013
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 - Eugene Alferov, Vadim Ermolayev:
Extracting Knowledge Tokens from Text Streams. 108-116
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 - Leonid Vasylevych, Ivan Iurtyn:
Quantitative Estimation of Competency as a Fuzzy Set. 187-193
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 V. 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 - Vadim Ermolayev, Maxim Davidovsky:
Ontology Alignment and Applications in 90 Minutes. 295-306
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)
- Natalia V. Morze, Olena G. Glazunova:
What Should be E-Learning Course for Smart Education. 411-423 - 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 - Mathias Winckel, Ralph Matthes:
On a Dynamic Logic for Graph Rewriting. 506-520 - Mohamed Chaabani, Rachid Echahed, Martin Strecker:
Logical Foundations for Reasoning about Transformations of Knowledge Bases. 521-532 - Andrii Kryvolap, Mykola S. 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
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.
last updated on 2024-11-20 21:06 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: