Results 21 to 30 of about 54,001 (265)
Kinds of Pregeometries of Acyclic Theories
Известия Иркутского государственного университета: Серия "Математика", 2023 The article is devoted to the description of types of pregeometries with an algebraic closure operator for acyclic theories. In these theories we describe conditions of violation of the exchange property for a pregeometry.
S. B. Malyshev
doaj +1 more source
Meet-distributive lattices have the intersection property [PDF]
Mathematica Bohemica, 2023 This paper is an erratum of H. Mühle: Distributive lattices have the intersection property, Math. Bohem. (2021). Meet-distributive lattices form an intriguing class of lattices, because they are precisely the lattices obtainable from a closure operator ...
Henri Mühle
doaj +1 more source
Improved inclusion-exclusion identities via closure operators [PDF]
Discrete Mathematics & Theoretical Computer Science, 2000 Let (A v) v ∈ V be a finite family of sets. We establish an improved inclusion-exclusion identity for each closure operator on the power set of V having the unique base property.
Klaus Dohmen
doaj +2 more sources
Orthomodular Lattices Induced by the Concurrency Relation [PDF]
Electronic Proceedings in Theoretical Computer Science, 2009 We apply to locally finite partially ordered sets a construction which associates a complete lattice to a given poset; the elements of the lattice are the closed subsets of a closure operator, defined starting from the concurrency relation. We show that,
Luca Bernardinello +2 more
doaj +1 more source
On a New Subclass of Univalent Harmonic Functions That Defined by Integral Operator
Journal of Kufa for Mathematics and Computer, 2017 In this paper, we investigate several properties of the harmonic class ( ) we discuss the coefficient inequality, the distortion bounds theorem, the closure theorem, convex combinations, Bernardi integral operator and integral convolution property.
Waggas Galib Atshan +1 more
doaj +1 more source
Closure results for arbitrarily partitionable graphs [PDF]
Opuscula MathematicaA well-known result of Bondy and Chvátal establishes that a graph of order \(n\) is Hamiltonian if and only if its \(n\)-closure (obtained through repeatedly adding an edge joining any two non-adjacent vertices with degree sum at least \(n\)) also is. In
Julien Bensmail
doaj +1 more source
Computational modeling and simulation of epithelial wound closure
Scientific Reports, 2023 Wounds in the epithelium may lead to serious injurious events or chronic inflammatory diseases, however, multicellular organisms have the ability to self-repair wounds through the movement of epithelial cell toward the wound area.
Jie Bai, Xiaowei Zeng
doaj +1 more source
Closure properties for fitting functors
Monatshefte f�r Mathematik, 1989 Fitting functors have been introduced by \textit{B. Brewster} and the present authors [Math. Z. 182, 359-384 (1983; Zbl 0518.20014)] as a generalization of injectors and radicals for Fitting classes of finite (soluble) groups. This paper provides definitions and properties of certain types of Fitting functors which resemble injectors and radicals for ...
Beidleman, James C., Hauck, Peter
openaire +1 more source
Experiences of mine closure cover with geosynthetics in Peru [PDF]
E3S Web of ConferencesPeru is internationally recognized as one of the countries with significant mining reserves. According to the Department of Energy and Mines (MINEM), as of December 2021, a total of 672 mining concession holders were registered and declared in the ...
Lagos Rainer, Fierro Gustavo
doaj +1 more source
Expressiveness and Closure Properties for Quantitative Languages [PDF]
2009 24th Annual IEEE Symposium on Logic In Computer Science, 2009 Weighted automata are nondeterministic automata with numerical weights on transitions. They can define quantitative languages~$L$ that assign to each word~$w$ a real number~$L(w)$. In the case of infinite words, the value of a run is naturally computed as the maximum, limsup, liminf, limit-average, or discounted-sum of the transition weights. The value
Krishnendu Chatterjee +2 more
openaire +7 more sources