Results 121 to 130 of about 341,662 (337)
In order to specify the behavior of programming languages, to investigate their properties and to allow certification of their implementations, one studies formal models of existing programming languages. This study splits into the study of syntax and semantics, where the latter is based on appropriate formal models for the syntax.
openaire +1 more source
ABSTRACT Research on HR attributions has received a considerable amount of attention in the study of employee perceptions of human resource management (HRM). This increased attention is based on the premise that employee attributions about why certain HR practices are implemented significantly influence employee outcomes.
Dishi Hu, In‐Sue Oh, Anastasiia Agolli
wiley +1 more source
Prefrontal cortex iron content in neurodegeneration and healthy subjects: A systematic review
This systematic review summarizes magnetic resonance imaging (MRI)‐based assessments of prefrontal cortex (PFC) iron accumulation in healthy individuals and patients with neurodegenerative diseases. The review includes 12 studies using techniques such as susceptibility‐weighted imaging (SWI), quantitative susceptibility mapping (QSM), and R2* mapping ...
Sana Mohammadi+3 more
wiley +1 more source
Syntax and Stack Overflow: A methodology for extracting a corpus of syntax errors and fixes [PDF]
One problem when studying how to find and fix syntax errors is how to get natural and representative examples of syntax errors. Most syntax error datasets are not free, open, and public, or they are extracted from novice programmers and do not represent syntax errors that the general population of developers would make.
arxiv
Higher-Order Abstract Syntax in Coq
The terms of the simply-typed $\lambda$-calculus can be used to express the {\em higher-order abstract syntax} of objects such as logical formulas, proofs, and programs. Support for the manipulation of such objects is provided in several programming languages (e.g. $\lambda$Prolog, Elf). Such languages also provide embedded implication, a tool which is
Despeyroux, Joëlle+2 more
openaire +5 more sources
Abstract The complex relationship between emotions and mental health demands a more comprehensive theoretical framework that can capture its dynamic and multifaceted nature. This perspective article proposes a novel trimodal approach that conceptually integrates three complementary methodologies: Ecological Momentary Assessment, physiological ...
Peng Wang, Ao Liu, Xu Sun
wiley +1 more source
ABSTRACT Introduction The cultural normativeness hypothesis suggests that helicopter parenting might be less problematic in Chinese cultures, which strongly value intensive parental involvement. Chinese helicopter parenting might show positive associations with both problematic (i.e., conflict) and beneficial (i.e., support) aspects of youth‐parent ...
Yue Wang+3 more
wiley +1 more source
Background The study was designed to investigate lipid profile and SYNTAX score in patients with non-ST segment elevation myocardial infarction (NSTEMI). Methods 311 patients with NSTEMI were enrolled.
Bang-Dang Chen+10 more
doaj +1 more source
AstBERT: Enabling Language Model for Financial Code Understanding with Abstract Syntax Trees [PDF]
Rong Liang+5 more
openalex +3 more sources
Effectiveness of XR‐Based Exposure Therapy for Phobic Disorders
ABSTRACT Research on anxiety and posttraumatic stress disorder (PTSD) indicates that virtual reality and related technologies are effective tools for therapy. Given the similar underlying mechanism of these disorders to phobias, it is thought by researchers in mental health care that VR‐based exposure therapies would have similar treatment outcomes ...
Richard Lamb+5 more
wiley +1 more source