Filter by
The Logical Writings of Karl Popper
This open access book is the first ever collection of Karl Popper's writings on deductive logic. Karl R. Popper (1902-1994) was one of the most influential philosophers of the 20th century. His philosophy of science ("falsificationism") and his social and political philosophy ("open society") have been widely discussed way beyond academic philosophy. What is not so well known is that Poppe…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-94926-6
- Collation
- XXIV, 552
- Series Title
- -
- Call Number
- -
Advances in Proof-Theoretic Semantics
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Du…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-22686-6
- Collation
- VI, 283
- Series Title
- Trends in Logic
- Call Number
- 511.3 ADV a
Proceedings of the 10th Hydrogen Technology Convention, Volume 1: WHTC 2023, …
This open access book highlights the latest advances in fundamental research, technologies and applications of hydrogen energy and fuel cells. In recent years, energy conversion between electricity and hydrogen energy has attracted increasing attention as a way to adjust the load of the grid. This book discusses and exchanges cutting-edge findings and technological developments in fields such a…
- Edition
- 1
- ISBN/ISSN
- 9789819986316
- Collation
- XI, 499
- Series Title
- -
- Call Number
- -
Cognitive Supervision for Robot-Assisted Minimally Invasive Laser Surgery
This thesis lays the groundwork for the automatic supervision of the laser incision process, which aims to complement surgeons’ perception of the state of tissues and enhance their control over laser incisions. The research problem is formulated as the estimation of variables that are representative of the state of tissues during laser cutting. Prior research in this area leveraged numerical …
- Edition
- -
- ISBN/ISSN
- 978-3-319-30330-7
- Collation
- XIX, 99
- Series Title
- Springer Theses (Springer Theses)
- Call Number
- 660
Particle Accelerator Physics
This book by Helmut Wiedemann is a well-established, classic text, providing an in-depth and comprehensive introduction to the field of high-energy particle acceleration and beam dynamics. The present 4th edition has been significantly revised, updated and expanded. The newly conceived Part I is an elementary introduction to the subject matter for undergraduate students. Part II gathers the …
- Edition
- -
- ISBN/ISSN
- 978-3-319-18317-6
- Collation
- XXIX, 1021
- Series Title
- Graduate Texts in Physics (GTP)
- Call Number
- 530 WIE p
Dependable Embedded Systems
This Open Access book introduces readers to many new techniques for enhancing and optimizing reliability in embedded systems, which have emerged particularly within the last five years. This book introduces the most prominent reliability concerns from today’s points of view and roughly recapitulates the progress in the community so far. Unlike other books that focus on a single abstraction le…
- Edition
- -
- ISBN/ISSN
- 978-3-030-52017-5
- Collation
- XIII, 608
- Series Title
- Embedded Systems (EMSY)
- Call Number
- 620 DEP
Investor-State Dispute Settlement and National Courts : Current Framework and…
This open access book examines the multiple intersections between national and international courts in the field of investment protection, and suggests possible modes for regulating future jurisdictional interactions between domestic courts and international tribunals. The current system of foreign investment protection consists of more than 3,000 international investment agreements (IIAs), m…
- Edition
- -
- ISBN/ISSN
- 978-3-030-44164-7
- Collation
- X, 117
- Series Title
- European Yearbook of International Economic Law (EUROYEAR)
- Call Number
- 340 KAU i
Values for a Post-Pandemic Future
This open access book shows how value sensitive design (VSD), responsible innovation, and comprehensive engineering can guide the rapid development of technological responses to the COVID-19 crisis. Responding to the ethical challenges of data-driven technologies and other tools requires thinking about values in the context of a pandemic as well as in a post-COVID world. Instilling values must …
- Edition
- -
- ISBN/ISSN
- 978-3-031-08424-9
- Collation
- X, 250
- Series Title
- Philosophy of Engineering and Technology (POET, volume 40)
- Call Number
- 600 VAL
Reality Lost: Markets of Attention, Misinformation and Manipulation
This open access book looks at how a democracy can devolve into a post-factual state. The media is being flooded by populist narratives, fake news, conspiracy theories and make-believe. Misinformation is turning into a challenge for all of us, whether politicians, journalists, or citizens. In the age of information, attention is a prime asset and may be converted into money, power, and influ…
- Edition
- 1
- ISBN/ISSN
- 9783030008130
- Collation
- XXII, 144hlm; ill., lamp.,
- Series Title
- -
- Call Number
- -
Proceedings of the 23rd Pacific Basin Nuclear Conference, Volume 1: PBNC 2022…
This is the first in a series of three volumes of proceedings of the 23rd Pacific Basin Nuclear Conference (PBNC 2022) which was held by Chinese Nuclear Society. As one in the most important and influential conference series of nuclear science and technology, the 23rd PBNC was held in Beijing and Chengdu, China in 2022 with the theme “Nuclear Innovation for Zero-carbon Future”. For taking s…
- Edition
- 1
- ISBN/ISSN
- 978-981-99-1023-6
- Collation
- XVI, 1163
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography