Results 21 to 30 of about 4,769,975 (358)
Admissibility in Finitely Generated Quasivarieties [PDF]
, 2013 Checking the admissibility of quasiequations in a finitely generated (i.e., generated by a finite set of finite algebras) quasivariety Q amounts to checking validity in a suitable finite free algebra of the quasivariety, and is therefore decidable ...
Metcalfe, George +1 more
core +4 more sources
Reducing Validity in Epistemic ATL to Validity in Epistemic CTL
, 2013 We propose a validity preserving translation from a subset of epistemic Alternating-time Temporal Logic (ATL) to epistemic Computation Tree Logic (CTL). The considered subset of epistemic ATL is known to have the finite model property and decidable model-
Guelev, Dimitar P.
core +2 more sources
The reliability and validity of the SF-8 with a conflict-affected population in northern Uganda. [PDF]
, 2008 BACKGROUND: The SF-8 is a health-related quality of life instrument that could provide a useful means of assessing general physical and mental health amongst populations affected by conflict.
Browne, John +4 more
core +2 more sources
Measuring time perspective in adolescents : can you get the right answer by asking the wrong questions? [PDF]
, 2015 Time perspective continues to evolve as a psychological construct. The extant literature suggests that higher future orientation and lower present orientation are associated with better developmental outcomes. However, the extant literature also suggests
McKay, Michael T. +5 more
core +1 more source
Studies in Applied Linguistics and TESOL, 2023 The way in which validity has been conceptualized has changed throughout the years. The focus in validation studies shifted from evaluating distinct components of validity to developing a comprehensive argument for the use and interpretations of test scores.
openaire +2 more sources
Psychometric properties of the Chinese (Putonghua) version of the Oxford Cognitive Screen (OCS-P) in subacute poststroke patients without neglect [PDF]
, 2018 Background Oxford Cognitive Screen is designed for assessing cognitive functions of poststroke patients.This study was aimed to assess the psychometric properties of the Chinese (Putonghua) version of theOxford Cognitive Screen-Putonghua (OCS-P) for use ...
Chan, Chetwyn C. H. +10 more
core +4 more sources
On Hopf's Lemma and the Strong Maximum Principle
, 2005 In this paper we consider Hopf's Lemma and the Strong Maximum Principle for supersolutions to a class of non elliptic equations. In particular we prove a sufficient condition for the validity of Hopf's Lemma and of the Strong Maximum Principle and we ...
Bertone, S. +2 more
core +2 more sources
The Blazar Sequence: Validity and Predictions [PDF]
, 2006 The "blazar sequence" posits that the most powerful BL Lacertae objects and flat-spectrum radio quasars should have relatively small synchrotron peak frequencies, nu_peak, and that the least powerful such objects should have the highest nu_peak values ...
A. Caccianiga +23 more
core +2 more sources
Limits on the validity of the semiclassical theory [PDF]
, 1995 For want of a more natural proposal, it is generally assumed that the back-reaction of a quantised matter field on a classical metric is given by the expectation value of its energy-momentum tensor, evaluated in a specified state.
Sriramkumar, L.
core +3 more sources
, 2018 Background. There are some publications in software engineering research that aim at guiding researchers in assessing validity threats to their studies.
Gren, Lucas
core +1 more source