Results 61 to 70 of about 255 (119)
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
Coherence completions of categories
, 1999 This is the first of a series of papers on coherence completions of categories. Here we show that there is a close connection between Girard's coherence spaces and free bicomplete categories.
Hu, Hongde, Joyal, Andre
core +1 more source
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
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
Hyperconvex hulls in catergories of quasi-metric spaces
, 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
, 2010 Fen Bilimleri Enstitüsü, Matematik Ana Bilim DalıBrinci bölümde tezde kullanılacak temel tanım ve kavramlar ve bazı teoremler verildi.İkinci bölüm üç kısımdan oluşmuştur. İlk kısımda, t-normlar ve t-konormlar ile ilgili genel bilgiler ve temel özellikler
Ekmekçi, Ramazan
core
A Calculus of Circular Proofs and its Categorical Semantics
, 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
, 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
Association Rule Analysis of Cognitive Frailty Subtypes in Community-Dwelling Older Adults. [PDF]
Clin Interv AgingLiang S, Lai X, Chen H, Wang Q, Huo X.
europepmc +1 more source