Related papers: Chain Structure in Symplectic Analysis of a Constr…
This work studies the relationship between the chains of an algebraic lattice and the order structure of the join-semilattice of its compact elements. The results are presented into four chapters, each corresponding to a paper written in…
This is my dissertation. Its research object is a symmetric group of permutations acting on a finite set. The density of permutations with a given cycle structure pattern is explored when the group order tends to infinity. New and sharper…
Some aspects of the geometry and the dynamics of generalized Chaplygin systems are investigated. First, two different but complementary approaches to the construction of the reduced dynamics are reviewed: a symplectic approach and an…
We investigate the problem of learning the structure of a Markov network from data. It is shown that the structure of such networks can be described in terms of constraints which enables the use of existing solver technology with…
We address the satisfiability problem for string constraints that combine relational constraints represented by transducers, word equations, and string length constraints. This problem is undecidable in general. Therefore, we propose a new…
We analyse the nature of the confinement of an infinitely long (and finite) linear semiflexible homo-polymer chain confined in between two geometrical constraints (A&B) under good solvent condition in two dimensions. The constraints are…
We introduce and elaborate a novel formalism for the manipulation and analysis of proofs as objects in a global manner. In this first approach the formalism is restricted to first-order problems characterized by condensed detachment. It is…
We perform canonical analysis of non-relativistic string theory with non-relativistic world-sheet gravity. We determine structure of constraints and symplectic structure of canonical variables.
We extend the phase field crystal method for nonequilibrium patterning to stochastic systems with external source where transient dynamics is essential. It was shown that at short time scales the system manifests pattern selection…
One way of studying a relational structure is to investigate functions which are related to that structure and which leave certain aspects of the structure invariant. Examples are the automorphism group, the self-embedding monoid, the…
In this paper the $Guler's$ formalism for the systems with finite degrees of freedom is applied to the field theories with constraints. The integrability conditions are investigated and the path integral quantization is performed using the…
We describe an algorithm for proving termination of programs abstracted to systems of monotonicity constraints in the integer domain. Monotonicity constraints are a non-trivial extension of the well-known size-change termination method.…
A broad class of blocked or jammed configurations of particles on the one-dimensional lattice can be characterized in terms of local rules involving only the lengths of clusters of particles (occupied sites) and of holes (empty sites).…
We develop two generalizations of contraction theory, namely, semi-contraction and weak-contraction theory. First, using the notion of semi-norm, we propose a geometric framework for semi-contraction theory. We introduce matrix…
Although buckling is a prime route to achieve functionalization and synthesis of single colloids, buckling of colloidal structures---made up of multiple colloids---remains poorly studied. Here, we investigate the buckling of the simplest…
This paper studies the informativity problem for reachability and null-controllability of constrained systems. To be precise, we will focus on an unknown linear systems with convex conic constraints from which we measure data consisting of…
Reachability analysis is a powerful tool when it comes to capturing the behaviour, thus verifying the safety, of autonomous systems. However, general-purpose methods, such as Hamilton-Jacobi approaches, suffer from the curse of…
In this paper we introduce a new technique, based on dual quaternions, for the analysis of closed linkages with revolute joints: the theory of bonds. The bond structure comprises a lot of information on closed revolute chains with a…
We examine the model of Two-Dimensional Quadratic Gravity as a consequence of symmetry breaking within the framework of background field (BF) theory. This theory is essentially an extension of BF theory, introducing an additional polynomial…
The Hamiltonian treatment of constrained systems in $G\ddot{u}ler's$ formalism leads us to the total differential equations in many variables. These equations are integrable if the corresponding system of partial differential equations is a…