Results 31 to 40 of about 329,157 (308)
Representing 3/2-Institutions as Stratified Institutions
Mathematics, 2022 On the one hand, the extension of ordinary institution theory, known as the theory of stratified institutions, is a general axiomatic approach to model theories where the satisfaction is parameterized by states of the models.
Răzvan Diaconescu
doaj +1 more source
A Category Theory of Communication Theory
CoRR, 2015 A theory of how agents can come to understand a language is presented. If understanding a sentence $α$ is to associate an operator with $α$ that transforms the representational state of the agent as intended by the sender, then coming to know a language involves coming to know the operators that correspond to the meaning of any sentence.
openaire +2 more sources
Rigidity and exotic models for the K-local stable homotopy category [PDF]
, 2007 Can the model structure of a stable model category be recovered from the triangulated structure of its homotopy category? This paper introduces a new positive example for this, namely the K-local stable homotopy at the prime 2.
Roitzheim, C., Roitzheim, Constanze
core +1 more source
Higher linear algebra in topology and quantum information theory [PDF]
, 2019 We investigate categorifications of linear algebra, and their applications to the construction of 4-manifold invariants, to the construction of a variety of linear algebraic structures in quantum information theory, and to the classification of certain ...
Reutter, David Jakob
core +2 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Children with sickle cell disease (SCD) face multiple acute and chronic medical complications that may impact their quality of life as reported by patients themselves. Health‐related social needs (HRSNs), such as food and housing insecurity, are common in people with SCD, but the association between HRSNs and patient‐reported ...
Sarah J. Marks +5 more
wiley +1 more source
AN ANALYSIS OF SOME ASPECTS OF COMPONENT-BASED PROGRAMMING FOR SELECTING APPROPRIATE CATEGORICAL STRUCTURES AS THEIR MODELS [PDF]
Acta Electrotechnica et Informatica, 2017 Formal methods and formal models are important tools in software engineering. Formal methods provide unambiguous meaning of programs written in some language or constructed from modules. Moreover, they provide the basic mathematical techniques necessary
William STEINGARTNER +3 more
doaj +1 more source
CoRR, 2015 This is the abstract for a talk accepted for a presentation at the 7th Coq Workshop, Sophia Antipolis, France on June 26 ...
Timany, Amin, Jacobs, Bart
openaire +5 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Cup‐like nuclei are a distinctive morphological feature observed in certain cases of acute lymphoblastic leukemia (ALL). We provide evidence that they characterize DUX4/ERG ALL independently of IKZF1 deletion and reveal marked mitochondrial accumulation in this ALL subset.
Chloé Arfeuille +9 more
wiley +1 more source
Only up to isomorphism? Category Theory and the Foundations of Mathematics [PDF]
, 2010 Does category theory provide a foundation for mathematics that is autonomous with respect to the orthodox foundation in a set theory such as ZFC? We distinguish three types of autonomy: logical, conceptual, and justificatory.
Pettigrew, Richard, Linnebo, Øystein
core
Exploring Heterogeneity with Category and Cluster Analyses for Mixed Data
Stats, 2023 Precision medicine aims to overcome the traditional one-model-fits-the-whole-population approach that is unable to detect heterogeneous disease patterns and make accurate personalized predictions.
Veronica Distefano +2 more
doaj +1 more source