Filter by
Geometry, Algebra and Applications: From Mechanics to Cryptography
This volume collects contributions written by different experts in honor of Prof. Jaime Muñoz Masqué. It covers a wide variety of research topics, from differential geometry to algebra, but particularly focuses on the geometric formulation of variational calculus; geometric mechanics and field theories; symmetries and conservation laws of differential equations, and pseudo-Riemannian geometry…
- Edition
- -
- ISBN/ISSN
- 978-3-319-32084-7
- Collation
- XII, 198
- Series Title
- -
- Call Number
- 516 GEO
Essential Partial Differential Equations Analytical and Computational Aspects
This volume provides an introduction to the analytical and numerical aspects of partial differential equations (PDEs). It unifies an analytical and computational approach for these; the qualitative behaviour of solutions being established using classical concepts: maximum principles and energy methods. Notable inclusions are the treatment of irregularly shaped boundaries, polar coordinates and …
- Edition
- -
- ISBN/ISSN
- 978-3-319-22569-2
- Collation
- 105 b/w illustrations, 1 illustrations in colour
- Series Title
- -
- Call Number
- -
Essays on the History of Mechanical Engineering
This book treats several subjects from the History of Mechanism and Machine Science, and also contains an illustrative presentation of the Museum of Engines and Mechanisms of the University of Palermo, Italy, which houses a collection of various pieces of machinery from the last 150 years. The various sections deal with some eminent scientists of the past, with the history of industrial inst…
- Edition
- -
- ISBN/ISSN
- 978-3-319-22680-4
- Collation
- 142 b/w illustrations, 180 illustrations in colour
- Series Title
- -
- Call Number
- -
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
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography