Results 91 to 100 of about 77,551 (274)
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
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
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
Non-Clausal Multi-ary α-Generalized Resolution Calculus for a Finite Lattice-Valued Logic
International Journal of Computational Intelligence Systems, 2018 Due to the need of the logical foundation for uncertain information processing, development of efficient automated reasoning system based on non-classical logics is always an active research area.
Yang Xu +4 more
doaj +1 more source
A logic with temporally accessible iteration [PDF]
, 2008 Deficiency in expressive power of the first-order logic has led to developing its numerous extensions by fixed point operators, such as Least Fixed-Point (LFP), inflationary fixed-point (IFP), partial fixed-point (PFP), etc.
Lisitsa, Alexei
core +2 more sources
The ubiquity of conservative translations
, 2012 We study the notion of conservative translation between logics introduced by Feitosa and D'Ottaviano. We show that classical propositional logic (CPC) is universal in the sense that every finitary consequence relation over a countable set of formulas can
da Silva +8 more
core +1 more source
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
Mathematical Logic and Deduction in Computer Science Education
Informatics in Education, 2008 Mathematical logic is a discipline used in sciences and humanities with different point of view. Although in tertiary level computer science education it has a solid place, it does not hold also for secondary level education.
Hashim HABIBALLA, Tibor KMET
doaj +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
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