Results 11 to 20 of about 21,546 (268)
Astronomy & AstrophysicsContext. One technique for determining stellar ages is to compare the position of a star in the Hertzsprung-Russell diagram to theoretical stellar evolutionary tracks.
Bonifacio P. +10 more
doaj +5 more sources
Mathematical Proceedings of the Cambridge Philosophical Society, 2013 We define a new topos, the Herbrand topos, inspired by the modified realizability topos and our earlier work on Herbrand realizability. We also introduce the category of Herbrand assemblies and characterise these as the ¬¬-separated objects in the ...
van den Berg, B.
core +4 more sources
The modified realizability topos [PDF]
Journal of Pure and Applied Algebra, 1997 The modified realizability topos is the semantic (and higher order) counterpart of a variant of Kreisel's modified realizability (1957). These years, this realizability has been in the limelight again because of its possibilities for modelling type ...
van Oosten, Jaap
core +4 more sources
Theory and Applications of Categories, 2023 With a model of a geometric theory in an arbitrary topos, we associate a site obtained by endowing a category of generalized elements of the model with a Grothendieck topology, which we call the antecedent topology. Then we show that the associated sheaf
Osmond A., Caramello O.
core +5 more sources
Astronomy & Astrophysics, 2022 We realised that there was a mistake in the code that computed parameters for the photometric data sample. The effective temperature was not computed according to the formula in footnote 3. As a consequence the surface gravity and metallicity were also computed incorrectly.
P. Bonifacio +13 more
openaire +1 more source
Topos models for physics and topos theory [PDF]
Journal of Mathematical Physics, 2014 What is the role of topos theory in the topos models for quantum theory as used by Isham, Butterfield, Döring, Heunen, Landsman, Spitters, and others? In other words, what is the interplay between physical motivation for the models and the mathematical framework used in these models?
openaire +4 more sources
Identification of novel neutralizing determinants for protection against HCV
Hepatology, EarlyView., 2022 Identification of novel neutralizing determinants for protection against hepatitis C virus. Abstract Background and Aims HCV evasion of neutralizing antibodies (nAb) results in viral persistence and poses challenges to the development of an urgently needed vaccine.
Garazi P. Alzua +12 more
wiley +1 more source
TP53 R249S mutation in hepatic organoids captures the predisposing cancer risk
Hepatology, EarlyView., 2022 The systematic approach in elucidating the gain‐of‐function (GOF) roles of TP53 mutations in early liver carcinogenesis. Unique downstream targets of TP53 L3 mutations were identified from chormatin immunoprecipitation sequencing in HCC cell lines, followed by a series of validation assays to substantiate the exclusive transcriptional regulations ...
Yin Kau Lam +10 more
wiley +1 more source
The principle of general tovariance [PDF]
, 2008 We tentatively propose two guiding principles for the construction of theories of physics, which should be satisfied by a possible future theory of quantum gravity.
Heunen, C.J.M. +7 more
core +1 more source