Results 81 to 90 of about 115,357 (261)

Transport Layer Security 1.0 handshake protocol formal verification case study: How to use a proof script generator for existing large proof scores. [PDF]

PeerJ Comput Sci, 2023
Tran DD, Wai Mon T, Ogata K.
europepmc   +1 more source

IMPDH inhibition enhances cytarabine efficacy in SAMHD1‐expressing leukaemia cells via guanine nucleotide depletion

Molecular Oncology, EarlyView.
Cytarabine is a key therapy for acute myeloid leukaemia (AML), but its efficacy is limited by the dNTPase SAMHD1, which hydrolyses its active metabolite. Screening nucleotide biosynthesis inhibitors revealed that IMPDH inhibitors selectively sensitise SAMHD1‐proficient AML cells to cytarabine.
Miriam Yagüe‐Capilla, Christopher Dirks, Caroline Eiden, Sonja K. Fesenmayer, Femke M. Hormann, Yolande Klootsema, Ingrid Lilienthal, Si Min Zhang, Nikolas Herold, Sean G. Rudd   +9 more
wiley   +1 more source

Dual PI3K/AKT and CDK4/6 inhibition reveals selective sensitivity in an SHH medulloblastoma stem cell model

Molecular Oncology, EarlyView.
Targeted therapy was evaluated in SHH medulloblastoma using neuroepithelial stem cell (NES) and tumor‐derived NES‐like (tNES) models in 2D monolayers and 3D spheroids. PI3K, AKT, and CDK4/6 inhibitors had minimal effects in NES but markedly reduced viability and growth and induced apoptosis in tNES cells, revealing distinct therapeutic vulnerabilities.
Monika Lukoseviciute, Madeleine Birgersson, Paolo Ceriani, Margareta Wilhelm, Ourania N Kostopoulou   +4 more
wiley   +1 more source

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

Streamlining Temporal Formal Verification over Columnar Databases

Information
Recent findings demonstrate how database technology enhances the computation of formal verification tasks expressible in linear time logic for finite traces (LTLf).
Giacomo Bergami
doaj   +1 more source

Formal verification of Matrix based MATLAB models using interactive theorem proving. [PDF]

PeerJ Comput Sci, 2021
Gauhar A, Rashid A, Hasan O, Bispo J, Cardoso JMP.   +4 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

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

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

ATP13A2 is involved in intracellular polyamine transport in lung epithelial cells

FEBS Open Bio, EarlyView.
Spermidine transport in lung epithelial cells involves the polyamine transporter ATP13A2. Cell proliferation is associated with the upregulation of ATP13A2. Polyamines are present in all living cells and are implicated in various crucial cellular processes such as proliferation, apoptosis and autophagy.
Yuta Hatori, Kohei Kawabata, Takanori Kubo, Takeo Kitazawa, Sae Kanai, Madoka Iwashita, Ami Hayashi, Hiroyuki Nishi, Mikihisa Takano   +8 more
wiley   +1 more source