Filter by
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
Political Islam and Religiously Motivated Political Extremism : An Internatio…
This open access book presents an international comparison of religiously motivated extremism in the Arab world and around the globe. Based on data from the Arab Barometer and the World Values Survey, it applies advanced statistical techniques to analyze how religiously motivated political extremism affects political and social outcomes as well as political violence. The study clearly shows tha…
- Edition
- -
- ISBN/ISSN
- 978-3-031-24854-2
- Collation
- XXIV, 88
- Series Title
- SpringerBriefs in Political Science (BRIEFSPOLITICAL)
- Call Number
- 320 TAU p
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
- -
Green Infrastructure and Climate Change Adaptation : Function, Implementation…
This open access book introduces the function, implementation and governance of green infrastructure in Japan and other countries where lands are geologically fragile and climatologically susceptible to climate change. It proposes green infrastructure as an adaptation strategy for climate change and biodiversity conservation. In the face of climate change, dams, levees and floodways built as…
- Edition
- -
- ISBN/ISSN
- 978-981-16-6791-6
- Collation
- XII, 506
- Series Title
- Ecological Research Monographs (ECOLOGICAL)
- Call Number
- 570 GRE
Long-Term Ecosystem Changes in Riparian Forests
This open access book presents and analyzes the results of more than 30 years of long-term ecological research in riparian forest ecosystems with the aim of casting light on changes in the dynamics of riparian forests over time. The research, focusing on the Ooyamazawa riparian forest, one of the remaining old-growth forests in Japan, has yielded a number of interesting outcomes. First, it show…
- Edition
- -
- ISBN/ISSN
- 978-981-15-3009-8
- Collation
- VIII, 234
- Series Title
- Ecological Research Monographs (ECOLOGICAL)
- Call Number
- 570 LON
Beyond Data : Human Rights, Ethical and Social Impact Assessment in AI
This open access book focuses on the impact of Artificial Intelligence (AI) on individuals and society from a legal perspective, providing a comprehensive risk-based methodological framework to address it. Building on the limitations of data protection in dealing with the challenges of AI, the author proposes an integrated approach to risk assessment that focuses on human rights and encompasses…
- Edition
- -
- ISBN/ISSN
- 978-94-6265-531-7
- Collation
- XXIII, 200
- Series Title
- Information Technology and Law Series
- Call Number
- 001 MAN b
Theoretical and Experimental Studies on Steady-State Microbunching
This open access book is devoted to the theoretical and experimental studies of a novel accelerator light source mechanism called steady-state microbunching (SSMB) which promises high-power, high-repetition rate, narrow-band coherent radiation in an electron storage ring. The contribution of this dissertation consists of three parts: first, answers the question of how to realize SSMB from a bea…
- Edition
- -
- ISBN/ISSN
- 978-981-99-5800-9
- Collation
- XII, 160
- Series Title
- Springer Theses (Springer Theses)
- Call Number
- 530 DEN t
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
Intertwingled: The Work and Influence of Ted Nelson
This engaging volume celebrates the life and work of Theodor Holm “Ted” Nelson, a pioneer and legendary figure from the history of early computing. Presenting contributions from world-renowned computer scientists and figures from the media industry, the book delves into hypertext, the docuverse, Xanadu and other products of Ted Nelson’s unique mind. Features: includes a cartoon and a sequ…
- Edition
- -
- ISBN/ISSN
- 978-3-319-16925-5
- Collation
- XVI, 150
- Series Title
- History of Computing (HC)
- Call Number
- 001 INT
New Metropolitan Perspectives : Knowledge Dynamics, Innovation-driven Policie…
This open access book presents the outcomes of the symposium “NEW METROPOLITAN PERSPECTIVES,” held at Mediterranea University, Reggio Calabria, Italy on May 26–28, 2020. Addressing the challenge of Knowledge Dynamics and Innovation-driven Policies Towards Urban and Regional Transition, the book presents a multi-disciplinary debate on the new frontiers of strategic and spatial plan…
- Edition
- -
- ISBN/ISSN
- 978-3-030-52869-0
- Collation
- XXI, 282
- Series Title
- Smart Innovation, Systems and Technologies (SIST, volume 177)
- Call Number
- 001 NEW
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography