Results 131 to 140 of about 341,662 (337)
Journal of Clinical Psychology, EarlyView.ABSTRACT Objectives Uncertainty regarding the self and fear of self have been independently identified as relevant to both obsessive‐compulsive disorder (OCD) and eating disorders (EDs). The present study aimed to examine self‐ambivalence (an indicator of uncertainty regarding the self often characterized by conflicting self‐beliefs) as a potential ...
Samantha Wilson +3 more
wiley +1 more source
Journal of Clinical Psychology, EarlyView.ABSTRACT Objective(s) Autism and Autistic traits are heightened in individuals with eating disorders (EDs), with Autistic people reporting poorer treatment outcomes and experiences. Despite this, mechanisms of this overlap remain poorly understood, perhaps due to an exclusion of lived experience perspectives in setting research agendas.
Emy Nimbley +6 more
wiley +1 more source
Better late than never? Gift givers overestimate the relationship harm from giving late gifts
Journal of Consumer Psychology, EarlyView.Abstract Past work has found that there is often a mismatch between the types of gifts that individuals send and the types of gifts that recipients would prefer to receive. Moving beyond gift choice, the present work explores a novel type of giver–recipient mismatch—beliefs about the importance of sending an on‐time gift. Specifically, the current work
Cory Haltman +3 more
wiley +1 more source
JCPP Advances, EarlyView.Abstract Background Research suggests that Attention‐Deficit/Hyperactivity Disorder (ADHD) may be associated with narrative language (or storytelling) difficulties, and executive functioning is hypothesized to underlie this association. However, the contribution of executive function to the narrative language production of children with ADHD is unclear
Ida Bonnerup Jepsen +4 more
wiley +1 more source
A New Approach to Abstract Syntax with Variable Binding [PDF]
, 2002 Murdoch J. Gabbay, Andrew M. Pitts
openalex +1 more source
The Generic Circular Triangle‐Free Graph
Journal of Graph Theory, EarlyView.ABSTRACT In this article, we introduce the generic circular triangle‐free graph C 3 ${{\mathbb{C}}}_{3}$ and propose a finite axiomatization of its first‐order theory. In particular, our main results show that a countable graph G $G$ embeds into C 3 ${{\mathbb{C}}}_{3}$ if and only if it is a { K 3 , K 1 + 2 K 2 , K 1 + C 5 , C 6 } $\{{K}_{3},{K}_{1}+2{
Manuel Bodirsky, Santiago Guzmán‐Pro
wiley +1 more source
Quality‐enabled decentralized dynamic IoT platform with scalable resources integration
IET Communications, EarlyView., 2022 Abstract The Internet of Things (IoT) are standard inter connected devices aimed at join everyday object to the internet. This ecosystem include manufacturing, agriculture, smart cities, industry, as well as healthcare. The capacity of controlling and monitoring the objects of the physical world using IoT generate numerous opportunities.
Biswaranjan Bhola +7 more
wiley +1 more source
From Abstract Rewriting Systems to Abstract Proof Systems [PDF]
arXiv, 2009 Some personal recollections on the introduction of `abstract proof systems' as a framework for formulating syntax-independent, general results about rule derivability and admissibility. With a particular eye on the inspiration I owe to Roel de Vrijer: the analogy with abstract rewriting systems.
arxiv
A logic for reasoning with higher-order abstract syntax [PDF]
, 2002 Raymond McDowell, Dale Miller
openalex +1 more source
Abstract syntax and logic programming
, 1992 When writing programs to manipulate structures such as algebraic expressions, logical formulas, proofs, and programs, it is highly desirable to take the linear, human-oriented, concrete syntax of these structures and parse them into a more computation-oriented syntax.
openaire +2 more sources