Results 71 to 80 of about 26,770 (264)
Non-classical logic and undecidability
, 2020 We elaborate a conjecture by applying the definition of Non-Axiomatic System [1] in Non-Classical Logic.
openaire +2 more sources
The Disordered Region of ASXL1 Acts as an Auto‐Regulator Through Condensation
Advanced Science, EarlyView.ASXL1's long IDR encodes an electrostatic “basic platform + acidic brake” that autoregulates condensation. Truncation at a clinical hotspot lifts this brake, forming condensates that retarget BRD2, remodel local chromatin accessibility, and impair neutrophil maturation.
Xiao Fang, Qiwei Li, Wenqing Zhang
wiley +1 more source
Conditions of applicability of classical logic to philosophical reasoning
RUDN Journal of Philosophy, 2018 . The conditions for the applicability of the classical logic of statements to philosophical reasonings are investigated. This research is carried out within the framework of various semantics for many-valued logics.
S A Pavlov
doaj +1 more source
Advanced Science, EarlyView.IGF‐1 deficiency underlies poor ovarian response (POR), as reduced levels in follicular fluid and granulosa cells impair antral follicle formation and compromise reproductive outcomes. Including IGF‐1 as a biomarker significantly enhances the accuracy of models predicting both PORrisk and pregnancy success.
Zhu Hu +9 more
wiley +1 more source
Teoria kategorii i niektóre jej logiczne aspekty
Zagadnienia Filozoficzne w Nauce, 2018 This article is intended for philosophers and logicians as a short partial introduction to category theory (CT) and its peculiar connection with logic. First, we consider CT itself.
Mariusz Stopa
doaj
Connexin43 Deficiency Leads to Ventricular Arrhythmias by Reprogramming Proline Metabolism
Advanced Science, EarlyView.The study demonstrated that connexin43 (Cx43) knockout caused arrhythmic phenotype and decreased proline content in vitro and in vivo. Mechanistically, Cx43 interacts with the amino acid transporter SNAT2 (sodium‐dependent neutral amino acid transporter), and its deficiency disrupts proline transport and metabolism.
Hangying Ying +8 more
wiley +1 more source
Advanced Science, EarlyView.Donor‐derived tdTomato+ mature hepatocytes were FACS‐isolated and transplanted into Fah−/− host mice. During regeneration, these cells convert into proliferative, unipotent Afp+ rHeps. Their plasticity is governed by a PPARγ/AFP‐dependent metabolic switch, segregating into pro‐proliferative Afplow and pro‐survival Afphigh subpopulations.
Ting Fang +12 more
wiley +1 more source
Problem Libraries for Non-Classical Logics
EPiC Series in Computing, 2018 Problem libraries for automated theorem proving (ATP) systems play a crucial role when developing, testing, benchmarking and evaluating ATP systems for classical and non-classical logics. We provide an overview of existing problem libraries for some important non-classical logics, namely first-order intuitionistic and first-order modal logics.
Jens Otten, Thomas Raths
openaire +2 more sources
GPCRs in CAR‐T Cell Immunotherapy: Expanding the Target Landscape and Enhancing Therapeutic Efficacy
Advanced Science, EarlyView.Chimeric antigen receptor T cell therapy faces dual challenges of target scarcity and an immunosuppressive microenvironment in solid tumors. This review highlights how G protein‐coupled receptors can serve as both novel targets to expand the therapeutic scope and functional modules to enhance CAR‐T cell efficacy.
Zhuoqun Liu +11 more
wiley +1 more source
The Logic of the Physics of Information
Information, 2014 A consensus is emerging that the multiple forms, functions and properties of information cannot be captured by a simple categorization into classical and quantum information.
Joseph E. Brenner
doaj +1 more source