Filter by
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
- -
Towards an Arithmetical Logic
This book offers an original contribution to the foundations of logic and mathematics and focuses on the internal logic of mathematical theories, from arithmetic or number theory to algebraic geometry. Arithmetical logic is the term used to refer to the internal logic of classical arithmetic, here called Fermat-Kronecker arithmetic and combines Fermat’s method of infinite descent with Kroneck…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-22087-1
- Collation
- XI, 184
- Series Title
- Studies in Universal Logic
- Call Number
- -
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
Geometric Optics
This text, now in its second edition, presents the mathematical background needed to design many optical combinations that are used in astronomical telescopes and cameras. It uses a novel approach to third-order aberration theory based on Fermat’s principle and the use of particular optical paths (called stigmatic paths) instead of rays, allowing for easier derivation of third-order formulae…
- Edition
- -
- ISBN/ISSN
- 978-3-319-43731-6
- Collation
- -
- Series Title
- -
- Call Number
- 510 ROM g
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
- -
Ernst Zermelo An Approach to His Life and Work
This biography sheds light on all facets of the life and the achievements of Ernst Zermelo (1871-1953). Zermelo is best-known for the statement of the axiom of choice and his axiomatization of set theory. However, he also worked in applied mathematics and mathematical physics. His dissertation, for example, promoted the calculus of variations, and he created the pivotal method in the theory of …
- Edition
- -
- ISBN/ISSN
- 978-3-662-47997-1
- Collation
- 43 b/w illustrations
- Series Title
- -
- Call Number
- -
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
- -
Equilibrium Statistical Mechanics of Lattice Models
Most interesting and difficult problems in equilibrium statistical mechanics concern models which exhibit phase transitions. For graduate students and more experienced researchers this book provides an invaluable reference source of approximate and exact solutions for a comprehensive range of such models. Part I contains background material on classical thermodynamics and statistical mechanics…
- Edition
- -
- ISBN/ISSN
- 978-94-017-9430-5
- Collation
- 101 b/w illustrations
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography