Raven Progressive Matrices (RPMs) and Wechsler Intelligence Scale for Children (WSIC-R) are two common general intelligence measuring scales used in Iranian high schools. In this paper the relationships between g factor scales and students’ reading comprehension, grammar, and vocabulary was examined by correlation and regression analysis. Standard tests of grammar and vocabulary and Cambridge K...

In the current study we examined the relationship between working memory capacity, inhibition/susceptibility to interference and fluid intelligence, measured by the Raven's Progressive Matrices (PM38), comparing groups of young (aged 18±35), young-old (aged 65±74), and old-old (aged 75±86) participants. Groups were administered two working memory tasks tapping into different mechanisms involved...

We present a framework which combines model checking and theorem prover based refinement for the design of real-time systems focusing on the refinement step when annotating the state-oriented model with timing information. Our verification flow starts from a cycle-accurate finite state machine for the RAVEN model checker and present a translation which efficiently transforms the model to the B ...

University of Kentucky Department of Forestry 215 T.P. Cooper Bldg. Lexington, KY 40546-0073 (859) 257-9507 (office) (859) 323-1031 (fax) [email protected] Abstract In the eastern U.S., direct killing by humans and the loss of forest habitat and large mammals during the late 19 and early 20 centuries caused the extirpation of ravens in all but the most inaccessible and rugged portions of the...