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
- -
Variable-Structure Approaches Analysis, Simulation, Robust Control and Estim…
This edited book aims at presenting current research activities in the field of robust variable-structure systems. The scope equally comprises highlighting novel methodological aspects as well as presenting the use of variable-structure techniques in industrial applications including their efficient implementation on hardware for real-time control. The target audience primarily comprises resear…
- Edition
- -
- ISBN/ISSN
- 978-3-319-31539-3
- Collation
- -
- Series Title
- -
- Call Number
- -
Uses of Technology in Lower Secondary Mathematics Education A Concise Topica…
This topical survey provides an overview of the current state of the art in technology use in mathematics education, including both practice-oriented experiences and research-based evidence, as seen from an international perspective. Three core themes are discussed: Evidence of effectiveness; Digital assessment; and Communication and collaboration. The survey’s final section offers suggest…
- Edition
- -
- ISBN/ISSN
- 978-3-319-33666-4
- Collation
- -
- Series Title
- -
- Call Number
- -
International Handbook of Research in Statistics Education
This handbook connects the practice of statistics to the teaching and learning of the subject with contributions from experts in several disciplines. Chapters present current challenges and methods of statistics education in the changing world for statistics and mathematics educators. Issues addressed include current and future challenges in professional development of teachers, use of technol…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-66195-7
- Collation
- Mathematics
- Series Title
- Springer International Handbooks of Education
- Call Number
- 510
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
Statistical Physics of Spin Glasses and Information Processing: An Introduction
Spin glasses are magnetic materials with strong disorder. Statistical mechanics has been a powerful tool to theoretically analyse various unique properties of spin glasses. A number of new analytical techniques have been developed to establish a theory of spin glasses. Surprisingly, these techniques have offered new tools and viewpoints for the understanding of information processing problems, …
- Edition
- Ed. 1
- ISBN/ISSN
- 9780198509400
- Collation
- 256
- Series Title
- International Series of Monographs on Physics
- Call Number
- 006.32 NIS s
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
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography