Results 91 to 100 of about 1,069,887 (282)

A simple proof that super consistency implies cut elimination [PDF]

, 2011
International audienceWe give a simple and direct proof that super-consistency implies the cut elimination property in deduction modulo. This proof can be seen as a simpli cation of the proof that super-consistency implies proof normalization.
Dowek, Gilles, Hermant, Olivier, Olivier Hermant, Gilles Dowek   +3 more
core   +1 more source

CEACAM1 participation in breast cancer progression

Molecular Oncology, EarlyView.
In invasive breast cancer (BC), CEACAM1 shifts from an apical to a uniform membranous/cytoplasmic pattern, or is lost, as tumors dedifferentiate, inversely tracking the Ki‐67 proliferative index. In MCF‐7 cells, only CEACAM1‐4L suppresses proliferation, repressing cell cycle and growth factor genes.
Mykola Lyndin, Irina Kube‐Golovin, Anatolii Romaniuk, Gunther Wennemuth   +3 more
wiley   +1 more source

Some remarks on proof-theoretic semantics [PDF]

, 2015
This is a tripartite work. The first part is a brief discussion of what it is to be a logical constant, rejecting a view that allows a particular self-referential “constant” • to be such a thing in favour of a view that leads to strong normalisation ...
Roy Dyckhoff, Dyckhoff, Roy
core   +1 more source

PANoptosis in the pathogenesis of myelodysplastic syndromes

Molecular Oncology, EarlyView.
PANoptosis, a combination of three types of programmed cell death, is mediated by a large protein complex called a PANoptosome. In healthy bone marrow hematopoietic cells, PANoptosis is restricted by inhibitory signaling. In MDS, bone marrow cells become sensitive to the PANoptotic stimuli due to the aberrant inactivation of inhibitory signaling or ...
Rohit Thalla, Jyoti Lamichhane, Cameron Lewis, Peter Breslin, Jiwang Zhang   +4 more
wiley   +1 more source

Castration‐resistant prostate cancer cells are addicted to the high activity of cyclin‐dependent kinase 2

Molecular Oncology, EarlyView.
We show that emergence of castration‐resistant prostate (CRPC) is associated with significant upregulation of cyclins that positively regulate cyclin‐dependent kinase 2 (CDK2) and concomitant downregulation of CDK4 cyclins. This renders CRPC cells dependent on the high activity of CDK2, and CDK2 inhibitors synergistically sensitize CRPC cells to both ...
Joyeeta Chatterjee, Alessia Marin, Shivani Yalala, Harri M. Itkonen   +3 more
wiley   +1 more source

Comparison of the pharmacokinetic profiles of three triterpenoids after oral administration of a cucurbitacin tablet and nanosuspension by UHPLC-MS/MS

Frontiers in Pharmacology
IntroductionCucurbitacin, a class of triterpenoid compounds isolated from Pedicellus Melo, possesses various biological activities and is the primary active component of cucurbitacin tablets (CUT) used to treat chronic hepatitis and primary liver cancer.
Chun-nan Zhang, Zhi-bin Wang, Rui-tong Du, Shu-lu Zhang, Chu-qiao Wang, Meng Wang, Li-hong Wu, De-qiang Yang, Chen Wang   +8 more
doaj   +1 more source

Mechanisms and therapeutic opportunities of the ribotoxic stress response in cancer

Molecular Oncology, EarlyView.
Cancer cells' high translational demand creates opportunities to therapeutically target ribosome function. Ribosome stalling and collisions activate ZAKα and the ribotoxic stress response (RSR), which can trigger rapid, p53‐independent apoptosis in cancer.
Anastassiya Kim, Maryam Aslam, Elouise Torruella, Alphons Sony, Asif Rahman, Simira Smith, Columba de la Parra, Moira Sauane   +7 more
wiley   +1 more source

On cut elimination in the presence of perice rule

Archiv für Mathematische Logik und Grundlagenforschung, 1987
If the classical predicate logic is formulated in a sequent calculus, say LJP, by adding the so-called Peirce rule to Gentzen's intuitionistic LJ, the commonly known proof form of cut elimination for the system cannot be formalized in primitive recursive arithmetic.
openaire   +2 more sources

Profiling neoadjuvant therapy response in rectal cancer using meta‐analysis of publicly available transcriptomic RNA‐seq datasets

Molecular Oncology, EarlyView.
This study integrates publicly available transcriptomic datasets to identify molecular signatures associated with response to neoadjuvant chemoradiotherapy in locally advanced rectal cancer. By analyzing a combination of multiple cohorts with bioinformatics approaches, we reveal biological pathways and immune‐related features that may improve ...
Aleksandra Stanojevic, Rafael Stroggilos, Mladen Marinkovic, Ana Djuric, Suzana Stojanovic‐Rundic, Radmila Jankovic, Sergi Castellvi‐Bel, Remond J.A. Fijneman, Antonia Vlahou, Jerome Zoidakis, Milena Cavic   +10 more
wiley   +1 more source

The VHL tumor suppressor at the crossroad of protein folding, aggregation, and cancer

Molecular Oncology, EarlyView.
Mutations, environmental stress, and chaperone dysfunction can destabilize pVHL, promoting its conversion from the native folded state into amyloid‐like assemblies. This transition may contribute to protein storage, cell dormancy, survival, and drug resistance.
Lara Abad, Silvio Carlo Ermanno Tosatto, Emanuela Leonardi   +2 more
wiley   +1 more source