Results 31 to 40 of about 268,943 (316)
Intersection Types and Related Systems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 We present a new approach to the following meta-problem: given a quantitative property of trees, design a type system such that the desired property for the tree generated by an infinitary ground lambda-term corresponds to some property of a derivation ...
Paweł Parys
doaj +1 more source
Finite Time Stability of Fractional Order Systems of Neutral Type
Fractal and Fractional, 2022 This work deals with a new finite time stability (FTS) of neutral fractional order systems with time delay (NFOTSs). In light of this, FTSs of NFOTSs are demonstrated in the literature using the Gronwall inequality.
Abdellatif Ben Makhlouf, Dumitru Baleanu
doaj +1 more source
Finite Orbits in Random Subshifts of Finite Type [PDF]
Qualitative Theory of Dynamical Systems, 2017 For each $n, d \in \mathbb{N}$ and $0 < α< 1$, we define a random subset of $\mathcal{A}^{\{1, 2, \dots, n\}^d}$ by independently including each element with probability $α$ and excluding it with probability $1-α$, and consider the associated random subshift of finite type.
openaire +2 more sources
On Factorable Surfaces of Finite Chen Type in the Lorentz–Heisenberg Space
AxiomsThis paper is about a problem at the intersection of differential geometry, spectral analysis and the theory of manifolds. The study of finite-type subvarieties was initiated by Chen in the 1970s, with the aim of obtaining improved estimates for the mean
Brahim Medjahdi +4 more
doaj +1 more source
On the number of prime order subgroups of finite groups [PDF]
, 2009 Let G be a finite group and let ?(G) be the number of prime order subgroups of G. We determine the groups G with the property ?(G)??G?/2?1, extending earlier work of C. T. C.
Scott, Stuart +3 more
core +1 more source
Words of Engel type are concise in residually finite groups [PDF]
Bulletin of Mathematical Sciences, 2019 Given a group-word w and a group G, the verbal subgroup w(G) is the one generated by all w-values in G. The word w is said to be concise if w(G) is finite whenever the set of w-values in G is finite. In 1960s, Hall asked whether every word is concise but
Eloisa Detomi +2 more
doaj +1 more source
Discrete Mathematics, 2000 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Ruled surfaces of finite type [PDF]
Bulletin of the Australian Mathematical Society, 1990 We show that a ruled surface of finite type in a Euclidean space is a cylinder on a curve of finite type or a helicoid in Euclidean 3-space.
Chen, Bang-Yen +3 more
openaire +2 more sources
Науковий вісник Ужгородського університету. Серія: Математика і інформатика, 2020 Matrix representations of finite semigroups over fields are studied not so well as for finite groups. Representations of finite groups over fields are studied sufficiently well; in particular, the criterions of representation type are fully defined for ...
В. М. Бондаренко +1 more
doaj +1 more source
Finite groups of Seitz type [PDF]
Proceedings of the American Mathematical Society, 2013 Let \(p\) be a prime, \(\overline G\) be a simply connected simple algebraic group over the algebraic closure of the field of order \(p\), \(\sigma\) be a Steinberg endomorphism of \(\overline G\) with finite group \(\overline G_\sigma\) of fixed points.
openaire +2 more sources