Results 141 to 150 of about 229,528 (288)

Reasoning about LF signatures

, 1996
The logical framework LF is a type theory defined by Harper, Honsell and Plotkin, which can be used as meta language to represent deductive systems.
Carsten Schürmann
core  

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

A Global Methane Observation System to Reduce Uncertainty for Anthropogenic and Natural Sources and Sinks for Detecting and Attributing Climate Feedbacks

Advanced Science, EarlyView.
Conceptual illustration of a Global Ecosystem Methane Observing System (GEM‐OS) integrating satellites, aircraft, atmospheric networks, and ecosystem measurements to quantify methane emissions from anthropogenic and natural sources. The multi‐scale observing framework improves source attribution, reduces uncertainty in regional methane budgets, and ...
P. Ciais, S. Peng, J. Chang, F. Li, Q. Zhu, K. Yuan, G. Hugelius, H. Li, Y. Cai, F. Chevallier, K. Tibrewal, E. A. Kort, K. Arndt, J. Watts, B. Buma, N. Besic, P. I. Palmer, H. Cadillo‐Quiroz, E. Euskirchen, M. J. Gondwe, A. Hoyt, R. Jackson, S. Malone, D. Monteverde, S. Natali, M. Ramonet, C. Rey‐Sanchez, L. B. Sagang, E. A. G. Schuur, R. Vargas, R. Varner, Z. Zhang, B. Poulter   +32 more
wiley   +1 more source

Intrusion of Permanent Teeth

Česká Stomatologie a Praktické Zubní Lékařství, 2010
Intrusion of permanent teeth belongs to less frequent but serious injuries. Due to the axial impact at the time of accident the affected tooth is dislocated into the alveolar bone. Periodontal fibers, pulp, cement, alveolar bone and adjacent soft tissues
H. Hecová, V. Merglová, R. Houba, J. Stehlíková   +3 more
doaj  

Therapeutic Gene Editing of APOE4 in Sporadic Alzheimer's Disease via Prime Editor 7

Advanced Science, EarlyView.
Prime Editor 7‐mediated conversion of APOE4 to APOE3 alleviates Alzheimer's disease‐associated pathology in AD mouse models and patient‐derived neurons and improves cognitive performance in vivo, supporting therapeutic genome editing as a promising strategy for APOE4‐associated neurodegeneration.
Yunkyung Kim, Gaeun Lee, Saemin An, Hanseul Park, Hongwon Kim, Jisung Kim, Soi Kang, Sumin Kim, Daeyeol Kwon, Jeonghyun Park, Yerim Hwang, Seonghun Kim, Xiuwen Yuan, Jaehoon Jeong, Hamin Lee, Hui Kwon Kim, Jongpil Kim   +16 more
wiley   +1 more source

Identifying a Csmd3+ Microglial Subpopulation that Drives Cold‐to‐Hot Transition and Immune‐Cure in Glioblastoma

Advanced Science, EarlyView.
The study establishes an immune‐cure (ICu) mouse model based on a TMEMed G422TN‐GBM system that faithfully recapitulates human TMEMed GBM. scRNA‐seq analysis reveals a Csmd3+ microglial subset with innate immune memory (IIM) potential that potently suppresses GBM growth, drives a TME cold‐to‐hot transition, and induces 100% ICu in long‐term survival ...
Hai‐Feng Jiang, Pan‐Pan Gao, Yu‐Wen Du, Li‐Qin Wu, En‐Zhi Yin, Qi An, Ze‐Hua Ding, Jin‐Wen Shi, Ya Shu, Ruoqiao Chen, Feng Liu, Mingfeng Li, Xiao Qian Chen   +12 more
wiley   +1 more source

Programmable Encapsulation Enables On‐Demand Proliferation of Therapeutic Bacteria for Potent Cancer Immunotherapy

Advanced Science, EarlyView.
A programmable encapsulation technology is developed to reduce bacterial immunogenicity and proliferation after systemic administration. The cross‐linked polymer networks around individual bacteria enable immunogenic shielding and permit selective proliferation in tumors, allowing the bacteria to convert tumor‐accumulated ammonia into L‐arginine and ...
Jianhui Yang, Ao Peng, Shuaiqiang Li, Yaning Huang, Jian Yan, Leyuan Wang, Zhihui Zhu, Fei‐Long Liu, Erbao Bian, Yang Liu, Dasheng Tian, Fenghe Li, Qi Liu   +12 more
wiley   +1 more source

The IRE1‐XBP1s Axis Drives Inflammatory Osteolysis by Regulating a 5‐HT Dependent Endogenous Anti‐Autophagy Mechanism

Advanced Science, EarlyView.
A previously unrecognized IRE1‐XBP1s‐Slc6a4 signaling axis links endoplasmic reticulum stress to serotonin metabolism, autophagy, and inflammatory osteoclastogenesis. By promoting intracellular serotonin uptake and reducing endogenous 3‐methyladenine accumulation, this pathway accelerates inflammatory bone destruction and provides a promising ...
Pengchao Yang, Binxiang Zhu, Yuzhi He, Yang Tian, Honglei Kang, Shian Hu, Pengju Wang, Yong Xu, Zhuowei Lei, Peijun Qi, Hao Yang, Yang Lin, Yimin Dong, Feng Li, Hanfeng Guan   +14 more
wiley   +1 more source

Modulating Calcium Homeostasis via a Biomimetic Scaffold to Rescue Diabetic Ischemic Wounds

Advanced Science, EarlyView.
This strategy addresses impaired microcirculation and loss of extracellular matrix (ECM) guidance in diabetic wound healing. Musc@CP, a nanofibrous dressing combining an ECM‐mimetic chitosan‐pullulan scaffold with muscone, enhances perfusion by attenuating intracellular Ca2+ overload‐associated endothelial dysfunction.
Xiang Zheng, Mingmei Li, Jianjun Jiang, Yongchao Wang, Yaru Jia, Weilun Sun, Yi Yao, Pengli Gao, Linhua Zhang, Qi Guo, Guang Jia, Xing‐Jie Liang, Dunwan Zhu, Jinchao Zhang, Fangzhou Li   +14 more
wiley   +1 more source

Elucidating interfacial-function relationships of lactoferrin-cellulose nanofibril complexes via multidimensional spectroscopy and QCM-D: interfacial anchoring and bulk stabilization mechanisms in robust Pickering emulsions. [PDF]

Food Chem X
Xiang R, Ding J, Wan X, Yang Y, Zheng W, Li M, Ma T, Liu Y.   +7 more
europepmc   +1 more source