Filter by
Verifying Calculations - Forty Years On An Overview of Classical Verificatio…
This work provides an overview of a posteriori error assessment techniques for Finite Element (FE) based numerical models. These tools aim at estimating and controlling the discretization error in scientific computational models, being the basis for the numerical verification of the FE solutions. The text discusses the capabilities and limitations of classical methods to build error estimates w…
- Edition
- -
- ISBN/ISSN
- 978-3-319-20553-3
- Collation
- 20 b/w illustrations
- Series Title
- -
- Call Number
- -
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
- XVIII, 468
- Series Title
- -
- Call Number
- -
Verb Sense Discovery in Mandarin Chinese—A Corpus based Knowledge-Intensive…
This book applies linguistic analysis to the poetry of Emeritus Professor Edwin Thumboo, a Singaporean poet and leading figure in Commonwealth literature. The work explores how the poet combines grammar and metaphor to create meaning, making the reader aware of the linguistic resources developed by Thumboo as the basis for his unique technique. The author approaches the poems from a function…
- Edition
- -
- ISBN/ISSN
- 978-3-662-44556-3
- Collation
- XIV, 249
- Series Title
- -
- Call Number
- -
Recent Developments in Intelligent Information and Database Systems
The objective of this book is to contribute to the development of the intelligent information and database systems with the essentials of current knowledge, experience and know-how. The book contains a selection of 40 chapters based on original research presented as posters during the 8th Asian Conference on Intelligent Information and Database Systems (ACIIDS 2016) held on 14–16 March 201…
- Edition
- -
- ISBN/ISSN
- 978-3-319-31277-4
- Collation
- -
- Series Title
- -
- Call Number
- 006.3
Recent Developments in Building Diagnosis Techniques
This book presents a collection of recent research on building diagnosis techniques related to construction pathology, hygrothermal behavior and durability, and diagnostic techniques. It highlights recent advances and new developments in the field of building physics, building anomalies in materials and components, new techniques for improved energy efficiency analysis, and diagnosis techniques…
- Edition
- -
- ISBN/ISSN
- 978-981-10-0466-7
- Collation
- -
- Series Title
- -
- Call Number
- 621.4021
Recent Developments in Anisotropic Heterogeneous Shell Theory: Applications o…
These two-partition books present essential approaches to numerical-analytical solutions of problems in the mechanics of shells with various structures and shapes based on refined and spatial models. Further, it examines the mechanical behavior of shallow, circular and noncircular, conical, spherical, and functionally graded shells obtained by the refined model. The book investigates the st…
- Edition
- -
- ISBN/ISSN
- 978-981-10-1596-0
- Collation
- -
- Series Title
- -
- Call Number
- 510
Recent Developments in Anisotropic Heterogeneous Shell Theory
This brief book presents solutions of stress-strain problems for a wide class of anisotropic inhomogeneous shells obtained by the refined model. Studying these problems results in severe computational difficulties due to partial differential equations with variable coefficients resulting from the constitutive relations of the original model. To solve this problem the book uses spline-collocatio…
- Edition
- -
- ISBN/ISSN
- 978-981-10-0645-6
- Collation
- -
- Series Title
- -
- Call Number
- 510
Venture Capital and the Inventive Process VC Funds for Ideas-Led Growth
The inventive process is the most important driver of economic growth. Venture capital (VC) funds have contributed a small, but critical, part to the inventive process. VC funds boost the inventive process by selecting a small number of radical ideas out a large flow of ideas and invest in their testing, development and commercialization. They bring together capital from general savings, manage…
- Edition
- -
- ISBN/ISSN
- 978-1-137-53660-0
- Collation
- XIV, 123
- Series Title
- -
- Call Number
- -
Ventilatory Disorders
Respiratory function is a major determinant of the overall quality of health and well-being of an individual. This book runs the gamut of chapters devoted to chronic cough-related conditions in children and adults, health care quality and safety, environmental pollution health effects, efficiency of therapeutic approaches and a mutual dependence of respiratory and non-respiratory illnesses. An …
- Edition
- -
- ISBN/ISSN
- 978-3-319-20194-8
- Collation
- X, 110
- Series Title
- -
- Call Number
- -
Venom Genomics and Proteomics
This volume provides the reader with recent advances in the fields of molecular toxinology, the biotechnological applications of venom toxins, and antivenom production. The content of the twenty chapters of Venom Genomics and Proteomics illustrates not only the enormous progress made since the implementation of omics technologies in the field of toxinology, but one also realizes the road still …
- Edition
- -
- ISBN/ISSN
- 978-94-007-6416-3
- Collation
- XXI, 454
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography