Results 91 to 100 of about 49,212 (323)
New values of the Julia Robinson number
CuboWe extend results of Vidaux and Videla concerning the set of Julia Robinson numbers.
Carlos Muñoz Sandoval
doaj +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
FEBS Letters, EarlyView.We reconstituted Synechocystis glycogen synthesis in vitro from purified enzymes and showed that two GlgA isoenzymes produce glycogen with different architectures: GlgA1 yields denser, highly branched glycogen, whereas GlgA2 synthesizes longer, less‐branched chains.
Kenric Lee +3 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.We developed and validated a DNA methylation–based biomarker panel to distinguish pleural mesothelioma from other pleural conditions. Using the IMPRESS technology, we translated this panel into a clinically applicable assay. The resulting two classifier models demonstrated excellent performance, achieving high AUC values and strong diagnostic accuracy.
Janah Vandenhoeck +12 more
wiley +1 more source
Rational Subsets and Submonoids of Wreath Products
, 2013 It is shown that membership in rational subsets of wreath products H \wr V with H a finite group and V a virtually free group is decidable. On the other hand, it is shown that there exists a fixed finitely generated submonoid in the wreath product Z \wr ...
Lohrey, Markus +2 more
core +1 more source
Disability Studies Quarterly, 2006 On the surface, Rosen's study would appear to be the story of the successful advocacy for Deaf culture and language in schools. In this response, I read the subtext of Rosen's article, in which troubling questions arise about systemic structures that work against full access to decision making, the dilemma of diversity, the problem of participatory ...
openaire +1 more source
Molecular Oncology, EarlyView.We developed a cost‐effective methylation‐specific droplet digital PCR multiplex assay containing tissue‐conserved and tumor‐specific methylation markers. The assay can detect circulating tumor DNA with high accuracy in patients with localized and metastatic colorectal cancer.
Luisa Matos do Canto +8 more
wiley +1 more source
Gradual Certified Programming in Coq
, 2015 Expressive static typing disciplines are a powerful way to achieve high-quality software. However, the adoption cost of such techniques should not be under-estimated.
Disney T. +7 more
core +3 more sources
The decidability of the genus of regular languages and directed\n emulators [PDF]
, 2021 Guillaume Bonfante, Florian Deloup
openalex +1 more source