相关论文: A simpler way of imposing simplicity constraints

The goal of this paper is to introduce a systematic approach to spin foams. We define operator spin foams, that is foams labelled by group representations and operators, as the main tool. An equivalence relation we impose in the set of the…

Constraints can affect dramatically the behavior of diffusion processes. Recently, we analyzed a natural and a technological system and reported that they perform diffusion-like discrete steps displaying a peculiar constraint, whereby the…

In constraint programming and related paradigms, a modeller specifies their problem in a modelling language for a solver to search and return its solution(s). Using high-level modelling languages such as Essence, a modeller may express…

This paper introduces a new mechanism for specifying constraints in distributed workflows. By introducing constraints in a contextual form, it is shown how different people and groups within collaborative communities can cooperatively…

Spin foams are models of quantum gravity and therefore quantum space time. A key open issue is to determine the possible continuum phases of these models. Progress on this issue has been prohibited by the complexity of the full…

Constraint problems can be trivially solved in parallel by exploring different branches of the search tree concurrently. Previous approaches have focused on implementing this functionality in the solver, more or less transparently to the…

The scenario approach is widely used in robust control system design and chance-constrained optimization, maintaining convexity without requiring assumptions about the probability distribution of uncertain parameters. However, the approach…

A widely adopted approach to solving constraint satisfaction problems combines systematic tree search with various degrees of constraint propagation for pruning the search space. One common technique to improve the execution efficiency is…

We establish a general analytic and geometric framework for resolving Spin(7)--orbifolds. These spaces arise naturally as boundary points in the moduli space of exceptional holonomy metrics, and smooth Gromov--Hausdorff resolutions can be…

The AdS/QCD models are believed to interpolate between low and high energy sectors of QCD. This belief is usually based on observations that many phenomenologically reasonable predictions follow from bounds imposed at high energies although…

The most common spin foam models of gravity are widely believed to be discrete path integral quantizations of the Plebanski action. However, their derivation in present formulations is incomplete and lower dimensional simplex amplitudes are…

One of the most pressing issues for loop quantum gravity and spin foams is the construction of the continuum limit. In this paper, we propose a systematic coarse-graining scheme for three-dimensional lattice gauge models including spin…

In this paper the simplicial cone constrained convex quadratic programming problem is studied. The optimality conditions of this problem consist in a linear complementarity problem. This fact, under a suitable condition, leads to an…

Spinfoam models provide a covariant formulation of the dynamics of loop quantum gravity. They are non-perturbatively defined in the group field theory (GFT) framework: the GFT partition function defines the sum of spinfoam transition…

Fragment-based shape signature techniques have proven to be powerful tools for computer-aided drug design. They allow scientists to search for target molecules with some similarity to a known active compound. They do not require reference…

The main difficulty when modelling gene networks is the identification of the parameters that govern their dynamics. It is particularly difficult for models in which time is continuous: parameters have real values which cannot be…

Quantum spin systems with kinetic constraints have become paradigmatic for exploring collective dynamical behaviour in many-body systems. Here we discuss a facilitated spin system which is inspired by recent progress in the realization of…

Linear and nonlinear resonant states can be restrictive: they exist at particular discrete states in frequency and/or elasticity, under particular (e.g., simple-harmonic) waveforms. In forced oscillators, this restrictiveness is an obstacle…

We investigate the use of a technique developed in the constraint programming community called constraint propagation to automatically make a HPSG theory more specific at those places where linguistically motivated underspecification would…

Many real world problems naturally appear as constraints satisfaction problems (CSP), for which very efficient algorithms are known. Most of these involve the combination of two techniques: some direct propagation of constraints between…