Results 101 to 110 of about 10,140 (309)
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
‘Guide and Prejudice’— How Argonautes recognize targets across domains of life
FEBS Letters, EarlyView.Argonaute proteins use short nucleic‐acid guides to locate and regulate specific targets across all domains of life. Despite striking diversity—from human gene silencing to bacterial immune defence—all Argonautes share a conserved three‐stage recognition logic: guide‐directed sampling, progressive target pairing with a conformational checkpoint and ...
Jack P. K. Bravo
wiley +1 more source
A Hybrid Intuitionistic Logic: Semantics and Decidability
, 2005 An intuitionistic, hybrid modal logic suitable for reasoning about distribution of resources was introduced by Jia and Walker. The modalities of the logic allow validation of properties in a particular place, in some place and in all places.
Damiano Macedonio +5 more
core
Decidability in local and global fields [PDF]
, 2019 This lecture highlights some recent advances on classical decidability issues in local and global ...
Koenigsmann, Jochen +2 more
core +1 more source
A context‐dependent modulatory role for eIF6 in acquired resistance to vemurafenib in melanoma
FEBS Letters, EarlyView.Acquired resistance to vemurafenib upregulates the translation factor eIF6 in melanoma cells. Silencing eIF6 in resistant cells reduces proliferation and partially restores drug sensitivity, whereas its overexpression increases sensitivity across melanoma lines regardless of BRAF status, via modulation of mTOR, S6K, and MAPK signaling.
George Kyriakopoulos +9 more
wiley +1 more source
On Decidability of Intermediate Levels of Concatenation Hierarchies [PDF]
, 2015 It is proved that if definability of regular languages in the Sigma(n) fragment of the first-order logic on finite words is decidable, then it is decidable also for the Delta(n+1) fragment. In particular, the decidability for Delta(5) is obtained.
Jana Bartoňová +7 more
core +1 more source
The ubiquitin system in normal and infected germinal center B cells
FEBS Letters, EarlyView.The ubiquitin system plays a central role in germinal center (GC) B cells, influencing differentiation to long‐lived memory B cells. Oncogenic gammaherpesviruses gain access to memory B cells by establishing latency in GC B cells. Mapping ubiquitin mechanisms in normal and infected GC B cells will define specific molecular circuits in B cells germane ...
Destiny Davis +2 more
wiley +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
Decidability of interpretability logics ILM0 and ILW*
, 2017 The finite model property is a key step in proving decidability of modal logics. By adapting the filtration method to the generalized Veltman semantics for interpretability logics, we have been able to prove the finite model property of interpretability ...
Mladen Vuković, Luka Mikec, Tin Perkov
core +1 more source