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

We show how additional constraints, restricting the spectrum of the optimized pulse or confining the system dynamics, can be used to steer optimization in quantum control towards distinct solutions. Our examples are multi-photon excitation…

We describe an MCMC method for sampling distributions with soft constraints, which are constraints that are almost but not exactly satisfied. We sample a total distribution that is a convex combination of the target soft distribution with…

Diffusion models have shown remarkable potential in planning and control tasks due to their ability to represent multimodal distributions over actions and trajectories. However, ensuring safety under constraints remains a critical challenge…

In this paper we present a rule based formalism for filtering variables domains of constraints. This formalism is well adapted for solving dynamic CSP. We take diagnosis as an instance problem to illustrate the use of these rules. A…

We present a comprehensive programme analysing the decomposition of proof systems for non-classical logics into proof systems for other logics, especially classical logic, using an algebra of constraints. That is, one recovers a proof…

On the one hand, Constraint Satisfaction Problems allow one to declaratively model problems. On the other hand, propositional satisfiability problem (SAT) solvers can handle huge SAT instances. We thus present a technique to declaratively…

Many real life optimization problems contain both hard and soft constraints, as well as qualitative conditional preferences. However, there is no single formalism to specify all three kinds of information. We therefore propose a framework,…

Constraints over finite sequences of variables are ubiquitous in sequencing and timetabling. Moreover, the wide variety of such constraints in practical applications led to general modelling techniques and generic propagation algorithms,…

We propose a new description of dynamics of autonomous mechanical systems which includes the momentum-velocity relation. This description is formulated as a variational principle of virtual action more complete than the Hamilton Principle.…

As established in a prior work of the author, the linear simplicity constraints used in the construction of the so-called `new' spin-foam models mix three of the five sectors of Plebanski theory as well as two dynamical orientations, and…

We explore the problem of step-wise explaining how to solve constraint satisfaction problems, with a use case on logic grid puzzles. More specifically, we study the problem of explaining the inference steps that one can take during…

Measuring the Hamiltonian of dipolar coupled spin systems is usually a difficult task due to the high complexity of their spectra. Currently, molecules with unknown geometrical structure and low symmetry are extremely tedious or impossible…

Finite-state models of control systems were proposed by several researchers as a convenient mechanism to synthesize controllers enforcing complex specifications. Most techniques for the construction of such symbolic models have two main…

The Christensen-Egan algorithm is extended and generalized to efficiently evaluate new spin foam vertex amplitudes proposed by Engle, Pereira & Rovelli and Freidel & Krasnov, with or without (factored) boundary states. A concrete pragmatic…

Generative modeling within constrained sets is essential for scientific and engineering applications involving physical, geometric, or safety requirements (e.g., molecular generation, robotics). We present a unified framework for…

We propose a computational method to simulate anomalous self-diffusion in a simple liquid. The method is based on a molecular dynamics simulation on which we impose the following two conditions: firstly, the inter-particle interaction is…

We describe and analyze algorithms for shape-constrained symbolic regression, which allows the inclusion of prior knowledge about the shape of the regression function. This is relevant in many areas of engineering -- in particular whenever…

Simulation plays a central role in scientific discovery. In many applications, the bottleneck is no longer running a simulator; it is choosing among large families of plausible simulators, each corresponding to different forward…

The challenges posed by high-dimensional data and use of the simplex constraint are two major concerns in the empirical application of the synthetic control method (SCM) in econometric studies. To address both issues simultaneously, we…

By using Moreau's decomposition theorem for projecting onto cones, the problem of projecting onto a simplicial cone is reduced to finding the unique solution of a nonsmooth system of equations. It is shown that a semi-smooth Newton method…