Results 111 to 120 of about 1,803,872 (361)
Advanced Science, EarlyView.Employing snRNA‐seq post‐MCAO‐induced retinal ischemia (RI), this study revealed a novel Hmga2‐high Müller cell subpopulation. Hmga2 knockout alleviated neuroinflammation and RI symptoms, potentially by binding PI3K and regulating Müller cell autophagy.
Weihao Lv +11 more
wiley +1 more source
Complexity of the Two-Variable Fragment with (Binary-Coded) Counting Quantifiers
, 2004 We show that the satisfiability and finite satisfiability problems for the two-variable fragment of first-order logic with counting quantifiers are both in NEXPTIME, even when counting quantifiers are coded succinctly.Comment: 24 pages, 1 pstex_t ...
Pratt-Hartmann, Ian
core +2 more sources
An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic
JACM, 1981 It is known that there is an eqmvalence between functional dependencies m a relatmonal database and a certain fragment of proposmonal logic Thins eqmvalence is extended to include both functional and multivalued dependencmes.
Y. Sagiv +3 more
semanticscholar +1 more source
A Modular and Customizable CRISPR/Cas Toolkit for Epigenome Editing of Cis‐regulatory Modules
Advanced Science, EarlyView.Epigenome editing surpasses genome editing in gene regulation. Modular epigenome editing frameworks are developed to interrogate cis‐regulome, enabling tunable reprogramming of cis‐elements, uncovering their epigenetic responsiveness and cross‐species portability.
Lingrui Zhang +6 more
wiley +1 more source
Advanced Science, EarlyView.Single‐molecule fluorescence microscopy is combined with proteomic profiling to fingerprint the morphology and composition of TDP‐43 protein aggregates found in post‐mortem motor neuron disease brain tissues. Aggregate fingerprints can distinguish disease from control donors and detect unexpected TDP‐43 pathology in SOD1‐MND.
Dezerae Cox +9 more
wiley +1 more source
Belief merging within fragments of propositional logic
, 2014 Recently, belief change within the framework of fragments of propositional logic has gained increasing attention. Previous works focused on belief contraction and belief revision on the Horn fragment.
Creignou, Nadia +3 more
core +1 more source
From Bench to Bedside: Emerging Paradigms in CAR‐T Cell Therapy for Solid Malignancies
Advanced Science, EarlyView.This review discusses emerging paradigms in CAR‐T cell therapy for solid tumors, emphasizing strategies to overcome therapeutic barriers through synthetic biology, immune engineering, and combinatorial approaches. It highlights advancements in logic gating, modulation of the immune microenvironment, and innovative cell designs, providing valuable ...
Yang Chen +7 more
wiley +1 more source
On the Complexity of Temporal-Logic Path Checking
, 2014 Given a formula in a temporal logic such as LTL or MTL, a fundamental problem is the complexity of evaluating the formula on a given finite word. For LTL, the complexity of this task was recently shown to be in NC.
B. Finkbeiner +7 more
core +1 more source
Advanced Science, EarlyView.The most elaborate known example of β‐oxidation‐like pathway recruitment in fungi is reported, involving a 10‐step oxidative chain‐shortening cascade catalyzed by five dedicated enzymes to generate the pharmacophore of mycophenolic acid (MPA)—a novel clinical immunosuppressant. Our findings illustrate how nature repurposes catabolic enzymes for complex
Baoqiang Fan +5 more
wiley +1 more source
Advanced Science, EarlyView.The ANGPTL8/PIRB/ALOX5AP axis mediates liver‐kidney crosstalk. Hepatocytes secrete ANGPTL8, which binds to CCR2+PIRB+ macrophages in the kidneys, affecting the expression of ALOX5AP and enhancing the activation of these macrophages. Activated cells produce TGF‐β, IL‐6, and IL‐23, driving Th17 activation and promote the formation of myofibroblasts ...
Shuqi Wei +18 more
wiley +1 more source