Related papers: Risk Forms: Representation, Disintegration, and Ap…
Bilevel optimization, the problem of minimizing a value function which involves the arg-minimum of another function, appears in many areas of machine learning. In a large scale empirical risk minimization setting where the number of samples…
We propose automated techniques for the verification and control of probabilistic real-time systems that are only partially observable. To formally model such systems, we define an extension of probabilistic timed automata in which local…
We tackle the problem of conditioning probabilistic programs on distributions of observable variables. Probabilistic programs are usually conditioned on samples from the joint data distribution, which we refer to as deterministic…
The relativistic approach to electroweak properties of two-particle composite systems developed in Ref. [A.F.Krutov, V.E.Troitsky, Phys.Rev.C. 65 (2002) 045501] is generalized here to the case of nonzero spin. In developed technique the…
Systemic risk measures are crucial for the stability of financial markets, yet classical formulations fail to capture the complexity of market volatility. We propose a new framework for systemic risk measurement on the variable-exponent…
We develop and analyze $M$-estimation methods for divergence functionals and the likelihood ratios of two probability distributions. Our method is based on a non-asymptotic variational characterization of $f$-divergences, which allows the…
In this letter we continue the development of $W$-representations. We propose several generalizations of the known models, such as the hypergeometric Hurwitz $\tau$-functions. We construct $W$-representations for multi-character expansions,…
Representation learning is a central challenge across a range of machine learning areas. In reinforcement learning, effective and functional representations have the potential to tremendously accelerate learning progress and solve more…
Many applications require stochastic processes specified on two- or higher-dimensional domains; spatial or spatial-temporal modelling, for example. In these applications it is attractive, for conceptual simplicity and computational…
We introduce estimation and test procedures through divergence optimization for discrete or continuous parametric models. This approach is based on a new dual representation for divergences. We treat point estimation and tests for simple…
The goal of this paper is to understand the conditional law of a stochastic process once it has been observed over an interval. To make this precise, we introduce the notion of a continuous disintegration: a regular conditional probability…
This paper provides an alternative approach to Duffie and Lando [Econometrica 69 (2001) 633-664] for obtaining a reduced form credit risk model from a structural model. Duffie and Lando obtain a reduced form model by constructing an economy…
In this paper we present a unified framework for solving a general class of problems arising in the context of set-membership estimation/identification theory. More precisely, the paper aims at providing an original approach for the…
The Kripke semantics of various logics arises via categorical dualities between a category of relational frames and their maps, and a category of algebras and logical homomorphisms. When the relational frames are considered as computational…
The purpose of this paper is to clarify the relationship between various conditions implying essential undecidability: our main result is that there exists a theory $T$ in which all partially recursive functions are representable, yet $T$…
Aspects of the theory of characteristic modes, based on their variational formulation, are presented and an explicit form of a related functional, involving only currents in a spatial domain, is derived. The new formulation leads to deeper…
We develop a reformulation of the functional integral for bosons in terms of bilocal fields. Correlation functions correspond to quantum probabilities instead of probability amplitudes. Discrete and continuous global symmetries can be…
We survey a QMC approach to integral equations and develop some new applications to risk modeling. In particular, a rigorous error bound derived from Koksma-Hlawka type inequalities is achieved for certain expectations related to the…
Multistage stochastic optimization problems are, by essence, complex as their solutions are indexed both by stages and by uncertainties. Their large scale nature makes decomposition methods appealing, like dynamic programming which is a…
We investigate partial functions and computability theory from within a constructive, univalent type theory. The focus is on placing computability into a larger mathematical context, rather than on a complete development of computability…