Results 91 to 100 of about 494,097 (364)
Molecular Oncology, EarlyView.Clinical trials on PARP inhibitors in urothelial carcinoma (UC) showed limited efficacy and a lack of predictive biomarkers. We propose SLFN5, SLFN11, and OAS1 as UC‐specific response predictors. We suggest Talazoparib as the better PARP inhibitor for UC than Olaparib.
Jutta Schmitz +15 more
wiley +1 more source
Sensors, 2019 Multimodal systems are a workaround to enhance the robustness and effectiveness of biometric systems. A proper multimodal dataset is of the utmost importance to build such systems.
Pedro Lopes Silva +4 more
doaj +1 more source
, 2006 Lossy channel systems (LCSs) are systems of finite state automata that communicate via unreliable unbounded fifo channels. In order to circumvent the undecidability of model checking for nondeterministic LCSs, probabilistic models have been introduced,
Baier, Christel +2 more
core +5 more sources
Molecular Oncology, EarlyView.HDAC4 is degraded by the E3 ligase FBXW7. In colorectal cancer, FBXW7 mutations prevent HDAC4 degradation, leading to oxaliplatin resistance. Forced degradation of HDAC4 using a PROTAC compound restores drug sensitivity by resetting the super‐enhancer landscape, reprogramming the epigenetic state of FBXW7‐mutated cells to resemble oxaliplatin ...
Vanessa Tolotto +13 more
wiley +1 more source
(Un)Decidability Results for Word Equations with Length and Regular Expression Constraints [PDF]
, 2013 We prove several decidability and undecidability results for the satisfiability and validity problems for languages that can express solutions to word equations with length constraints.
Ganesh, Vijay +3 more
core
Effect of chemotherapy on passenger mutations in metastatic colorectal cancer
Molecular Oncology, EarlyView.Changes in passenger mutation load and predicted immunotherapy response after chemotherapy treatment. Tumor cells rich with passenger mutations have increased sensitivity to chemotherapy. Correlation of passenger mutations with neoantigen load suggests highly mutated clones promote a more effective response to immunotherapy, and therefore, first‐line ...
Marium T. Siddiqui +6 more
wiley +1 more source
Branch-Well-Structured Transition Systems and Extensions [PDF]
Logical Methods in Computer ScienceWe propose a relaxation to the definition of well-structured transition systems (\WSTS) while retaining the decidability of boundedness and non-termination.
Benedikt Bollig +2 more
doaj +1 more source
The First-Order Theory of Sets with Cardinality Constraints is Decidable
, 2004 We show that the decidability of the first-order theory of the language that combines Boolean algebras of sets of uninterpreted elements with Presburger arithmetic operations. We thereby disprove a recent conjecture that this theory is undecidable.
Kuncak, Viktor, Rinard, Martin
core +3 more sources
Decidability properties for fragments of CHR
, 2010 We study the decidability of termination for two CHR dialects which, similarly to the Datalog like languages, are defined by using a signature which does not allow function symbols (of arity >0). Both languages allow the use of the = built-in in the body
Betz +12 more
core +1 more source