"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 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 ..."
"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 contains extended versions of the best papers presented at the 14th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2018, held in Kyiv, Ukraine, in May 2018.The 14 revised full papers included in this volume along with one invited full paper were carefully reviewed and selected from 257 initial submissions. The papers are organized in the follow ..."
"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 ..."
"210 Olena Kuzminska, Mariia Mazorchuk, Nataliia Morze, and Oleg Kobylin
Complexity Theory and Dynamic Characteristics of Cognitive Processes . . . . 231
Vladimir Soloviev, Natalia Moiseienko, and Olena Tarasova Applications of ICT
in ..."
"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
..."
"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 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 revised selected papers from the 17th International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics, CIBB 2021, which was held virtually during November 1517, 2021."