Results 141 to 150 of about 842,701 (337)

The RNA‐Binding Protein PARN Remodeled 3′ UTR Structure Defines Poly(A)‐Loading Sites to Mediate Immunoglobulin Homeostasis

Advanced Science, EarlyView.
ABSTRACT Class Switch Recombination (CSR) is essential for generating high‐affinity antibody isotypes from IgM during adaptive humoral responses. Despite well‐established roles for various transcription factors, whether CSR is subject to dedicated post‐transcriptional control represents a significant gap in knowledge.
Siyuan Sun, Chen Yang, Xiaoyu Wang, Naijing Hu, Shengyao Zhang, Xinchun Li, Yu Chen, Jianan Zhai, Xiangfeng Tang, Wei Lu, Chenxu Lu, Changchang Cao, Weiru Yu, Wenhao Wu, Xiaonan Nie, Fengchao Wang, Bing Fang, Fazheng Ren, Yixuan Li, Juan Chen   +19 more
wiley   +1 more source

Derivative-Guided Symbolic Execution

Proceedings of the ACM on Programming Languages
We consider the formulation of a symbolic execution (SE) procedure for functional programs that interact with effectful, opaque libraries. Our procedure allows specifications of libraries and abstract data type (ADT) methods that are expressed in Linear Temporal Logic over Finite Traces (LTL
Yongwei Yuan, Zhe Zhou, Julia Belyakova, Suresh Jagannathan   +3 more
openaire   +2 more sources

Inhibitory Decay and Supercritical Brain Dynamics During Sleep Deprivation

Advanced Science, EarlyView.
Sleep deprivation progressively shifts human brain dynamics from near‐critical toward supercritical states, as revealed by neuronal avalanche analysis of resting‐state fMRI. These changes track subjective sleep pressure rather than vigilance lapses and show marked network heterogeneity. A circuit model suggests that reduced inhibitory efficacy provides
Dai Zhang, Liqin Zhou, Rong Wang, Yuehua Han, Zhentao Zuo, Yanghua Tian, Ke Zhou   +6 more
wiley   +1 more source

Extended probabilistic symbolic execution [PDF]

, 2013
Thesis (MSc)--Stellenbosch University, 2013.ENGLISH ABSTRACT: Probabilistic symbolic execution is a new approach that extends the normal symbolic execution with probability calculations.
Uwimbabazi, Aline
core  

Xenogeneic Mitochondrial Transplantation Improves Selected Age‐Associated Phenotypes in Mice

Advanced Science, EarlyView.
Yak‐derived xenogeneic mitochondrial transplantation improves selected age‐associated phenotypes in mice, enhances mitochondrial functional readouts, and engages host mitochondrial quality‐control pathways. Broad tissue biodistribution, increased ATP production and mtDNA copy number, reduced ROS levels and dysfunctional mitochondria, improved motility ...
Wenpeng Li, Xijia Wang, Yaning Hu, Zhen Yang, Tian Niu, Xingbo Zhao   +5 more
wiley   +1 more source

Mitochondrial Carrier SLC25A13 Drives Ferroptosis Resistance and Immune Evasion via a STAT3–IFI6 Circuit in Breast Cancer

Advanced Science, EarlyView.
SLC25A13 is identified as an immunometabolic driver of triple‐negative breast cancer that sustains ferroptosis resistance and immune evasion through a STAT3–IFI6 circuit. Pharmacologic degradation of SLC25A13 restores ferroptosis sensitivity and enhances anti‐PD‐1 efficacy, highlighting a strategy to convert immune‐cold tumors into immunotherapy ...
Yingze Zhu, Yuhan Tang, Yingcui Chen, Zhuoqi Zhang, Yige Lu, Xinyue Wang, Qiyuan Shi, Wenhui Zhao, Hui Pang   +8 more
wiley   +1 more source

Automated Extraction of Multicomponent Alloy Data Using Large Language Models for Sustainable Design

Advanced Science, EarlyView.
A large language model (LLM) based pipeline is developed to automatically extract a comprehensive and accurate multicomponent alloy database from literature corpus. The extracted dataset is integrated with sustainability indicators to identify potential alloys that outperform existing industrial benchmark materials in terms of both performance and ...
Aravindan Kamatchi Sundaram, Mohit Chakraborty, Sai Mani Kumar Devathi, B. Pabitramohan Prusty, Rohit Batra   +4 more
wiley   +1 more source

DLF: A Deep Active Ensemble Learning Framework for Test Case Generation

Information
High-quality test cases are vital for ensuring software reliability and security. However, existing symbolic execution tools generally rely on single-path search strategies, have limited feature extraction capability, and exhibit unstable model ...
Yaogang Lu, Yibo Peng, Dongqing Zhu
doaj   +1 more source

Deconstructing Dynamic Symbolic Execution

, 2020
. Dynamic symbolic execution (DSE) is a well-known technique for automatically generating tests to achieve higher levels of coverage in a program. Two keys ideas of DSE are to: (1) seed symbolic execution by executing a program on an initial input; (2 ...
Microsoft Research, Thomas Ball, Jakub Daniel   +2 more
core  

A Periosteum‐Inspired Janus Piezoelectric Scaffold Using Bioenergetic‐Driven H‐Type Vascularization for Diabetic Bone Regeneration

Advanced Science, EarlyView.
A periosteum‐inspired Janus piezoelectric scaffold converts micromechanical forces into electrical signals and synergizes with controlled resveratrol release. This dual action reprograms endothelial metabolism, drives H‑type vessel formation, and restores bone–vessel coupling in diabetic bone defects.
Kai Wang, Kai Jiang
wiley   +1 more source