Results 151 to 160 of about 88,794 (289)

Establishment of a humanized patient‐derived xenograft mouse model of high‐grade serous ovarian cancer for preclinical evaluation of combination immunotherapy

Molecular Oncology, EarlyView.
We have established a humanized orthotopic patient‐derived xenograft (Hu‐oPDX) mouse model of high‐grade serous ovarian cancer (HGSOC) that recapitulates human tumor–immune interactions. Using combined anti‐PD‐L1/anti‐CD73 immunotherapy, we demonstrate the model's improved biological relevance and enhanced translational value for preclinical ...
Luka Tandaric, Line Bjørge, Martine Rott Lode, Cecilie Fredvik Torkildsen, Pia Aehnlich, Rammah Elnour, Daniela Elena Costea, Lars Andreas Akslen, Liv Cecilie Vestrheim Thomsen, Emmet McCormack, Katrin Kleinmanns   +10 more
wiley   +1 more source

Consistency Verification of Stateful Firewalls is not Harder than the Stateless Case

, 2009
Firewalls play an important role in the enforcement of access control policies in contemporary networks. However, firewalls are effective only if they are configured correctly such that their access control rules are consistent and the firewall indeed ...
Buttyán, Levente, Pék, Gábor, Ta Vinh, Thong   +2 more
core  

Consistency verification and interpretation of explainable AI for predicting annual home runs of professional baseball players from sensor data. [PDF]

Sci Rep
Shibata S, Kase Y, Yoshikawa Y, Ishibe K, Nomoto T, Ijiri T, Tahara Y, Yamaguchi Y.   +7 more
europepmc   +1 more source

Hippo pathway at the crossroads of stemness and therapeutic resistance in breast cancer

Molecular Oncology, EarlyView.
Dysregulation of the Hippo pathway drives nuclear accumulation of YAP/TAZ, activating stemness‐related transcriptional programs that sustain breast cancer stemness and fuel therapeutic resistance across subtypes, underscoring Hippo signaling as a targetable vulnerability. Figure created and edited with BioRender.com.
Giulia Schiavoni, Antonella Palmese, Stefano Scalera, Laura Cipriani, Davide Mascolo, Patrizia Vici, Teresa Arcuri, Lorena Filomeno, Eriseld Krasniqi, Giovanni Blandino, Giulia Bon, Marcello Maugeri‐Saccà   +11 more
wiley   +1 more source

Terminal sequence consistency verification method for small diameter abreast optical fibers based on computer vision. [PDF]

Heliyon
Wang Y, Wang L, Li D, Liang Y, Huang L, Da H, Yang H.   +6 more
europepmc   +1 more source

Deciphering transcriptional plasticity in pancreatic ductal adenocarcinoma reveals alterations in sensory neuron innervation

Molecular Oncology, EarlyView.
Pancreatic sensory neurons innervating healthy and PDAC tissue were retrogradely labeled and profiled by single‐cell RNA sequencing. Tumor‐associated innervation showed a dominant neurofilament‐positive subtype, altered mitochondrial gene signatures, and reduced non‐peptidergic neurons.
Elena Genova, Michele Montrone, Uday Rangaswamy, Francesco Diversi, Irene Schiavo, Denise Ferrarini, Roberta Di Florio, Irene Longo, Michele Coscia, Nicola Zamboni, Giorgia Demontis, Lisa Veghini, Vincenzo Corbo, Remo Sanges, Paul Heppenstall   +14 more
wiley   +1 more source

Self-Consistency Checking

, 1996
. We introduce the notion of self-consistency checking, a new methodology for applying formal methods in the debugging process. Intuitively, self-consistency checks functional consistency of a circuit in two different modes or environments.
David L. Dill, Robert B. Jones, Carl-johan H. Seger   +2 more
core  

Differential expression of cancer‐related genes supports prediction of poor response to first‐line treatments in T‐ALL pediatric patients with high minimal residual disease

Molecular Oncology, EarlyView.
In the present work, we have identified a transcriptional signature based on the differential expression of six genes (BCL2&MAST4, HSH2D&LAT2, METRN&PITPNM2) that would facilitate the early detection of T‐cell acute lymphoblastic leukemia (T‐ALL) patients prone to a poor treatment response and could be implemented at diagnosis, along with other risk ...
Antonio Lahera, Laura Vela‐Martín, Pablo Fernández‐Navarro, José Luis López‐Lorenzo, Javier Cornago, Pilar Llamas, Eduardo Pérez‐Gómez, José Luis Marín‐Rubio, Manuel Fresno, Javier Santos, José Fernández‐Piqueras, María Villa‐Morales   +11 more
wiley   +1 more source

Verifying an interactive consistency circuit: A case study in the reuse of a verification technology

, 1990
The work done at ORA for NASA-LRC in the design and formal verification of a hardware implementation of a scheme for attaining interactive consistency (byzantine agreement) among four microprocessors is presented in view graph form.
Srivas, Mandayam, Bickford, Mark
core   +1 more source

CCDC80 suppresses high‐grade serous ovarian cancer migration via negative regulation of B7‐H3

Molecular Oncology, EarlyView.
PAX8 is a lineage‐specific master regulator of transcription in high‐grade serous ovarian cancer (HGSC) progression. We show for the first time that PAX8 facilitates proliferation and metastasis by repressing the cell autonomous tumor suppressor CCDC80 and inducing B7‐H3 expression.
Aya Saleh, Nitzan Medina‐Itzhaki, Milena Chekov, Eden Gal‐Swisa, Roba Gabesh‐Wahabi, Inbar Savyon, Inna Naroditsky, Hilary A. Kenny, Basem Fares, Lina Korsensky, Einav Girsh, Liron Berger, Ruth Perets   +12 more
wiley   +1 more source