Filter by
Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, …
Infotext (nur auf Basis des Vorgängers): This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024. The 39 full research papers and 6 short papers presented in this book were carefully reviewed and selected from 115 submissions. The papers focus on the f…
- Edition
- 1
- ISBN/ISSN
- 9783031635014
- Collation
- XV, 424
- Series Title
- -
- Call Number
- -
Frontiers of Combining Systems: 14th International Symposium, FroCoS 2023, Pr…
This book constitutes the refereed proceedings of the 14th International Symposium on Frontiers of Combining Systems, FroCoS 2023, held in Prague, Czech Republic, in September 2023. The symposium was co-located with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023. The 14 papers presented were thorouhgly reviewed and selected fr…
- Edition
- 1
- ISBN/ISSN
- 9783031433696
- Collation
- XVI, 275
- Series Title
- -
- Call Number
- -
Automated Deduction – CADE 29: 29th International Conference on Automated D…
This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundati…
- Edition
- 1
- ISBN/ISSN
- 9783031384998
- Collation
- XXV, 592
- Series Title
- -
- Call Number
- -
xxAI - Beyond Explainable AI: International Workshop, Held in Conjunction wit…
This is an open access book. Statistical machine learning (ML) has triggered a renaissance of artificial intelligence (AI). While the most successful ML models, including Deep Neural Networks (DNN), have developed better predictivity, they have become increasingly complex, at the expense of human interpretability (correlation vs. causality). The field of explainable AI (xAI) has emerged with t…
- Edition
- 1
- ISBN/ISSN
- 9783031040832
- Collation
- X, 397
- Series Title
- -
- Call Number
- -
Development of the Global Film Industry : Industrial Competition and Cooperat…
ABSTRACT The global film industry has witnessed significant transformations in the past few years. Regions outside the USA have begun to prosper while non-traditional production companies such as Netflix have assumed a larger market share and online movies adapted from literature have continued to gain in popularity. How have these trends shaped the global film industry? This book answers this…
- Edition
- -
- ISBN/ISSN
- 9781003051503
- Collation
- -
- Series Title
- -
- Call Number
- 700
Poetic Images, Presence, and the Theater of Kenotic Rituals
ABSTRACT This book explores the interrelation of contemporary French theatre and poetry. Using the pictorial turn in the various branches of art and science, its observable features, and the theoretical framework of the conceptual metaphor, this study seeks to gather together the divergent manners in which French poetry and theatre address this turn. Poetry in space and theatricality of poe…
- Edition
- -
- ISBN/ISSN
- 9781003163930
- Collation
- -
- Series Title
- -
- Call Number
- -
Genders, Cultures, and Literacies: Understanding Intersecting Identities
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…
- Edition
- -
- ISBN/ISSN
- 9781003158011
- Collation
- -
- Series Title
- -
- Call Number
- -
Multimodal Literacy in School Science : Transdisciplinary Perspectives on The…
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…
- Edition
- -
- ISBN/ISSN
- 9781003150718
- Collation
- 286 halaman
- Series Title
- -
- Call Number
- 370 UNS m
Generational Gaps in Political Media Use and Civic Engagement : From Baby Boo…
This book investigates news use patterns among five different generations in a time where digital media create a multi-choice media environment. The book introduces the EPIG Model (Engagement-Participation-Information-Generation) to study how different generational cohorts’ exposure to political information is related to their political engagement and participation. The authors build on a …
- Edition
- -
- ISBN/ISSN
- 9781003111498
- Collation
- -
- Series Title
- -
- Call Number
- 700
„Beyond the Wall”: Game of Thrones aus interdisziplinärer Perspektive
Dieses Open-Access-Buch beleuchtet das Serienphänomen „Game of Thrones“ aus unterschiedlichen wissenschaftlichen Perspektiven: Die rechtswissenschaftliche trifft auf die sprach-, musik-, literatur- und sozialwissenschaftliche, ferner die (kunst-)historische, psychologische und theologische Perspektive. Die Beiträge zeigen auf, dass die Serie reiche Anknüpfungspunkte für die wissenschaft…
- Edition
- 1
- ISBN/ISSN
- 978-3-658-36145-7
- Collation
- -
- Series Title
- -
- Call Number
- XIV, 287
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography