Related papers: Relaxation and 3d-2d passage with determinant type…
We introduce a new symbolic representation based on an original generalization of counter abstraction. Unlike classical counter abstraction (used in the analysis of parameterized systems with unordered or unstructured topologies) the new…
This work studies the dependence of the solution with respect to interface geometric perturbations in a multiscaled coupled Darcy flow system in direct variational formulation. A set of admissible perturbation functions and a sense of…
These notes derive a number of technical results on nonlinear contraction theory, a comparatively recent tool for system stability analysis. In particular, they provide new results on the preservation of contraction through system…
This survey on stationary and evolutionary problems with gradient constraints is based on developments of monotonicity and compactness methods applied to large classes of scalar and vectorial solutions to variational and quasi-variational…
Selectional restrictions are semantic constraints on forming certain complex types in natural language. The paper gives an overview of modeling selectional restrictions in a relational type system with morphological and syntactic types. We…
The aim of this paper is to study relaxation rates for the Cahn-Hilliard equation in dimension larger than one. We follow the approach of Otto and Westdickenberg based on the gradient flow structure of the equation and establish…
In this review, I outline some principal theoretical knowledge on the properties of frustrated systems and thin films. The two points I would like to emphasize: i) the physics in low dimensions where exact solutions can be obtained, ii) the…
Explicit expressions, for efficient application in engineering practice, are derived for generalized displacements and stresses in simply supported multi-layered wide plates and beams subjected to steady-state thermal and mechanical…
We analyse a mechanical system in two-dimensional relative motion with friction. Although the system is simple, the peculiar interplay between two kinetic friction forces and gravity leads to the wide range of admissible solutions exceeding…
This paper proposes a design for a system to generate constraint solvers that are specialised for specific problem models. It describes the design in detail and gives preliminary experimental results showing the feasibility and…
We give a characterization of the relaxation time up to an absolute constant factor, in terms of stationary expected hitting times of large sets. This resolves a conjecture of Aldous and Fill. We give a similar characterization for the…
In a recent paper published in the Philosophical Magazine [Z.-D. Zhang, Phil. Mag. 87, 5309-5419 (2007), arXiv:0705.1045], the author advances a conjectured solution for various properties of the three-dimensional Ising model. Here we…
Motivated by the construction of confidence intervals in statistics, we study optimal configurations of $2^d-1$ lines in real projective space $RP^{d-1}$. For small $d$, we determine line sets that numerically minimize a wide variety of…
In this paper we discuss some properties of resolvents of an accretive operator in linear 2-normed spaces, focusing on the concept of contraction mapping and the unique fixed point of contraction mappings in linear 2- normed spaces. Also,…
Differential constraints compatible with the linearized equations of partial differential equations are examined. Recursion operators are obtained by integrating the differential constraints.
Lattice relaxation profoundly reshapes electronic structures in twisted materials. Prevailing treatments, however, typically rely on large-scale density functional theory (DFT), which is computationally costly and mechanistically opaque.…
This paper presents \tdl, a typed feature-based representation language and inference system. Type definitions in \tdl\ consist of type and feature constraints over the boolean connectives. \tdl\ supports open- and closed-world reasoning…
We present a theoretical framework for characterizing the geometrical properties of the space of solutions in constraint satisfaction problems, together with practical algorithms for studying this structure on particular instances. We apply…
The over-relaxation approach is an alternative to the Jin-Xin relaxation method (Jin and Xin [1]) in order to apply the equilibrium source term in a more precise way (Coulette et al. [2, 3]). This is also a key ingredient of the…
In our recent publication, we have proposed an analytical method for solving the problem of electronic relaxation in solution, modeled by a particle undergoing diffusive motion under the influence of two arbitrary potentials and the…