Filter by
Experimental Studies in Learning Technology and Child–Computer Interaction
This book is about the ways in which experiments can be employed in the context of research on learning technologies and child–computer interaction (CCI). It is directed at researchers, supporting them to employ experimental studies while increasing their quality and rigor. The book provides a complete and comprehensive description on how to design, implement, and report experiments, with a f…
- Edition
- -
- ISBN/ISSN
- 9783031143502
- Collation
- -
- Series Title
- -
- Call Number
- -
The Pinch Technique and its Applications to Non-Abelian Gauge Theories
Non-Abelian gauge theories, such as quantum chromodynamics (QCD) or electroweak theory, are best studied with the aid of Green's functions that are gauge-invariant off-shell, but unlike for the photon in quantum electrodynamics, conventional graphical constructions fail. The pinch technique provides a systematic framework for constructing such Green's functions, and has many useful applications…
- Edition
- -
- ISBN/ISSN
- 9781009402415
- Collation
- -
- Series Title
- -
- Call Number
- -
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
- -
- Series Title
- -
- Call Number
- -
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
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography