Refine Results
Sort By
From
To
Page 2
Page 2
Applied geotechnics for construction projects ; Vol. 3 : Behavior and Design of Project Foundations and Eurocode Validation
Applied Geotechnics for Construction Projects 3 first presents the basic theoretical principles and rules governing the designing and validation of foundations; shallow, semi-deep and deep, then presents real foundation projects with a detailed comparison of the approaches and methods of calculating foundations in relation to the reference systems and rules in force, closely compared to and validated by the Eurocodes. The third chapter presents examples of foundation projects, covering high-side building rafts, strip footings, piles and embankments, enriched by an unprecedented level of experience in the field of foundations for civil and industrial construction projects.
Acquiring card payments
Covers: Payment cards and protocols / EMV contact chip and contactless transactions / Disputes, arbitration, and compliance / Data security standards in the payment card industry / Validation algorithms / Code tables / Basic cryptography / Pin block formats and algorithms
Composites with micro- and nano-structure : Computational modeling and experiments
The book contains atomistic and continuum numerical methods and experimental validation for composite materials reinforced with particles or fibres, porous materials, homogenization and other important topics for research in this field.
Bayesian reliability
Bayesian Reliability presents modern methods and techniques for analyzing reliability data from a Bayesian perspective. The adoption and application of Bayesian methods in virtually all branches of science and engineering have significantly increased over the past few decades. This increase is largely due to advances in simulation-based computational tools for implementing Bayesian methods. The authors extensively use such tools throughout this book, focusing on assessing the reliability of components and systems with particular attention to hierarchical models and models incorporating explanatory variables. Such models include failure time regression models, accelerated testing models, and degradation models. The authors pay special attention to Bayesian goodness-of-fit testing, model validation, reliability test design, and assurance test planning. Throughout the book, the authors use Markov chain Monte Carlo (MCMC) algorithms for implementing Bayesian analyses--algorithms that make the Bayesian approach to reliability computationally feasible and conceptually straightforward.
A Roadmap for Formal Property Verification
This book develops the answers to these questions and fits them into a roadmap for formal property verification – a roadmap that shows how to glue FPV technology into the traditional validation flow. A Roadmap for Formal Property Verification explores the key issues in this powerful technology through simple examples – you do not need any background on formal methods to read most parts of this book.
