The Collapse Frequency of Structures

The Collapse Frequency of Structures
Author: Dirk Proske
Publisher: Springer Nature
Total Pages: 149
Release: 2022-05-12
Genre: Technology & Engineering
ISBN: 303097247X

The mathematical verification of the safety of structures can be done by determining the probability of failure or by using safety elements. Observed damages and collapses are usually assessed within the framework of expert reports, which seems reasonable due to the large number of unique structures in the construction industry. However, there should also be an examination of observed safety across all structures. Therefore, in this book the collapse frequencies are determined for different types of structures, such as bridges, dams, tunnels, retaining structures and buildings. The collapse frequency, like the failure probability, belongs to stochasticity. Therefore, the observed mean collapse frequencies and the calculated mean failure probabilities are compared. This comparison shows that the collapse frequencies are usually lower than the calculated failure probabilities. In addition, core damage frequencies and probabilities are given to extend the comparison to another technical product.


Advances in Microlocal and Time-Frequency Analysis

Advances in Microlocal and Time-Frequency Analysis
Author: Paolo Boggiatto
Publisher: Springer Nature
Total Pages: 533
Release: 2020-03-03
Genre: Mathematics
ISBN: 3030361381

The present volume gathers contributions to the conference Microlocal and Time-Frequency Analysis 2018 (MLTFA18), which was held at Torino University from the 2nd to the 6th of July 2018. The event was organized in honor of Professor Luigi Rodino on the occasion of his 70th birthday. The conference’s focus and the contents of the papers reflect Luigi’s various research interests in the course of his long and extremely prolific career at Torino University.


Formal System Verification

Formal System Verification
Author: Rolf Drechsler
Publisher: Springer
Total Pages: 193
Release: 2017-06-21
Genre: Technology & Engineering
ISBN: 3319576852

This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of formal proof techniques show the latest developments starting from electronic system level (ESL) descriptions down to the register transfer level (RTL). The authors demonstrate at different abstraction layers how formal methods can help to ensure functional correctness. Coverage includes the latest academic research results, as well as descriptions of industrial tools and case studies.


Uncertainty for Safe Utilization of Machine Learning in Medical Imaging and Clinical Image-Based Procedures

Uncertainty for Safe Utilization of Machine Learning in Medical Imaging and Clinical Image-Based Procedures
Author: Hayit Greenspan
Publisher: Springer Nature
Total Pages: 202
Release: 2019-10-10
Genre: Computers
ISBN: 3030326896

This book constitutes the refereed proceedings of the First International Workshop on Uncertainty for Safe Utilization of Machine Learning in Medical Imaging, UNSURE 2019, and the 8th International Workshop on Clinical Image-Based Procedures, CLIP 2019, held in conjunction with MICCAI 2019, in Shenzhen, China, in October 2019. For UNSURE 2019, 8 papers from 15 submissions were accepted for publication. They focus on developing awareness and encouraging research in the field of uncertainty modelling to enable safe implementation of machine learning tools in the clinical world. CLIP 2019 accepted 11 papers from the 15 submissions received. The workshops provides a forum for work centred on specific clinical applications, including techniques and procedures based on comprehensive clinical image and other data.


Inductive Logic Programming

Inductive Logic Programming
Author: Katsumi Inoue
Publisher: Springer
Total Pages: 226
Release: 2016-06-25
Genre: Mathematics
ISBN: 3319405667

This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Conference on Inductive Logic Programming, ILP 2015, held in Kyoto, Japan, in August 2015. The 14 revised papers presented were carefully reviewed and selected from 44 submissions. The papers focus on topics such as theories, algorithms, representations and languages, systems and applications of ILP, and cover all areas of learning in logic, relational learning, relational data mining, statistical relational learning, multi-relational data mining, relational reinforcement learning, graph mining, connections with other learning paradigms, among others.


Bayesian Networks

Bayesian Networks
Author: Wichian Premchaiswadi
Publisher: BoD – Books on Demand
Total Pages: 128
Release: 2012-04-20
Genre: Mathematics
ISBN: 9535105566

Bayesian Belief Networks are a powerful tool for combining different knowledge sources with various degrees of uncertainty in a mathematically sound and computationally efficient way. A Bayesian network is a graphical model that encodes probabilistic relationships among variables of interest. When used in conjunction with statistical techniques, the graphical model has several advantages for data modeling. First, because the model encodes dependencies among all variables, it readily handles situations where some data entries are missing. Second, a Bayesian network can be used to learn causal relationships, and hence can be used to gain an understanding about a problem domain and to predict the consequences of intervention. Third, because the model has both causal and probabilistic semantics, it is an ideal representation for combining prior knowledge (which often comes in a causal form) and data. Fourth, Bayesian statistical methods in conjunction with Bayesian networks offer an efficient and principled approach to avoid the over fitting of data.


Complex Spaces in Finsler, Lagrange and Hamilton Geometries

Complex Spaces in Finsler, Lagrange and Hamilton Geometries
Author: Gheorghe Munteanu
Publisher: Springer Science & Business Media
Total Pages: 237
Release: 2012-11-03
Genre: Mathematics
ISBN: 1402022069

From a historical point of view, the theory we submit to the present study has its origins in the famous dissertation of P. Finsler from 1918 ([Fi]). In a the classical notion also conventional classification, Finsler geometry has besides a number of generalizations, which use the same work technique and which can be considered self-geometries: Lagrange and Hamilton spaces. Finsler geometry had a period of incubation long enough, so that few math ematicians (E. Cartan, L. Berwald, S.S. Chem, H. Rund) had the patience to penetrate into a universe of tensors, which made them compare it to a jungle. To aU of us, who study nowadays Finsler geometry, it is obvious that the qualitative leap was made in the 1970's by the crystallization of the nonlinear connection notion (a notion which is almost as old as Finsler space, [SZ4]) and by work-skills into its adapted frame fields. The results obtained by M. Matsumoto (coUected later, in 1986, in a monograph, [Ma3]) aroused interest not only in Japan, but also in other countries such as Romania, Hungary, Canada and the USA, where schools of Finsler geometry are founded and are presently widely recognized.


Cosmological Pattern of Microphysics in the Inflationary Universe

Cosmological Pattern of Microphysics in the Inflationary Universe
Author: Maxim Y. Khlopov
Publisher: Springer Science & Business Media
Total Pages: 297
Release: 2013-03-20
Genre: Science
ISBN: 1402026501

Modern cosmology is a quickly developing ?eld of research. New technical devices and tools supply the community with new experimental data measured with high accuracy. The self-consistent explanation of these data needs t- oretical models that are based on hypothetical predictions of particle theory. In their turn, such predictions imply cosmology for their probe. Speci?c st- ies of the cosmological consequences of particle theory, linking them to their observable signatures, are actual. This boiling kettle of theoretical research and experimental efforts produces ideas that will be preserved for following generations. The aim of this book is to acquaint the reader with some of these ideas, - fering nontrivial ways to probe the physical basis of modern cosmology. An extensive review of the newest ideas in modern cosmology, e. g. , related with the development of the M-brane theory, lies beyond the scope of our book, which is aimed at providing a ?rmly established system of probes for these ideas, linking their predictions to their possible experimental test. We use the framework of in?ationary paradigm to reveal the phenomena that can shed light on the physical origin of the observed Universe, of its matter content and large-scale structure. The crucial role of quantum ?uctuations in creation of our Universe and in possible features, re?ecting cosmological impact of microphysics, is discussed. These features are shown to be accessible to - perimental test in the near future.


The Universe of Fluctuations

The Universe of Fluctuations
Author: B. G. Sidharth
Publisher: Springer Science & Business Media
Total Pages: 193
Release: 2006-03-30
Genre: Science
ISBN: 1402037864

The Universe of Fluctuations: The Architecture of Spacetime and the Universe is a path-breaking work which proposes solutions to the impasse and crisis facing fundamental physics and cosmology. It describes a cosmological model based on fuzzy spacetime that has correctly predicted a dark-energy-driven acceleration of our expanding universe - with a small cosmological constant - at a time when the popular belief was quite the contrary. It describes how the Universe is made up of an underpinning of Planck oscillators in a Quantum Vacuum. This leads to, amongst other things, a characterization of gravitation as being distributional over the entire Universe, thereby providing an answer to a puzzle brought to light by Weinberg years ago and since overlooked. There is also a simple formula for the mass spectrum of all known elementary particles, based on QCD dynamics. Many other interesting ramifications and experimental tests for the future are also discussed. This apart, there is a brief survey of some of the existing theories. The book is accessible to junior and senior researchers in High Energy Physics and Cosmology as well as the serious graduate student in Physics.