Filter by
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
- -
Essential Knowledge for Transistor-Level LSI Circuit Design
This book is a collection of the miscellaneous knowledge essential for transistor-level LSI circuit design, summarized as the issues that need to be considered in each design step. To design an LSI that actually functions and to be able to properly measure it, an extremely large amount of diverse, detailed knowledge is necessary. Even though one may read a textbook about an op-amp, for example,…
- Edition
- -
- ISBN/ISSN
- 978-981-10-0424-7
- Collation
- Springer Science+Business Media Singapore
- 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
- -
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
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography