Filter by
Foundations of Software Science and Computation Structures: 24th Internationa…
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…
- Edition
- 1
- ISBN/ISSN
- 9783030719951
- Collation
- XV, 574
- Series Title
- -
- Call Number
- -
Foundation Models for Natural Language Processing
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…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-23190-2
- Collation
- -
- Series Title
- Artificial Intelligence: Foundations, Theory, and Algorithms
- Call Number
- XVIII, 436
Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, …
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 following topics: theorem proving and tools; S…
- Edition
- 1
- ISBN/ISSN
- 9783031634987
- Collation
- XVI, 482
- Series Title
- -
- Call Number
- -
Programming Languages and Systems: 33rd European Symposium on Programming, ES…
The two-volume open access book set LNCS 14576 + 14577 constitutes the proceedings of the 33rd European Symposium on Programming, ESOP 2024, which was held during April 6-11, 2024, in Luxemburg, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024. The 25 full papers and 1 fresh perspective paper presented in these proceedings were carefully reviewed and sel…
- Edition
- 1
- ISBN/ISSN
- 9783031572623
- Collation
- XVI, 340
- Series Title
- -
- Call Number
- -
Programming Languages and Systems: 32nd European Symposium on Programming, ES…
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 …
- Edition
- 1
- ISBN/ISSN
- 9783031300448
- Collation
- XII, 566
- Series Title
- -
- Call Number
- -
Programming Languages and Systems: 31st European Symposium on Programming, ES…
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…
- Edition
- -
- ISBN/ISSN
- 978-3-030-99336-8
- Collation
- XIV, 604
- Series Title
- -
- Call Number
- -
Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, …
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…
- Edition
- 1
- ISBN/ISSN
- 9783031107696
- Collation
- XV, 756
- Series Title
- -
- Call Number
- -
Engagement in Medical Research Discourse : A Multisemiotic Approach to Dialog…
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…
- Edition
- -
- ISBN/ISSN
- 9781003041146
- 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
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography