This study explores the importance of psychotherapists' theoretical framework as it pertains to the development of their clinical inferences and construction of working inferences. Therapists in this study came from two ...

Refinement types allow for lightweight program verification by enriching types with logical predicates. Liquid typing provides a decidable refinement inference mechanism that is convenient but subject to two major issues: ...

The class of locally stationary processes assumes that there is a time-varying spectral representation, that is, the existence of finite second moment. We propose the α-stable locally stationary process by modifying the ...

Abstract. Lexical-semantic network construction and validation is a major issue in NLP. No matter the construction strategies used, automatically inferring new relations from already existing ones is a way to improve the ...

Two hypotheses about the role of the ventromedial prefrontal cortex (vmPFC) in narrative comprehension inferences, global semantic coherence versus socio-emotional perspective, were tested. Seven patients with vmPFC lesions ...

Due to growing urbanization and industrialization, the environment is suffering from pollution of rivers, degradation of soils and deteriorated air quality. Quality indices appear to be useful to evaluate the conditions ...