Filter by
Towards an Interdisciplinary Approach in Earth System Science
This book describes the latest advances at the Helmholtz “Earth System Science Research School” where scientists from the Alfred Wegener Institute in Bremerhaven, the University of Bremen, and the Jacobs University are involved in research. One of the greatest challenges is understanding ongoing environmental changes. The longer the time scale the more components of the Earth system are in…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-13865-7
- Collation
- X, 251
- Series Title
- Springer Earth System Sciences
- Call Number
- -
Recent Advances in Computational Methods and Clinical Applications for Spine …
This book contains the full papers presented at the MICCAI 2014 workshop on Computational Methods and Clinical Applications for Spine Imaging. The workshop brought together scientists and clinicians in the field of computational spine imaging. The chapters included in this book present and discuss the new advances and challenges in these fields, using several methods and techniques in order to …
- Edition
- -
- ISBN/ISSN
- 978-3-319-14148-0
- Collation
- -
- Series Title
- -
- Call Number
- 610.153
Recent Advances in Celestial and Space Mechanics
This book presents recent advances in space and celestial mechanics, with a focus on the N-body problem and astrodynamics, and explores the development and application of computational techniques in both areas. It highlights the design of space transfers with various modes of propulsion, like solar sailing and low-thrust transfers between libration point orbits, as well as a broad range of targ…
- Edition
- -
- ISBN/ISSN
- 978-3-319-27464-5
- Collation
- -
- Series Title
- -
- Call Number
- 530.15
Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer
This volume tackles Gödel's two-stage project of first using Husserl's transcendental phenomenology to reconstruct and develop Leibniz' monadology, and then founding classical mathematics on the metaphysics thus obtained. The author analyses the historical and systematic aspects of that project, and then evaluates it, with an emphasis on the second stage. The book is organised around Gödel…
- Edition
- -
- ISBN/ISSN
- 978-3-319-10031-9
- Collation
- XIV, 328
- Series Title
- -
- Call Number
- -
Error Estimates for Well-Balanced Schemes on Simple Balance Laws One-Dimensi…
This monograph presents, in an attractive and self-contained form, techniques based on the L1 stability theory derived at the end of the 1990s by A. Bressan, T.-P. Liu and T. Yang that yield original error estimates for so-called well-balanced numerical schemes solving 1D hyperbolic systems of balance laws. Rigorous error estimates are presented for both scalar balance laws and a position-depen…
- Edition
- -
- ISBN/ISSN
- 978-3-319-24785-4
- Collation
- 9 b/w illustrations, 15 illustrations in colour
- Series Title
- -
- Call Number
- -
Inverse Problems: Basics, Theory and Applications in Geophysics
The overall goal of the book is to provide access to the regularized solution of inverse problems relevant in geophysics without requiring more mathematical knowledge than is taught in undergraduate math courses for scientists and engineers. From abstract analysis only the concept of functions as vectors is needed. Function spaces are introduced informally in the course of the text, when needed…
- Edition
- -
- ISBN/ISSN
- 978-3-319-48384-9
- Collation
- -
- Series Title
- -
- Call Number
- -
Adhesion G Protein-coupled Receptors: Molecular, Physiological and Pharmacolo…
Latest research on Adhesion GPCRs has unearthed surprising revelations about the events that govern the signal transduction of these receptor molecules and the cellular and organ requirements for these signals. Unexpected and unprecedented findings suggest that Adhesion GPCRs constitute a group of receptors that sense mechanical stimuli and transcode them into metabotropic signals through the a…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-41523-9
- Collation
- XIV, 403
- Series Title
- Handbook of Experimental Pharmacology
- Call Number
- 615 ADH a
Toward Predicate Approaches to Modality
In this volume, the author investigates and argues for, a particular answer to the question: What is the right way to logically analyze modalities from natural language within formal languages? The answer is: by formalizing modal expressions in terms of predicates. But, as in the case of truth, the most intuitive modal principles lead to paradox once the modal notions are conceived as predicate…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-22556-2
- Collation
- VIII, 190
- Series Title
- Trends in Logic
- Call Number
- -
Geological Storage of CO2 – Long Term Security Aspects
This book explores the industrial use of secure, permanent storage technologies for carbon dioxide (CO2), especially geological CO2 storage. Readers are invited to discover how this greenhouse gas could be spared from permanent release into the atmosphere through storage in deep rock formations. Themes explored here include CO2 reservoir management, caprock formation, bio-chemical processes and…
- Edition
- -
- ISBN/ISSN
- 978-3-319-13929-6
- Collation
- X, 245
- Series Title
- -
- Call Number
- 551 GEO
Introduction to Uncertainty Quantification
This text provides a framework in which the main objectives of the field of uncertainty quantification (UQ) are defined and an overview of the range of mathematical methods by which they can be achieved. Complete with exercises throughout, the book will equip readers with both theoretical understanding and practical experience of the key mathematical and algorithmic tools underlying the treatme…
- Edition
- -
- ISBN/ISSN
- 978-3-319-23395-6
- 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