Results 91 to 100 of about 136,655 (280)

A context‐dependent modulatory role for eIF6 in acquired resistance to vemurafenib in melanoma

FEBS Letters, EarlyView.
Acquired resistance to vemurafenib upregulates the translation factor eIF6 in melanoma cells. Silencing eIF6 in resistant cells reduces proliferation and partially restores drug sensitivity, whereas its overexpression increases sensitivity across melanoma lines regardless of BRAF status, via modulation of mTOR, S6K, and MAPK signaling.
George Kyriakopoulos, Antonia Petropoulou, Alexandra Anastogianni, Angelina Bania, Vassilis Stamatakis, Argyris Alexiou, Chi‐Ping Day, Glenn Merlino, Katerina Grafanaki, Constantinos Stathopoulos   +9 more
wiley   +1 more source

Smaller is better: nanobodies meet NMR

FEBS Letters, EarlyView.
Nanobodies are single‐domain antigen‐binding fragments derived from camelid heavy chain antibodies. Their small size, high stability, and exceptional specificity make nanobodies uniquely useful probes for NMR studies of protein dynamics, transient conformational states, and protein–protein interactions.
Oleg Y. Dmitriev
wiley   +1 more source

Sequent Calculus for Justifications. [PDF]

Journal of Logic and Computation
We present a cut free sequent calculus that can internalize its own proofs providing a new justification system for modal logic.
openaire   +1 more source

Membrane composition and thermodynamic identity as boundaries of life for synthetic cell research

FEBS Letters, EarlyView.
What makes a cell a cell? The boundary of a living cell is not just a wall. Read as a Markov blanket, the membrane separates internal from external states, generating identity and non‐equilibrium order. Can this identity be rebuilt from scratch in a synthetic cell?
Caterina Presutti, Bert Poolman
wiley   +1 more source

Cut-elimination, substitution and normalisation [PDF]

, 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

Induction and Co-induction in Sequent Calculus [PDF]

, 2004
This is an extended and revised version of an extended abstract which appeared in the proceedings of TYPES ...
Alwen Tiu, Alberto Momigliano
openaire   +4 more sources

The role of miR‐335‐5p in the redifferentiation of BRAF p.V600E thyroid cancers

Molecular Oncology, EarlyView.
The BRAF p.V600E mutation promotes thyroid cancer dedifferentiation and radioiodine resistance. Using a network approach, we identified miR‐335‐5p as a key regulator of BRAF‐mutated thyroid tumors. Restoring miR‐335‐5p increased thyroid‐specific gene expression and iodine uptake in cells and organoids.
Valeria Pecce, Simone Bini, Marialuisa Sponziello, Giorgio Grani, Giulia Fiscon, Paola Paci, Lorenzo Farina, Rosa Falcone, Valentina Maggisano, Sebastiano Filetti, Cosimo Durante, Antonella Verrienti   +11 more
wiley   +1 more source

Gentzen systems and Beth tableaux

The Reasoner
This paper provides an expository comparison of two foundational proof systems in classical propositional logic: Gentzen's sequent calculus and Beth's semantic tableaux.
Zuzanna Rygiewicz Rygiewicz
doaj   +1 more source

Elimination of loop-check for logic of idealized knowledge

Lietuvos Matematikos Rinkinys, 2009
In the paper loop-check-free sequent calculus for logic of idealized knowledge is presented. To obtain termination of derivation indices and marks are used instead of history.
Aida Pliuškevičienė
doaj   +1 more source

Circular RNA expression landscapes in myelodysplastic neoplasms: Associations with mutational signatures and disease progression

Molecular Oncology, EarlyView.
In this explorative study, the abundance of circular RNA molecules in bone marrow stem cells was found to be elevated in patients with high‐risk myelodysplastic neoplasms, and to be associated with an increased risk of progression to acute myeloid leukemia.
Eileen Wedge, Morten Tulstrup, Gabriele Todisco, Pedro Moura, Christophe Côme, Jakob Werner Hansen, Jakob Schmidt Jespersen, Balthasar Schlotmann, Maria Creignou, Mette Dahl, Claudia Schöllkopf, Klas Raaschou‐Jensen, Krister Wennerberg, Bo Porse, Joachim Weischenfeldt, Eva Hellström‐Lindberg, Lasse Sommer Kristensen, Kirsten Grønbæk   +17 more
wiley   +1 more source