Bringing Runtime Verification Home -- A Case Study on the Hierarchical Monitoring of Smart Homes using Decentralized Specifications [PDF]
arXiv, 2018 We use runtime verification (RV) to check various specifications in a smart apartment. The specifications can be broken down into three types: behavioral correctness of the apartment sensors, detection of specific user activities (known as activities of daily living), and composition of specifications of the previous types.
arxiv
A latent class analysis of parental bipolar disorder: examining associations with offspring psychopathology [PDF]
, 2015 Bipolar disorder (BD) is highly heterogeneous, and course variations are associated with patient outcomes. This diagnostic complexity challenges identification of patients in greatest need of intervention.
Freed, Rachel D. +4 more
core +1 more source
The Etiology of Childhood Specific Phobia [PDF]
, 2001 Peter Muris, Harald Merckelbach
openalex +1 more source
StaBL - State Based Language for Specification of Web Applications [PDF]
arXiv, 2019 Context and motivation: Usage of Formal Specification languages is scarce in web application development as compared to safety critical/hardware systems. Question/problem: An apt formal specification language should provide the following features: Firstly, it should have well-defined semantics, so that specifications written in it can not be inherently
arxiv
Maladaptive cognitive appraisals in children with high-functioning autism : associations with fear, anxiety and theory of mind [PDF]
, 2013 Despite the well-documented success of cognitive restructuring techniques in the treatment of anxiety disorders, there is still little clarity on which cognitions underpin fear and anxiety in children with high-functioning spectrum disorders (HFASD ...
Hunter, Simon C. +2 more
core +1 more source
Evaluation of a meridian‐based intervention, Emotional Freedom Techniques (EFT), for reducing specific phobias of small animals [PDF]
, 2003 Steve Wells +4 more
openalex +1 more source
ETIOLOGI FOBIA KUCING PADA IBU DAN ANAK [PDF]
, 2010 Phobias are exaggerated fears of objects or specific situations which are often unreasonable andnot based on reality. Phobia is a disorder characterized by persistent fear and irrational to a particular object or situation.
Kurniawati, Astri
core
COVID-19 specific phobia: A new psychiatric entity? [PDF]
Psychiatry Res, 2021 Damiano RF +5 more
europepmc +1 more source
Do Chains-of-Thoughts of Large Language Models Suffer from Hallucinations, Cognitive Biases, or Phobias in Bayesian Reasoning? [PDF]
arXivLearning to reason and carefully explain arguments is central to students' cognitive, mathematical, and computational thinking development. This is particularly challenging in problems under uncertainty and in Bayesian reasoning. With the new generation of large language models (LLMs) capable of reasoning using Chain-of-Thought (CoT), there is an ...
arxiv
Primary agoraphobia as a specific phobia [PDF]
, 2006 H. Stefan Bracha +2 more
openalex +1 more source