Results 41 to 50 of about 2,931 (167)
Combining decision procedures for the reals
, 2006 We address the general problem of determining the validity of boolean combinations of equalities and inequalities between real-valued expressions.
Avigad, Jeremy, Friedman, Harvey
core +3 more sources
On the Logic of Belief and Propositional Quantification [PDF]
, 2020 We consider extending the modal logic KD45, commonly taken as the baseline system for belief, with propositional quantifiers that can be used to formalize natural language sentences such as “everything I believe is true” or “there is some-thing that I ...
Ding, Yifeng
core
Journal of the Association for Information Science and Technology, EarlyView.Abstract This paper reports on findings from 15 semi‐structured interviews with LGBTQIA+ individuals within the United States who have experienced the loss of one or more LGBTQIA+ information spaces. The paper specifically focuses on how such losses occurred and the information transitions experienced by the participants in response to this loss ...
Travis L. Wagner, Vanessa L. Kitzie
wiley +1 more source
Autism Research, EarlyView.ABSTRACT Given the rising prevalence of autism among racial minority children in the United States, but persistent service use disparities, this study examines potential bias in specific items from the autism diagnostic observation schedule (ADOS), a highly regarded autism evaluation.
Yuen Yvonne Yu +16 more
wiley +1 more source
Reply to Rosanna Keefe’s ‘Modelling higher-order vagueness: columns, borderlines and boundaries’ [PDF]
, 2016 This paper is an expanded written version of my reply to Rosanna Keefe’s paper ‘Modelling higher-order vagueness: columns, borderlines and boundaries’ (Keefe 2015), which in turn is a reply to my paper ‘Columnar higher-order vagueness, or Vagueness is ...
Bobzien, Susanne
core
Autism Research, EarlyView.ABSTRACT Preliminary studies suggest there are differences in the facial expressions produced by autistic and non‐autistic individuals. However, it is unclear what specifically is different, whether such differences remain after controlling for facial morphology and alexithymia, and whether production differences relate to perception differences ...
Connor T. Keating +3 more
wiley +1 more source
Spectra of Monadic Second-Order Formulas with One Unary Function
, 2003 We establish the eventual periodicity of the spectrum of any monadic second-order formula where: (i) all relation symbols, except equality, are unary, and (ii) there is only one function symbol and that symbol is ...
Gurevich, Yuri, Shelah, Saharon
core +5 more sources
Autism Research, EarlyView.ABSTRACT Existing literature suggests that differences between autistic and non‐autistic people in emotion recognition might be related to differences in how these groups experience emotions themselves. Specifically, autistic individuals may show differences in the consistency of emotional experiences, the ability to distinguish between emotions, and ...
Connor Tom Keating +2 more
wiley +1 more source
Autism Research, EarlyView.ABSTRACT Past research has revealed large differences between typically developing (TD) and autistic children's language development. However, little is known about whether such differences are quantitative or qualitative, especially in the morphosyntactic domain.
Ziyan Meng +3 more
wiley +1 more source
A review of data abstraction. [PDF]
Front Artif Intell, 2023 Cima G, Console M, Lenzerini M, Poggi A.
europepmc +1 more source