Filter by
Inductive Logic Programming: 24th International Conference, ILP 2014, Nancy, …
This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Conference on Inductive Logic Programming, ILP 2014, held in Nancy, France, in September 2014. The 14 revised papers presented were carefully reviewed and selected from 41 submissions. The papers focus on topics such as the inducing of logic programs, learning from data represented with logic,…
- Edition
- -
- ISBN/ISSN
- 978-3-319-23707-7
- Collation
- X, 211
- Series Title
- -
- Call Number
- 510
International Symposium on Mathematics, Quantum Theory, and Cryptography Pro…
This open access book presents selected papers from International Symposium on Mathematics, Quantum Theory, and Cryptography (MQC), which was held on September 25-27, 2019 in Fukuoka, Japan. The international symposium MQC addresses the mathematics and quantum theory underlying secure modeling of the post quantum cryptography including e.g. mathematical study of the light-matter interaction mod…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- -
Fourier Transformation for Pedestrians
This book is an introduction to Fourier Transformation with a focus on signal analysis, based on the first edition. It is well suited for undergraduate students in physics, mathematics, electronic engineering as well as for scientists in research and development. It gives illustrations and recommendations when using existing Fourier programs and thus helps to avoid frustrations. Moreover, it is…
- Edition
- -
- ISBN/ISSN
- 978-3-319-16985-9
- Collation
- XVIII, 242 pages
- Series Title
- Undergraduate Lecture Notes in Physics
- Call Number
- -
Transactions on Engineering Technologies World Congress on Engineering and C…
This volume contains thirty-nine revised and extended research articles, written by prominent researchers participating in the World Congress on Engineering and Computer Science 2014, held in San Francisco, October 22-24 2014. Topics covered include engineering mathematics, electrical engineering, circuit design, communications systems, computer science, chemical engineering, systems engineerin…
- Edition
- -
- ISBN/ISSN
- 978-94-017-7236-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Current trends in analysis and its applications
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…
- Edition
- -
- ISBN/ISSN
- 9783319125770
- Collation
- 892 pages
- Series Title
- -
- Call Number
- 515
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
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography