Return to home page
Searching: Muskingum library catalog
Some OPAL libraries remain closed or are operating at reduced service levels. Materials from those libraries may not be requestable; requested items may take longer to arrive. Note that pickup procedures may differ between libraries. Please contact your library for new procedures, specific requests, or other assistance.
  Previous Record Previous Item Next Item Next Record
  Reviews, Summaries, etc...
Conference ICTERI (Conference) (9th : 2013 : Kherson, Ukraine)
Title Information and communication technologies in education, research, and industrial applications : 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, revised selected papers / Vadim Ermolayev, Heirich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych (eds.).
Imprint Cham : Springer International Publishing : Imprint : Springer, 2013.

View online
View online
Conference ICTERI (Conference) (9th : 2013 : Kherson, Ukraine)
Series Communications in computer and information science, 1865-0929 ; 412
Communications in computer and information science ; 412. 1865-0929
Subject Education -- Data processing -- Congresses.
Computer science.
Software engineering.
Logic design.
Artificial intelligence.
Educational Technology.
Computing Methodologies -- education.
Computing Methodologies.
Knowledge Management.
Alt Name Ermolayev, Vadim,
Mayr, H. C. (Heinrich Christian),
Nikitchenko, Mykola,
Spivakovsky, Aleksander,
Zholtkevych, Grygoriy,
Description 1 online resource (xii, 379 pages) : illustrations.
Bibliography Note Includes bibliographical references and index.
Contents Systems, infrastructures, and integration -- Semantics, knowledge engineering and management -- ICT in teaching methodologies and didactics -- Model-driven software development and verification.
Availability Assessment of Computer Systems Described by Stiff Markov Chains: Case Study / Vyacheslav Kharchenko, Oleg Odarushchenko, Valentina Odarushchenko and Peter Popov -- Semantics, Knowledge Engineering and Management. Quantifying Ontology Fitness in OntoElect Using Saturation- and Vote-Based Metrics / Olga Tatarintseva, Vadim Ermolayev, Brita Keller and Wolf-Ekkehard Matzke -- Evaluation of the Ontology Instance Migration Methodology and Solution in Industrial Settings / Maxim Davidovsky, Vadim Ermolayev and Vyacheslav Tolok -- Two Semantic Models for Clock Relations in the Clock Constraint Specification Language / Grygoriy Zholtkevych, Frederic Mallet, Iryna Zaretska and Galyna Zholtkevych -- ICT in Teaching Methodologies and Didactics. How Do Computer Science Students Use Distributed Version Control Systems? / Michael Cochez, Ville Isomottonen, Ville Tirronen and Jonne Itkonen.
Invited Contributions. Biotechnology, Synthetic Biology, and ICT Define the Emerging Knowledge-Based Bio-Economy / Wolf-Ekkehard Matzke -- Theory of Interaction, Insertion Modeling, and Cognitive Architectures / Alexander Letichevsky -- From Collegial to Collaborative -- A Model for Building Trust and Partnership in Information Technology / Gary L. Pratt -- Systems, Infrastructures, and Integration. An Integrated Development Framework for Advanced IT-Service Management: Proof-of-Concept Project in Universities Domain / Nikolay Tkachuk, Vladyslav Sokol and Kateryna Glukhovtsova -- Developing and Optimizing Parallel Programs with Algebra-Algorithmic and Term Rewriting Tools / Anatoliy Doroshenko, Kostiantyn Zhereb and Olena Yatsenko -- Asymptotical Information Bound of Consecutive Qubit Binary Testing / Anastasiia Varava and Grygoriy Zholtkevych.
Bridging the Generation Gap in ICT Education / Nataliya Kushnir, Anna Manzhula and Nataliya Valko -- Three-Subjective Didactic Model / Aleksander Spivakovsky, Lyubov Petukhova, Evgeniya Spivakovska [and others] -- Emerging Technologies for Training of ICT-Skilled Educational Personnel / Mariya Shyshkina -- Model-Driven Software Development and Verification. Improving the Efficiency of Synchronized Product with Infinite Transition Systems / Yuliia Romenska and Frederic Mallet -- On Existence of Total Input-Output Pairs of Abstract Time Systems / Ievgen Ivanov -- Specializations in Symbolic Verification / Vladimir Peschanenko, Anton Guba and Constantin Shushpanov -- Extending Floyd-Hoare Logic for Partial Pre- and Postconditions / Andrii Kryvolap, Mykola Nikitchenko and Wolfgang Schreiner.
Summary This book constitutes the thoroughly refereed proceedings of the 9th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, held in Kherson, Ukraine, in June 2013. The 18 revised full papers presented were carefully reviewed and selected from 125 submissions. The papers are organized in topical sections on systems, infrastructures, and integration; semantics, knowledge engineering and management; ICT in teaching methodologies and didactics; model-driven software development and verification.
ISBN 9783319039985 (electronic bk.)
3319039989 (electronic bk.)
3319039970 (print)
9783319039978 (print)
ISBN/ISSN 10.1007/978-3-319-03998-5
OCLC # 868638907
Additional Format Printed edition: 9783319039978

If you experience difficulty accessing or navigating this content, please contact the OPAL Support Team