English
Related papers

Related papers: Toward a combination rule to deal with partial con…

200 papers

Distributive laws give a way of combining two algebraic structures expressed as monads; in this paper we propose a theory of distributive laws for combining algebraic structures expressed as Lawvere theories. We propose four approaches,…

Category Theory · Mathematics 2024-08-07 Eugenia Cheng

Majorisation, also called rearrangement inequalities, yields a type of stochastic ordering in which two or more distributions can be compared. In this paper we argue that majorisation is a good candidate as a theory for uncertainty. We…

Statistics Theory · Mathematics 2021-06-17 Victoria Volodina , Nikki Sonenberg , Edward Wheatcroft , Henry Wynn

Distributive laws are a standard way of combining two monads, providing a compositional approach for reasoning about computational effects in semantics. Situations where no such law exists can sometimes be handled by weakening the notion of…

Logic in Computer Science · Computer Science 2023-06-22 Alexandre Goy

Density functional theory calculations use a significant fraction of current supercomputing time. The resources required scale with the problem size, internal workings of the code and the number of iterations to convergence, the latter…

Computational Physics · Physics 2025-09-22 Laurence Marks

We propose a method to approximate the distribution of robot configurations satisfying multiple objectives. Our approach uses variational inference, a popular method in Bayesian computation, which has several advantages over sampling-based…

Robotics · Computer Science 2019-11-25 Emmanuel Pignat , Teguh Lembono , Sylvain Calinon

Metric regularity is among the central concepts of nonlinear and variational analysis, constrained optimization, and their numerous applications. However, metric regularity can be elusive for some important ill-posed classes of problems…

Optimization and Control · Mathematics 2025-03-30 Mario Jelitte , Boris S. Mordukhovich

Inappropriate use of Dempster's rule of combination has led some authors to reject the Dempster-Shafer model, arguing that it leads to supposedly unacceptable conclusions when defaults are involved. A most classic example is about the…

Artificial Intelligence · Computer Science 2013-04-05 Philippe Smets , Yen-Teh Hsia

Multimodal AI models are increasingly used in fields like healthcare, finance, and autonomous driving, where information is drawn from multiple sources or modalities such as images, texts, audios, videos. However, effectively managing…

Machine Learning · Computer Science 2025-05-16 Grigor Bezirganyan , Sana Sellami , Laure Berti-Équille , Sébastien Fournier

We review the main topics concerning Fusion Rule Algebras (FRA) of Rational Conformal Field Theories. After an exposition of their general properties, we examine known results on the complete classification for low number of fields ($\leq…

High Energy Physics - Theory · Physics 2011-04-15 M. Caselle , G. Ponzano , F. Ravanini

This article presents a reformulation of the Theory of Functional Connections: a general methodology for functional interpolation that can embed a set of user-specified linear constraints. The reformulation presented in this paper exploits…

Numerical Analysis · Mathematics 2020-08-07 Carl Leake , Hunter Johnston , Daniele Mortari

On the retention problem, we study the case of a functional constraint on the set of disturbances. A construction of resolving quasistrategy based on the method of programmed iterations is proposed.

Optimization and Control · Mathematics 2019-12-02 Dmitriy Serkov

In this paper, an optimization problem with uncertain objective function coefficients is considered. The uncertainty is specified by providing a discrete scenario set, containing possible realizations of the objective function coefficients.…

Data Structures and Algorithms · Computer Science 2023-03-10 Marc Goerigk , Romain Guillaume , Adam Kasperski , Paweł Zieliński

When constructing a Bayesian Machine Learning model, we might be faced with multiple different prior distributions and thus are required to properly consider them in a sensible manner in our model. While this situation is reasonably well…

Machine Learning · Computer Science 2021-04-20 Sarem Seitz

This paper deals with the solution of unified fractional reaction-diffusion systems. The results are obtained in compact and elegant forms in terms of Mittag-Leffler functions and generalized Mittag-Leffler functions, which are suitable for…

Classical Analysis and ODEs · Mathematics 2014-09-11 R. K. Saxena , A. M. Mathai , H. J. Haubold

Many dynamical phenomena display a cyclic behavior, in the sense that time can be partitioned into units within which distributional aspects of a process are homogeneous. In this paper, we introduce a class of models - called conjugate…

Statistics Theory · Mathematics 2017-05-05 Eduardo Horta , Flavio Ziegelmann

We study the problem of distributed cooperative learning, where a group of agents seeks to agree on a set of hypotheses that best describes a sequence of private observations. In the scenario where the set of hypotheses is large, we propose…

Machine Learning · Computer Science 2021-09-22 Mohammad Taha Toghani , César A. Uribe

We present examples where the use of belief functions provided sound and elegant solutions to real life problems. These are essentially characterized by ?missing' information. The examples deal with 1) discriminant analysis using a learning…

Artificial Intelligence · Computer Science 2013-01-30 Philippe Smets

Duhamel's principle reduces the Cauchy problem for an inhomogeneous partial differential equation to the corresponding homogeneous problem. In the fractional-order setting, the classical principle does not apply directly because fractional…

Classical Analysis and ODEs · Mathematics 2026-03-03 Sabir Umarov

Efficient modeling of uncertain information in real world is still an open issue. Dempster-Shafer evidence theory is one of the most commonly used methods. However, the Dempster-Shafer evidence theory has the assumption that the hypothesis…

Artificial Intelligence · Computer Science 2014-05-14 Yong Deng

We prove that some of the basic differential functions appearing in the (unramified) theory of arithmetic differential equations, especially some of the basic differential modular forms in that theory, arise from a "ramified situation".…

Number Theory · Mathematics 2011-04-04 A. Buium , A. Saha