English
Related papers

Related papers: Reliability updating with equality information

200 papers

New model of software safety is offered. Distribution of mistakes in program on stages of life cycle is researched. Study of ways of increase of reliability of software at help simulation program is leaded.

Software Engineering · Computer Science 2008-07-02 Arkadiy Khandjian

Structural reliability analysis is concerned with estimation of the probability of a critical event taking place, described by $P(g(\textbf{X}) \leq 0)$ for some $n$-dimensional random variable $\textbf{X}$ and some real-valued function…

Computation · Statistics 2021-04-13 Christian Agrell , Kristina Rognlien Dahl

This paper investigates reproducibility challenges in automatic text summarization evaluation. Based on experiments conducted across six representative metrics ranging from classical approaches like ROUGE to recent LLM-based methods…

Computation and Language · Computer Science 2025-09-01 Tanguy Herserant , Vincent Guigue

As with all measurements, the measurement of examinee ability, in terms of scores that the examinee obtains in a test, is also error-ridden. The quantification of such error or uncertainty in the test score data--or rather the complementary…

Applications · Statistics 2015-03-13 Satyendra Nath Chakrabartty , Kangrui Wang , Dalia Chakrabarty

Prognostics is a process of assessing the extent of deviation or degradation of a product from its expected normal operating condition, and then, based on continuous monitoring, predicting the future reliability of the product. By being…

Materials Science · Physics 2007-09-13 N. Vchare , M. Pecht

We investigate the impact of available information on the estimation of the default probability within a generalized structural model for credit risk. The traditional structural model where default is triggered when the value of the firm's…

Pricing of Securities · Quantitative Finance 2019-11-19 Imke Redeker , Ralf Wunderlich

Existing research on Retrieval-Augmented Generation (RAG) primarily focuses on improving overall question-answering accuracy, often overlooking the quality of sub-claims within generated responses. Recent methods that attempt to improve RAG…

Information Retrieval · Computer Science 2025-06-27 Naihe Feng , Yi Sui , Shiyi Hou , Jesse C. Cresswell , Ga Wu

Traditional member-based two-step design approaches included in current structural codes for steel structures, as well as more recent system-based direct-design alternatives, require building rigorous structural reliability frameworks for…

Materials Science · Physics 2021-10-27 Itsaso Arrayago , Kim J. R. Rasmussen , Esther Real

It is nowadays widely acknowledged that optimal structural design should be robust with respect to the uncertainties in loads and material parameters. However, there are several alternatives to consider such uncertainties in structural…

Computational Engineering, Finance, and Science · Computer Science 2022-01-26 Gustavo Assis da Silva , Eduardo Lenz Cardoso , Andre T. Beck

Investigation of the reliability of technical systems is one of the application areas of stochastic processes. The reliability of a technical system is based on two main elements. The first is the connection type of the system, and the…

Optimization and Control · Mathematics 2024-05-22 Yunus Güral , Mehmet Gürcan

In the field of structural reliability, the Monte-Carlo estimator is considered as the reference probability estimator. However, it is still untractable for real engineering cases since it requires a high number of runs of the model. In…

Methodology · Statistics 2015-03-19 V. Dubourg , F. Deheeger , B. Sudret

Unstructured text data annotation is foundational to management research. LLMs offer a cost-effective and scalable alternative to human annotation, but they introduce a novel challenge: the annotator itself can be retired. Proprietary…

Computation and Language · Computer Science 2026-05-13 Xiang Cheng , Raveesh Mayya , João Sedoc

Modern grid monitoring equipment enables utilities to collect detailed records of power interruptions. These data are aggregated to compute publicly reported metrics describing high-level characteristics of grid performance. The current…

Physics and Society · Physics 2019-01-14 Laurel N. Dunn , Michael D. Sohn , Kristina Hamachi Lacommare , Joseph H. Eto

Materialisation precomputes all consequences of a set of facts and a datalog program so that queries can be evaluated directly (i.e., independently from the program). Rewriting optimises materialisation for datalog programs with equality by…

Databases · Computer Science 2015-05-04 Boris Motik , Yavor Nenov , Robert Piro , Ian Horrocks

To improve the predictive capacity of system models in the input-output sense, this paper presents a framework for model updating via learning of modeling uncertainties in locally (and thus also in globally) Lipschitz nonlinear systems.…

Systems and Control · Electrical Eng. & Systems 2024-06-11 Farhad Ghanipoor , Carlos Murguia , Peyman Mohajerin Esfahani , Nathan van de Wouw

Environmental, Social, and Governance (ESG) datasets are frequently plagued by significant data gaps, leading to inconsistencies in ESG ratings due to varying imputation methods. This paper explores the application of established machine…

Machine Learning · Computer Science 2024-07-30 Sergio Caprioli , Jacopo Foschi , Riccardo Crupi , Alessandro Sabatino

Resilient state recovery of cyber-physical systems has attracted much research attention due to the unique challenges posed by the tight coupling between communication, computation, and the underlying physics of such systems. By modeling…

Optimization and Control · Mathematics 2025-07-31 Yu Zheng , Olugbenga Moses Anubi , Warren E. Dixon

Entity information network is used to describe structural relationships between entities. Taking advantage of its extension and heterogeneity, entity information network is more and more widely applied to relationship modeling. Recent…

Information Retrieval · Computer Science 2017-10-11 Liang Yin , Li-Chen Shi , Jun-Yan Zhao , Song-Yang Du , Wen-Bo Xie , Duan-Bing Chen

How reliably an automatic summarization evaluation metric replicates human judgments of summary quality is quantified by system-level correlations. We identify two ways in which the definition of the system-level correlation is inconsistent…

Computation and Language · Computer Science 2022-04-22 Daniel Deutsch , Rotem Dror , Dan Roth

Requirements engineering is a knowledge intensive process and crucial for the success of engineering projects. The field of knowledge-based requirements engineering (KBRE) aims to support engineers by providing knowledge to assist in the…

Software Engineering · Computer Science 2024-11-19 Lasse M. Reinpold , Marvin Schieseck , Lukas P. Wagner , Felix Gehlhoff , Alexander Fay