Results 71 to 80 of about 12,572 (253)

On the inevitability of the consistency operator

, 2019
We examine recursive monotonic functions on the Lindenbaum algebra of $\mathsf{EA}$. We prove that no such function sends every consistent $\varphi$ to a sentence with deductive strength strictly between $\varphi$ and $(\varphi\wedge\mathsf{Con}(\varphi))
Montalbán, Antonio, Walsh, James
core   +1 more source

Surface‐Bound Superoxide Radical‐Mediated Photo‐Fenton Mineralization of Ciprofloxacin on Fe‐Sillenite Nanosheets

Advanced Science, EarlyView.
This study systematically compares the degradation efficiency of CIP in a H2O2‐alone system and a novel Bi12FeO20‐H2O2 photo‐Fenton system. It reveals for the first time the presence of a quinone‐imine intermediate in the H2O2‐alone system, which exhibits toxicity comparable to CIP.
Wenting Qiu, Ji Liu, Hengjun Shang, Yaning Zhang, Shuai Dou, Jing Xu, Ying Zhang, Yang Lou, Yongfa Zhu, Chengsi Pan   +9 more
wiley   +1 more source

EEPD1 Inhibition Unleashes Antitumor Immunity in Colorectal Cancer by Activating the cGAS‐STING Pathway

Advanced Science, EarlyView.
In colorectal cancer, high expression of the DNA repair protein EEPD1 correlates with immune exclusion and poor prognosis. This study demonstrates that EEPD1 depletion induces genomic instability, leading to cytosolic DNA accumulation and subsequent activation of the cGAS‐STING‐type I interferon pathway. This cascade remodels the tumor microenvironment
Liyun Huo, Chong Wu, Xiaobo Li, Caina Ma, Jiamin Huang, Zishuo Chen, Weiling He, Tianyu Tao, Weijing Zhang   +8 more
wiley   +1 more source

Snap-in compressible biomedical electrode [PDF]

, 1977
A replaceable, prefilled electrode enclosed in a plastic seal and suitably adapted for attachment to a reusable, washable cap having snaps thereon is disclosed.
Frost, J. D., Jr., Hillman, C. E., Jr.
core   +1 more source

Dynamic Shifts in ER–Plasma Membrane Junctions Signaling Define Pro‐Metastatic N‐Glycosylation and Predict Prostate Cancer Progression

Advanced Science, EarlyView.
Prostate cancer remains a leading cause of male cancer death, yet screening cannot reliably identify aggressive disease, underscoring the need for tissue biomarkers. It is shown that primary tumors increase ER–plasma membrane junction signaling via STIM1/ORP5, whereas metastasis features their loss, Golgi dispersal, and rapid conversion of high‐mannose
Amanda J. Macke, Tania Kamal, Taylor E. Divita, Artem N. Pachikov, Chad A. LaGrange, Rajesh Ravichandran, Martha Morton, Robert Powers, Haowen Qiu, Jean‐Jack M. Riethoven, Colm Morrissey, Melinda Wojtkiewicz, Rebekah L. Gundry, Carol A. Casey, Armen Petrosyan   +14 more
wiley   +1 more source

Cells Dynamically Adapt Their Nuclear Volumes and Proliferation Rates During Single to Multicellular Transitions

Advanced Science, EarlyView.
It is currently not well understood how cells regulate basic properties, e.g., volume and mechanics within dense multicellular environments like tumors. Here, we show that different cell types of cancer and also normal cells largely decrease their nuclear and cellular volumes in emerging cell clusters and that this is partly driven by cell cycle shifts.
Vaibhav Mahajan, Keshav Gajendra Babu, Markus Mukenhirn, Antje Garside, Vinita Ajit Kini, Trishla Adhikari, Timon Beck, Byung Ho Lee, Kyoohyun Kim, Carsten Werner, Raimund Schlüßler, Alf Honigmann, Sebastian Aland, Anna Verena Taubenberger   +13 more
wiley   +1 more source

ConKeD: multiview contrastive descriptor learning for keypoint-based retinal image registration

Medical & Biological Engineering & Computing
Abstract Retinal image registration is of utmost importance due to its wide applications in medical practice. In this context, we propose ConKeD, a novel deep learning approach to learn descriptors for retinal image registration.
Rivas-Villar, David, Hervella, Álvaro S., Rouco, José, Novo Buján, Jorge   +3 more
openaire   +4 more sources

SDS‐CRISPR for Single‐Nucleotide Variant Detection

Advanced Science, EarlyView.
Structure‐disruption‐sensitive CRISPR (SDS‐CRISPR) converts structural instability into single‐nucleotide precision, thereby overcoming mismatch tolerance in canonical Cas12a and enabling versatile diagnostics across DNA, RNA, and microRNA targets. When applied to rapid IDH1 mutation detection for glioma genotyping and integrated with lateral‐flow ...
Xin Guan, Chong Guo, Jiongyu Zhang, Rui Yang, Yerramsetti Ramachandra, Chengyu Hou, Minjie Pei, Shuo Zhang, Kurt T. Schalper, Xingye Liu, Qian Wu, Ketan R. Bulsara, Changchun Liu   +12 more
wiley   +1 more source

A de novo protein catalyzes the synthesis of semiconductor quantum dots. [PDF]

Proc Natl Acad Sci U S A, 2022
Spangler LC, Yao Y, Cheng G, Yao N, Chari SL, Scholes GD, Hecht MH.   +6 more
europepmc   +1 more source

VORCOR: A computer program for calculating characteristics of wings with edge vortex separation by using a vortex-filament and-core model [PDF]

A computer code base on an improved vortex filament/vortex core method for predicting aerodynamic characteristics of slender wings with edge vortex separations is developed. The code is applicable to camber wings, straked wings or wings with leading edge
Lan, C. E., Mehrotra, S. C., Pao, J. L.
core   +1 more source