Results 111 to 120 of about 246,520 (298)
Reprogramming tumor cells with LCOR mRNA nanotherapy to enhance immunotherapy
Molecular Oncology, EarlyView.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
Optimization of Boolean satisfiability solver by caching intermediate results
Труды Института системного программирования РАН, 2018 Recently, a number of dynamic analysis tools were developed that perform tainted data flow tracing and use algorithms for solving the CNF SAT problem for input data generation and path alteration.
S. Vartanov, D. Sidorov
doaj
USP7 inhibits FOXO1 activity in chronic lymphocytic leukaemia cells enhancing cell survival
Molecular Oncology, EarlyView.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
Antichain with SAT and Tries [PDF]
We introduce a SAT-enabled version of an antichain algorithm for checking language emptiness of alternating finite automata (AFA) with complex transition relations encoded as compact logical formulae. The SAT solver is used to compute predecessors of AFA
Holík, Lukáš, Vargovčík, Pavol
core +1 more source
Molecular Oncology, EarlyView.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
Molecular Oncology, EarlyView.Enterotoxigenic Bacteroides fragilis is a gut bacterium linked to bowel cancer. We propose that its toxin acts along two routes: at the cell surface, cutting the adhesion protein E‐cadherin and triggering inflammation; and inside the cell, delivered by bacterial vesicles, switching on NOD1 and cancer stem cell programs.
Kangchan Choi +2 more
wiley +1 more source
Back to Basics: Solving Games with SAT
Advances in Electrical and Computer Engineering, 2016 Games became popular, within the formal verification community, after their application to automatic synthesis of circuits from specifications, and they have been receiving more and more attention since then.
QUER, S.
doaj +1 more source
Single‐molecule DNA flow‐stretch assays for high‐throughput DNA–protein interaction studies
FEBS Open Bio, EarlyView.We describe an optimised single‐molecule DNA flow‐stretch assay that visualises DNA–protein interactions in real time. Linear DNA fragments are tethered to a surface and stretched by buffer flow for fluorescence imaging. Using λ and φX174 DNA, this protocol enhances reproducibility and accessibility, providing a versatile approach for studying diverse ...
Ayush Kumar Ganguli +8 more
wiley +1 more source
FEBS Open Bio, EarlyView.UiO‐66(Zr) metal–organic frameworks are chemically stable, biocompatible, and highly tunable nanomaterials. Their modular structure enables controlled drug delivery, multimodal bioimaging, and light‐activated photodynamic therapy, supporting integrated diagnostic and therapeutic (theranostic) applications in cancer and biomedical research.
Veronika Huntošová +2 more
wiley +1 more source
, 2008 The boolean satisfaction problem (SAT) is one of the most important and most studied problems of artificial intelligence. Many theoretical and real life problems are transformed to SAT and solved using a SAT solver.
Balyo, Tomáš
core