Results 101 to 110 of about 6,236,903 (286)
, 2016 Classical (or Boolean) type theory is the type theory that allows the type inference $\sigma \to \bot) \to \bot => \sigma$ (the type counterpart of double-negation elimination), where $\sigma$ is any type and $\bot$ is absurdity type.
Akiba, Ken
core +2 more sources
Molecular Oncology, EarlyView.Pharmacologic ascorbate (vitamin C) increases ROS, disrupts cellular metabolism, and induces DNA damage in CRPC cells. These effects sensitize tumors to PARP inhibition, producing synergistic growth suppression with olaparib in vitro and significantly delayed tumor progression in vivo. Pyruvate rescue confirms ROS‐dependent activity.
Nicolas Gordon +13 more
wiley +1 more source
Near conformal perturbation theory in SYK type models
Journal of High Energy Physics, 2020 We present a systematic procedure to extract the dynamics of the low energy soft mode in SYK type models with a single energy scale J and emergent reparametrization symmetry in the IR.
Sumit R. Das +3 more
doaj +1 more source
AIC-type Theory-Based Model Selection for Structural Equation Models. [PDF]
Struct Equ Modeling, 2022 Kuiper R.
europepmc +1 more source
The real projective spaces in homotopy type theory
, 2017 Homotopy type theory is a version of Martin-L\"of type theory taking advantage of its homotopical models. In particular, we can use and construct objects of homotopy theory and reason about them using higher inductive types. In this article, we construct
Buchholtz, Ulrik, Rijke, Egbert
core +1 more source
Journal of Pure and Applied Algebra, 2003 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Type theories in category theory
, 2021 We introduce basic notions in category theory to type theorists, including comprehension categories, categories with attributes, contextual categories, type categories, and categories with families along with additional discussions that are not very closely related to type theories by listing definitions, lemmata (with detailed, diagram-rich proofs ...
openaire +2 more sources
Molecular Oncology, EarlyView.Single circulating tumor cells (sCTCs) from high‐grade serous ovarian cancer patients were enriched, imaged, and genomically profiled using WGA and NGS at different time points during treatment. sCTCs revealed enrichment of alterations in Chromosomes 2, 7, and 12 as well as persistent or emerging oncogenic CNAs, supporting sCTC identity.
Carolin Salmon +9 more
wiley +1 more source
Molecular Oncology, EarlyView.Etoposide induces DNA damage, activating p53‐dependent apoptosis via caspase‐3/7, which cleaves PARP1. Dammarenediol II enhances this apoptotic pathway by suppressing O‐GlcNAc transferase activity, further decreasing O‐GlcNAcylation. The reduction in O‐GlcNAc levels boosts p53‐driven apoptosis and influences the Akt/GSK3β/mTOR signaling pathway ...
Jaehoon Lee +8 more
wiley +1 more source
Coarse indices of twisted operators
, 2018 Several formulas for computing coarse indices of twisted Dirac type operators are introduced. One type of such formulas is by composition product in $E$-theory.
Wulff, Christopher
core +1 more source