Software model checking as well as runtime verification are verification techniques which
are widely used for checking temporal properties of software systems. Even though they are …

Digital learning has undergone a major transformation in recent years, so that various digital
application content (apps) can now be used on mobile devices for learning foreign …

The article focuses the use and reflection of explanatory videos in pedagogical contexts from
an interdisciplinary perspective and with regard to teacher reflection and production …

The concept of Ikigai is booming, as more and more people worldwide are turning to the
question of what constitutes the meaning of life. In Western literature, it has become …

This paper discusses the question of whether the “internationalization” of science means
that students of Classics in the broadest sense, who have long been multilingual, must now …

Radiological and Clinical Outcomes of Balloon Kyphoplasty versus Radiofrequency
Kyphoplasty in the Treatment of Vertebral Compression Fractures - PMC Back to Top Skip to …

This volume proposes a theory of history education in formal classroom settings.
Specifically, it aims to outline how the particular setting of the classroom interacts with …

AbstractThe emergence of AI-powered deepfakes, manipulatively realistic synthetic media,
raises unprecedented challenges for human information processing and decision-making …

Contrast agents are substances that absorb X-rays from tissues and organs. Displaying
organs and organ systems with the use of contrast agents is called a contrast diagnostic …

The developmental relationship between linguistic and mathematical skills is highly complex
and not yet sufficiently understood. We used competence data of linguistically typical …