English
Related papers

Related papers: Some Remarks on Boolean Constraint Propagation

200 papers

This work describes a novel image analysis approach to characterize the uniformity of objects in agglomerates by using the propagation of normal wavefronts. The problem of width uniformity is discussed and its importance for the…

Disordered Systems and Neural Networks · Physics 2009-11-10 Luciano da F. Costa , Giancarlo Mutinari , David Schubert

This paper extends the Concentration-Compactness Principle to Musielak-Orlicz spaces, working in both bounded and unbounded domains. We show that our results include important special cases like classical Orlicz spaces, variable exponent…

Analysis of PDEs · Mathematics 2025-09-16 Ala Eddine Bahrouni , Anouar Bahrouni

The superconvergence phenomenon is shown for products of free, identically distributed random variables. We also show that a certain Holder regularity, first demonstrated by Biane for the density of a free additive convolution with a…

Functional Analysis · Mathematics 2021-03-17 Hari Bercovici , Jiun-Chau Wang , Ping Zhong

This paper is concerned with the speeds of propagation for the monostable Lotka-Volterra competition-diffusion system in general unbounded domains of $\mathbb{R}^N$. We first establish various definitions of spreading speeds at large time…

Analysis of PDEs · Mathematics 2026-03-26 Yang-Yang Yan , Wei-Jie Sheng

This paper presents a novel pairwise constraint propagation approach by decomposing the challenging constraint propagation problem into a set of independent semi-supervised learning subproblems which can be solved in quadratic time using…

Artificial Intelligence · Computer Science 2015-03-19 Zhiwu Lu , Horace H. S. Ip , Yuxin Peng

In [18] Fournier and Printems establish a methodology which allows to prove the absolute continuity of the law of the solution of some stochastic equations with H\"{o}lder continuous coefficients. This is of course out of reach by using…

Probability · Mathematics 2017-04-03 V. Bally , L. Caramellino

The subject is parametrices for semi-linear problems, based on parametrices for linear boundary problems and on non-linearities that decompose into solution-dependent linear operators acting on the solutions. Non-linearities of product type…

Analysis of PDEs · Mathematics 2016-12-02 Jon Johnsen

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

In this paper, we address the problem of defining a fixpoint semantics for Constraint Handling Rules (CHR) that captures the behavior of both simplification and propagation rules in a sound and complete way with respect to their declarative…

Logic in Computer Science · Computer Science 2011-08-02 Rémy Haemmerlé

Motivated by sensor networks and other distributed settings, several models for distributed learning are presented. The models differ from classical works in statistical pattern recognition by allocating observations of an independent and…

Information Theory · Computer Science 2016-11-18 Joel B. Predd , Sanjeev R. Kulkarni , H. Vincent Poor

Consistency of case bases is a way to avoid the problem of retrieving conflicting constraining precedents for new cases to be decided. However, in legal practice the consistency requirements for case bases may not be satisfied. As pointed…

Artificial Intelligence · Computer Science 2024-10-15 Cecilia Di Florio , Huimin Dong , Antonino Rotolo

Making sense of complex inhomogeneous systems composed of many interacting species is a grand challenge that pervades basically all natural sciences. Phase separation and pattern formation in reaction-diffusion systems have been largely…

Soft Condensed Matter · Physics 2025-06-04 Joshua F. Robinson , Thomas Machon , Thomas Speck

We investigate a class of three-component reaction-diffusion systems subject to mass control and a newly introduced structural assumption, referred to as linear intermediate weighted sum condition. Under these hypotheses, we establish the…

Analysis of PDEs · Mathematics 2025-11-03 Redouane Douaifia , Salem Abdelmalek , Mokhtar Kirane

We study the propagation of ultra-short short solitons in a cubic nonlinear medium modeled by nonlinear Maxwell's equations with stochastic variations of media. We consider three cases: variations of (a) the dispersion, (b) the phase…

Pattern Formation and Solitons · Physics 2015-06-12 Levent Kurt , Tobias Schaefer

Recently Alan D. Sokal gave a very short and completely elementary proof of the uniform boundedness principle. The aim of this note is to point out that by using a similiar technique one can give a considerably short and simple proof of a…

Functional Analysis · Mathematics 2012-04-11 Jan-David Hardtke

In this paper, we prove the power-law in time upper bound for the diffusion of a 1D discrete nonlinear Anderson model. We remove completely the decaying condition restricted on the nonlinearity of Bourgain-Wang (Ann. of Math. Stud. 163:…

Dynamical Systems · Mathematics 2023-03-07 Hongzi Cong , Yunfeng Shi

While probability theory is normally applied to external environments, there has been some recent interest in probabilistic modeling of the outputs of computations that are too expensive to run. Since mathematical logic is a powerful tool…

Artificial Intelligence · Computer Science 2016-10-10 Scott Garrabrant , Benya Fallenstein , Abram Demski , Nate Soares

Distributive laws are important for algebraic reasoning in arithmetic and logic. They are equally important for algebraic reasoning about concurrent programs. In existing theories such as Concurrent Kleene Algebra, only partial correctness…

Logic in Computer Science · Computer Science 2024-03-21 Larissa A. Meinicke , Ian J. Hayes

This paper explores the distribution of indistinguishable balls into distinct urns with varying capacity constraints, a foundational issue in combinatorial mathematics with applications across various disciplines. We present a comprehensive…

Probability · Mathematics 2025-02-07 Jingwei Li , Thomas G. Robertazzi

We provide a unified, probabilistic approach using renewal theory to derive some novel limits of sums for the normalized binomial coefficients and for the normalized Eulerian numbers. We also investigate some corresponding results for their…

Combinatorics · Mathematics 2019-03-18 Meng Li , Ron Goldman