Results 121 to 130 of about 2,868 (293)

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

Computing with sequents: on the interpretation of sequent calculus as a calculus of lambda-terms and as a calculus of winning strategies

, 1995
L'objet de cette thèse est l'étude des systèmes formels du type des systèmes LJ et LK de Gentzen (couramment appelés calculs des séquents) dans leur rapport avec la calculabilité. Le procédé de calcul dans ces systèmes consiste en « l'élimination des coupures ».
openaire   +2 more sources

A Concise Sequent Calculus for Teaching First-Order Logic

, 2020
We have formalized soundness and completeness for a sequent calculus for classical firstorder logic in the proof assistant Isabelle/HOL. We first describe a technique for extending a completeness result for closed formulas to completeness for open ...
Villadsen, Jørgen, From, Asta Halkjær
core  

Cut-elimination, substitution and normalisation

, 2014
Date of Acceptance: 01/2015We present a proof (of the main parts of which there is a formal version, checked with the Isabelle proof assistant) that, for a G3-style calculus covering all of intuitionistic zero-order logic, with an associated term ...
Roy Dyckhoff, Dyckhoff, Roy
core   +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

A Sequent Calculus for First-Order Logic

, 2021
This work formalizes soundness and completeness of a one-sided sequent calculus for first-order logic. The completeness is shown via a translation from a complete semantic tableau calculus, the proof of which is based on the First-Order Logic According ...
From, Asta Halkjær
core  

Transcriptional profiling of circulating extracellular vesicles from prebiopsy prostate cancer patients

Molecular Oncology, EarlyView.
RNA profiling of circulating extracellular vesicles (EVs) from blood samples of men undergoing prostate biopsy identifies transcripts associated with clinically significant prostate cancer. Integrative analysis with public tumor datasets links EV‐derived gene signatures to tumor stage and progression‐free survival, highlighting CASP3, XRCC2, and RIT1 ...
Stefan Werner, Pierre Tennstedt, Randi C. Pose, Christian Müller, Katharina Besler, Svenja Schneegans, Malik Alawi, Marie C. Roesch, Sven Peine, Desiree Bonci, Joanna Budna‐Tukan, Evi Lianidou, Catherine Alix‐Panabières, Derya Tilki, Klaus Pantel   +14 more
wiley   +1 more source

A Sequent Calculus for Generalized Inductive Definitions

sponsorship: This paper was supported by the FWO project G0B2221N and KUL research project C14/19/082. (FWO project|G0B2221N, KUL research project|C14/19/082)
Robbe Van den Eede, Robbe Van Biervliet, Marc Denecker   +2 more
openaire   +2 more sources

Adaptor protein CIN85 potentiates the motility of osteosarcoma cells via the Akt/mTOR and MMP2‐COL3A1 axis

Molecular Oncology, EarlyView.
CIN85 is highly expressed in osteosarcoma, particularly in metastatic lesions. Its overexpression increases cell migration and Matrigel invasion, while silencing CIN85 suppresses these behaviors. Transcriptome analysis shows that CIN85 regulates MMP2, COL3A1, and Akt/mTOR signaling. Targeting these pathways reverses CIN85‐induced motility, highlighting
Iryna Horak, Iva Staniczková Zambo, Matěj Přikryl, Peter Múdry, Danica Zapletalová, Jarmila Navrátilová, Jiří Navrátil, Jan Šmarda, Liudmyla Drobot, Petr Beneš, Lucia Knopfová   +10 more
wiley   +1 more source