Results 91 to 100 of about 11,536 (304)
Some Yoruba quantifier words and semantic interpretation
Studies in African Linguistics, 1986 This paper examines the need to look at quantifiers from semantic perspectives unconnected with logical, existential, or universal claims. The focus here is on the quantifier 'many' in Yoruba.
Nike S. Lawal
doaj +1 more source
, 2018 Automated program verification is a difficult problem. It is undecidable even for transition systems over Linear Integer Arithmetic (LIA). Extending the transition system with theory of Arrays, further complicates the problem by requiring inference and reasoning with universally quantified formulas.
Arie Gurfinkel +2 more
openaire +2 more sources
FEBS Letters, EarlyView.Embryo‐like structures (stembryos) are an innovative tool, but they are hindered by experimental variability and limited developmental potential. DNA methylation is crucial for mammalian development, but its status in stembryo models is poorly characterized.
Sara Canil +4 more
wiley +1 more source
, 1995 Contents Acknowledgments 1 1 Introduction 3 1.1 Generalized quantifiers : : : : : : : : : : : : : : : : : : : : : : : : : : 4 1.1.1 Generalized quantifiers and modal operators. (How modal quantifiers could have been invented) : : : : : : : : : : : : : :
Natalia Albertovna Alechina +2 more
core
Some Yoruba quantifier words and semantic interpretation a critique
Studies in African Linguistics, 1989 This work takes a close look at the Yoruba quantifiers, pUpQ, QpQ, and QpQ1QpQ 'many', and concludes that, contrary to Lawal's [1986] claim, it is difficult to differentiate semantically between them.
L. O. Adewole
doaj +1 more source
Notre Dame Journal of Formal Logic, 1987 This paper is a logical defense of the essential rightness of the Scholastic theory of distribution, the theory of distributed and undistributed terms. This theory has been severely attacked by Peter Geach, who regards it as a blot on the history of logic. I, in fact, agree with Geach's criticisms themselves, but I wish to overturn his ultimate verdict.
openaire +3 more sources
pH‐mediated activation of the lysosomal arginine sensor SLC38A9
FEBS Letters, EarlyView.Cells monitor nutrient levels via the lysosomal transporter SLC38A9 to activate the mechanistic target of rapamycin complex 1 (mTORC1). This study reveals that SLC38A9 function is regulated by pH. We identified histidine 544 as a critical pH sensor that undergoes conformational changes to control amino acid efflux from lysosomes; therefore, it ...
Xuelang Mu, Ampon Sae Her, Tamir Gonen
wiley +1 more source
Generalized quantifiers (substantive revision)
, 2011 A substantive revision of my 2005 entry on Generalized Quantifiers: new sections added on monotonicity and symmetry of quantifiers, and on quantifiers and ...
Westerståhl, Dag,
core
Molecular Biology of the Cell, 2014 The microscopic world of a cell can be as alien to our human-centered intuition as the confinement of quarks within protons or the event horizon of a black hole. We are prone to thinking by analogy—Golgi cisternae stack like pancakes, red blood cells look like donuts—but very little in our human experience is truly comparable to the immensely crowded,
Flamholz, Avi, Phillips, Rob, Milo, Ron
openaire +3 more sources
FEBS Letters, EarlyView.Ascidian Ciona larvae initially show strong clockwise tail twisting, which is largely corrected during development. However, a small residual twist remains. This study shows that organized helical myofibrils in tail muscles mechanically stabilize this residual asymmetry, preventing complete restoration of bilateral symmetry and revealing how embryos ...
Yuki S. Kogure +3 more
wiley +1 more source