Filter by
Advances in Proof Theory
The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas. Some emphasis will be put on ordinal analysis, reductive proof theory, explicit mathematics and type-theoretic formalisms, and abstract computations. The volume is dedicated to the 60th birthday o…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-29198-7
- Collation
- XII, 425
- Series Title
- Progress in Computer Science and Applied Logic
- Call Number
- 511.3 ADV a
Uncertainty The Soul of Modeling, Probability & Statistics
This book presents a philosophical approach to probability and probabilistic thinking, considering the underpinnings of probabilistic reasoning and modeling, which effectively underlie everything in data science. The ultimate goal is to call into question many standard tenets and lay the philosophical and probabilistic groundwork and infrastructure for statistical modeling. It is the first book…
- Edition
- -
- ISBN/ISSN
- 978-3-319-39756-6
- Collation
- 23 b/w illustrations
- Series Title
- -
- Call Number
- -
Ubiquitin Chains: Degradation and Beyond
About this book This thesis examines the evidence for regulatory ubiquitination by focusing on A20. It provides an insightful and in-depth evaluation of the current literature by critically examining the evidence of K63-linked regulatory ubiquitination in regulating cell-signalling. It is also the first thesis to directly test the role of regulatory ubiquitination in NF-kB signaling in vivo. T…
- Edition
- -
- ISBN/ISSN
- 978-3-319-14965-3
- Collation
- 12 b/w illustrations, 33 illustrations in colour
- Series Title
- -
- Call Number
- -
Turing’s Revolution The Impact of His Ideas about Computability
This book provides an overview of the confluence of ideas in Turing’s era and work and examines the impact of his work on mathematical logic and theoretical computer science. It combines contributions by well-known scientists on the history and philosophy of computability theory as well as on generalised Turing computability. By looking at the roots and at the philosophical and technical infl…
- Edition
- -
- ISBN/ISSN
- 978-3-319-22156-4
- Collation
- 17 b/w illustrations, 1 illustrations in colour
- Series Title
- -
- Call Number
- -
Trust and Rationality An Integrative Framework for Trust Research
Combining economic, social-psychological and sociological approaches to trust, this book provides a general theoretical framework to causally explain conditional and unconditional trust; it also presents an experimental test of the corresponding integrative model and its predictions. Broadly, it aims at advancing a cognitive turn in trust research by highlighting the importance of (1) an actorÂ…
- Edition
- -
- ISBN/ISSN
- 978-3-658-07327-5
- Collation
- 48 b/w illustrations
- Series Title
- -
- Call Number
- -
Minimal Free Resolutions over Complete Intersections
This book introduces a theory of higher matrix factorizations for regular sequences and uses it to describe the minimal free resolutions of high syzygy modules over complete intersections. Such resolutions have attracted attention ever since the elegant construction of the minimal free resolution of the residue field by Tate in 1957. The theory extends the theory of matrix factorizations of …
- Edition
- 1
- ISBN/ISSN
- 978-3-319-26436-3
- Collation
- X, 107
- Series Title
- Lecture Notes in Mathematics
- Call Number
- -
Logic in the Theory and Practice of Lawmaking
This book presents the current state of the art regarding the application of logical tools to the problems of theory and practice of lawmaking. It shows how contemporary logic may be useful in the analysis of legislation, legislative drafting and legal reasoning concerning different contexts of law making. Elaborations of the process of law making have variously emphasised its political, soc…
- Edition
- -
- ISBN/ISSN
- 978-3-319-19575-9
- Collation
- -
- Series Title
- -
- Call Number
- -
Facets of Uncertainties and Applications ICFUA, Kolkata, India, December 2013
Since the emergence of the formal concept of probability theory in the seventeenth century, uncertainty has been perceived solely in terms of probability theory. However, this apparently unique link between uncertainty and probability theory has come under investigation a few decades back. Uncertainties are nowadays accepted to be of various kinds. Uncertainty in general could refer to differen…
- Edition
- -
- ISBN/ISSN
- 978-81-322-2301-6
- Collation
- 61 b/w illustrations
- Series Title
- -
- Call Number
- -
Logical Studies of Paraconsistent Reasoning in Science and Mathematics
This book covers work written by leading scholars from different schools within the research area of paraconsistency. The authors critically investigate how contemporary paraconsistent logics can be used to better understand human reasoning in science and mathematics. Offering a variety of perspectives, they shed a new light on the question of whether paraconsistent logics can function as the u…
- Edition
- -
- ISBN/ISSN
- 978-3-319-40220-8
- Collation
- -
- Series Title
- -
- Call Number
- -
The Cytoskeleton in Health and Disease
There is a significant need for a book on this topic, as interest in the cytoskeleton continues to grow as causes and cures for cytoskeletal diseases are further explored in biomedical research. This book is essential reading for scientists, students, and teachers interested in expanding their knowledge related to the cytoskeleton. New researchers entering the field will find classic and well a…
- Edition
- -
- ISBN/ISSN
- 978-1-4939-2904-7
- Collation
- XII, 395
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography