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…
Mathematical methods are essential tools for all physical scientists. This second edition provides a comprehensive tour of the mathematical knowledge and techniques that are needed by students in this area. In contrast to more traditional textbooks, all the material is presented in the form of problems. Within these problems the basic mathematical theory and its physical applications are well i…
A lively account of a controversial technology developed to mitigate earthquake risk and change how we live with threatening environments. The Sistema de Alerta Sísmica Mexicano is the world's oldest public earthquake early warning system. Given the unpredictability of earthquakes, the technology was designed to give the people of Mexico City more than a minute to prepare before the next bi…
A history of urban travel demand modeling (UTDM) and its enormous influence on American life from the 1920s to the present. For better and worse, the automobile has been an integral part of the American way of life for decades. Its ascendance would have been far less spectacular, however, had engineers and planners not devised urban travel demand modeling (UTDM). This book tells the story of…
How engineers in the mining and oil and gas industries attempt to reconcile competing domains of public accountability. The growing movement toward corporate social responsibility (CSR) urges corporations to promote the well-being of people and the planet rather than the sole pursuit of profit. In Extracting Accountability, Jessica Smith investigates how the public accountability of corporat…
Covering the authors' own state-of-the-art research results, this book presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from traditional order theory to include nonconventional methods from mathematical analysis that depend on topology, domain theory, generalized distanc…
Water diffusing into silica surfaces gives rise for several effects on diffusion behaviour and mechanical properties. In a preceding booklet, we focused on diffusion and fiber strengths and deformations which were obtained by water soaking under external loading. In the present booklet we deal with results and interpretations of strength increase in the absence of applied stresses.
Tracing the development of autonomous and automated shipping from a hype of unmanned ships to a more realistic use of automation to augment humans in maritime operations, this book shows why human factors and human-centred design are essential to the endeavour. Themes addressed in the book include technology and cybersecurity, regulation and classification, and competence and skills. It comb…
This book aims to provide knowledge on how infrastructure is planned and built in a typical developing country, and what key variables are there in the system limiting the efficient use of public investments in infrastructure. The book begins with a comprehensive literature review on construction and economic development, and trade and economic development. The focus of the book is on the case …
Tunnelling has become a fragmented process, excessively influenced by lawyers'notions of confrontational contractual bases. This prevents the pooling of skills, essential to the achievement of the promoters' objectives. Tunnelling: Management by Design seeks the reversal of this trend. After a brief historical treatment of selected developments, th