Filter by
Verification, Model Checking, and Abstract Interpretation 16th International…
This book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, in January 2015. The 24 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpr…
- Edition
- -
- ISBN/ISSN
- 978-3-662-46081-8
- Collation
- -
- Series Title
- -
- Call Number
- -
Vehicular Ad-hoc Networks for Smart Cities First International Workshop, 2014
Vehicular communication is a key technology in intelligent transportation systems. For many years now, the academic and industrial research communities have been investigating these communications in order to improve efficiency and safety of future transportation. Vehicular networking offers a wide variety of applications, including safety applications as well as infotainment applications. T…
- Edition
- -
- ISBN/ISSN
- 978-981-287-158-9
- Collation
- -
- Series Title
- -
- Call Number
- -
Vector Generalized Linear and Additive Models With an Implementation in R
This book presents a greatly enlarged statistical framework compared to generalized linear models (GLMs) with which to approach regression modelling. Comprising of about half-a-dozen major classes of statistical models, and fortified with necessary infrastructure to make the models more fully operable, the framework allows analyses based on many semi-traditional applied statistics models to be …
- Edition
- -
- ISBN/ISSN
- 978-1-4939-2818-7
- Collation
- -
- Series Title
- -
- Call Number
- -
Varying Gravity Dirac’s Legacy in Cosmology and Geophysics
The main focus of this book is on the interconnection of two unorthodox scientific ideas, the varying-gravity hypothesis and the expanding-earth hypothesis. As such, it provides a fascinating insight into a nearly forgotten chapter in both the history of cosmology and the history of the earth sciences. The hypothesis that the force of gravity decreases over cosmic time was first proposed by …
- Edition
- -
- ISBN/ISSN
- 978-3-319-24379-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Advanced Problems in Mathematics: Preparing for University
"This new and expanded edition is intended to help candidates prepare for entrance examinations in mathematics and scientific subjects, including STEP (Sixth Term Examination Paper). STEP is an examination used by Cambridge Colleges for conditional offers in mathematics. They are also used by some other UK universities and many mathematics departments recommend that their applicants practice on…
- Edition
- Ed. 1
- ISBN/ISSN
- 9781783747764
- Collation
- -
- Series Title
- -
- Call Number
- 510 SIK a
Unsteady Turbulent Flow Modelling and Applications
The master thesis of David Roos Launchbury deals with the implementation and validation of a numerical solver for incompressible large eddy simulation (LES) with heat transfer in OpenFOAM. Academic and industrial cases, ranging from flow between parallel plates to film cooling, are investigated utilising existing and newly-implemented turbulence models. Simulations using no turbulence models, i…
- Edition
- -
- ISBN/ISSN
- 978-3-658-11912-6
- Collation
- -
- Series Title
- -
- Call Number
- -
Quantum Measurement
This is a book about the Hilbert space formulation of quantum mechanics and its measurement theory. It contains a synopsis of what became of the Mathematical Foundations of Quantum Mechanics since von Neumann’s classic treatise with this title. Fundamental non-classical features of quantum mechanics—indeterminacy and incompatibility of observables, unavoidable measurement disturbance, entan…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-43389-9
- Collation
- Mathematical
- Series Title
- Theoretical and Mathematical Physics
- Call Number
- 510
Asymptotic Solutions of Strongly Nonlinear Systems of Differential Equations
The book is dedicated to the construction of particular solutions of systems of ordinary differential equations in the form of series that are analogous to those used in Lyapunov’s first method. A prominent place is given to asymptotic solutions that tend to an equilibrium position, especially in the strongly nonlinear case, where the existence of such solutions can’t be inferred on the bas…
- Edition
- 1
- ISBN/ISSN
- 978-3-642-33817-5
- Collation
- Mathematics
- Series Title
- -
- Call Number
- 510
Mathematical Statistics
This book presents a detailed description of the development of statistical theory. In the mid twentieth century, the development of mathematical statistics underwent an enduring change, due to the advent of more refined mathematical tools. New concepts like sufficiency, superefficiency, adaptivity etc. motivated scholars to reflect upon the interpretation of mathematical concepts in terms of t…
- Edition
- 1
- ISBN/ISSN
- 978-3-642-31084-3
- Collation
- Mathematics
- Series Title
- Springer Series in Statistics
- Call Number
- 510
Asymptotic Approximations for Probability Integrals
This book gives a self-contained introduction to the subject of asymptotic approximation for multivariate integrals for both mathematicians and applied scientists. A collection of results of the Laplace methods is given. Such methods are useful for example in reliability, statistics, theoretical physics and information theory. An important special case is the approximation of multidimensional n…
- Edition
- 1
- ISBN/ISSN
- 978-3-540-49033-3
- Collation
- Mathematical
- Series Title
- -
- Call Number
- 510
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography