Results 71 to 80 of about 110,934 (299)
Mathematics, 2022 The quantum model has been considered to be advantageous over the Markov model in explaining irrational behaviors (e.g., the disjunction effect) during decision making.
Xiaoyang Xin +4 more
doaj +1 more source
The Expressive Power of Modal Dependence Logic [PDF]
, 2014 We study the expressive power of various modal logics with team semantics. We show that exactly the properties of teams that are downward closed and closed under team k-bisimulation, for some finite k, are definable in modal logic extended with ...
Hella, Lauri +3 more
core
Disjunction of LOTOS specifications [PDF]
, 1997 LOTOS is a formal specification language, designed for the precise description of open distributed systems and protocols. The definition of, so called, implementation relations has made it possible also to use LOTOS as a specification technique for the ...
Boiten, E.A. +3 more
core +3 more sources
Clinical, histological, and serological predictors of renal function loss in lupus nephritis.
Arthritis Care &Research, Accepted Article.Objective Kidney survival is the ultimate goal in lupus nephritis (LN) management, but long‐term predictors remain inadequately studied, requiring long‐term follow‐up. This study aimed to identify baseline and early longitudinal predictors of kidney survival in the Accelerating Medicines Partnership LN longitudinal cohort.
Shangzhu Zhang +21 more
wiley +1 more source
The child’s “or” construction: it’s all about choice
Frontiers in Communication“Or” is associated, in Gricean approaches, with the readings Inclusive (“at least one, and possibly both, options are true”) and Exclusive (“exactly one option is true”).
Mira Ariel +3 more
doaj +1 more source
A Formalism for Action Representation Inspired by Mīmāṁsā
Journal of Intelligent Systems, 2012 This paper endeavors to formalize imperatives that convey actions. Imperatives, unlike propositions, do not hold the value of true or false. Peter Vranas proposed an alternate logical formalism in the literature of imperative logic with three values ...
Srinivasan Bama, Parthasarathi Ranjani
doaj +1 more source
Catalan Journal of Linguistics, 2010 This paper argues that some Spanish syntactic structures contain lexically selected null wh- disjunctive operators, and that a number of apparent subordinate declarative clauses turn out to be hidden indirect questions.
Ignacio Bosque
doaj +1 more source
Two-Term Disjunctions on the Second-Order Cone
, 2014 Balas introduced disjunctive cuts in the 1970s for mixed-integer linear programs. Several recent papers have attempted to extend this work to mixed-integer conic programs.
Kilinc-Karzan, Fatma, Yildiz, Sercan
core +1 more source
Arthritis Care &Research, Accepted Article.Objective The objective of this article is to identify perceptions of SLE patients regarding artificial intelligence (AI)‐based online symptom assessment tools, and the potential of these tools to address diagnostic barriers. Methods Adults from our SLE research cohort were invited to participate in 60‐90 minute virtual focus groups concerning their ...
Olivia A. Stein +7 more
wiley +1 more source
Tractable disjunctive constraints
, 1997 Many combinatorial search problems can be expressed as 'constraint satisfaction problems', and this class of problems is known to be NP-complete in general. In this paper we investigate 'disjunctive constraints', that is, constraints which have the form of the disjunction of two constraints of specified types.
David A. Cohen +2 more
openaire +2 more sources