ICT in Education, Research, and Industrial Applications PDF Download

Author: Vadim Ermolayev
Publisher: Springer
ISBN: 3642357377
Category : Computers
Languages : en
Pages : 257

View

Book Description
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 abstraction and verification of properties in real-time Java programs. The rest of the volume is structured in four topical parts: ICT Frameworks, Infrastructures, Integration, and Deployment; Formal Logic and Knowledge-Based Frameworks; ICT-Based Systems Modeling, Specification, and Verification: ICT in Teaching and Learning.

Author: Nick Bassiliades
Publisher: Springer
ISBN: 3319761684
Category : Education
Languages : en
Pages : 264

View

Book Description
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 following topical sections: modeling and theoretical frameworks; ICT in teaching, learning, and education management; and ICT evaluation and applications.

Author: Vadim Ermolayev
Publisher: Springer Nature
ISBN: 303120834X
Category : Education
Languages : en
Pages : 281

View

Book Description
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 28–October 2, 2021. The 12 full papers were included in this book were carefully reviewed and selected from 24 submissions. They were organized in topical sections as follows: The Fundamentals of ICT; Natural Language Processing for the Ukrainian Language; The Applications of Novel ICT; and ICT in Teaching and Learning.

Author: Athula Ginige
Publisher: Springer
ISBN: 3319699652
Category : Education
Languages : en
Pages : 208

View

Book Description
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 paper; advances in ICT research; ICT in education.

Author: Vitaliy Yakovyna
Publisher: Springer
ISBN: 3319302469
Category : Education
Languages : en
Pages : 165

View

Book Description
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 frameworks.

Author: Andreas Bollin
Publisher: Springer Nature
ISBN: 3030775925
Category : Education
Languages : en
Pages : 191

View

Book Description
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 Kherson, Ukraine, in October 2020. Due to the COVID-19 pandemic the conference was held online. The 8 revised full papers included in this volume were carefully reviewed and selected from 347 initial submissions. The papers are organized in the following topical sections: ICT in education; ICT in research and industry.

Author: Grigoris Antoniou
Publisher: Springer Nature
ISBN: 3031483251
Category :
Languages : en
Pages : 373

View

Book Description

Author: Vadim Ermolayev
Publisher: Springer
ISBN: 3319039989
Category : Education
Languages : en
Pages : 391

View

Book Description
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.

Author: Michael E. Auer
Publisher: Springer
ISBN: 3319732102
Category : Technology & Engineering
Languages : en
Pages : 981

View

Book Description
This book gathers the Proceedings of the 20th International Conference on Interactive Collaborative Learning (ICL2017), held in Budapest, Hungary on 27–29 September 2017. The authors are currently witnessing a significant transformation in the development of education. The impact of globalisation on all areas of human life, the exponential acceleration of technological developments and global markets, and the need for flexibility and agility are essential and challenging elements of this process that have to be tackled in general, but especially in engineering education. To face these current real-world challenges, higher education has to find innovative ways to quickly respond to them. Since its inception in 1998, this conference has been devoted to new approaches in learning with a focus on collaborative learning. Today the ICL conferences offer a forum for exchange concerning relevant trends and research results, and for sharing practical experience gained while developing and testing elements of new technologies and pedagogies in the learning context.

Author: Doroshenko, Anatoliy
Publisher: IGI Global
ISBN: 1522593861
Category : Computers
Languages : en
Pages : 279

View

Book Description
Emerging scientific and industrial applications in today’s world require significant computing power. Modern software tools are available for such platforms but are relatively complex and require the use of innovative programming models. One promising area in modern software design is the development, analysis, and implementation of algorithms and adaptive methods. These advancements in programming are promising but lack relevant research and understanding. Formal and Adaptive Methods for Automation of Parallel Programs Construction: Emerging Research and Opportunities is an essential reference source that solves the problem of the development of efficient models, methods, and tools for parallel programming automation based on the algebra of algorithms, term rewriting, and auto-tuning paradigms. The results of this book will help to further develop and improve existing research on design, synthesis, and optimization of sequential and parallel algorithms and programs. Featuring research on topics such as auto-tuning methods, graphics processing, and algorithmic language, this book is ideally designed for mathematicians, software engineers, data scientists, researchers, academicians, and students seeking coverage on developing tools for automated design and parallel programs.