Coronavirus: A book for children
Coronavirus - there's a new word you might have heard. You might hear people talking about it or you might hear it on the news. This word is the reason that you're not going to school. It is the reason you can't go outside very often or visit your friends. It might be the reason why the grown-up or grown-ups who look after you are at home. The b...
Advances in Discrete Differential Geometry
This is one of the first books on a newly emerging field of discrete differential geometry and an excellent way to access this exciting area. It surveys the fascinating connections between discrete models in differential geometry and complex analysis, integrable systems and applications in computer graphics. The authors take a closer look at discre...
Foundations of Software Science and Computation Structures
This book constitutes the proceedings of the 15th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012. The 29 papers presented in this book toget...
Computing Characterizations of Drugs for Ion Channels and Receptors Using Markov Models
Flow of ions through voltage gated channels can be represented theoretically using stochastic differential equations where the gating mechanism is represented by a Markov model. The flow through a channel can be manipulated using various drugs, and the effect of a given drug can be reflected by changing the Markov model. These lecture notes provide...
Enabling Things to Talk
The Internet of Things (IoT) is an emerging network superstructure that will connect physical resources and actual users. It will support an ecosystem of smart applications and services bringing hyper-connectivity to our society by using augmented and rich interfaces. Whereas in the beginning IoT referred to the advent of barcodes and Radio Freque...
Compartment Syndrome
Compartment syndrome is a complex physiologic process with significant potential harm, and though an important clinical problem, the basic science and research surrounding this entity remains poorly understood. This unique open access book fills the gap in the knowledge of compartment syndrome, re-evaluating the current state of the art on this con...
Foundations of Quantum Theory
This book studies the foundations of quantum theory through its relationship to classical physics. This idea goes back to the Copenhagen Interpretation (in the original version due to Bohr and Heisenberg), which the author relates to the mathematical formalism of operator algebras originally created by von Neumann. The book therefore includes compr...
Foundations of Software Science and Computation Structures
This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The 31 papers presented in this volume were ca...
Men's Experiences of Violence in Intimate Relationships
This book draws on a broad study on violence against men, from both male and female partners in Norway, to contribute to the research on intimate partner violence. It identifies similarities in men's experiences and backgrounds, including in their perceptions of their own victimisation. Marianne Inez Lien and Jørgen Lorentzen argue that the tradit...
Control Theory Tutorial
This open access brief introduces the basic principles of control theory in a concise self-study guide. It complements the classic texts by emphasizing the simple conceptual unity of the subject. A novice can quickly see how and why the different parts fit together. The concepts build slowly and naturally one after another, until the reader soon ha...
A City in Blue and Green
This book highlights Singapore's development into a city in which water and greenery, along with associated environmental, technical, social and political aspects have been harnessed and cultivated into a liveable sustainable way of life. It is also a story about a unique and thoroughgoing approach to large-scale and potentially transferable water ...
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...
Boundary Value Problems, Weyl Functions, and Differential Operators
This book presents a comprehensive survey of modern operator techniques for boundary value problems and spectral theory, employing abstract boundary mappings and Weyl functions. It includes self-contained treatments of the extension theory of symmetric operators and relations, spectral characterizations of selfadjoint operators in terms of the anal...
Agency and Causal Explanation in Economics
This open access book provides an exploration of the consequences of the ontological differences between natural and social objects (sometimes described as objects of nature and objects of thought) in the workings of causal and agency relationships. One of its important and possibly original conclusions is that causal and agency relationships do no...
Measure, Integration & Real Analysis
This open access textbook welcomes students into the fundamental theory of measure, integration, and real analysis. Focusing on an accessible approach, Axler lays the foundations for further study by promoting a deep understanding of key results. Content is carefully curated to suit a single course, or two-semester sequence of courses, creating a v...
Electromagnetics, Volume 1
Electromagnetics, volume 1 by Steven W. Ellingson is a 225-page, peer-reviewed open educational resource intended for electrical engineering students in the third year of a bachelor of science degree program. It is intended as a primary textbook for a one-semester first course in undergraduate engineering electromagnetics. The book employs the &quo...
Automatic Control with Experiments
This book presents theory and practice in the context of automatic control education. It presents the relevant theory in the first eight chapters,applying them later on to the control of several real plants. Each plant is studied following a uniform procedure: a) the plant’s functionis described, b) a mathematical model is obtained, c) plant cons...
Philosophical and Mathematical Logic
This book was written to serve as an introduction to logic, with in each chapter – if applicable – special emphasis on the interplay between logic and philosophy, mathematics, language and (theoretical) computer science. The reader will not only be provided with an introduction to classical logic, but to philosophical (modal, epistemic, deontic...