Results 31 to 40 of about 129,657 (289)
Analytical descriptions of quantifier solutions to interval linear systems of relations
Mathematics Open, 2022 We study systems of relations of the form [Formula: see text], where [Formula: see text] is a vector of binary relations with the components “[Formula: see text]”, “[Formula: see text]”, and “[Formula: see text]”, while the parameters (elements of the ...
Irene A. Sharaya, Sergey P. Shary
doaj +1 more source
Cognitive Processing of Verbal Quantifiers in the Context of Affirmative and Negative Sentences: a Croatian Study [PDF]
, 2016 Studies from English and German have found differences in the processing of affirmative and negative sentences. However, little attention has been given to quantifiers that form negations.
Bogunović, Irena, Ćoso, Bojana
core +2 more sources
Quantifying Multipartite Nonlocality [PDF]
Physical Review Letters, 2009 4 pages, 3 figures.
Bancal, Jean Daniel +3 more
openaire +7 more sources
Electronic Notes in Theoretical Computer Science, 2003 Abstract We study existential and universal quantification over quantifiers, i.e. quantification where the objects quantified over are Lindstrom quantifiers. First we consider the fragment where only existential quantification over quantifiers is allowed, denoted Σ Q 1 .
openaire +1 more source
Ehrenfeucht-Fraisse Games on Omega-Terms [PDF]
, 2013 Fragments of first-order logic over words can often be characterized in terms of finite monoids or finite semigroups. Usually these algebraic descriptions yield decidability of the question whether a given regular language is definable in a particular ...
Huschenbett, Martin, Kufleitner, Manfred
core +5 more sources
Counter Simulations via Higher Order Quantifier Elimination: a preliminary report [PDF]
, 2017 Quite often, verification tasks for distributed systems are accomplished via counter abstractions. Such abstractions can sometimes be justified via simulations and bisimulations.
Ghilardi, Silvio, Pagani, Elena
core +2 more sources
Paraconsistent Many-Valued Logic in GUHA Framework
Acta Informatica Pragensia, 2018 The primary aim of this paper is to establish a formal connection between a particular many-valued paraconsistent logic and the logic of a KDD method, namely the GUHA data mining method by introducing a new quantifier called Paraconsistent Separation ...
Esko Turunen
doaj +1 more source
Quantifier scope in German : an MCTAG analysis [PDF]
, 2006 Relative quantifier scope in German depends, in contrast to English, very much on word order. The scope possibilities of a quantifier are determined by its surface position, its base position and the type of the quantifier.
Kallmeyer, Laura, Romero, Maribel
core
Using Fuzzy Linguistic Representations to Provide Explanatory Semantics for Data Warehouses [PDF]
, 2003 A data warehouse integrates large amounts of extracted and summarized data from multiple sources for direct querying and analysis. While it provides decision makers with easy access to such historical and aggregate data, the real meaning of the data has ...
Dillon, Tharam S., Feng, Ling
core +3 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Pediatric gastroenteropancreatic neuroendocrine neoplasms (GEP‐NENs) are extremely rare and clinically heterogeneous. Management has largely been extrapolated from adult practice. This European Standard Clinical Practice Guideline (ESCP), developed by the EXPeRT network in collaboration with adult NEN experts, provides (adult) evidence ...
Michaela Kuhlen +23 more
wiley +1 more source