English
Related papers

Related papers: Combining Weak Distributive Laws: Application to U…

200 papers

This paper studies weakly mixing (singular) and mixing masas in type $\rm{II}_{1}$ factors from a bimodule point of view. Several necessary and sufficient conditions to characterize the normalizing algebra of a masa are presented. We also…

Operator Algebras · Mathematics 2017-01-02 Jan Cameron , Junsheng Fang , Kunal Mukherjee

We have previously reported a Bayesian algorithm for determining the coordinates of points in three-dimensional space from uncertain constraints. This method is useful in the determination of biological molecular structure. It is limited,…

Artificial Intelligence · Computer Science 2013-02-28 Russ B. Altman , Cheng C. Chen , William B. Poland , Jaswinder Pal Singh

We discuss the power and limitation of various "advice," when it is given particularly to weak computational models of one-tape linear-time Turing machines and one-way finite (state) automata. Of various advice types, we consider…

Formal Languages and Automata Theory · Computer Science 2011-07-21 Tomoyuki Yamakami

We explore different ways of implementing temporal constraints expressed in an extension of Answer Set Programming (ASP) with language constructs from dynamic logic. Foremost, we investigate how automata can be used for enforcing such…

Artificial Intelligence · Computer Science 2021-09-07 Pedro Cabalar , Martín Diéguez , Susana Hahn , Torsten Schaub

Count-based distributional semantic models suffer from sparsity due to unobserved but plausible co-occurrences in any text collection. This problem is amplified for models like Anchored Packed Trees (APTs), that take the grammatical type of…

Computation and Language · Computer Science 2017-04-25 Thomas Kober , Julie Weeds , Jeremy Reffin , David Weir

Advances in variational inference enable parameterisation of probabilistic models by deep neural networks. This combines the statistical transparency of the probabilistic modelling framework with the representational power of deep learning.…

Computation and Language · Computer Science 2020-05-05 Tom Pelsmaeker , Wilker Aziz

We consider the Chance Constrained Model Predictive Control problem for polynomial systems subject to disturbances. In this problem, we aim at finding optimal control input for given disturbed dynamical system to minimize a given cost…

Optimization and Control · Mathematics 2016-05-04 Ashkan Jasour , Constantino Lagoa

We study the weak solvability of a nonlinearly coupled system of parabolic and pseudo-parabolic equations describing the interplay between mechanics, chemical reactions, diffusion and flow in a mixture theory framework. Our approach relies…

Analysis of PDEs · Mathematics 2017-02-09 Arthur J. Vromans , A. A. F. van de Ven , Adrian Muntean

We study the large-scale behaviour of a family of stochastic reaction-diffusion equations driven by long-range correlated noise in a weakly nonlinear regime. Depending on the decay of correlations of the noise and the strength of the…

Probability · Mathematics 2026-05-28 Simon Gabriel , Markus Tempelmayr

We consider the application of deep generative models in propagating uncertainty through complex physical systems. Specifically, we put forth an implicit variational inference formulation that constrains the generative model output to…

Machine Learning · Statistics 2018-12-11 Yibo Yang , Paris Perdikaris

Two novel descriptions of weak {\omega}-categories have been recently proposed, using type-theoretic ideas. The first one is the dependent type theory CaTT whose models are {\omega}-categories. The second is a recursive description of a…

Category Theory · Mathematics 2024-12-18 Thibaut Benjamin , Ioannis Markakis , Chiara Sarti

We propose a new framework combining weak measurement and second-order correlated technique. The theoretical analysis shows that WVA experiment can also be implemented by a second-order correlated system. We then build two-dimensional…

Optics · Physics 2015-10-28 Ting Cui , Jing-Zheng Huang , Xiang Liu , Gui-Hua Zeng

Usually, probabilistic automata and probabilistic grammars have crisp symbols as inputs, which can be viewed as the formal models of computing with values. In this paper, we first introduce probabilistic automata and probabilistic grammars…

Artificial Intelligence · Computer Science 2007-05-23 Yongzhi Cao , Lirong Xia , Mingsheng Ying

Counting experiments often rely on Monte Carlo simulations for predictions of Poisson expectations. The accompanying uncertainty from the finite Monte Carlo sample size can be incorporated into parameter estimation by modifying the Poisson…

Instrumentation and Methods for Astrophysics · Physics 2020-04-22 Thorsten Glüsenkamp

Chaotic dynamical systems exhibit strong sensitivity to initial conditions and often contain unresolved multiscale processes, making deterministic forecasting fundamentally limited. Generative models offer an appealing alternative by…

Machine Learning · Computer Science 2026-01-01 Patrick Wyrod , Ashesh Chattopadhyay , Daniele Venturi

A probability distribution allows practitioners to uncover hidden structure in the data and build models to solve supervised learning problems using limited data. The focus of this report is on Variational autoencoders, a method to learn…

Machine Learning · Computer Science 2022-06-22 Vasanth Kalingeri

We generalize some of the central results in automata theory to the abstraction level of coalgebras and thus lay out the foundations of a universal theory of automata operating on infinite objects. Let F be any set functor that preserves…

Logic in Computer Science · Computer Science 2015-07-01 C. Kupke , Y. Venema

We consider a distributionally robust second-order stochastic dominance constrained optimization problem. We require the dominance constraints hold with respect to all probability distributions in a Wasserstein ball centered at the…

Optimization and Control · Mathematics 2021-10-20 Yu Mei , Jia Liu , Zhiping Chen

We study the complex Monge-Amp\`ere operator in bounded hyperconvex domains of $\C^n$. We introduce a scale of classes of weakly singular plurisubharmonic functions : these are functions of finite weighted Monge-Amp\`ere energy. They…

Complex Variables · Mathematics 2008-02-25 S. Benelkourchi , V. Guedj , A. Zeriahi

In this paper, we consider convex feasibility problems where the underlying sets are loosely coupled, and we propose several algorithms to solve such problems in a distributed manner. These algorithms are obtained by applying proximal…

Optimization and Control · Mathematics 2013-07-01 Sina Khoshfetrat Pakazad , Martin S. Andersen , Anders Hansson