Filter by
Ultrafast Dynamics of Phospholipid-Water Interfaces Studied by Nonlinear Tim…
This thesis presents a highly innovative study of the ultrafast structural and vibrational dynamics of hydrated phospholipids, the basic constituents of cell membranes. As a novel approach to the water-phospholipid interface, the author studies phosphate vibrations using the most advanced methods of nonlinear vibrational spectroscopy, including femtosecond two-dimensional infrared spectroscopy.…
- Edition
- -
- ISBN/ISSN
- 978-3-319-22066-6
- Collation
- -
- Series Title
- -
- Call Number
- -
Type Systems for Distributed Programs: Components and Sessions
In this book we develop powerful techniques based on formal methods for the verification of correctness, consistency and safety properties related to dynamic reconfiguration and communication in complex distributed systems. In particular, static analysis techniques based on types and type systems are an adequate methodology considering their success in guaranteeing not only basic safety propert…
- Edition
- -
- ISBN/ISSN
- 978-94-6239-204-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Equivariant Ordinary Homology and Cohomology
Filling a gap in the literature, this book takes the reader to the frontiers of equivariant topology, the study of objects with specified symmetries. The discussion is motivated by reference to a list of instructive “toy” examples and calculations in what is a relatively unexplored field. The authors also provide a reading path for the first-time reader less interested in working through so…
- Edition
- -
- ISBN/ISSN
- 978-3-319-50448-3
- Collation
- 1 b/w illustrations
- 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
- -
- Series Title
- -
- Call Number
- -
A General Algebraic Semantics for Sentential Logics
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the seventh publication in the Lecture Notes in Logic series, Font and Jansana develop a very general approach to the algebraization of…
- Edition
- -
- ISBN/ISSN
- 9781316716915
- Collation
- -
- Series Title
- Lecture Notes in Logic (7)
- Call Number
- -
A Framework for Priority Arguments
This book presents a unifying framework for using priority arguments to prove theorems in computability. Priority arguments provide the most powerful theorem-proving technique in the field, but most of the applications of this technique are ad hoc, masking the unifying principles used in the proofs. The proposed framework presented isolates many of these unifying combinatorial principles and us…
- Edition
- -
- ISBN/ISSN
- 9780511750779
- Collation
- -
- Series Title
- Lecture Notes in Logic
- Call Number
- -
Ecology of Angola
This open access book richly illustrates the first, and comprehensive, account of the country’s biomes and ecoregions, the driving forces that account for their diversity and vulnerability, and the ecological principles that provide an understanding of the patterns and processes that have shaped landscapes, ecoregions, and ecosystems. Angola encompasses the greatest diversity of terrestrial b…
- Edition
- -
- ISBN/ISSN
- 9783031189234
- Collation
- -
- 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
- -
- Series Title
- -
- Call Number
- -
Trends in Functional Programming 15th International Symposium, TFP 2014, Soe…
This book constitutes the thoroughly refereed revised selected papers of the 15th International Symposium on Trends in Functional Programming, TFP 2014, held in Soesterberg, The Netherlands, in May 2014. The 8 revised full papers included in this volume were carefully and selected from 22 submissions. TFP is an international forum for researchers with interests in all aspects of functional prog…
- Edition
- -
- ISBN/ISSN
- 978-3-319-14675-1
- Collation
- -
- Series Title
- -
- Call Number
- -
The Gentianaceae - Volume 2: Biotechnology and Applications
This book, the second of two volumes on the Gentianaceae, is devoted to aspects of biotechnology and their applications. It consists of 18 chapters and covers micropropagation by means of organogenesis or somatic embryogenesis, and single cell manipulation of various species belonging to the horticultural genera Blakstonia, Centaurium, Gentiana, Gentianalla and Swertia. Furthermore, the applica…
- Edition
- 1
- ISBN/ISSN
- 978-3-642-54102-5
- Collation
- XXVIII, 452, 91 b/w illustrations, 37 illustrations in colour
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography