Related papers: A continuous constraint satisfaction problem for t…
This work presents a 2.5-dimensional simulation study of the instability of current-sheets located in a medium with a strong density variation along the current layer. The initial force-free configuration is observed to undergo a two-stage…
Most biological tissues grow by the synthesis of new material close to the tissue's interface, where spatial interactions can exert strong geometric influences on the local rate of growth. These geometric influences may be mechanistic, or…
We study the adsorption-desorption of fluid molecules on a solid substrate by introducing a schematic model in which the adsorption/desorption transition probabilities are given by irreversible kinetic constraints with a tunable violation…
We study the solid-to-liquid transition in a two-dimensional fully periodic soft-glassy model with an imposed spatially heterogeneous stress. The model we consider consists of droplets of a dispersed phase jammed together in a continuous…
We devise a soft, solvent-free, coarse-grained model for lipid bilayer membranes. The non-bonded interactions take the form of a weighted-density functional which allows us to describe the thermodynamics of self-assembly and packing effects…
A two-dimensional steady problem of a potential free-surface flow of an ideal incompressible fluid caused by a singular sink is considered. The sink is placed at the horizontal bottom of the fluid layer. With the help of the Levi-Civita…
Satisfiability of boolean formulae (SAT) has been a topic of research in logic and computer science for a long time. In this paper we are interested in understanding the structure of satisfiable and unsatisfiable sentences. In previous work…
The basic problem of shape complementarity analysis appears fundamental to applications as diverse as mechanical design, assembly automation, robot motion planning, micro- and nano-fabrication, protein-ligand binding, and rational drug…
The ordinary surface magnetic phase transition is studied for the exactly solvable anisotropic spherical model (ASM), which is the limit D \to \infty of the D-component uniaxially anisotropic classical vector model. The bulk limit of the…
A triangulated fixed connectivity surface model is investigated by using the Monte Carlo simulation technique. In order to have the macroscopic surface tension \tau, the vertices on the one-dimensional boundaries are fixed as the edges…
A computational problem exhibits a "gap property" when there is no tractable boundary between two disjoint sets of instances. We establish a Gap Trichotomy Theorem for a family of constraint problem variants, completely classifying the…
The present paper describes the development of a novel and comprehensive computational framework to simulate solidification problems in materials processing, specifically casting processes. Heat transfer, solidification and fluid flow due…
The standard method to generate dynamical models with a finite extent is to apply a truncation in binding energy to the distribution function. This approach has the disadvantages that one cannot choose the density to start with, that the…
Additive manufacturing is advantageous for producing lightweight components while addressing complex design requirements. This capability has been bolstered by the introduction of unit lattice cells and the gradation of those cells. In…
We study the finite temperature properties of the extended Bose-Hubbard model on a cubic lattice. This model exhibits the so-called supersolid state. To start with, we investigate ordering processes by quantum Monte Carlo simulations, and…
Survey Propagation is an algorithm designed for solving typical instances of random constraint satisfiability problems. It has been successfully tested on random 3-SAT and random $G(n,\frac{c}{n})$ graph 3-coloring, in the hard region of…
We develop a method to reconstruct, from measured displacements of an underlying elastic substrate, the spatially dependent forces that cells or tissues impart on it. Given newly available high-resolution images of substrate displacements,…
We study the complexity of constraint satisfaction problems for templates $\Gamma$ that are first-order definable in $(\Bbb Z; succ)$, the integers with the successor relation. Assuming a widely believed conjecture from finite domain…
We analyze the problem of storing random pattern-label associations using two classes of continuous non-convex weights models, namely the perceptron with negative margin and an infinite-width two-layer neural network with non-overlapping…
Recent research indicates that many convex optimization problems with random constraints exhibit a phase transition as the number of constraints increases. For example, this phenomenon emerges in the $\ell_1$ minimization method for…