Results 111 to 120 of about 165,831 (331)

Logic‐Gated HSV‐TK/GCV Suicide Gene Circuit for Triple‐Negative Breast Cancer

Advanced Science, EarlyView.
The BRAS comprises two modular genetic components driven by distinct tumor‐specific promoters and a failsafe layer with the NOT gate. This multi‐input logic gate circuit enables precise, specific expression of HSV‐TK in breast cancer cells with hardly expression in normal cell and effectively inhibits tumor growth in a triple‐negative breast cancer ...
Shasha Tang, Yuan Fang, Lingli Jin, Dongyang Liu, Yicheng Liu, Ruijia Zheng, Liyun Yong, Xin Wu, Longliang Qiao, Meiyan Wang, Fengfeng Cai   +10 more
wiley   +1 more source

Targeting DNA‐LNPs to Endothelial Cells Improves Expression Magnitude, Duration, and Specificity

Advanced Science, EarlyView.
Attaching antibodies against endothelial cell surface proteins redirects the delivery and expression of DNA‐lipid nanoparticles to organs of interest. Our targeted nanoparticles enable organ‐selective DNA expression in the endothelium of the lungs, brain, or spleen, providing a therapeutic platform for dozens of endothelial‐centric diseases.
Nicolas Marzolini, Taylor V. Brysgel, Ryan J. Rahman, Eno‐Obong Essien, Saw Y. Nwe, Jichuan Wu, Aparajeeta Majumder, Manthan N. Patel, Sachchidanand Tiwari, Carolann L. Espy, Fengyi Dong, Sabrina A. Santos‐De León, Anit Shah, Vladimir V. Shuvaev, Elizabeth D. Hood, Liam S. Chase, Drew Weissman, Jeremy B. Katzen, David B. Frank, Mariko L. Bennett, Oscar A. Marcos‐Contreras, Jacob W. Myerson, Vladimir R. Muzykantov, Sahily Reyes‐Esteves, Jacob S. Brenner   +24 more
wiley   +1 more source

A five-valued logic and a system

Journal of Computer Science and Technology, 2004
The present article introduces a five-valued logic and a deductive system. Here, the logic presented is a relevant fragment of the @-logic, which is also a space-time logic. These five values correspond to the following semantics: unknown, possibly known
Ulisses Ferreira
doaj  

Stimuli‐Responsive Supramolecular Biomaterials for Cancer Theranostics

Advanced Science, EarlyView.
The ultimate goal of cancer theranostics is to get imaging agents and therapeutic cargo to tumor sites when and where they are required. “Smart” systems should be developed. This review discusses the characteristics of physiological stimuli, types and action modes of external stimuli, construction approaches and working principles, as well as ...
Wenting Hu, Binglin Ye, Guocan Yu, Feihe Huang, Zhengwei Mao   +4 more
wiley   +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, Hangping Fan, Yunhe Wang, Ruhong Jiang, Dongsheng Cai, Hui Cheng, Hao Wang, Chenyang Jiang, Ping Liang   +8 more
wiley   +1 more source

Characterization of the axiomatizable prenex fragments of first-order Godel logics [PDF]

, 2004
Matthias Baaz, Norbert Preining, Richard Zach   +2 more
openalex   +1 more source

Weak MSO: Automata and Expressiveness Modulo Bisimilarity

, 2014
We prove that the bisimulation-invariant fragment of weak monadic second-order logic (WMSO) is equivalent to the fragment of the modal $\mu$-calculus where the application of the least fixpoint operator $\mu p.\varphi$ is restricted to formulas $\varphi$
Carreiro, Facundo, Facchini, Alessandro, Venema, Yde, Zanasi, Fabio   +3 more
core   +1 more source

From Natural Discovery to AI‐Guided Design: A Curated Collection of Compact Enhancers for Crop Engineering

Advanced Science, EarlyView.
ABSTRACT Precise transgene‐free gene upregulation remains a challenge in crop biotechnology, as conventional enhancers often exceed CRISPR‐mediated knock‐in size constraints and face regulatory hurdles. Here we establish a foundational cross‐species resource of compact transcriptional enhancers developed via STEM‐seq, a high‐throughput screening ...
Qi Yao, Jin Gao, Keling Wang, Yufeng Liu, Peijin Han, Hong Pan, Xiaofeng Yang, Qianlan Yin, Dating Zhong, Lu Ye, Qi Deng, Lingling Gao, Xiaoyu Tu, Dequan Wang, Yuming Lu   +14 more
wiley   +1 more source

Universal Solvent Escape Strategies for Efficient Curing of Hydrogen‐Bond‐Rich 3D Printing Inks

Advanced Science, EarlyView.
This study developed a new 3D printing method for hydrogen‐bonded polymers by combining solvent replacement, nanoparticles, and optimized printing paths. This allows fast, precise scaffold fabrication. The scaffolds can be easily customized and release therapeutic agents slowly through protonation, enabling personalized bone, blood vessel, and nerve ...
Jie Chen, Qing Zhao, Wentao Fu, Weixian Chen, Xiaoqian Zhang, Gaiying Ye, Qinglei Meng, Liyuan Shao, Qian Ma, Lin Zhao, Ying Zhao, Weihua Guo   +11 more
wiley   +1 more source

A \textsf{C++} reasoner for the description logic $\shdlssx$ (Extended Version)

, 2018
We present an ongoing implementation of a \ke\space based reasoner for a decidable fragment of stratified elementary set theory expressing the description logic $\dlssx$ (shortly $\shdlssx$).
Cantone, Domenico, Nicolosi-Asmundo, Marianna, Santamaria, Daniele Francesco   +2 more
core