Results 61 to 70 of about 129,657 (289)

Separating regular languages with two quantifier alternations

, 2018
We investigate a famous decision problem in automata theory: separation. Given a class of language C, the separation problem for C takes as input two regular languages and asks whether there exists a third one which belongs to C, includes the first one ...
Place, Thomas
core   +1 more source

The role and implications of mammalian cellular circadian entrainment

FEBS Letters, EarlyView.
At their most fundamental level, mammalian circadian rhythms occur inside every individual cell. To tell the correct time, cells must align (or ‘entrain’) their circadian rhythm to the external environment. In this review, we highlight how cells entrain to the major circadian cues of light, feeding and temperature, and the implications this has for our
Priya Crosby
wiley   +1 more source

Countability indicators

Rasprave Instituta za Hrvatski Jezik i Jezikoslovlje, 2007
The paper analyses the category of countability of nouns, and refers to quantifiers (malo, mnogo, dosta) as detectors of whether a monosemic noun is countable or not.
Marija Znika
doaj  

Intonational effects on English scopally-ambiguous sentences

Ilha do Desterro, 2020
This paper examines the effect of intonation contour on two types of scopally ambiguous constructions in English: configurations with a universal quantifier in subject position and sentential negation (e.g., Every horse didn’t jump) and configurations ...
Mien-Jen Wu, Tania Ionin
doaj   +1 more source

Formalizing Constructive Quantifier Elimination in Agda [PDF]

Electronic Proceedings in Theoretical Computer Science, 2018
In this paper a constructive formalization of quantifier elimination is presented, based on a classical formalization by Tobias Nipkow. The formalization is implemented and verified in the programming language/proof assistant Agda.
Jeremy Pope
doaj   +1 more source

Quantifying Transmission

Microbiology Spectrum, 2017
ABSTRACTTransmissibility is the defining characteristic of infectious diseases. Quantifying transmission matters for understanding infectious disease epidemiology and designing evidence-based disease control programs. Tracing individual transmission events can be achieved by epidemiological investigation coupled with pathogen typing or genome ...
openaire   +2 more sources

Characterizing Quantifier Extensions of Dependence Logic [PDF]

, 2012
We characterize the expressive power of extensions of Dependence Logic and Independence Logic by monotone generalized quantifiers in terms of quantifier extensions of existential second-order logic.Comment: 9 ...
Engström, Fredrik, Kontinen, Juha
core  

Molecular bases of circadian magnesium rhythms across eukaryotes

FEBS Letters, EarlyView.
Circadian rhythms in intracellular [Mg2+] exist across eukaryotic kingdoms. Central roles for Mg2+ in metabolism suggest that Mg2+ rhythms could regulate daily cellular energy and metabolism. In this Perspective paper, we propose that ancestral prokaryotic transport proteins could be responsible for mediating Mg2+ rhythms and posit a feedback model ...
Helen K. Feord, Gerben van Ooijen
wiley   +1 more source

The internal syntax of adjectival quantification in Romance

Linguística, 2019
The theoretical framework of this paper is based on the Extended Adjectival Projection hypothesis first introduced by Corver (1997). In Absolute Measure Phrase constructions (AMPC), of the “2m tall” type, we argue that, in the Romance equivalent “alto
Fernando Martinho
doaj  

Quantifier comprehension is linked to linguistic rather than to numerical skills. Evidence from children with Down syndrome and Williams syndrome. [PDF]

PLoS ONE, 2018
Comprehending natural language quantifiers (like many, all, or some) involves linguistic and numerical abilities. However, the extent to which both factors play a role is controversial.
Sarah Dolscheid, Martina Penke
doaj   +1 more source