This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format du…
This open access book provides a comprehensive overview of the state of the art in research and applications of Foundation Models and is intended for readers familiar with basic Natural Language Processing (NLP) concepts. Over the recent years, a revolutionary new paradigm has been developed for training models for NLP. These models are first pre-trained on large collections of text documen…
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…
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…
This book examines how cultural and ideological reactions to activism in the post-Civil Rights Black community were depicted in fiction written by Black women writers, 1965–1980. By recognizing and often challenging prevailing cultural paradigms within the post-Civil Rights era, writers such as Toni Morrison, Alice Walker, Toni Cade Bambara, and Paule Marshall fictionalized the black communit…
The Rhaeto-Romance languages have been known as such to the linguistic community since the pioneering studies of Ascoli and Gartner over a century ago. There has never been a community of RR speakers based on a common history or polity and the various dialects are mutually unintelligible, but a unity, based on a number of common features, has been advanced. This book is the first general descr…