Filter by
Trajectory Anomalies in Interplanetary Spacecraft A Method for Determining A…
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
- -
- ISBN/ISSN
- 978-3-319-18980-2
- Collation
- -
- Series Title
- -
- Call Number
- -
Towards an Arithmetical Logic The Arithmetical Foundations of 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
- -
- ISBN/ISSN
- 978-3-319-22087-1
- Collation
- -
- Series Title
- -
- Call Number
- -
Towards Paraconsistent Engineering
This book presents a collection of contributions from related logics to applied paraconsistency. Moreover, all of them are dedicated to Jair Minoro Abe,on the occasion of his sixtieth birthday. He is one of the experts in Paraconsistent Engineering, who developed the so-called annotated logics. The book includes important contributions on foundations and applications of paraconsistent logics in…
- Edition
- -
- ISBN/ISSN
- 978-3-319-40418-9
- Collation
- -
- Series Title
- -
- Call Number
- -
Time-Optimal Trajectory Planning for Redundant Robots Joint Space Decomposit…
This master’s thesis presents a novel approach to finding trajectories with minimal end time for kinematically redundant manipulators. Emphasis is given to a general applicability of the developed method to industrial tasks such as gluing or welding. Minimum-time trajectories may yield economic advantages as a shorter trajectory duration results in a lower task cycle time. Whereas kinematical…
- Edition
- -
- ISBN/ISSN
- 978-3-658-12701-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Data assimilation : a mathematical introduction
This book provides a systematic treatment of the mathematical underpinnings of work in data assimilation, covering both theoretical and computational approaches. Specifically the authors develop a unified mathematical framework in which a Bayesian formulation of the problem provides the bedrock for the derivation, development and analysis of algorithms; the many examples used in the text, toget…
- Edition
- -
- ISBN/ISSN
- 9783319203256
- Collation
- xviii, 242 pages
- Series Title
- -
- Call Number
- 511.8
Applied Simulation and Optimization: In Logistics, Industrial and Aeronautica…
Presenting techniques, case-studies and methodologies that combine the use of simulation approaches with optimization techniques for facing problems in manufacturing, logistics, or aeronautical problems, this book provides solutions to common industrial problems in several fields, which range from manufacturing to aviation problems, where the common denominator is the combination of simulation…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-15033-8
- Collation
- XV, 319
- Series Title
- -
- Call Number
- 621.39 APP a
Applied Partial Differential Equations
This textbook is for the standard, one-semester, junior-senior course that often goes by the title "Elementary Partial Differential Equations" or "Boundary Value Problems". The audience consists of students in mathematics, engineering, and the sciences. The topics include derivations of some of the standard models of mathematical physics and methods for solving those equations on unbounded and …
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-12493-3
- Collation
- XI, 289
- Series Title
- Undergraduate Texts in Mathematics
- Call Number
- 515.3 LOG a
Thermal-Hydraulic Analysis of Nuclear Reactors
This text covers the fundamentals of thermodynamics required to understand electrical power generation systems and the application of these principles to nuclear reactor power plant systems. It is not a traditional general thermodynamics text, per se, but a practical thermodynamics volume intended to explain the fundamentals and apply them to the challenges facing actual nuclear power plants sy…
- Edition
- -
- ISBN/ISSN
- 978-3-319-17434-1
- Collation
- -
- Series Title
- -
- Call Number
- -
Applied Mathematics: Kolkata, India, February 2014
The book is based on research presentations at the international conference, “Emerging Trends in Applied Mathematics: In the Memory of Sir Asutosh Mookerjee, S.N. Bose, M.N. Saha and N.R. Sen”, held at the Department of Applied Mathematics, University of Calcutta, during 12–14 February 2014. It focuses on various emerging and challenging topics in the field of applied mathematics and theo…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-81-322-2547-8
- Collation
- XXXVIII, 313
- Series Title
- Springer Proceedings in Mathematics & Statistics
- Call Number
- 530.15 APP a
Theory of Transformation Groups I General Properties of Continuous Transform…
This modern translation of Sophus Lie's and Friedrich Engel's “Theorie der Transformationsgruppen I” will allow readers to discover the striking conceptual clarity and remarkably systematic organizational thought of the original German text. Volume I presents a comprehensive introduction to the theory and is mainly directed towards the generalization of ideas drawn from the study of example…
- Edition
- -
- ISBN/ISSN
- 978-3-662-46211-9
- 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