English
Related papers

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

200 papers

To solve a real-world problem, the modeler usually needs to make a trade-off between model complexity and usefulness. This is also true for robust optimization, where a wide range of models for uncertainty, so-called uncertainty sets, have…

Optimization and Control · Mathematics 2019-01-14 Francis Garuba , Marc Goerigk , Peter Jacko

Advancements in LLMs have recently unveiled challenges tied to computational efficiency and continual scalability due to their requirements of huge parameters, making the applications and evolution of these models on devices with limited…

Universal shape profiles in a variety of systems contain crucial information on the underlying dynamics. We develop such shape profiles for earthquakes as a stronger test of theory against observations. The earthquake analysis shows good…

Statistical Mechanics · Physics 2007-05-23 Amit P. Mehta , Karin A. Dahmen , Yehuda Ben-Zion

The existence of adversarial examples has led to considerable uncertainty regarding the trust one can justifiably put in predictions produced by automated systems. This uncertainty has, in turn, lead to considerable research effort in…

Machine Learning · Computer Science 2019-08-02 Christina Göpfert , Jan Philip Göpfert , Barbara Hammer

The adoption of machine learning (ML) components in software systems raises new engineering challenges. In particular, the inherent uncertainty regarding functional suitability and the operation environment makes architecture evaluation and…

Software Engineering · Computer Science 2020-08-10 Alex Serban , Erik Poll , Joost Visser

Reliability (survival analysis, to biostatisticians) is a key ingredient for mak- ing decisions that mitigate the risk of failure. The other key ingredient is utility. A decision theoretic framework harnesses the two, but to invoke this…

Methodology · Statistics 2009-07-24 Nozer D. Singpurwalla

In this paper, we mainly study the robust stability of linear continuous systems with parameter uncertainties, a more general kind of uncertainties for system matrices is considered, i.e., entries of system matrices are rational functions…

Symbolic Computation · Computer Science 2010-03-17 Xiaorong Hou , Junwei Shao

We consider a task of scheduling with a common deadline on a single machine. Every player reports to a scheduler the length of his job and the scheduler needs to finish as many jobs as possible by the deadline. For this simple problem,…

Computer Science and Game Theory · Computer Science 2011-03-15 Uriel Feige , Moshe Tennenholtz

In this paper we characterise the propensity of big capital investments to systematically deliver poor outcomes as "fragility," a notion suggested by Nassim Taleb. A thing or system that is easily harmed by randomness is fragile. We argue…

Economics · Quantitative Finance 2017-06-05 Atif Ansar , Bent Flyvbjerg , Alexander Budzier , Daniel Lunn

We posit that large language models (LLMs) should be capable of expressing their intrinsic uncertainty in natural language. For example, if the LLM is equally likely to output two contradicting answers to the same question, then its…

Computation and Language · Computer Science 2024-09-27 Gal Yona , Roee Aharoni , Mor Geva

Forecasts are typically not produced in a vacuum but in a business context, where forecasts are generated on a regular basis and interact with each other. For decisions, it may be important that forecasts do not change arbitrarily, and are…

In a Systems Engineering setting, various models are produced using a variety of methods and tools. Focusing on a type of models -- called descriptive models -- which we shall describe, we argue that, while the clarity and precision of…

Systems and Control · Electrical Eng. & Systems 2022-07-29 Freddy Kamdem Simo , Dominique Ernadote , Dominique Lenne

The stability of dynamical systems against perturbations (variations in initial conditions/model parameters) is a property referred to as structural stability. The study of sensitivity to perturbation is essential because in experiment…

Quantum Physics · Physics 2014-11-18 Elliott Tammaro

Research in cybersecurity may seem reactive, specific, ephemeral, and indeed ineffective. Despite decades of innovation in defense, even the most critical software systems turn out to be vulnerable to attacks. Time and again. Offense and…

Cryptography and Security · Computer Science 2024-09-04 Marcel Böhme

Probability forecasts are intended to account for the uncertainties inherent in forecasting. It is suggested that from an end-user's point of view probability is not necessarily sufficient to reflect uncertainties that are not simply the…

Statistics Theory · Mathematics 2015-01-22 Kevin Judd

Resilience is needed to make infrastructures fit for the future, but its operationalization is still lively discussed. Here, we identify three understandings of resilience from the existing literature: resilience as a process, an outcome,…

Physics and Society · Physics 2025-03-12 Lukas Halekotte , Andrea Mentges , Daniel Lichte

Modern data systems increasingly operate under conditions of persistent legal, political, and analytic disagreement. In such settings, interoperability cannot rely on shared interpretation, negotiated semantics, or centralized authority.…

Logic in Computer Science · Computer Science 2026-01-23 Denise M. Case

Estimating uncertainty of machine learning models is essential to assess the quality of the predictions that these models provide. However, there are several factors that influence the quality of uncertainty estimates, one of which is the…

Machine Learning · Computer Science 2022-11-03 Yuko Kato , David M. J. Tax , Marco Loog

Fragility curves are commonly used in civil engineering to assess the vulnerability of structures to earthquakes. The probability of failure associated with a prescribed criterion (e.g. the maximal inter-storey drift of a building exceeding…

Applications · Statistics 2017-04-14 C. Mai , K. Konakli , B. Sudret

Our lives become increasingly dependent on safety- and security-critical systems, so formal techniques are advocated for engineering such systems. One of such techniques is validation obligations that enable formalizing requirements early…

Logic in Computer Science · Computer Science 2022-07-08 Sebastian Stock , Atif Mashkoor , Alexander Egyed
‹ Prev 1 8 9 10 Next ›