Related papers: A Structurally Flat Triangular Form Based on the E…
We provide necessary and sufficient conditions for a $3$-dimensional submanifold of $\mathbb R^3$ endowed with a diagonal metric to be flat. As applications, we characterize the flat manifolds of warped product-type, more precisely, the…
We propose easily verifiable necessary and sufficient conditions for the linearizability of two-input systems by an endogenous dynamic feedback with a dimension of at most two.
We present electronic structure calculations of twisted double bilayer graphene (TDBG): A tetralayer graphene structure composed of two AB-stacked graphene bilayers with a relative rotation angle between them. Using first-principles…
In affine formation control problems, the construction of the framework with universal rigidity and affine localizability is a critical prerequisite, but it has not yet been well addressed, especially when additional agents join the…
We introduce the concept of strict ample sequence in a fibered triangulated category and define the stability of the objects in a triangulated category. Then we construct the moduli space of (semi) stable objects by GIT construction.
Agol recently introduced the concept of a veering taut triangulation, which is a taut triangulation with some extra combinatorial structure. We define the weaker notion of a "veering triangulation" and use it to show that all veering…
We propose some new method of constructing configurations, which consists in consecutive inscribing copies of one underlying configuration. A uniform characterization of the obtained class and the one introduced in our paper untitled…
This paper is devoted to the study of the flatness property of linear time-invariant fractional systems. In the framework of polynomial matrices of the fractional derivative operator, we give a characterization of fractionally flat outputs…
In this paper, we describe geometrical constructions to obtain triangulations of connected sums of closed orientable triangulated 3-manifolds. Using these constructions, we show that it takes time polynomial in the number of tetrahedra to…
This paper studies Yoneda completeness and flat completeness of ordered fuzzy sets valued in the quantale obtained by endowing the unit interval with a continuous triangular norm. Both of these notions are natural extension of directed…
In this paper, we study the structure of Fano fibrations of varieties admitting an int-amplified endomorphism. We prove that if a normal $\mathbb{Q}$-factorial klt projective variety $X$ has an int-amplified endomorphism, then there exists…
A closed-form solution for the boundary of the flat state of an orthogonal cross section of contiguous surface geometry formed by the intersection of two cylinders of equal radii oriented in dual directions of rotation about their…
To analyse and verify the safety and security properties of interactive systems, a formal specification might be necessary. There are many types of formal languages and frameworks. The decision regarding what type of formal specification…
We consider a 3-dimensional Riemannian manifold with additional structure q. We find a condition that the affine structure q is parallel with respect to the Riamannian connection.We prove the sectional curvatures of three 2-sections formed…
We have developed a physics-informed transformer model to suggest design parameters in wavelength-filtering ring resonator, that suit a given pair of resonant wavelengths with <6 nm errors. The model provides a versatile method for rapid…
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 study an analogue of the Drinfel'd double for algebroids associated with the $O(D,D+n)$ gauged double field theory (DFT). We show that algebroids defined by the twisted C-bracket in the gauged DFT are built out of a direct sum of three…
In this extended abstract, we propose Structured Production Systems (SPS), which extend traditional production systems with well-formed syntactic structures. Due to the richness of structures, structured production systems significantly…
This article intends to characterize triangular norms on a finite lattice. We first give a method for generating a triangular norm on an atomistic lattice by the values of atoms. Then we prove that every triangular norm on a non-Boolean…
We give a criterion of factoriality of a suspension. This allows to construct many examples of flexible affine factorial varieties. In particular, we find a homogeneous affine factorial 3-fold that is not a homogeneous space of an algebraic…