BACKGROUND The Patient-Reported Outcome Measurement Information System (PROMIS) is an assessment system that aims to provide more valid, reliable, responsive, and precise patient-reported outcome (PRO) measures than has been previously available. This paper documents the translation of the Physical Function item bank into Danish. METHODS We followed the PROMIS standard procedure, including: 1...

Translation to Boolean satisfiability is an important approach for solving state-space reachability problems that arise in planning and verification. Many important problems, however, involve numeric variables; for example, C programs or planning with resources. Focussing on planning, we propose a method for translating such problems into propositional SAT, based on an approximation of reachabl...

The article discusses the names of Russia and their formal variation in texts translated into Romanian during its pre-modern stage (ca. 1780–1830). In this period, diversity source languages (French, German, Italian, Serbian, Modern Greek) generated denominative foreign translation. Other causes are lack translation criteria, different alphabets phonetic systems (Latin, Greek Romanian-Cyrillic)...