Author: Dirk Proske
Publisher: Springer Nature
ISBN: 303097247X
Category : Technology & Engineering
Languages : en
Pages : 149
Book Description
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.
The Collapse Frequency of Structures
Author: Dirk Proske
Publisher: Springer Nature
ISBN: 303097247X
Category : Technology & Engineering
Languages : en
Pages : 149
Book Description
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.
Publisher: Springer Nature
ISBN: 303097247X
Category : Technology & Engineering
Languages : en
Pages : 149
Book Description
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
Author: Paolo Boggiatto
Publisher: Springer Nature
ISBN: 3030361381
Category : Mathematics
Languages : en
Pages : 533
Book Description
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.
Publisher: Springer Nature
ISBN: 3030361381
Category : Mathematics
Languages : en
Pages : 533
Book Description
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
Author: Rolf Drechsler
Publisher: Springer
ISBN: 3319576852
Category : Technology & Engineering
Languages : en
Pages : 193
Book Description
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.
Publisher: Springer
ISBN: 3319576852
Category : Technology & Engineering
Languages : en
Pages : 193
Book Description
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.
ECAI 2023
Author: K. Gal
Publisher: IOS Press
ISBN: 164368437X
Category : Computers
Languages : en
Pages : 3328
Book Description
Artificial intelligence, or AI, now affects the day-to-day life of almost everyone on the planet, and continues to be a perennial hot topic in the news. This book presents the proceedings of ECAI 2023, the 26th European Conference on Artificial Intelligence, and of PAIS 2023, the 12th Conference on Prestigious Applications of Intelligent Systems, held from 30 September to 4 October 2023 and on 3 October 2023 respectively in Kraków, Poland. Since 1974, ECAI has been the premier venue for presenting AI research in Europe, and this annual conference has become the place for researchers and practitioners of AI to discuss the latest trends and challenges in all subfields of AI, and to demonstrate innovative applications and uses of advanced AI technology. ECAI 2023 received 1896 submissions – a record number – of which 1691 were retained for review, ultimately resulting in an acceptance rate of 23%. The 390 papers included here, cover topics including machine learning, natural language processing, multi agent systems, and vision and knowledge representation and reasoning. PAIS 2023 received 17 submissions, of which 10 were accepted after a rigorous review process. Those 10 papers cover topics ranging from fostering better working environments, behavior modeling and citizen science to large language models and neuro-symbolic applications, and are also included here. Presenting a comprehensive overview of current research and developments in AI, the book will be of interest to all those working in the field.
Publisher: IOS Press
ISBN: 164368437X
Category : Computers
Languages : en
Pages : 3328
Book Description
Artificial intelligence, or AI, now affects the day-to-day life of almost everyone on the planet, and continues to be a perennial hot topic in the news. This book presents the proceedings of ECAI 2023, the 26th European Conference on Artificial Intelligence, and of PAIS 2023, the 12th Conference on Prestigious Applications of Intelligent Systems, held from 30 September to 4 October 2023 and on 3 October 2023 respectively in Kraków, Poland. Since 1974, ECAI has been the premier venue for presenting AI research in Europe, and this annual conference has become the place for researchers and practitioners of AI to discuss the latest trends and challenges in all subfields of AI, and to demonstrate innovative applications and uses of advanced AI technology. ECAI 2023 received 1896 submissions – a record number – of which 1691 were retained for review, ultimately resulting in an acceptance rate of 23%. The 390 papers included here, cover topics including machine learning, natural language processing, multi agent systems, and vision and knowledge representation and reasoning. PAIS 2023 received 17 submissions, of which 10 were accepted after a rigorous review process. Those 10 papers cover topics ranging from fostering better working environments, behavior modeling and citizen science to large language models and neuro-symbolic applications, and are also included here. Presenting a comprehensive overview of current research and developments in AI, the book will be of interest to all those working in the field.
Inductive Logic Programming
Author: Katsumi Inoue
Publisher: Springer
ISBN: 3319405667
Category : Mathematics
Languages : en
Pages : 226
Book Description
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.
Publisher: Springer
ISBN: 3319405667
Category : Mathematics
Languages : en
Pages : 226
Book Description
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.
Service-Oriented Computing – ICSOC 2019 Workshops
Author: Sami Yangui
Publisher: Springer Nature
ISBN: 3030459896
Category : Computers
Languages : en
Pages : 321
Book Description
This book constitutes the revised selected papers of the scientific satellite events that were held in conjunction with the 17th International Conference on Service-Oriented Computing, ICSOC 2019, held in Toulouse, France, in October 2019. The ICSOC 2019 workshop track consisted of five workshops on a wide range of topics that fall into the general area of service computing: - The 15th International Workshop on Engineering Service-Oriented Applications and Cloud Services (WESOACS). 4 papers over the 6 received submissions were accepted. - The 4th International Workshop on Adaptive Service-oriented and Cloud Applications (ASOCA). 2 papers over the 4 received submissions were accepted. Moreover, 2 invited papers were presented in this workshop. - The 4th International IoT Systems Provisioning & Management for Context-Aware Smart Cities (ISYCC). 3 papers over the 5 received submissions were accepted. Moreover, 3 invited papers were presented in this workshop. - The 1st edition of Towards Blockchain-Based Collaborative Enterprise (TBCE). It accepted 2 papers over the 3 received submissions. - The 1st edition of Smart daTa integRation And Processing on Service based environments (STRAPS). 3 papers over the 7 received submissions were accepted. An additional invited paper was presented in this workshop.
Publisher: Springer Nature
ISBN: 3030459896
Category : Computers
Languages : en
Pages : 321
Book Description
This book constitutes the revised selected papers of the scientific satellite events that were held in conjunction with the 17th International Conference on Service-Oriented Computing, ICSOC 2019, held in Toulouse, France, in October 2019. The ICSOC 2019 workshop track consisted of five workshops on a wide range of topics that fall into the general area of service computing: - The 15th International Workshop on Engineering Service-Oriented Applications and Cloud Services (WESOACS). 4 papers over the 6 received submissions were accepted. - The 4th International Workshop on Adaptive Service-oriented and Cloud Applications (ASOCA). 2 papers over the 4 received submissions were accepted. Moreover, 2 invited papers were presented in this workshop. - The 4th International IoT Systems Provisioning & Management for Context-Aware Smart Cities (ISYCC). 3 papers over the 5 received submissions were accepted. Moreover, 3 invited papers were presented in this workshop. - The 1st edition of Towards Blockchain-Based Collaborative Enterprise (TBCE). It accepted 2 papers over the 3 received submissions. - The 1st edition of Smart daTa integRation And Processing on Service based environments (STRAPS). 3 papers over the 7 received submissions were accepted. An additional invited paper was presented in this workshop.
Mathematical Foundations of Information Retrieval
Author: S. Dominich
Publisher: Springer Science & Business Media
ISBN: 9780792368618
Category : Computers
Languages : en
Pages : 314
Book Description
This book offers a comprehensive and consistent mathematical approach to information retrieval (IR) without which no implementation is possible, and sheds an entirely new light upon the structure of IR models. It contains the descriptions of all IR models in a unified formal style and language, along with examples for each, thus offering a comprehensive overview of them. The book also creates mathematical foundations and a consistent mathematical theory (including all mathematical results achieved so far) of IR as a stand-alone mathematical discipline, which thus can be read and taught independently. Also, the book contains all necessary mathematical knowledge on which IR relies, to help the reader avoid searching different sources. Audience: The book will be of interest to computer or information scientists, librarians, mathematicians, undergraduate students and researchers whose work involves information retrieval.
Publisher: Springer Science & Business Media
ISBN: 9780792368618
Category : Computers
Languages : en
Pages : 314
Book Description
This book offers a comprehensive and consistent mathematical approach to information retrieval (IR) without which no implementation is possible, and sheds an entirely new light upon the structure of IR models. It contains the descriptions of all IR models in a unified formal style and language, along with examples for each, thus offering a comprehensive overview of them. The book also creates mathematical foundations and a consistent mathematical theory (including all mathematical results achieved so far) of IR as a stand-alone mathematical discipline, which thus can be read and taught independently. Also, the book contains all necessary mathematical knowledge on which IR relies, to help the reader avoid searching different sources. Audience: The book will be of interest to computer or information scientists, librarians, mathematicians, undergraduate students and researchers whose work involves information retrieval.
Complex Spaces in Finsler, Lagrange and Hamilton Geometries
Author: Gheorghe Munteanu
Publisher: Springer Science & Business Media
ISBN: 1402022069
Category : Mathematics
Languages : en
Pages : 237
Book Description
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.
Publisher: Springer Science & Business Media
ISBN: 1402022069
Category : Mathematics
Languages : en
Pages : 237
Book Description
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
Author: Maxim Y. Khlopov
Publisher: Springer Science & Business Media
ISBN: 1402026501
Category : Science
Languages : en
Pages : 297
Book Description
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.
Publisher: Springer Science & Business Media
ISBN: 1402026501
Category : Science
Languages : en
Pages : 297
Book Description
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
Author: B. G. Sidharth
Publisher: Springer Science & Business Media
ISBN: 1402037864
Category : Science
Languages : en
Pages : 193
Book Description
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.
Publisher: Springer Science & Business Media
ISBN: 1402037864
Category : Science
Languages : en
Pages : 193
Book Description
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.