Filter by
Vulnerability Revisited
Open access. This open-access book discusses vulnerability and the protection-inclusion dilemma of including those who suffer from serious poverty, severe stigma, and structural violence in research. Co-written with representatives from indigenous peoples in South Africa and sex workers in Nairobi, the authors come down firmly on the side of inclusion. In the spirit of leaving no one behind in …
- Edition
- 1
- ISBN/ISSN
- 978-3-031-57896-0
- Collation
- -
- Series Title
- SpringerBriefs in Research and Innovation Governance
- Call Number
- XIX, 145
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
- -
New Horizons for a Data-Driven Economy
In this book readers will find technological discussions on the existing and emerging technologies across the different stages of the big data value chain. They will learn about legal aspects of big data, the social impact, and about education needs and requirements. And they will discover the business perspective and how big data technology can be exploited to deliver value within different se…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-21569-3
- Collation
- -
- Series Title
- XX, 303
- Call Number
- -
3D Research Challenges in Cultural Heritage III: Complexity and Quality in Di…
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…
- Edition
- 1
- ISBN/ISSN
- 9783031355936
- Collation
- VIII, 157
- 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
- -
Obstructions in Security-Aware Business Processes
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 …
- Edition
- -
- ISBN/ISSN
- 978-3-658-38154-7
- Collation
- -
- 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
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography