English
Related papers

Related papers: Why Do We Need Foundations for Modelling Uncertain…

200 papers

Deep Foundation Models (DFMs) offer unprecedented capabilities but their increasing complexity presents profound challenges to understanding their internal workings-a critical need for ensuring trust, safety, and accountability. As we…

Computers and Society · Computer Science 2025-04-25 Zhen Tan , Huan Liu

Measurement uncertainty is key to assessing, stating and improving the reliability of measurements. An understanding of measurement uncertainty is the basis for confidence in measurements and is required by many communities; among others in…

Physics Education · Physics 2024-12-30 Katy Klauenberg , Peter Harris , Philipp Möhrke , Francesca Pennecchi

Robust modules guarantee to do only what they are supposed to do - even in the presence of untrusted, malicious clients, and considering not just the direct behaviour of individual methods, but also the emergent behaviour from calls to more…

Programming Languages · Computer Science 2022-09-20 Julian Mackay , Sophia Drossopoulou , James Noble , Susan Eisenbach

Recently, requirements for the explainability of software systems have gained prominence. One of the primary motivators for such requirements is that explainability is expected to facilitate stakeholders' trust in a system. Although this…

Software Engineering · Computer Science 2021-08-16 Lena Kästner , Markus Langer , Veronika Lazar , Astrid Schomäcker , Timo Speith , Sarah Sterz

Any ambitious construction project requires architects for its design and engineers who apply the design to the real world. As scientific research shifts towards large groups which focus on the engineering aspects of linking data to…

History and Philosophy of Physics · Physics 2013-06-17 Abraham Loeb

This talk presents foundations of mathematics as a historically variable set of principles appealing to various modes of human intuition and devoid of any prescriptive/prohibitive power. At each turn of history, foundations crystallize the…

History and Overview · Mathematics 2012-05-29 Yuri I. Manin

The rise of biomedical foundation models creates new hurdles in model testing and authorization, given their broad capabilities and susceptibility to complex distribution shifts. We suggest tailoring robustness tests according to…

Software Engineering · Computer Science 2025-09-01 R. Patrick Xian , Noah R. Baker , Tom David , Qiming Cui , A. Jay Holmgren , Stefan Bauer , Madhumita Sushil , Reza Abbasi-Asl

Foundation models have enormous potential in advancing Earth and climate sciences, however, current approaches may not be optimal as they focus on a few basic features of a desirable Earth and climate foundation model. Crafting the ideal…

Artificial Intelligence · Computer Science 2024-05-08 Xiao Xiang Zhu , Zhitong Xiong , Yi Wang , Adam J. Stewart , Konrad Heidler , Yuanyuan Wang , Zhenghang Yuan , Thomas Dujardin , Qingsong Xu , Yilei Shi

Transparency is a fundamental requirement for decision making systems when these should be deployed in the real world. It is usually achieved by providing explanations of the system's behavior. A prominent and intuitive type of explanations…

Machine Learning · Computer Science 2021-07-23 André Artelt , Valerie Vaquet , Riza Velioglu , Fabian Hinder , Johannes Brinkrolf , Malte Schilling , Barbara Hammer

Conceptual modeling is a strongly interdisciplinary field of research. Although numerous proposals for axiomatic foundations of the main ideas of the field exist, there is still a lack of understanding main concepts such as system, process,…

Software Engineering · Computer Science 2022-03-21 Peter Fettke , Wolfgang Reisig

This paper presents and discusses several methods for reasoning from inconsistent knowledge bases. A so-called argumentative-consequence relation taking into account the existence of consistent arguments in favor of a conclusion and the…

Artificial Intelligence · Computer Science 2013-03-08 Salem Benferhat , Didier Dubois , Henri Prade

We study the behavior of cylindrical objects as they sink into a dry granular bed fluidized due to lateral oscillations, in order to shed light on human constructions and other objects. Somewhat unexpectedly, we have found that, within a…

Soft Condensed Matter · Physics 2016-05-26 G. Sanchez-Colina , A. J. Batista-Leyva , C. Clement , E. Altshuler , R. Toussaint

Practitioners making decisions based on causal effects typically ignore structural uncertainty. We analyze when this uncertainty is consequential enough to warrant methodological solutions (Bayesian model averaging over competing causal…

Machine Learning · Computer Science 2025-08-01 Maurits Kaptein

Ensuring a faithful interaction with data and its representation for humanities can and should depend on expert-constructed ground truths.

Digital Libraries · Computer Science 2021-03-25 Yvette Oortwijn , Hein van den Berg , Arianna Betti

Understanding material failure is critical for designing stronger and lighter structures by identifying weaknesses that could be mitigated. Existing full-physics numerical simulation techniques involve trade-offs between speed, accuracy,…

We develop a logical framework for reasoning about knowledge and evidence in which the agent may be uncertain about how to interpret their evidence. Rather than representing an evidential state as a fixed subset of the state space, our…

Logic in Computer Science · Computer Science 2019-07-23 Adam Bjorndahl , Aybüke Özgün

We propose here to look at how abstract a model of a usable system can be, but still say something useful and interesting, so this paper is an exercise in abstraction and formalisation, with usability-of-design as an example target use. We…

Human-Computer Interaction · Computer Science 2024-03-14 Steve Reeves

Within the context of earthquake-resistant design of shallow foundations, the present study is concerned with the determination of the seismic bearing capacity of a circular footing resting on the surface of a heterogene-ous purely cohesive…

Geophysics · Physics 2008-12-18 Charisis Chatzigogos , Alain Pecker , J. Salençon

Advances in data acquisition and numerical wave simulation have improved tomographic imaging techniques and results, but non-experts may find it difficult to understand which model is best for their needs. This paper is intended for these…

Geophysics · Physics 2025-01-27 Andreas Fichtner , Jeroen Ritsema , Solvi Thrastarson

Reliable systems have always been built out of unreliable components. Early on, the reliable components were small such as mirrored disks or ECC (Error Correcting Codes) in core memory. These systems were designed such that failures of…

Distributed, Parallel, and Cluster Computing · Computer Science 2009-09-15 Pat Helland , David Campbell