Related papers: Variations of rigidity
We review the special theory of relativity kinematics and dynamics as well as the general theory of relativity under the aspect of logic.
We study the dynamics of extended rod-like bodies in (or associated with) membranes and films. We demonstrate a striking difference between the mobilities in films and bulk fluids, even when the dissipation is dominated by the fluid stress:…
The development of mechanised language specification based on structured operational semantics, with applications to verified compilers and sound program analysis, requires huge effort. General theory and frameworks have been proposed to…
Translations between different nonmonotonic formalisms always have been an important topic in the field, in particular to understand the knowledge-representation capabilities those formalisms offer. We provide such an investigation in terms…
The orientation of a rigid object can be described by a rotation that transforms it into a standard position. For a symmetrical object the rotation is known only up to multiplication by an element of the symmetry group. Such ambiguous…
This paper extends our earlier results to higher dimensions using a different approach, based on the rigidity of complex structures on certain domains.
In this note we advocate the notion of variety as juxtaposed to the notion of complexity. Laminar flows are complex, turbulence is various. When the gradients reach a critical point, laminar flows are subjected to instabilities and…
In this paper, we study geometric rigidity of Riemannian manifolds admitting stable solutions of certain elliptic problems (stability in a variational sense), that is, under suitable hypotheses, we are able to characterize the Riemannian…
We explore the rigidity of generic frameworks in 3-dimensions whose underlying graph is close to being planar. Specifically we consider apex graphs, edge-apex graphs and their variants and prove independence results in the generic…
(1) There is a finitely presented group with a word problem which is a uniformly effectively inseparable equivalence relation. (2) There is a finitely generated group of computable permutations with a word problem which is a universal…
We survey and analyze different ways in which bornologies, coarse structures and uniformities on a group agree with the group operations.
Formal languages based on the multiplication tables of finitely generated groups are investigated and used to give a linguistic characterization of word hyperbolic groups.
We define a concept which we call multiplicity. First, multiplicity of a morphism is defined. Then the multiplicity of an object over another object is defined to be the minimum of the multiplicities of all morphisms from one to another.…
By carrying out refined point-wise estimates for the mean curvature, we prove better rigidity theorems of Lagrangian and symplectic translating solitons.
We develop a rigidity theory for bar-joint frameworks in Euclidean $d$-space in which specified classes of edges are allowed to change length in a coordinated fashion that requires differences of lengths to be preserved within each class.…
We show that the usual fixed point for 3-d rigid string with topological term appears to be a trivial one, consisting of two decoupled conformal field theories. We further argue that by involving an additional term allowed by symmetries and…
Relation-changing modal logics are extensions of the basic modal logic that allow changes to the accessibility relation of a model during the evaluation of a formula. In particular, they are equipped with dynamic modalities that are able to…
We give simple and unified proofs of the known stability and rigidity results for Lie algebras, Lie subalgebras and Lie algebra homomorphisms. Moreover, we investigate when a Lie algebra homomorphism is stable under all automorphisms of the…
Dependency syntax represents the structure of a sentence as a tree composed of dependencies, i.e., directed relations between lexical units. While in its more general form any such tree is allowed, in practice many are not plausible or are…
We study decision problems of the form: given a regular or linear context-free language $L$, is there a word of a given fixed form in $L$, where given fixed forms are based on word operations copy, marked copy, shuffle and their…