Results 111 to 120 of about 136,655 (280)

A Sequent Calculus for Subtyping Polymorphic Types

Information and Computation, 1996
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +3 more sources

Loss of IGF‐1R impairs DNA‐PKcs recruitment to chromatin leading to defective end‐joining

Molecular Oncology, EarlyView.
IGF‐1R promotes radioresistance by facilitating DNA‐PKcs recruitment to chromatin, enabling non‐homologous end‐joining (NHEJ) repair of double‐strand breaks. Inhibition or loss of IGF‐1R disrupts this recruitment to damage sites, driving compensatory reliance on microhomology‐mediated end‐joining (MMEJ) repair.
Matthew O. Ellis, Jack V. Mills, Wojciech Niedzwiedz, Valentine M. Macaulay   +3 more
wiley   +1 more source

Parametric mixed sequent calculus [PDF]

, 2005
PreprintIn this paper, we present a propositional sequent calculus containing disjoint copies of classical and intuitionistic logics.
Nour, Karim, Laurent, Olivier
core  

Grokking the Sequent Calculus (Functional Pearl) [PDF]

The sequent calculus is a proof system which was designed as a more symmetric alternative to natural deduction. The {\lambda}{\mu}{\mu}-calculus is a term assignment system for the sequent calculus and a great foundation for compiler intermediate ...
Müller, Marius, Ostermann, Klaus, Binder, David, Tzschentke, Marco   +3 more
core   +1 more source

Ordinal analysis and the set existence property for intuitionistic set theories. [PDF]

Philos Trans A Math Phys Eng Sci, 2023
Rathjen M.
europepmc   +1 more source

USP29‐regulated noncanonical stabilization of the hypoxia‐inducible factor‐α in aggressive prostate cancer

Molecular Oncology, EarlyView.
We identify USP29 as the only DUB mirroring CA9 expression, a marker of hypoxia and HIF pathway activation associated with PCA aggressiveness. USP29 stabilizes HIF‐1α and HIF‐2α via a noncanonical mechanism that is independent of PHD/pVHL activity yet relies on proteasomal regulation, establishing USP29 as a previously unrecognized regulator of hypoxic
Amelie S Schober, Leire Moreno‐Cugnon, Laura Martínez‐Pérez, Amaia Ercilla, Amaia Zabala‐Letona, Adrián Vicente‐Barrueco, Maider Fagoaga‐Eugui, Saioa Garcia‐Longarte, Blanca Calle‐Ciborro, Encarnación Pérez‐Andrés, Onintza Carlevaris, Sara Pozo, Isabel Mendizabal, Ugo Mayor, Arkaitz Carracedo, Violaine Sée, Edurne Berra   +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

Finding novel vulnerabilities of hypomorphic BRCA1 alleles

Molecular Oncology, EarlyView.
Synthetic lethality screens performed to identify novel vulnerabilities often model complete gene loss, thereby overlooking patient‐derived hypomorphic mutations. In this study, we have performed genome‐wide CRISPR screens on BRCA1 hypomorphic mutations, showing BRCA1I26A behaves like wild‐type, while BRCA1R1699Q mimics deficiency. Furthermore, we have
Anne Schreuder, Klaas de Lint, Hồ Mỹ Phúc Võ, Mariana M. Góis, Rosalie A. Kampen, Marta San Martin Alonso, Ilse Nootenboom, Veronica Garzero, Tiemen J. Wendel, Rob M. F. Wolthuis, Sylvie M. Noordermeer   +10 more
wiley   +1 more source

A novel quinazolinone insulin receptor inhibitor and its synergy with an EGFR inhibitor in glucose‐driven glioblastoma

Molecular Oncology, EarlyView.
The novel styrylquinazolinone‐based molecule W1B effectively suppresses glioblastoma by inhibiting IGF1R and EGFR. In high‐glucose microenvironments driving tumor resistance, W1B acts synergistically with the EGFR inhibitor dacomitinib. This combination safely blocks compensatory survival signaling in zebrafish xenograft models. Showcasing promising in
Patryk Rurka, Wioleta Cieślik, Wojciech Płaziński, Katarzyna Stępnik, Anna Boguszewska‐Czubara, Elżbieta Kot, Robert Musioł, Mateusz Jasica, Anna Mrozek‐Wilczkiewicz, Katarzyna Malarz   +9 more
wiley   +1 more source

Oncogenic DMTF1β promotes cancer cell motility by regulating autophagy through ULK1 stabilization

Molecular Oncology, EarlyView.
In the current study, we demonstrate that the oncogene DMTF1β regulates ULK1 stability by reducing its proteasomal degradation in cancer cells. This stabilization enables ULK1 to induce autophagy, which in turn facilitates cancer cell migration. Consequently, reduced DMTF1β levels lead to decreased autophagy and impaired cancer cell migration.
Jun Xu, Nicolas J. Niklaus, Anna M. Schläfli, Igor Tokarchuk, Magali Humbert, Federico La Manna, Bich Vu, David Maul, Ramin Radpour, Marianna Kruithof‐de Julio, Inti Zlobec, Jörn Dengjel, Bruce E. Torbett, Mario P. Tschan   +13 more
wiley   +1 more source