Results 61 to 70 of about 149 (94)
A categorical framework for concurrent, anticipatory systems [PDF]
, 1998 A categorical semantic domain is constructed for Petri nets which satisfies the diagonal compositionality requirement with respect to anticipations, i.e., Petri nets are equipped with a compositional anticipation mechanism (vertical compositionality ...
Menezes, Paulo Fernando Blauth
core +1 more source
Hyperconvex hulls in catergories of quasi-metric spaces [PDF]
, 2014 Includes bibliographical references.Isbell showed that every metric space has an injective hull, that is, every metric space has a “minimal” hyperconvex metric superspace. Dress then showed that the hyperconvex hull is a tight extension.
Agyingi, Collins Amburo
core +1 more source
Fuzzy Quasi-Metric Spaces: Bicompletion, Contractions on Product Spaces, and Applications to Access Predictions [PDF]
, 2015 Desde que L.A. Zadeh presentó la teoría de conjuntos difusos en 1965, esta se ha usado en una amplia serie de áreas de las matemáticas y se ha aplicado en una gran variedad de escenarios de la vida real. Estos escenarios cubren procesos complejos sin modelo matemático sencillo tales como dispositivos de control industrial, reconocimiento de patrones o ...
openaire +2 more sources
, 2011 Bu tezde, fuzzy metrik uzayların bir genelleştirilmesi olan fuzzy quasi-metrik uzaylar ile ilgili tanımlar verilmiş ve bazı özellikleri incelenmiştir. Ayrıca quasi-metrik uzaylardan yararlanarak tam fuzzy quasi-metrik uzaylar, dengeli fuzzy quasi-metrik ...
Akdoğan, Ümmügülsüm
core
The concept of completeness in quasi metric spaces and some fixed point theorems
, 2022 Bu çalışmada bazı sabit nokta teoremleri dört bölümde incelenmiştir. Birinci bölümde metrik uzay kavramı ve sabit nokta teorisi ile ilgili temel bilgiler verilmiştir.
Yozgatli, Leyla
core
Compactly generated triangulated subcategories of homotopy categories induced by cotorsion pairs
, 2018 In this paper, we investigate the homotopy categories [Formula: see text] and [Formula: see text] with respect to a complete and hereditary cotorsion pair [Formula: see text] in a bicomplete abelian category.
Xiaoyan Yang, Zhongkui Liu, Wenjing Chen
core +1 more source
A Calculus of Circular Proofs and its Categorical Semantics [PDF]
, 2001 We present a calculus of proofs, the intended models of whichare categories with finite products and coproducts, initial algebrasand final coalgebras of functors that are recursively constructibleout of these operations, that is, mu-bicomplete categories.
Santocanale, Luigi
core
Łukasiewicz-Moisil Many-Valued Logic Algebra of Highly-Complex Systems [PDF]
, 2010 A novel approach to self-organizing, highly-complex systems (HCS), such as living organisms and artificial intelligent systems (AIs), is presented which is relevant to Cognition, Medical Bioinformatics and Computational Neuroscience.
Georgescu, Professor George +2 more
core
Absolutely minimal semi-Lipschitz extensions. [PDF]
Calc Var Partial Differ EquDaniilidis A, Lê TM, Venegas FM.
europepmc +1 more source