Results 31 to 40 of about 354,417 (335)
On the Syntax of Logic and Set Theory [PDF]
, 2010 We introduce an extension of the propositional calculus to include abstracts of predicates and quantifiers, employing a single rule along with a novel comprehension schema and a principle of extensionality, which are substituted for the Bernays ...
Schoenbaum, Lucius T.
core +1 more source
From Quantified Self To Quantified Neighborhood
, 2015 Industrial ...
Kun, P. (author), Mulder, I.J. (author)
openaire +2 more sources
Characterizing integers among rational numbers with a universal-existential formula
, 2007 We prove that Z in definable in Q by a formula with 2 universal quantifiers followed by 7 existential quantifiers. It follows that there is no algorithm for deciding, given an algebraic family of Q-morphisms, whether there exists one that is surjective ...
Poonen, Bjorn
core +4 more sources
Quantifying quantum coherence based on the generalized $\alpha-z-$relative R$\acute{e}$nyi entropy
, 2019 We present a family of coherence quantifiers based on the generalized $\alpha-z-$relative R$\acute{e}$nyi entropy. These quantifiers satisfy all the standard criteria for well-defined measures of coherence, and include some existing coherence measures as
Fei, Shao-Ming +2 more
core +1 more source
Physical Review Letters, 2014 11 pages, close to published ...
Baumgratz, T, Cramer, M, Plenio, MB
openaire +4 more sources
Discourse variation of vague language: vague quantifiers in spoken and written Lithuanian
Taikomoji kalbotyra, 2018 Vagueness is a controversial issue, which was long stigmatised by both researchers and laypeople and largely neglected in linguistics until the publication of Channell’s (1994) study, which demonstrated that vague language (VL) is a multi-faceted ...
Jūratė Ruzaitė
doaj +1 more source
Complexity of the Two-Variable Fragment with (Binary-Coded) Counting Quantifiers
, 2004 We show that the satisfiability and finite satisfiability problems for the two-variable fragment of first-order logic with counting quantifiers are both in NEXPTIME, even when counting quantifiers are coded succinctly.Comment: 24 pages, 1 pstex_t ...
Pratt-Hartmann, Ian
core +2 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Objective To evaluate selumetinib exposure using therapeutic drug monitoring (TDM) in pediatric patients with neurofibromatosis type 1 (NF1) and plexiform neurofibromas (PN), assess interpatient pharmacokinetic variability, and explore the relationship between drug exposure, clinical response, and adverse effects.
Janka Kovács +8 more
wiley +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Arteriovenous malformations (AVMs) are rare, high‐flow, vascular anomalies that can occur either sporadically or as part of a genetic syndrome. AVMs can progress with serious morbidity and even mortality if left unchecked. Sirolimus is an mTOR inhibitor that is effective in low‐flow vascular malformations; however, its role in AVMs is unclear.
Will Swansson +3 more
wiley +1 more source
Complement set focus after positive quantifiers: The influence of context
Psychology of Language and CommunicationDuring reading, different cues influence readers’ focus. One of these is natural language quantifiers. Negative quantifiers, such as few (e.g., “Few attended the lecture”), have a complex influence on focus.
Poirier Rachel C. +2 more
doaj +1 more source