A Generalization of SAT and #SAT for Robust Policy Evaluation [PDF]
Erik Peter Zawadzki +2 more
openaire +2 more sources
Reprogramming tumor cells with LCOR mRNA nanotherapy to enhance immunotherapy
LCOR (Ligand‐dependent corepressor) mRNA encapsulated in polymeric nanoparticles restores LCOR activity in tumor cells, constraining aggressive tumor cell states and increasing tumor immunogenicity. This reprogramming makes tumor cells more vulnerable to T‐cell attack and enhances their response to immune‐checkpoint immunotherapy.
Gabriel Serra‐Mir +9 more
wiley +1 more source
How to manage subacute thyroiditis. [PDF]
Effraimidis G +5 more
europepmc +1 more source
Improvements to the Implementation of Interpolant-Based Model Checking
The evolution of SAT technology over the last decade has motivated its application in model checking, initially through the utilization of SAT in bounded model checking~(BMC) and, more recently, in unbounded model checking (UMC). This paper addresses the
Marques-Silva, Joao
core
The multifaceted roles of lysosomes in cancer
Lysosomes support cancer cell adaptation by integrating macromolecule degradation and nutrient recycling with nutrient sensing, inter‐organelle communication and immune regulation. These interconnected functions can promote tumour growth, stress tolerance and therapy resistance, while also creating context‐dependent vulnerabilities that may be ...
Jia Li, Kevin M. Ryan
wiley +1 more source
USP7 inhibits FOXO1 activity in chronic lymphocytic leukaemia cells enhancing cell survival
CLL cells rely on BCR‐mediated signalling for survival and proliferation in part through suppression of FOXO1. FOXO1 activity is regulated by a plethora of post‐translational modifications including phosphorylation and ubiquitination. We demonstrated that dual inhibition of BCR signalling and the deubiquitinase USP7 activates FOXO1, modulating its ...
Hassan N.B. Almuhanna +8 more
wiley +1 more source
A Finite-Difference Summation-by-Parts Conditionally Stable Partitioned Algorithm for Conjugate Heat Transfer Problems. [PDF]
Nataj S +3 more
europepmc +1 more source
Tumour‐proximal deep serum proteomics identifies biomarkers associated with ovarian cancer
New biomarkers are needed for early ovarian cancer detection. Ovarian (tumour‐proximal) and peripheral vein serum from healthy women and patients with benign or malignant tumours underwent nanoparticle‐enriched deep proteomics. Ovarian serum yielded more protein identifications and revealed tumour‐reflective signatures.
Darren Lau +9 more
wiley +1 more source
AI-based automated body composition analysis from whole-body MRI and (PET-) CT: an intermodal comparison from same-day examinations. [PDF]
Holzschuh JC +17 more
europepmc +1 more source
Cisplatin‐resistant cancer cells survive DNA‐damaging platinum‐based treatment yet remain sensitive to CuET‐induced proteotoxic stress. The distinct mechanism of action allows CuET to overcome and eliminate cisplatin‐resistant tumour cells, unless highly expressed metallothioneins (MTs) interfere with CuET, thereby highlighting MT levels as candidate ...
Stefanos Arampatzis +20 more
wiley +1 more source

