Filter by
Tools and Algorithms for the Construction and Analysis of Systems: 24th Inter…
This book is Open Access under a CC BY licence. The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018. The tot…
- Edition
- 1
- ISBN/ISSN
- 9783319899602
- Collation
- XX, 429
- Series Title
- -
- Call Number
- -
Vergleichsweise menschlich?
Ambulante Sanktionen gelten oftmals als menschliche Alternative zur Freiheitsentziehung. Der eigene Eingriffscharakter, die Perspektive der Betroffenen und die Erweiterung des Netzes sozialer Kontrolle werden übersehen. Die Übertragung von Sanktionspraktiken zwischen Rechtskulturen erfordert menschenrechtliche Minimalstandards. Zudem fehlen Kontrollgruppen-Studien und insbesondere ein Verglei…
- Edition
- 1
- ISBN/ISSN
- 978-3-658-08965-8
- Collation
- -
- Series Title
- Schriftenreihe des Strafvollzugsarchivs
- Call Number
- XV, 144
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
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, Septembe…
The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial pape…
- Edition
- 1
- ISBN/ISSN
- 9783031711626
- Collation
- XXII, 680
- Series Title
- -
- Call Number
- -
Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, Septembe…
The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers…
- Edition
- 1
- ISBN/ISSN
- 9783031711770
- Collation
- XXII, 652
- Series Title
- -
- Call Number
- -
Bridging the Gap Between AI and Reality: First International Conference, AISo…
This open access book constitutes revised selected papers from the First International Conference on Bridging the Gap between AI and Reality, AISoLA 2023, which took place in Crete, Greece, in October 2023. The papers included in this book focus on the following topics: The nature of AI-based systems; ethical, economic and legal implications of AI-systems in practice; ways to make controlled …
- Edition
- 1
- ISBN/ISSN
- 9783031737411
- Collation
- XI, 472
- Series Title
- -
- Call Number
- -
Computer Aided Verification: 36th International Conference, CAV 2024, Montrea…
This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24–27, 2024. The primary focus of CAV is to extend the frontiers of verification techniques by expanding to new domains such as security, quantum computing, and machine learning.
- Edition
- 1
- ISBN/ISSN
- 9783031656309
- Collation
- XXV, 430
- Series Title
- -
- Call Number
- -
Computer Aided Verification: 36th International Conference, CAV 2024, Montrea…
This open access book constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24–27, 2024.The primary focus of CAV is to extend the frontiers of verification techniques by expanding to new domains such as security, quantum computing, and machine learning.
- Edition
- 1
- ISBN/ISSN
- 9783031656330
- Collation
- XXV, 582
- Series Title
- -
- Call Number
- -
Computer Aided Verification: 36th International Conference, CAV 2024, Montrea…
This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24–27, 2024. The primary focus of CAV is to extend the frontiers of verification techniques by expanding to new domains such as security, quantum computing, and machine learning.
- Edition
- 1
- ISBN/ISSN
- 9783031656279
- Collation
- XXXIII, 498
- Series Title
- -
- Call Number
- -
Fundamental Approaches to Software Engineering: 27th International Conference…
This open access book constitutes the proceedings of the 27th International Conference on Fundamental Approaches to Software Engineering, FASE 2024, held in conjunction with ETAPS 2024 which took place in Luxembourg in April 2024. The 14 full papers included in this book were carefully reviewed and selected from 41 submission. The proceedings also include 5 short papers from the Test-Comp 202…
- Edition
- 1
- ISBN/ISSN
- 9783031572593
- Collation
- XIV, 332
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography