Filter by
Bayesian Methods in the Search for MH370
This book demonstrates how nonlinear/non-Gaussian Bayesian time series estimation methods were used to produce a probability distribution of potential MH370 flight paths. It provides details of how the probabilistic models of aircraft flight dynamics, satellite communication system measurements, environmental effects and radar data were constructed and calibrated. The probability distribution w…
- Edition
- -
- ISBN/ISSN
- 978-981-10-0379-0
- Collation
- XVI, 114
- Series Title
- SpringerBriefs in Electrical and Computer Engineering (BRIEFSELECTRIC)
- Call Number
- 510 DAV b
Uncertainty in Engineering : Introduction to Methods and Applications
This open access book provides an introduction to uncertainty quantification in engineering. Starting with preliminaries on Bayesian statistics and Monte Carlo methods, followed by material on imprecise probabilities, it then focuses on reliability theory and simulation methods for complex systems. The final two chapters discuss various aspects of aerospace engineering, considering stochastic…
- Edition
- -
- ISBN/ISSN
- 978-3-030-83640-5
- Collation
- VII, 147
- Series Title
- SpringerBriefs in Statistics (BRIEFSSTATIST)
- Call Number
- 510 UNC
Geometric Quantization and Applications to Fields and Fluids
This open access book explains geometric quantization from a physicist’s perspective. After presenting the general formalism, it delves into several examples reflecting current research interests in high-energy physics and condensed matter physics. Applications explore Chern-Simons theory, theta vacuum, the Hall effect, fluid dynamics, and elements of noncommutative geometry. The content i…
- Edition
- -
- ISBN/ISSN
- 978-3-031-65801-3
- Collation
- X, 129
- Series Title
- SpringerBriefs in Physics (SpringerBriefs in Physics)
- Call Number
- 530 NAI g
Effective Theories in Physics : From Planetary Orbits to Elementary Particle …
This open access book… There is significant interest in the Philosophy of Science community to understand the role that "effective theories" have in the work of forefront science. The ideas of effective theories have been implicit in science for a long time, but have only been articulated well in the last few decades. Since Wilson's renormalization group revolution in the early 1970's, the s…
- Edition
- -
- ISBN/ISSN
- 978-3-642-34892-1
- Collation
- XI, 73
- Series Title
- SpringerBriefs in Physics (SpringerBriefs in Physics)
- Call Number
- 530 WEL e
Planning for Ecosystem Services in Cities
This open access book presents current knowledge about ecosystem services (ES) in urban planning, and discusses various urban ES topics such as spatial distribution of urban ecosystems, population distribution, and physical infrastructure properties. The book addresses all these issues by: i) investigating to what extent ecosystem services are currently included in urban plans, and discussing w…
- Edition
- -
- ISBN/ISSN
- 978-3-030-20024-4
- Collation
- IX, 87
- Series Title
- SpringerBriefs in Environmental Science (BRIEFSENVIRONMENTAL)
- Call Number
- 570 GEN p
Advances in Proof-Theoretic Semantics
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Du…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-22686-6
- Collation
- VI, 283
- Series Title
- Trends in Logic
- Call Number
- 511.3 ADV a
Green Infrastructure and Climate Change Adaptation : Function, Implementation…
This open access book introduces the function, implementation and governance of green infrastructure in Japan and other countries where lands are geologically fragile and climatologically susceptible to climate change. It proposes green infrastructure as an adaptation strategy for climate change and biodiversity conservation. In the face of climate change, dams, levees and floodways built as…
- Edition
- -
- ISBN/ISSN
- 978-981-16-6791-6
- Collation
- XII, 506
- Series Title
- Ecological Research Monographs (ECOLOGICAL)
- Call Number
- 570 GRE
Long-Term Ecosystem Changes in Riparian Forests
This open access book presents and analyzes the results of more than 30 years of long-term ecological research in riparian forest ecosystems with the aim of casting light on changes in the dynamics of riparian forests over time. The research, focusing on the Ooyamazawa riparian forest, one of the remaining old-growth forests in Japan, has yielded a number of interesting outcomes. First, it show…
- Edition
- -
- ISBN/ISSN
- 978-981-15-3009-8
- Collation
- VIII, 234
- Series Title
- Ecological Research Monographs (ECOLOGICAL)
- Call Number
- 570 LON
Theoretical and Experimental Studies on Steady-State Microbunching
This open access book is devoted to the theoretical and experimental studies of a novel accelerator light source mechanism called steady-state microbunching (SSMB) which promises high-power, high-repetition rate, narrow-band coherent radiation in an electron storage ring. The contribution of this dissertation consists of three parts: first, answers the question of how to realize SSMB from a bea…
- Edition
- -
- ISBN/ISSN
- 978-981-99-5800-9
- Collation
- XII, 160
- Series Title
- Springer Theses (Springer Theses)
- Call Number
- 530 DEN t
Understanding Acoustics : An Experimentalist’s View of Sound and Vibration
This open access textbook, like Rayleigh’s classic Theory of Sound, focuses on experiments and on approximation techniques rather than mathematical rigor. The second edition has benefited from comments and corrections provided by many acousticians, in particular those who have used the first edition in undergraduate and graduate courses. For example, phasor notation has been added to clearly …
- Edition
- -
- ISBN/ISSN
- 978-3-030-44787-8
- Collation
- XLIII, 783
- Series Title
- Graduate Texts in Physics (GTP)
- Call Number
- 530 GAR u
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography