Results 91 to 100 of about 6,185 (261)

Constraint Solving and Symbolic Execution [PDF]

, 2008
For many decades, the correctness of programs has been a concern for computer scientists and software engineers. At present, it is still not easy to ensure the correctness of nontrivial programs, although many researchers have made various attempts in this direction.
openaire   +1 more source

Large Language Model‐Informed Dual‐Track AI Framework for the Synergistic Design of Crack‐Free and High‐Strength Superalloys

Advanced Science, EarlyView.
This paper illustrates a knowledge‐augmented dual‐track AI framework for advanced superalloy design. First, Large Language Models translate metallurgical heuristics into explicit rules to rapidly prune a vast compositional search space. Subsequently, LLM‐distilled priors safely guide a reinforcement learning agent during autonomous process optimization,
Jian Yao, Junkang Wu, Jie Su, Fuzhu Wang, Zi Wang, Li Wang, Liming Tan, Lan Huang, Feng Liu, Yong Liu   +9 more
wiley   +1 more source

Conformational Snapshots of CydDC in a Native Lipid Bilayer Coupling Heme Transport to Antibiotic Resistance

Advanced Science, EarlyView.
Phylogenetic and biochemical analyses of the heme transporter CydDC reveal its functional conservation throughout bacterial evolution and demonstrate its unique asymmetric allosteric mechanism. Furthermore, impairment of CydDC function directly affects bacterial antibiotic resistance and likely compromises antibiotic efficacy through drug efflux.
Lili Yang, Changbin Zhang, Mengyuan Lyu, Yongbo Luo, Jierou Zhang, Yujiao Chen, Lintao Luo, Wen Qiao, Xiangyangpeng Li, Yu Zhou, Zhongling Wei, Yuling Xiao, Qian Niu, Juan Zhou, Guanglin He, Binwu Ying, Zhaoming Su, Hao Chen, Xiaodi Tang, Haohao Dong   +19 more
wiley   +1 more source

Single‐Cell Reveal GALNT7‐Dependent Ferroptosis Suppression as a Mechanism of Immunotherapy Resistance in Non‐Small Cell Lung Cancer

Advanced Science, EarlyView.
Integrated clinical and mechanistic analyses identify GALNT7 as a ferroptosis‐suppressive regulator associated with immunotherapy resistance in non‐small cell lung cancer. GALNT7 depletion promotes lipid peroxidation, mitochondrial dysfunction, and ferroptosis, enhances CD8+ T‐cell activation and IFN‐γ production, and sensitizes tumors to PD‐1 blockade,
Jiadi Gan, Qian Zheng, Deng Liu, Ruichao Nie, Menglin Yao, Xiaolong Tang, Renjie Xu, Jinghong Xian, Wenjun Meng, Wenxin Luo, Dan Liu, Guiyi Ji   +11 more
wiley   +1 more source

A Single‐Cell Transcriptomic Atlas of the Ovine Rumen Microbiome Characterizes Lineage‐Specific Metabolic Shifts Associated with Host Heat Tolerance

Advanced Science, EarlyView.
An optimized single‐cell transcriptomic framework profiles over 60 000 cells to map the ovine rumen microbiome, partitioning the ecosystem into seven cross‐species functional clusters. In heat‐resistant hosts, a lineage‐specific metabolic shift in Anaerovibrio lipolyticus toward a highly glycolytic phenotype contributes to a “nutritional sparing ...
Sanbao Zhang, Qinyang Jiang, Junjie Ma, Jianwei Zou, Fan Wang, Feifei Lv, Yanna Huang, Yongcheng Wang, Ziye Xu   +8 more
wiley   +1 more source

An Implantable Phototriggered Prodrug Depot Patch Enables Actively Programmable Drug Release for Post‐Myocardial Infarction Therapy

Advanced Science, EarlyView.
An implantable phototriggered prodrug depot patch (iPDP) is presented that enables actively programmable drug release post‐implantation. Covalently conjugated prodrug ensures minimal leakage; illumination parameters serve as a code to precisely control dose per release.
Haipeng Lu, Kaicheng Deng, Zhang Zhang, Qirui Wang, Weijing Gao, Liyin Shen, Lei Zhang, Wenting Hu, Yang Zhu, Zhengwei Mao, Tanchen Ren   +10 more
wiley   +1 more source

CHCHD10 Mitigates Alzheimer's Disease‐Related Phenotypes in Association With Epigenetic Remodeling in Directly Reprogrammed Neurons

Advanced Science, EarlyView.
CHCHD10 loss in Alzheimer's disease is associated with mitochondrial dysfunction, epigenomic disruption, and tau pathology. Restoration of CHCHD10 shifts DNA methylation toward a non‐disease state and reduces tau and amyloid pathology, with KATNAL2 acting as a downstream effector.
Teresa M. Thomas, Ching‐Yao Yang, Kexin Zhang, Liam Wetzel, Dina Bugybayeva, Julia Ferguson, Md Mahmudul Hasan, William Samsa, Nandita Patil, Anshul Dash, Tarini Gowda, Xiongwei Zhu, Feixiong Cheng, Tian Liu   +13 more
wiley   +1 more source

A Generative Neuro‐Symbolic AI for Protein Sequence Design

Advanced Science, EarlyView.
We introduce EffieDes, a neuro‐symbolic framework coupling deep learning‐based fitness landscape parameterization with exact automated reasoning. Unlike greedy sampling, EffieDes identifies sequences that globally optimize fitness while satisfying intricate design constraints.
Marianne Defresne, Delphine Dessaux, Samuel Buchet, Lucie Barthe, Liza Ammar‐Khodja, Bessam Azizi, Valentin Durante, Gianluca Cioci, Simon de Givry, Alain Roussel, Luis F. Garcia‐Alles, Thomas Schiex, Sophie Barbe   +12 more
wiley   +1 more source

Human‐Guided Bayesian Optimization Enables High‐Throughput Laser Annealing of Mesoporous SiOx Anodes for Lithium‐Ion Batteries

Advanced Science, EarlyView.
An empirical‐aided active learning framework is developed to optimize high‐throughput laser‐induced photothermal annealing of silicon suboxide anodes. By integrating probabilistic machine learning with empirical domain knowledge, this approach achieves optimal electrochemical performance using limited experiments.
Chaeyoung Park, Yeongje Lee, Sunho Jeong, Eungkyu Lee   +3 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