English
Related papers

Related papers: Range and Roots: Two Common Patterns for Specifyin…

200 papers

We present a new method for obtaining norm bounds for random matrices, where each entry is a low-degree polynomial in an underlying set of independent real-valued random variables. Such matrices arise in a variety of settings in the…

Probability · Mathematics 2024-12-12 Madhur Tulsiani , June Wu

In this paper we propose a wide class of truncated stochastic approximation procedures with moving random bounds. While we believe that the proposed class of procedures will find its way to a wider range of applications, the main motivation…

Methodology · Statistics 2012-05-04 Teo Sharia

We introduce a model in which cells belonging to two species proliferate with volume exclusion on an expanding surface. If the surface expands uniformly, we show that the domains formed by the two species present a critical behavior. We…

Statistical Mechanics · Physics 2025-08-12 Robert J. H. Ross , Simone Pigolotti

Grid Computing is a type of parallel and distributed systems that is designed to provide reliable access to data and computational resources in wide area networks. These resources are distributed in different geographical locations, however…

Distributed, Parallel, and Cluster Computing · Computer Science 2013-09-27 Sheida Dayyani , Mohammad Reza Khayyambashi

Bounds consistency is usually enforced on continuous constraints by first decomposing them into binary and ternary primitives. This decomposition has long been shown to drastically slow down the computation of solutions. To tackle this,…

Artificial Intelligence · Computer Science 2007-05-23 Frederic Goualard , Laurent Granvilliers

Domain-specific constraint patterns are introduced, which form the counterpart to design patterns in software engineering for the constraint programming setting. These patterns describe the expert knowledge and best-practice solution to…

Software Engineering · Computer Science 2022-06-07 Sophia Saller , Jana Koehler

Many problems in operations research require that constraints be specified in the model. Determining the right constraints is a hard and laborsome task. We propose an approach to automate this process using artificial intelligence and…

Artificial Intelligence · Computer Science 2018-05-30 Mohit Kumar , Stefano Teso , Luc De Raedt

Evolutionary algorithms have been frequently applied to constrained continuous optimisation problems. We carry out feature based comparisons of different types of evolutionary algorithms such as evolution strategies, differential evolution…

Artificial Intelligence · Computer Science 2015-09-24 Shayan Poursoltan , Frank Neumann

In this paper we explore a relevant aspect of the interplay between two core elements of global optimization algorithms for nonconvex nonlinear programming problems, which we believe has been overlooked by past literature. The first one is…

Optimization and Control · Mathematics 2025-09-24 Julio González-Díaz , Brais González-Rodríguez , Ignacio Gómez-Casares

Generative retrieval seeks to replace traditional search index data structures with a single large-scale neural network, offering the potential for improved efficiency and seamless integration with generative large language models. As an…

Information Retrieval · Computer Science 2025-04-15 Shiguang Wu , Zhaochun Ren , Xin Xin , Jiyuan Yang , Mengqi Zhang , Zhumin Chen , Maarten de Rijke , Pengjie Ren

We study here a natural situation when constraint programming can be entirely reduced to rule-based programming. To this end we explain first how one can compute on constraint satisfaction problems using rules represented by simple…

Artificial Intelligence · Computer Science 2007-05-23 Krzysztof R. Apt , Eric Monfroy

Prior knowledge and symbolic rules in machine learning are often expressed in the form of label constraints, especially in structured prediction problems. In this work, we compare two common strategies for encoding label constraints in a…

Machine Learning · Computer Science 2023-07-11 Kaifu Wang , Hangfeng He , Tin D. Nguyen , Piyush Kumar , Dan Roth

We generalize the concept of ascending and descending runs from permutations to rooted labelled trees and mappings, i.e., functions from the set $\{1, \dots, n\}$ into itself. A combinatorial decomposition of the corresponding functional…

Combinatorics · Mathematics 2020-07-06 Marie-Louise Lackner , Alois Panholzer

Graphs are now ubiquitous in almost every field of research. Recently, new research areas devoted to the analysis of graphs and data associated to their vertices have emerged. Focusing on dynamical processes, we propose a fast, robust and…

Social and Information Networks · Computer Science 2016-02-02 Kirell Benzi , Benjamin Ricaud , Pierre Vandergheynst

This monograph presents a class of algorithms called coordinate descent algorithms for mathematicians, statisticians, and engineers outside the field of optimization. This particular class of algorithms has recently gained popularity due to…

Optimization and Control · Mathematics 2017-01-16 Hao-Jun Michael Shi , Shenyinying Tu , Yangyang Xu , Wotao Yin

D. Wilson~\cite{[Wi]} in the 1990's described a simple and efficient algorithm based on loop-erased random walks to sample uniform spanning trees and more generally weighted trees or forests spanning a given graph. This algorithm provides a…

Probability · Mathematics 2018-08-29 L. Avena , F. Castell , A. Gaudilliere , C. Melot

We study the distribution of the occurrence of rare patterns in sufficiently mixing Gibbs random fields on the lattice $\mathbb{Z}^d$, $d\geq 2$. A typical example is the high temperature Ising model. This distribution is shown to converge…

Probability · Mathematics 2009-11-10 M. Abadi , J. -R. Chazottes , F. Redig , E. Verbitskiy

Given any polynomial system with fixed monomial term structure, we give explicit formulae for the generic number of roots with specified coordinate vanishing restrictions. For the case of affine space minus an arbitrary union of coordinate…

Algebraic Geometry · Mathematics 2016-09-06 J. Maurice Rojas

In this paper, we lay the groundwork on the comparison of phylogenetic networks based on edge contractions and expansions as edit operations, as originally proposed by Robinson and Foulds to compare trees. We prove that these operations…

Data Structures and Algorithms · Computer Science 2025-02-21 Bertrand Marchand , Nadia Tahiri , Olivier Tremblay-Savard , Manuel Lafond

We describe decomposition during search (DDS), an integration of And/Or tree search into propagation-based constraint solvers. The presented search algorithm dynamically decomposes sub-problems of a constraint satisfaction problem into…

Artificial Intelligence · Computer Science 2008-06-11 Martin Mann , Guido Tack , Sebastian Will