Results 81 to 90 of about 475,794 (375)
Deciding Conditional Termination [PDF]
Logical Methods in Computer Science, 2012 We address the problem of conditional termination, which is that of defining the set of initial configurations from which a given program always terminates. First we define the dual set, of initial configurations from which a non-terminating execution exists, as the greatest fixpoint of the function that maps a set of states into its pre-image with ...
Iosif, Radu +2 more
openaire +10 more sources
Well Behaved Transition Systems [PDF]
Logical Methods in Computer Science, 2017 The well-quasi-ordering (i.e., a well-founded quasi-ordering such that all antichains are finite) that defines well-structured transition systems (WSTS) is shown not to be the weakest hypothesis that implies decidability of the coverability problem.
Michael Blondin +2 more
doaj +1 more source
Circulating tumor cells: advancing personalized therapy in small cell lung cancer patients
Molecular Oncology, EarlyView.Small cell lung cancer (SCLC) is an aggressive form of lung cancer that spreads rapidly to secondary sites such as the brain and liver. Cancer cells circulating in the blood, “circulating tumor cells” (CTCs), have demonstrated prognostic value in SCLC, and evaluating biomarkers on CTCs could guide treatment decisions such as for PARP inhibitors ...
Prajwol Shrestha +6 more
wiley +1 more source
Semi-decidable equivalence relations obtained by composition and lattice join of decidable equivalence relations [PDF]
arXiv, 2017 Composition and lattice join (transitive closure of a union) of equivalence relations are operations taking pairs of decidable equivalence relations to relations that are semi-decidable, but not necessarily decidable. This article addresses the question, is every semi-decidable equivalence relation obtainable in those ways from a pair of decidable ...
arxiv
Cell‐free and extracellular vesicle microRNAs with clinical utility for solid tumors
Molecular Oncology, EarlyView.Cell‐free microRNAs (cfmiRs) are small‐RNA circulating molecules detectable in almost all body biofluids. Innovative technologies have improved the application of cfmiRs to oncology, with a focus on clinical needs for different solid tumors, but with emphasis on diagnosis, prognosis, cancer recurrence, as well as treatment monitoring.
Yoshinori Hayashi +6 more
wiley +1 more source
Extending Unification in $\mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification [PDF]
Logical Methods in Computer Science, 2017 Unification in Description Logics has been introduced as a means to detect redundancies in ontologies. We try to extend the known decidability results for unification in the Description Logic $\mathcal{EL}$ to disunification since negative constraints ...
Franz Baader +2 more
doaj +1 more source
The existence of a near-unanimity function is decidable [PDF]
arXiv, 2011 We prove that the following problem is decidable: given a finite set of relations, decide whether this set admits a near-unanimity function.
arxiv
Decidability for some justification logics with negative introspection
Journal of Symbolic Logic (JSL), 2013 Justification logics are modal logics that include justifications for the agent's knowledge. So far, there are no decidability results available for justification logics with negative introspection.
T. Studer
semanticscholar +1 more source
Molecular Oncology, EarlyView.This study demonstrates that KRAS and GNAS mutations are more prevalent in patients with resected intraductal papillary mucinous neoplasms (IPMN) compared to those under clinical surveillance. GNAS mutations significantly differ between the two patient cohorts, indicating that their absence may serve as a potential biomarker to support conservative ...
Christine Nitschke +12 more
wiley +1 more source
Semi‐supervised classification of fundus images combined with CNN and GCN
Journal of Applied Clinical Medical Physics, Volume 23, Issue 12, December 2022., 2022 Abstract Purpose Diabetic retinopathy (DR) is one of the most serious complications of diabetes, which is a kind of fundus lesion with specific changes. Early diagnosis of DR can effectively reduce the visual damage caused by DR. Due to the variety and different morphology of DR lesions, automatic classification of fundus images in mass screening can ...
Sixu Duan +8 more
wiley +1 more source