Filter by
Trajectory Anomalies in Interplanetary Spacecraft
This thesis presents fundamental work that explains two mysteries concerning the trajectory of interplanetary spacecraft. For the first problem, the so-called Pioneer anomaly, a wholly new and innovative method was developed for computing all contributions to the acceleration due to onboard thermal sources. Through a careful analysis of all parts of the spacecraft Pioneer 10 and 11, the applica…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-18980-2
- Collation
- XVII, 87
- Series Title
- Springer Theses
- Call Number
- -
Tracking and Mapping of Spatiotemporal Quantities Using Unicellular Swarm Int…
The book discusses new algorithms capable of searching for, tracking, mapping and providing a visualization of invisible substances. It reports on the realization of a bacterium-inspired robotic controller that can be used by an agent to search for any environmental spatial function such as temperature or pollution. Using the parameters of a mathematical model, the book shows that it is possibl…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-27425-6
- Collation
- X, 194
- Series Title
- Biosystems & Biorobotics
- 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
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
- -
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
- -
Surveys in Theoretical High Energy Physics - 2
The book presents pedagogical reviews of important topics on high energy physics to the students and researchers in particle physics. The book also discusses topics on the Quark–Gluon plasma, thermal field theory, perturbative quantum chromodynamics, anomalies and cosmology. Students of particle physics need to be well-equipped with basic understanding of many concepts underlying the standard…
- Edition
- -
- ISBN/ISSN
- 978-981-10-2591-4
- Collation
- XV, 295
- Series Title
- Texts and Readings in Physical Sciences
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography