This book is a collection of papers from the 9th International ISAAC Congress held in 2013 in Kraków, Poland. The papers are devoted to recent results in mathematics, focused on analysis and a wide range of its applications. These include up-to-date findings of the following topics: - Differential Equations: Complex and Functional Analytic Methods - Nonlinear PDE - Qualitative Properties of E…
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…
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…
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…
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…
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…
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…
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 …
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…
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…