This open access book presents a collection of papers focusing on current 3D research challenges in the domain of digital cultural heritage. 3D technologies find considerable use within the field of cultural heritage at the beginning of the 21st century, for example in the areas of data acquisition, modeling, archiving in local repositories, harvesting in digital libraries and their long-term p…
This open access book constitutes the proceedings of the 32nd European Symposium on Programming, ESOP 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 20 regular papers presented in this volume were carefully reviewed and selected from 55 submissions. They deal with fundamental issues …
This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 21 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. They deal with fundamental issue…
This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solv…
This Open Access book explores the dilemma-like stalemate between security and regulatory compliance in business processes on the one hand and business continuity and governance on the other. The growing number of regulations, e.g., on information security, data protection, or privacy, implemented in increasingly digitized businesses can have an obstructive effect on the automated execution of …
ABSTRACT This book integrates insights from dialogic theory and systemic functional linguistics (SFL) to extend our understandings of engagement in medical research articles, going beyond notions of the role of verbal dialogue to encompass mathematical and visual semiotics and consider text not just as language but as multisemiosis. The volume begins by outlining the engagement framework an…
This volume brings together leading scholars in their fields who offer much needed and wide-ranging perspectives on the intersections of genders, cultures, and literacies. As incidents of racial and gender aggression grow in number and in global attention, it is essential to understand how racial and gender identities and their expressions interplay and influence literacy development and practi…
This book establishes a new theoretical and practical framework for multimodal disciplinary literacy (MDL) fused with the subject-specific science pedagogies of senior high school biology, chemistry and physics. It builds a compatible alignment of multiple representation and representation construction approaches to science pedagogy with the social semiotic, systemic functional linguistic-based…
Dieses Open Access-Buch gibt eine erweiterte Einführung in die Grundlagen und Charakteristika sowie auch Risiken und Chancen der digitalen Transformation. Anhand von ausführlichen Fallstudien branchenführender Unternehmen werden aktuelle technologische Trends sowie Auswirkungen auf die digitale Geschäftsmodellentwicklung und den Wettbewerb aus Sicht von IT-Entscheidern erörtert. Die Ergebn…