ICTERI 2012: Kherson, Ukraine
Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych, Mikhail Zavileysky, Vitaliy Kobets (Eds.): Proceedings of the 8th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, Kherson, Ukraine, June 6-10, 2012. CEUR-WS.org 2012 CEUR Workshop Proceedings 848
Invited Talks
- Grigoris Antoniou: Formal Foundations for RDF Evolution and Repair. 12
- Martin Strecker: Abstraction and Verification of Properties of a Real-Time Java. 13
I.II Knowledge Based and Decision Support Systems. Papers invited from UNISCON 2012
- Maxim Davidovsky, Vadim Ermolayev, Vyacheslav Tolok: An Implementation of Agent-Based Ontology Alignment. 15
I.III ICT in Research, Industrial Deployment, and Knowledge Transfer
- Mizal Alobaidi, Andriy Batyiv, Grygoriy Zholtkevych: Towards the Notion of an Abstract Quantum Automaton. 17-32
- Iryna Zaretska, Oleksandra Kulankhina, Hlib Mykhailenko, Roman Kovalenko: Checking Inconsistencies in UML Design. 33-43
- Dmytro Kravtsov: Automatic Tests and Practical Tasks Generation in Distance Learning Systems. 44-55
- Mykola S. Nikitchenko, Valentyn G. Tymofieiev: Satisfiability Problem in Composition-Nominative Logics of Quantifier-Equational Level. 56-70
- Alexander A. Letichevsky, Olexander A. Letychevskyi, Vladimir S. Peschanenko: Efficient Algorithm for Reachability Checking in Modeling. 71-81
- Natalya Zadorozhna, Basyl Petrushko, Sergey Tukalo: The Information System as a Tool to Manage R&D at the National Academy of Pedagogical Sciences of Ukraine. 82-95
- Dmitriy M. Klionov: Combinatorial Strand Algebra in Insertion Modeling System. 102-111
- Anatoly E. Doroshenko, Kostiantyn Zhereb: An Approach to Parallelizing Fortran Programs using Rewriting Rules Technique. 112-120
- Aleksander Spivakovsky, Lyudmila Alferova, Eugene Alferov: Conceptualization of University Structure as a Complex Mechanism Serving Educational Interests. 121-127
- Michal Nagy: On the Problem of Multi-Channel Communication. 128-133
- Dmitry Kutetsky, Valentina Gritsyuk: KSU Feedback Service as a Tool for Getting Feedback in Educational Institutions. Perspectives of Use in Government Organizations and Commercial Companies. 134-146
- Olga Cherednichenko, Olga Yangolenko, Iryna Liutenko: Issues of Model-Based Distributed Data Processing: Higher Education Resources Evaluation Case Study. 134-146
- Andrii Kolesnyk, Olga Slabospitskaya: Tested Approach for Variability Management Enhancing in Software Product Line. 155-162
I.IV Methodological and Didactical Aspects of Teaching ICT and Using ICT in Education
- Vadim Ermolayev, Natalya Keberle, Sergey Borue: Motivating Students and Improving Quality of Learning Using Peer-Reviews. 164-175
- Ekaterina Lavrischeva, Alexei Ostrovski, Igor Radetskiy: Approach to E-Learning Fundamental Aspects of Software Engineering. 176-187
- Lyudmila Gavrilova: Creation of Multimedia Guides to the History of Music as a Means to form Professional Competence of Future Music Teachers. 199-206
- Nataliya Kushnir, Anna Manzhula: An Experience of the Creation and Approbation of the Learning Course "NIT and TFE" for Future Teachers. 207-214
- Ganna Lomakovska, Nadiya Omelchenko, Galyna Protsenko: Scientific and Educational Project "IT-OSVITA" as a Part of the Training System of Specialists for the Needs of IT Industry of Ukraine. 215-221
- Inna Khizhnyak: Training of Future Primary School Teachers for Application of ICT at Language Lessons. 228-235
- Tatyana Zaytseva: The Usage of Educational Portal for Distance Learning. 236-242
I.V Advances in Knowledge-Based and Information Systems. Selected ICTERI 2012 papers invited to UNISCON 2012
- Olga Tatarintseva, Yuriy Borue, Vadim Ermolayev: OntoElect Approach for Iterative Ontology Refinement: a Case Study with ICTERI Scope Ontology. 244
- Maxim Davidovsky, Gennadiy Dobrovolsky, Olga Todoriko, Vladimir Davidovsky: An Advanced Active Data Dictionary Based Framework for Flexible Corporate Systems. 245
II.I First International Workshop on Dynamics and Evolution in Intelligent Systems (DEIS)
- Michael Cochez, Vagan Y. Terziyan: Quality of an Ontology as a Dynamic Optimisation Problem. 249-256
II.II First International Workshop on Integration of Information Technologies in Economic Research (ITER)
- Vitaliy Kobets: Direct and Indirect Impact Analysis of Ukrainian Industries on Gross Output and Labor Market in Leontief Model. 259-266
- A. Khristenko, Alexander J. Weissblut: Econometric Analysis of Factors which Determine a Choice of Entrants. 267-272
II.III Workshop on Algebraic, Logical, and Algorithmic Methods of System Modeling, Specification and Verification (SMSV)
- Selma Djeddai, Mohamed Mezghiche, Martin Strecker: A Case Study in Combining Formal Verification and Model-Driven Engineering. 275-289
- Vitaly Klimenko, Alexander V. Lyaletski: Intelligent Testing in Kyiv: Analytical and Deductive Paradigms and their Implementation. 290-295
- M(N). S. Nikitchenko, S. S. Shkilniak: Semantics-based Logics over Hierarchical Nominative Data. 296-311
- Ievgen Ivanov: On Existence of Global-in-Time Trajectories of Non-deterministic Markovian Systems. 312-320
- Stefan Hudák: Verification of Systems: Deadlock Analysis Based on Petri Nets. 321-343
- Jan Baca: Decomposition and Isomorphism of Logical Systems. 344-351
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