Results 81 to 90 of about 6,236,903 (286)
Type classes for mathematics in type theory [PDF]
Mathematical Structures in Computer Science, 2011 The introduction of first-class type classes in the Coq system calls for a re-examination of the basic interfaces used for mathematical formalisation in type theory. We present a new set of type classes for mathematics and take full advantage of their unique features to make practical a particularly flexible approach that was formerly thought to be ...
Spitters B., Van Der Weegen E.
openaire +4 more sources
FEBS Letters, EarlyView.We reconstituted Synechocystis glycogen synthesis in vitro from purified enzymes and showed that two GlgA isoenzymes produce glycogen with different architectures: GlgA1 yields denser, highly branched glycogen, whereas GlgA2 synthesizes longer, less‐branched chains.
Kenric Lee +3 more
wiley +1 more source
Topology in the Alternative Set Theory and Rough Sets via Fuzzy Type Theory
Mathematics, 2020 In this paper, we will visit Rough Set Theory and the Alternative Set Theory (AST) and elaborate a few selected concepts of them using the means of higher-order fuzzy logic (this is usually called Fuzzy Type Theory).
Vilém Novák
doaj +1 more source
KO-Homology and Type I String Theory
, 2009 We study the classification of D-branes and Ramond-Ramond fields in Type I string theory by developing a geometric description of KO-homology. We define an analytic version of KO-homology using KK-theory of real C*-algebras, and construct explicitly the ...
ALESSANDRO VALENTINO +28 more
core +1 more source
Structural biology of ferritin nanocages
FEBS Letters, EarlyView.Ferritin is a conserved iron‐storage protein that sequesters iron as a ferric mineral core within a nanocage, protecting cells from oxidative damage and maintaining iron homeostasis. This review discusses ferritin biology, structure, and function, and highlights recent cryo‐EM studies revealing mechanisms of ferritinophagy, cellular iron uptake, and ...
Eloise Mastrangelo, Flavio Di Pisa
wiley +1 more source
Concrete Categories in Homotopy Type Theory [PDF]
, 2013 We introduce some classes of genuine higher categories in homotopy type theory, defined as well-behaved subcategories of the category of types. We give several examples, and some techniques for showing other things are not examples.
Cranch, James
core
Type Theory and Homotopy [PDF]
, 2012 The purpose of this survey article is to introduce the reader to a connection between Logic, Geometry, and Algebra which has recently come to light in the form of an interpretation of the constructive type theory of Martin-Lof into homotopy theory, resulting in new examples of higher-dimensional ...
openaire +2 more sources
Gut microbiome and aging—A dynamic interplay of microbes, metabolites, and the immune system
FEBS Letters, EarlyView.Age‐dependent shifts in microbial communities engender shifts in microbial metabolite profiles. These in turn drive shifts in barrier surface permeability of the gut and brain and induce immune activation. When paired with preexisting age‐related chronic inflammation this increases the risk of neuroinflammation and neurodegenerative diseases.
Aaron Mehl, Eran Blacher
wiley +1 more source
FEBS Letters, EarlyView.This study reveals a unique active site enriched in methionine residues and demonstrates that these residues play a critical role by stabilizing carbocation intermediates through novel sulfur–cation interactions. Structure‐guided mutagenesis further revealed variants with significantly altered product profiles, enhancing pseudopterosin formation. These
Marion Ringel +13 more
wiley +1 more source
Hybrid Type Theory: A Quartet in Four Movements
Principia: An International Journal of Epistemology, 2011 This paper sings a song — a song created by bringing together the work of four great names in the history of logic: Hans Reichenbach, Arthur Prior, Richard Montague, and Leon Henkin.
Antonia Huertas +3 more
doaj