Results 61 to 70 of about 135,609 (263)

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

Research on formal description and verification of automated trust negotiation

Tongxin xuebao, 2011
First,a unified ATN formal framework was presented,into which typical negotiation strategies could be reduced.Second,the formal verification of ATN was defined based on the formal framework.The objectives and procedures of the formal verification of ATN ...
GUAN Shang-yuan 1, WU Wei-guo 1, DONG Xiao-she 1, QIAN De-pei1   +3 more
doaj   +2 more sources

Integrating UML With Service Refinement for Requirements Modeling and Analysis

IEEE Access, 2019
The Unified Modeling Language (UML) is the de facto standard for requirements modeling and analysis in the software industry. However, it lacks the ability of formal analysis and verification.
Yilong Yang, Wei Ke, Jing Yang, Xiaoshan Li   +3 more
doaj   +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

Formal Verification of Linux Kernel Library Functions

Труды Института системного программирования РАН, 2018
The paper presents result of a study on deductive verification of 26 Linux kernel library functions with AstraVer toolset. The code includes primarily string-manipulating functions and is verified against contract specifications formalizing its ...
D. V. Efremov, M. U. Mandrykin
doaj   +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

KDM7A and KDM1A inhibition suppresses tumour promoting pathways in prostate cancer

Molecular Oncology, EarlyView.
Treatment resistance is a major challenge for patients with advanced prostate cancer. This study examined an alternative approach to target the major prostate cancer‐promoting pathway by targeting epigenetic factors, whose levels are higher in tumours.
Jennie N Jeyapalan, Veronika M Metzler, Simone de Brot, Corinne L Woodcock, Anna E Harris, Jennifer Lothion‐Roy, Emeli M Nilsson, Atara Ntekim, Michael S Toss, Jenny L Persson, Francesca Khani, Brian D Robinson, Lorraine J Gudas, Emad Rakha, David M Heery, Catrin S Rutland, Nigel P Mongan   +16 more
wiley   +1 more source

Survey of Consensus Protocol’s Formal Verification

Cybersecurity
As blockchain technology is increasingly being applied to various aspects of actual production, higher requirements are being placed on its stability and correctness.
Zelin Feng, Rui Zhang
doaj   +1 more source

Heterozygous loss‐of‐function alleles associate the conserved 3′‐5′ exoribonuclease EXOSC10 with hypersensitivity to the anticancer drug 5‐fluorouracil

Molecular Oncology, EarlyView.
EXOSC10, an essential nuclear RNA exosome‐associated 3′‐5′ exoribonuclease, is inhibited by the anticancer drug 5‐fluorouracil (5‐FU), and EXOSC10 depletion increases 5‐FU sensitivity. The colon‐cancer variant EXOSC10S402T, located in a proteolysis motif, is stable and nuclear but nonfunctional in vivo.
Radhika Sain, Yann Le Page, Frédéric Percevault, Emmanuelle Becker, Luc Negroni, Almudena Fernandez, Marta Cantero, Diego Muñoz‐Santos, Lluís Montoliu, Cyrille Garnier, Michael Primig   +10 more
wiley   +1 more source

Cell‐cycle‐specific lesion evolution rather than inhibition of double‐strand‐break repair underpins cisplatin radiosensitization

Molecular Oncology, EarlyView.
We analyze cisplatin–DNA adducts (CDAs) and double‐strand breaks (DSBs) in a cell‐cycle‐dependent manner. We find that CDAs form similarly across all cell cycle phases. DSBs arise only in S‐phase. CDAs might not directly impair DSB repair, but S‐phase DSB lesions evolve in the presence of CDAs and disrupt repair in G2, also causing radiosensitization ...
Ye Qiu, Xixi Lin, Emil Mladenov, Veronika Mladenova, Jürgen Thomale, Ali Sak, Yao Wang, Yunxuan Deng, Eleni Gkika, Martin Stuschke, George Iliakis   +10 more
wiley   +1 more source