Filter by
Frontiers of Combining Systems
This book constitutes the proceedings of the 10th International Symposium on Frontiers of Combining Systems, FroCoS 2015, held in Wroclaw, Poland, in September 2015. The 20 papers presented in this volume were carefully reviewed and selected from 34 submissions. They were organized in topical sections named: description logics; theorem proving and model building; decision procedures; decisio…
- Edition
- -
- ISBN/ISSN
- 978-3-319-24246-0
- Collation
- XVI, 275
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Digital Writing Technologies in Higher Education
This open access book serves as a comprehensive guide to digital writing technology, featuring contributions from over 20 renowned researchers from various disciplines around the world. The book is designed to provide a state-of-the-art synthesis of the developments in digital writing in higher education, making it an essential resource for anyone interested in this rapidly evolving field. …
- Edition
- -
- ISBN/ISSN
- 978-3-031-36032-9
- Collation
- XXV, 526
- Series Title
- -
- Call Number
- -
Automated Reasoning with Analytic Tableaux and Related Methods
This open access book constitutes the proceedings of the proceedings of the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023, held in Prague, Czech Republic, during September 18-21, 2023. The 20 full papers and 5 short papers included in this book together with 5 abstracts of invited talks were carefully reviewed and selected from…
- Edition
- -
- ISBN/ISSN
- 978-3-031-43512-6
- Collation
- XXV, 482
- Series Title
- -
- Call Number
- -
APCC Special Report: Strukturen für ein klimafreundliches Leben
Die Klimakrise betrifft uns alle - Doch wie kann ein klimafreundliches Leben für alle erreicht werden? Zahlreiche wissenschaftliche Sachstandsberichte bestätigen schon lange den umfassenden Handlungsbedarf, um die Klimaziele zu erreichen. Dieser betrifft alle Lebensbereiche: von Arbeit und Pflege über Wohnen bis zu Mobilität, Ernährung und Freizeit. Doch wie verwirklicht man solch eine …
- Edition
- -
- ISBN/ISSN
- 978-3-662-66496-4
- Collation
- XX, 715
- Series Title
- -
- Call Number
- -
Closing Rice Yield Gaps in Asia
This open access book contributes not only to the scientific literature on sustainable agricultural development and in particular rice agriculture but also is highly valuable to assist practitioners, projects, and policymakers due to its sections on reducing carbon footprint, agricultural innovations, and lessons learned from a multi-country/multi-stages development project. The scope of …
- Edition
- -
- ISBN/ISSN
- 978-3-031-37946-8
- Collation
- XXVII, 259
- Series Title
- -
- Call Number
- -
Tourismus in der Krise: COVID-19 als Auslöser für neue Geschäftsmodelle un…
Dieses Open-Access Buch befasst sich mit der krisenbedingten Transformation touristischer KMU infolge von COVID-19. Fokussiert auf eine Flusskreuzfahrtdestination gelingt es, aus einer multidisziplinären Perspektive von Tourismus und Entrepreneurship heraus, neue Erkenntnisse über die COVID-Krise als Auslöser für Digitalisierung und Geschäftsmodellinnovation zu gewinnen. Business Model Inn…
- Edition
- -
- ISBN/ISSN
- 978-3-658-42361-2
- Collation
- -
- Series Title
- -
- Call Number
- -
Representation Learning for Natural Language Processing
This book provides an overview of the recent advances in representation learning theory, algorithms, and applications for natural language processing (NLP), ranging from word embeddings to pre-trained language models. It is divided into four parts. Part I presents the representation learning techniques for multiple language entries, including words, sentences and documents, as well as pre-train…
- Edition
- -
- ISBN/ISSN
- 978-981-99-1599-6
- Collation
- -
- Series Title
- -
- Call Number
- -
Circularity Assessment: Macro to Nano
This open access book attempts to provide a perspective on the circularity assessment at different levels of the systemic hierarchy and advocates better resource management for a sustainable future. It demonstrates how relevant circularity indicators are used for quantifying the extent of circularity of each level. Illustrative case studies that discuss the process of quantitatively interpretin…
- Edition
- -
- ISBN/ISSN
- 978-981-19-9699-3
- Collation
- XXIX, 115
- Series Title
- -
- Call Number
- -
New Approaches to Understanding Trends and Patterns
In diesem Open-Access-Buch geht der Autor der Frage nach, warum Technik als wesentlicher Bestandteil der Kultur in der Bildung nur eine untergeordnete Bedeutung hat und begründet mit Hilfe technikphilosophischer Analysen einen Kulturreihenansatz für die Auswahl von Inhalten für den Technikunterricht. Aus dem Doppelauftrag von Schule, Persönlichkeitsbildung und Enkulturation wird zunächst e…
- Edition
- -
- ISBN/ISSN
- 978-3-658-42582-1
- Collation
- XXII, 469
- Series Title
- -
- Call Number
- -
Agricultural Implications of Fukushima Nuclear Accident (IV)
This open access book presents the findings from on-site research into radioactive cesium contamination in various agricultural systems affected by the Fukushima Daiichi Nuclear Power Plant accident in March 2011. This fourth volume in the series reports on studies undertaken at contaminated sites such as farmland and forests, focusing on soil, water, mountain, agricultural products, and animal…
- Edition
- -
- ISBN/ISSN
- 978-981-19-9360-2
- Collation
- XIII, 276
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography