Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDICTERI 2012: Kherson, Ukraine
- Vadim Ermolayev, Heinrich C. Mayr, Mykola S. Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych, Mikhail Zavileysky, Vitaliy Kobets:
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 Workshop Proceedings 848, CEUR-WS.org 2012
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 - Iryna Zaretska, Maryna Besedina:
Maintainability Metrics of UML Design. 96-101 - 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 - Vladyslav Kruglyk, Michael Lvov:
Choosing the First Educational Programming Language. 188-198 - 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 - Natalya Keberle, Ivan V. Utkin:
Teaching Conceptual Modeling in ER: Chen Worlds. 222-227 - 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 - Mykola S. Nikitchenko, Stepan 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
a service of 
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-04-25 22:05 CEST 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:
