Results 111 to 120 of about 13,143,476 (301)
Building up a toolbox for Martin-Loef's type theory: subset theory
, 1998 We show how one can deal with subsets when using Martin-Löf type theory as a ...
SAMBIN, GIOVANNI, VALENTINI, SILVIO
core
Axiomathes, 2014 Conference: Philosophy of Science in the 21st Century: Challenges and Tasks, Faculdade de Ci\^encias da Universidade de Lisboa (Portugal), December ...
openaire +2 more sources
FEBS Letters, EarlyView.Animals must match their growth rate to available nutrients. We show that in Drosophila larvae, the nutrient‐sensing TOR kinase controls growth by regulating levels of TFAM, a key regulator of mitochondrial function, in the adipose tissue. When nutrients are abundant, high TOR activity suppresses TFAM, lowering mitochondrial bioenergetic activity and ...
Shrivani Sriskanthadevan‐Pirahas +4 more
wiley +1 more source
Studying models of balancing selection using phase-type theory. [PDF]
Genetics, 2021 Zeng K, Charlesworth B, Hobolth A.
europepmc +1 more source
FEBS Letters, EarlyView.Obesity raises blood levels of PAI‐1, a protein linked to metabolic dysfunction‐associated steatotic liver disease in people with obesity. In female mice fed a high‐fat diet, partially lowering PAI‐1 led to smaller subcutaneous fat cells and lower liver cholesterol, without changing body weight or insulin sensitivity.
Claudia E. Ramirez Bustamante +10 more
wiley +1 more source
, 2015 This chapter is about the type theory created by Martin-Lof in a series of papers (Martin-Lof, 1972, 1975, 1982) and a book (Martin-Lof, 1984). Originally called intuitionistic type theory, a more common name is constructive type theory.
Ranta, Aarne,
core
AIC-type Theory-Based Model Selection for Structural Equation Models. [PDF]
Struct Equ Modeling, 2022 Kuiper R.
europepmc +1 more source
Scholarpedia, 2009 Computational type theory provides answers to questions such as: What is a type? What is a natural number? How do we compute with types? How are types related to sets? Can types be elements of types? How are data types for numbers, lists, trees, graphs, etc. related to the corresponding notions in mathematics? What is a real number?
openaire +2 more sources
, 2009 We present the technique of forcing from a constructive point of view. The connections with proof theory [1] and constructive mathematics are not so surprising given that Cohen’s original discovery of forcing was “motivated by an attempt to prove analysis consistent” and the idea that statements which seemed to involve infinities “could be reduced to ...
openaire +2 more sources
Ligand‐dependent transcriptional heterogeneity in cell cycle gene expression delays G1/S entry
FEBS Letters, EarlyView.EGF and HRG induce distinct G1/S progression programs in ErbB2‐amplified BT474 breast cancer cells. Despite activating the potent ErbB2–ErbB3 heterodimer, HRG does not accelerate cell‐cycle entry. Instead, EGF promotes earlier restriction‐point passage via ERK–FOS signaling, whereas HRG activates the AKT–MYC axis, driving transcriptional heterogeneity ...
Ririn Rahmala Febri +5 more
wiley +1 more source