Filter by
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
- -
Extensions of Positive Definite Functions Applications and Their Harmonic An…
This monograph deals with the mathematics of extending given partial data-sets obtained from experiments; Experimentalists frequently gather spectral data when the observed data is limited, e.g., by the precision of instruments; or by other limiting external factors. Here the limited information is a restriction, and the extensions take the form of full positive definite function on some pres…
- Edition
- -
- ISBN/ISSN
- 978-3-319-39780-1
- Collation
- 39 b/w illustrations, 9 illustrations in colour
- Series Title
- -
- Call Number
- -
Advances in Applied Biotechnology: Proceedings of the 2nd International Confe…
At the ICAB 2014, researchers from around the world will gather to discuss the latest scientific research, findings and technologies concerning Microbial Genetics and Breeding, Optimization and Control of Biological Processes, Biological Separation and Biological Purification, and Advances in Biotechnology. This conference will provide a platform for academic exchange on the application of bio…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-662-46318-5
- Collation
- XV, 656
- Series Title
- Lecture Notes in Electrical Engineering
- Call Number
- 660.6 ADV a
Advances in Applied Biotechnology: Proceedings of the 2nd International Confe…
At the ICAB 2014, researchers from around the world will gather to discuss the latest scientific research, findings and technologies concerning Microbial Genetics and Breeding, Optimization and Control of Biological Processes, Biological Separation and Biological Purification, and Advances in Biotechnology. This conference will provide a platform for academic exchange on the application of bio…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-662-45657-6
- Collation
- XIV, 634
- Series Title
- Lecture Notes in Electrical Engineering
- Call Number
- 660.6 ADV a
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography