Results 111 to 120 of about 491,607 (366)
EMT‐associated bias in the Parsortix® system observed with pancreatic cancer cell lines
Molecular Oncology, EarlyView.The Parsortix® system was tested for CTC enrichment using pancreatic cancer cell lines with different EMT phenotypes. Spike‐in experiments showed lower recovery of mesenchymal‐like cells. This was confirmed with an EMT‐inducible breast cancer cell line.
Nele Vandenbussche +8 more
wiley +1 more source
Decidability of Downward XPath
TOCL, 2012 We investigate the satisfiability problem for downward-XPath, the fragment of XPath that includes the child and descendant axes, and tests for (in)equality of attributes’ values. We prove that this problem is decidable, EXPTIME-complete.
Diego Figueira
semanticscholar +1 more source
Molecular Oncology, EarlyView.Analysis of treatment‐naïve high‐grade serous ovarian carcinoma (HGSOC) and control tissues for ERVs, LINE‐1 (L1), inflammation, and immune checkpoints identified five clusters with diverse patient recurrence‐free survivals. An inflammation score was calculated and correlated with retroelement expression, where one novel cluster (Triple‐I) with high ...
Laura Glossner +6 more
wiley +1 more source
How unprovable is Rabin's decidability theorem?
, 2015 We study the strength of set-theoretic axioms needed to prove Rabin's theorem on the decidability of the MSO theory of the infinite binary tree. We first show that the complementation theorem for tree automata, which forms the technical core of typical ...
Beckmann A. +6 more
core +1 more source
Molecular Oncology, EarlyView.Cotargeting EGFR and STAT3 with Erlotinib and TTI‐101 impairs both 2D and 3D growth of ETV1‐overexpressing prostate cancer cells by disrupting a self‐sustaining ETV1–EGFR positive feedback loop that promotes EGFR and STAT3 expression and phosphorylation (activation).
Elsa Gomes Paiva +5 more
wiley +1 more source
Quantum computing architectures with signaling and control mimicking biological processes. [PDF]
Heliyon, 2023 Pau LF, Borza PN.
europepmc +1 more source
On deciding how to decide: Designing participatory budget processes
European Journal of Operational Research, 2013 Abstract Participatory budgets are becoming increasingly popular in many municipalities all around the world. The underlying idea is to allow citizens to participate in the allocation of a municipal budget. Many advantages have been suggested for such experiences, including legitimization and more informed and transparent decisions.
Cesar Alfaro +3 more
openaire +2 more sources
, 2016 This is a companion to a paper by the authors entitled "G\"odel's natural deduction", which presented and made comments about the natural deduction system in G\"odel's unpublished notes for the elementary logic course he gave at the University of Notre ...
Adzic, Milos, Dosen, Kosta
core +1 more source
Molecular Oncology, EarlyView.In luminal (ER+) breast carcinoma (BC), miRNA profiling identified miR‐195‐5p as a key regulator of proliferation that targets CHEK1, CDC25A, and CCNE1. High CHEK1 expression correlates with worse relapse‐free survival after chemotherapy, especially in patients with luminal A subtype.
Veronika Boušková +14 more
wiley +1 more source
Algorithmic Problems for Computation Trees
LogicsIn this paper, we study three algorithmic problems involving computation trees: the optimization, solvability, and satisfiability problems. The solvability problem is concerned with recognizing computation trees that solve problems.
Mikhail Moshkov
doaj +1 more source