This book presents the proceedings of the 14th International Probabilistic Workshop that was held in Ghent, Belgium in December 2016. Probabilistic methods are currently of crucial importance for research and developments in the field of engineering, which face challenges presented by new materials and technologies and rapidly changing societal needs and values. Contemporary needs related to, for example, performance-based design, service-life design, life-cycle analysis, product optimization, assessment of existing structures and structural robustness give rise to new developments as well as accurate and practically applicable probabilistic and statistical engineering methods to support these developments. These proceedings are a valuable resource for anyone interested in contemporary developments in the field of probabilistic engineering applications.

This volume presents the proceedings of the 18th International Probabilistic Workshop (IPW), which was held in Guimarães, Portugal in May 2021. Probabilistic methods are currently of crucial importance for research and developments in the field of engineering, which face challenges presented by new materials and technologies and rapidly changing societal needs and values. Contemporary needs related to, for example, performance-based design, service-life design, life-cycle analysis, product optimization, assessment of existing structures and structural robustness give rise to new developments as well as accurate and practically applicable probabilistic and statistical engineering methods to support these developments. These proceedings are a valuable resource for anyone interested in contemporary developments in the field of probabilistic engineering applications.

This volume contains the papers presented at IALCCE2018, the Sixth International Symposium on Life-Cycle Civil Engineering (IALCCE2018), held in Ghent, Belgium, October 28-31, 2018. It consists of a book of extended abstracts and a USB device with full papers including the Fazlur R. Khan lecture, 8 keynote lectures, and 390 technical papers from all over the world. Contributions relate to design, inspection, assessment, maintenance or optimization in the framework of life-cycle analysis of civil engineering structures and infrastructure systems. Life-cycle aspects that are developed and discussed range from structural safety and durability to sustainability, serviceability, robustness and resilience. Applications relate to buildings, bridges and viaducts, highways and runways, tunnels and underground structures, off-shore and marine structures, dams and hydraulic structures, prefabricated design, infrastructure systems, etc. During the IALCCE2018 conference a particular focus is put on the cross-fertilization between different sub-areas of expertise and the development of an overall vision for life-cycle analysis in civil engineering. The aim of the editors is to provide a valuable source of cutting edge information for anyone interested in life-cycle analysis and assessment in civil engineering, including researchers, practising engineers, consultants, contractors, decision makers and representatives from local authorities.

Safety and Reliability – Safe Societies in a Changing World collects the papers presented at the 28th European Safety and Reliability Conference, ESREL 2018 in Trondheim, Norway, June 17-21, 2018. The contributions cover a wide range of methodologies and application areas for safety and reliability that contribute to safe societies in a changing world. These methodologies and applications include: - foundations of risk and reliability assessment and management - mathematical methods in reliability and safety - risk assessment - risk management - system reliability - uncertainty analysis - digitalization and big data - prognostics and system health management - occupational safety - accident and incident modeling - maintenance modeling and applications - simulation for safety and reliability analysis - dynamic risk and barrier management - organizational factors and safety culture - human factors and human reliability - resilience engineering - structural reliability - natural hazards - security - economic analysis in risk management Safety and Reliability – Safe Societies in a Changing World will be invaluable to academics and professionals working in a wide range of industrial and governmental sectors: offshore oil and gas, nuclear engineering, aeronautics and aerospace, marine transport and engineering, railways, road transport, automotive engineering, civil engineering, critical infrastructures, electrical and electronic engineering, energy production and distribution, environmental engineering, information technology and telecommunications, insurance and finance, manufacturing, marine transport, mechanical engineering, security and protection, and policy making.

These proceedings address the latest developments in information communication and technologies for geo-engineering. The 3rd International Conference on Information Technology in Geo-Engineering (ICITG 2019), held in Guimarães, Portugal, follows the previous successful installments of this conference series in Durham (2014) and Shanghai (2010). The respective chapters cover the following: Use of information and communications technologies Big data and databases Data mining and data science Imaging technologies Building information modelling applied to geo-structures Artificial intelligence Smart geomaterials and intelligent construction Sensors and monitoring Asset management Case studies on design, construction and maintenance Given its broad range of coverage, the book will benefit students, educators, researchers and professional practitioners alike, encouraging these readers to help take the geo-engineering community into the digital age

The papers in this volume are the refereed papers presented at AI-2011, the Thirty-first SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, held in Cambridge in December 2011 in both the technical and the application streams. They present new and innovative developments and applications, divided into technical stream sections on Planning, Evolutionary Algorithms, Speech and Vision, and Machine Learning, followed by application stream sections on Knowledge Discovery and Data Mining, Machine Learning, Evolutionary Algorithms and AI in Action. The volume also includes the text of short papers presented as posters at the conference. This is the twenty-eighth volume in the Research and Development in Intelligent Systems series, which also incorporates the nineteenth volume in the Applications and Innovations in Intelligent Systems series. These series are essential reading for those who wish to keep up to date with developments in this important field.

This open access book constitutes the proceedings of the 26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 26 regular papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.

This book gathers the latest advances and innovations in the field of quality control and improvement of bridges and structures, as presented by international researchers and engineers at the 1st Conference of the European Association on Quality Control of Bridges and Structures (EUROSTRUCT 2021), held in Padua, Italy on August 29 – September 1, 2021. Contributions include a wide range of topics such as testing and advanced diagnostic techniques for damage detection; SHM and AI, IoT and machine learning for data analysis of bridges and structures; fiberoptics and smart sensors for long-term SHM; structural reliability, risk, robustness, redundancy and resilience for bridges; corrosion models, fatigue analysis and impact of hazards on infrastructure components; bridge and asset management systems, and decision-making models; Life-Cycle Analysis, retrofit and service-life extension, risk management protocols; quality control plans, sustainability and green materials.