"This book constitutes the refereed proceedings of the 8th International Conference on ICT in Education, Research, and Industrial Applications, held in Kherson, Ukraine, in June 2012. The 14 revised full papers were carefully reviewed and selected from 70 submissions. This book begins with an invited contribution presenting the substance of one of ICTERI 2012 invited talks. The chapter deals with the issues of ..."
"This book constitutes the thoroughly refereed proceedings of the 11th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2015, held in Lviv, Ukraine, in May 2015. The 9 revised full papers presented were carefully reviewed and selected from 119 submissions. The papers are grouped into two parts: ICT in education and industrial applications, and formal fram ..."
"This book constitutes the thoroughly refereed proceedings of the 12th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2016, held in Kyiv, Ukraine, in June 2016. The 10 revised full papers presented together with one invited keynote paper were carefully reviewed and selected from 122 submissions. The papers are grouped into topical sections on invited pape ..."
"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 ..."
"This book constitutes the thoroughly refereed proceedings of the 10th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, held in Kherson, Ukraine, in June 2014. The 16 revised full papers presented were carefully reviewed and selected from 66 submissions. The papers are organized in topical sections on framework and tools; information and communication technologies ..."
"The 21 full papers included in this volume were carefully reviewed and selected from 90 submissions. The volume focuses on research advances in ICT, business or academic applications of ICT, and design and deployment of ICT infrastructures."
"This book contains extended versions of the best papers presented at the 13th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2017, held in Kyiv, Ukraine, in ..."
"... Nikitchenko, Grygoriy Zholtkevych, Aleksander Spivakovskiy. The Internet of
Things – Technical Challenges for Interoperability Sandra Stinćić Clarke(&), John
Davies, and Mike Fisher BT Group Plc., Ipswich, UK {sandra.stincic,john.nj.davies
..."
"Editors Vitaliy Yakovyna Lviv Polytechnic National University Lviv Ukraine
Heinrich C. Mayr Institute of Applied Informatics ... V.N. Karazin Kharkiv National
University Kharkiv Ukraine Aleksander Spivakovsky Kherson State University
Kherson Ukraine Sotiris Batsakis ... The use of general descriptive names,
registered names, trademarks, service marks, etc. in this publication does not
imply, even in the ..."
"100 Grygoriy Zholtkevych, Boris Novikov, and Volodymyr Dorozhinsky On
Algebraic Properties of Nominative Data and Functions . . . . . . . . . . . . . 117
Volodymyr G. Skobelev, Mykola Nikitchenko, and Ievgen Ivanov TuningGenie:
Auto-Tuning Framework Based on Rewriting Rules . . . . . . . . 139 Pavlo A.
Ivanenko, Anatoliy Y. Doroshenko, and Kostiantyn A. Zhereb ICT in Teaching and
Learning A Demo Processor as an Educational Tool. . ..."
"Kharchenko, V., Timonkin, G., Sychev, V.: Fundamentals of Design and
Constructions the Automated Systems for Aircraft ... Methods for Stiff Equations
and Singular Perturbation Problems, Dordrecht, Holland (1981) Kharchenko, V.,
Popov, P., ... (6 part), Functional Safety of Electrical/Electronic/Programmable
Electronic Safety-Related Systems (2010) Kharchenko, V., Sklyar, V., Volkoviy, A.
: Development and Verification of Dependable ..."
"8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012,
Revised Selected Papers Vadim Ermolayev, ... Therefore we first should
construct an interpretation in which types are disjoint. This can be formalized by
the following notion: a sort interpretation mapping I *:S→ T is called type-disjoint
if for every s1, s2 e S, s1 = so we have that IS (S1) O IS (s2) = 2). ... S, #), #: V → S
, I:S→Tc, to = I ag, I' be an ..."
"This book contains extended versions of the best papers presented at the 13th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2017, held in Kyiv, Ukraine, in May 2017.The 11 revised full papers included in this volume were carefully reviewed and selected from 151 initial submissions during several rounds of reviewing. The papers are organized in the follo ..."
"This book constitutes the refereed proceedings of the 17th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2021, held in Kherson, Ukraine, during September ..."
"... Grygoriy Zholtkevych. Organization. General Chair Aleksander Spivakovsky Kherson State University, Ukraine Steering Committee Vadim Ermolayev Heinrich C. Mayr Mykola Nikitchenko Zaporizhzhia National University, Ukraine Universität ..."
"This book contains revised and extended versions of the best papers presented at the 16th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2020, held in ..."