You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
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.
Матеріали випуску присвячені питанням теорії та методики навчання математики, фізики, інформатики у середній та вищій школі, теорії та методики навчання фундаментальних дисциплін у вищій школі, теорії та методики електронного навчання та комп’ютерного моделювання в освіті. Для науковців, працівників органів управління освітою, викладачів та студентів закладів вищої освіти, вчителів, для всіх тих, кого цікавлять історія, сучасні підходи до дослідження та тенденції розвитку інформаційно-комунікаційних технологій в освіті.
Матеріали спецвипуску присвячені питанням використання хмарних технологій у відкритій освіті, формування та розвитку хмаро орієнтованого навчального середовища, використанню хмаро орієнтованих систем підтримки навчання, засобам хмарних технологій навчання математики, фізики та інформатики. Для науковців, працівників органів управління освітою, викладачів та студентів вищих навчальних закладів та коледжів, вчителів та аспірантів, для всіх тих, кого цікавлять історія, сучасні підходи до дослідження та тенденції розвитку хмарних технологій в освіті.
Спецвипуск містить матеріали 4-го семінару «Хмарні технології в освіті» СTE 2016, присвячені питанням використання хмарних технологій у відкритій освіті, формування та розвитку хмаро орієнтованого навчального середовища, застосування хмаро орієнтованих систем підтримки навчання, засобам хмарних технологій навчання математики, фізики та інформатики. Для науковців, працівників органів управління освітою, викладачів та студентів закладів вищої освіти та коледжів, вчителів та аспірантів, для всіх тих, кого цікавлять історія, сучасні підходи до дослідження та тенденції розвитку хмарних технологій в освіті.
In recent years, the popularity of virtual worlds has increased significantly and they have consequently come under closer academic scrutiny. Papers about virtual worlds are typically published at conferences or in journals that specialize in something - tirely different, related to some secondary aspect of the research. Thus a paper d- cussing legal aspects of virtual worlds may be published in a law journal, while a psychologist's analysis of situation awareness may appear at a psychology conference. The downside of this is that if you publish a virtual worlds paper at an unrelated conference in this manner you are likely to be one of only a handful of attendees working in the area. You wi...
This book gathers selected high-quality full-text papers presented at the VI International Scientific and Practical Conference on Information Technology for Education, Science and Technics (ITEST 2022). The book deals with issues related to mathematical and computer modeling of physical, chemical, and economic processes, with information security, as well as the use of information and communication technology in scientific research, automation of technological processes, and management of complex systems. In this book, the authors explore various aspects of the development of information technology and systems and its application in education, science, engineering, economics, and management. A part of the book is devoted to the application of information and communication technology in higher education, in particular, the creation and implementation of scientific and educational resources in higher education institutions as part of the process of education digital transformation.
This book explores issues related to information and communication technology in management and higher education, intelligent computing, and information security. In this book, the authors investigate various aspects of information and communication technology and systems, their development and applications in education, science, and management. The authors develop new models, methods, and approaches for digital transformation in management processes including digital project management, intelligent systems, particularly those that deploy artificial intelligence, data protection, and reliability. A part of this book is devoted to the application of information and communication technology in higher education to ensure the process of digital transformation in higher education institutions. The book is of interest to experts in the field of information and communication technology and systems, project managers, scientists, and Ph.D. students.
This book deals with issues related to multi-faceted applications of information and communication technology in research, engineering, robotics, automation of technological processes, complex systems, and computer networks, as well as mathematical and computer modelling of physical, chemical, and economic processes. In this book, the authors explore various aspects of information and communication technology and systems and their integration into science, engineering, automation, and economics. The authors develop new models, methods, and approaches for monitoring and controlling systems, communication networks, artificial intelligence applications, and digital resilience. The book is of interest to experts in the field of information and communication technology and systems, scientists, and Ph.D. students.
This book presents the proceedings of the International Conference on Wireless Intelligent and Distributed Environment for Communication (WIDECOM 2019), sponsored by the University of Milan, Milan, Italy, February 11-13, 2019. The conference deals both with the important core and the specialized issues in the areas of new dependability paradigms design and performance of dependable network computing and mobile systems, as well as issues related to the security of these systems. The WIDECOM proceedings features papers addressing issues related to the design, analysis, and implementation, of infrastructures, systems, architectures, algorithms, and protocols that deal with network computing, mo...