الصفحة 1
الصفحة 1
Modern Mathematics Education for Engineering Curricula in Europe : A Comparative Analysis of EU, Russia, Georgia and Armenia
Provides a comprehensive overview of the core subjects comprising mathematical curricula for engineering studies in five European countries and identifies differences between two strong traditions of teaching mathematics to engineers. The collective work of experts from a dozen universities critically examines various aspects of higher mathematical education.
Innopolis university - from zero to hero : Ten years of challenges and victories
The book is divided in five parts: “The Beginning” describes the very early days in general, from the foundation and start-up of the university with the related processes. “The People” reports on the initial hiring of the faculty members, the selection of students, and the curriculum development. “The Activities” provide information about the creation of the single research institutions and labs, and their relation to industry. “The Future” gives an outlook on the planned internationalization and faculty strategy. Eventually, “A Visual Journey” shows a selection of photographs illustrating highlights of the whole process and the current achievements.
Information and communication technologies and real-life learning : New education for the knowledge society
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Informatics Education - The Bridge between Using and Understanding Computers ; International Conference on Informatics in Secondary Schools - Evolution and Perspectives, ISSEP 2006, Vilnius, Lithuania, November 7-11, 2006, Proceedings
Although the school system is subject to specific national regulations, didactical issues warrant discussion on an international level. This applies specifically to informatics didactics. In contrast to most other scientific disciplines, informatics undergoes substantial technical and scientific changes and shifts of paradigms even at the basic level taught in secondary school. Moreover, informatics education is under more stringent observation from parents, potential employers, and policy makers than other disciplines. It is considered to be a modern discipline. Hence, being well-educated in informatics seemingly ensures good job perspectives. Further, policy makers pay attention to informatics education, hoping that a young population well-educated in this modern technology will contribute to the future wealth of the nation.
From computer literacy to informatics fundamentals ; International conference on informatics in secondary schools : Evolution and perspectives, ISSEP 2005, Klagenfurt, Austria, March 30-April 1, 2005, Proceedings
Duetothepenetrationofinformationtechnologyintosocietyatlargeandinto schools in particular, the relationship between informatics and education leading togeneralcomputerliteracyortotheuseofIT-basedapproachesinconventional subjects, e-learning in school, is an evident focus of many contributions. According to the broad scope of the conference its proceedings are split into two volumes. This volume, From Computer Literacy to Informatics Fundam- tals, covers papers reporting on national strategies of informatics instruction and their evolution in accordance with the penetration of information proce- ing equipment in our daily life. In one way or another, these strategies strive to accommodate the needs of basic skills in information and communication te- nology (ICT) with educational principles that can be conveyed by informatics instruction in a traditional sense. Hence, the papers on national strategies are complementedintwoways: ?rstly, bycontributionsthatstrivetoidentifyfun- mental issues, informatics can contribute to the general education process of the youth; and, secondly, by papers presenting approaches on how to link or even to combine instruction about such informatics fundamentals with the need to introduce pupils to the productive use of ICT.
Empowering Teaching for Digital Equity and Agency ; IFIP TC 3 Open Conference on Computers in Education, OCCE 2020, Mumbai, India, January 6–8, 2020, Proceedings
This book constitutes the refereed post-conference proceedings of the IFIP TC 3 Open Conference on Computers in Education, OCCE 2020, held in Mumbai, India, in January 2020. The 11 full papers and 4 short papers included in this volume were carefully reviewed and selected from 57 submissions. The papers discuss key emerging topics and evolving practices in the area of educational computing research. They are organized in the following topical sections: computing education; learners’ and teachers’ perspectives; teacher professional development; the industry perspective; and further aspects.
e-Learning, e-Education, and Online Training ; 6th EAI International Conference, eLEOT 2020, Changsha, China, June 20-21, 2020, Proceedings, Part II
Constitutes the proceedings of the 6th International Conference on e-Learning, e-Education, and Online Training, eLEOT 2020, held in Changsha, China, in June 2020. The conference was held virtually due to the COVID-19 pandemic. The 68 full papers presented were carefully reviewed and selected from 141 submissions. They focus on most recent and innovative trends and new technologies in for educational modernization, such as artificial intelligence and big data. The theme of eLEOT 2020 was “Education with New Generation Information Technology”.
e-Learning, e-Education, and Online Training ; 6th EAI International Conference, eLEOT 2020, Changsha, China, June 20-21, 2020, Proceedings, Part I
Constitutes the proceedings of the 6th International Conference on e-Learning, e-Education, and Online Training, eLEOT 2020, held in Changsha, China, in June 2020. The conference was held virtually due to the COVID-19 pandemic. The 68 full papers presented were carefully reviewed and selected from 141 submissions. They focus on most recent and innovative trends and new technologies in for educational modernization, such as artificial intelligence and big data. The theme of eLEOT 2020 was “Education with New Generation Information Technology”.
Artificial intelligence in education ; 21st International conference, AIED 2020, Ifrane, Morocco, July 6–10, 2020, Proceedings, Part I
This two-volume set LNAI 12163 and 12164 constitutes the refereed proceedings of the 21th International Conference on Artificial Intelligence in Education, AIED 2020, held in Ifrane, Morocco, in July 2020.* The 49 full papers presented together with 66 short, 4 industry & innovation, 4 doctoral consortium, and 4 workshop papers were carefully reviewed and selected from 214 submissions. The conference provides opportunities for the cross-fertilization of approaches, techniques and ideas from the many fields that comprise AIED, including computer science, cognitive and learning sciences, education, game design, psychology, sociology, linguistics as well as many domain-specific areas.
Addressing Global Challenges and Quality Education ; 15th European Conference on Technology Enhanced Learning, EC-TEL 2020, Heidelberg, Germany, September 14–18, 2020, Proceedings
The chapters: “Designing an Online Self-Assessment for Informed Study Decisions: The User Perspective”; “Living with Learning Difficulties: Two Case Studies Exploring the Relationship Between Emotion and Performance in Students With Learning Difficulties”; “Applying Instructional Design Principles on Augmented Reality Cards for Computer Science Education”; and “Teaching Simulation Literacy With Evacuations - Concept, Technology, and Material for a Novel Approach” are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
25 Years of Model Checking : History, Achievements, Perspectives
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved many breakthroughs, bridging the gap between theoretical computer science and hardware and software engineering, and it is reaching out to new challenging areas such as system biology and hybrid systems. Model checking is extensively used in the hardware industry and has also been applied to the verification of many types of software. Model checking has been introduced into computer science and electrical engineering curricula at universities worldwide and has become a universal tool for the analysis of systems.
