This document introduces, describes and exemplifies the technical features of some recently implemented automated reasoning tools in the dynamic mathematics software GeoGebra. The new tools are based on symbolic computation algorithms, allowing the automatic and rigorous proving and discovery of theorems on constructed geometric figures. Some…

Purpose: The purpose of this study was to develop and pilot a novel treatment framework called "BEARS" (Balancing Effort, Accuracy, and Response Speed). People with aphasia (PWA) have been shown to maladaptively balance speed and accuracy during language tasks. BEARS is designed to train PWA to balance speed-accuracy trade-offs and…

Working memory skills have been shown to be enhanced by adaptive training in several randomised controlled trials. Here, two field trials were conducted in which teachers administered working memory training to their own pupils in school. Twenty-two children aged 8-9?years participated in Trial 1. In Trial 2, 50 children aged 9-11?years with the…

The authors' purpose was to determine the effects of computer-based practice and conceptual interventions on computational fluency and word-problem solving of fourth- and fifth-grade students with mathematics difficulties. A randomized pretest-posttest control group design found that students assigned to the computer-based practice intervention…

Students with disabilities often have large vocabulary deficits that continue to increase over time if effective interventions that supplement daily academic instruction are not put in place. The current study used a simultaneous treatments design to analyze the comparative effects of whole-word vocabulary instruction and morphograph instruction…

The large volume of material to be learned in biomedical disciplines requires optimizing the efficiency of instruction. In prior work with computer-based instruction of neuroanatomy, it was relatively efficient for learners to master whole anatomy and then transfer to learning sectional anatomy. It may, however, be more efficient to continuously…

Outcomes of three different types of computerized training in sub-lexical items (word-initial consonant clusters) on reading speed for 39 German-speaking poor readers in Grades 2 and 3 were evaluated. A phonological-orthographic association group, a reading aloud group, and a combined group were compared in performance with an untrained control…

This study examined the effects of a video-case presentation on the behavior analytic skills of 45 preservice elementary teachers. Brief video clips of scripted classroom scenes and 20- 30 minute nonscripted videotaped classroom segments were used to assess teachers' behavior analyses prior to and following video instruction. Participant responses…