Pseudo-Boolean constraints, also known as 0-1 Integer Linear Constraints, are used to model many real-world problems. A common approach to solve these constraints is to encode them into a SAT formula. The runtime of the SAT solver on such formula is sensitive to the manner in which the given pseudo-Boolean constraints are encoded. In this paper, we propose generalized Totalizer encoding (GTE), ...

A new research instrument, the MacArthur Structured Assessment of Competencies of Criminal Defendants (MacSAC-CD), was administered to three groups of women defendants: those adjudicated incompetent and committed to forensic hospitals for treatment (n = 38), jail inmates receiving mental health treatment (n = 18) who had not been adjudicated incompetent, and randomly selected jail inmates (n = ...

BACKGROUND Studies of HIV often use self-reported surveys to measure sexual knowledge, attitudes, and practices. However, the self-reported data are vulnerable to social desirability (SD), a propensity of individuals to report favorable responses. The Marlowe-Crowne Social Desirability Scale (MC-SDS) was developed as a measure of the effect of social desirability, but it has not been adapted fo...

OBJECTIVE This study aimed to translate and culturally adapt the Falls Risk Awareness Questionnaire (FRAQ) for the elderly Brazilian population as well as to evaluate the internal consistency and reliability of this instrument. METHOD The study used internationally accepted guidelines for the cross-cultural adaptation process. The questionnaire in its final Portuguese version was then applied...

Background: Wolf Motor Function Test (WMFT) is used in the assessment of upper extremity motor function in stroke patients. This scale contains 15 items and assesses joint-segment movements and functional tasks. Objectives: Translation and assessment of internal consistency and reliability of the Persian version of WMFT in Iranian stroke patients. Materials and Methods: After translation ...

We obtain uniform consistency results for kernel-weighted sample covariances in a nonstationary multiple regression framework that allows for both fixed design and random design coefficient variation. In the fixed design case these nonparametric sample covariances have different uniform convergence rates depending on direction, a result that differs fundamentally from the random design and stat...

OBJECTIVE To translate the Childhood Autism Rating Scale into Brazilian Portuguese and to determine the initial psychometric properties of the resulting version (CARS-BR). METHODS The methodology used to produce an adequate version included translation, backtranslation and evaluation of semantic equivalence. In order to determine its psychometric properties (internal consistency, validity and...

RATIONALE At-home nocturnal pulse oximetry has a high positive predictive value (PPV) for polysomnographically-diagnosed obstructive sleep apnea (OSA) but no studies have been published testing the night-to-night consistency of at-home nocturnal pulse oximetry for the evaluation of suspected OSA in children. We therefore determined the night-to-night consistency of nocturnal pulse oximetry as a...