Fast Mapping bij jongeren met het syndroom van Down

Het onderzoek omvat een studie naar Fast Mapping (FM) bij 14 jongeren met downsyndroom (12;2 – 18;6 jaar) in vergelijking met 14 op mentale leeftijd gematchte kinderen (4;8 – 8;1 jaar). De jongeren met downsyndroom presteren minder goed op een FM-begripstaak en een FM-productietaak, maar blijken even goed te presteren op een taak waarbij semantische kenmerken vergeleken moeten worden. Bij het leren van nieuwe woorden blijkt dat zij de vaardigheid missen om woorden te leren waaraan zij slechts kort blootgesteld zijn. Hiermee wordt een mogelijke verklaring gegeven voor de geringere woordenschat van deze kinderen

Distilling programs for verification

In this paper, we show how our program transformation algorithm called distillation can not only be used for the optimisation of programs, but can also be used to facilitate program verification. Using the distillation algorithm, programs are transformed into a specialised form in which functions are tail recursive, and very few intermediate structures are created. We then show how properties of this specialised form of program can be easily verified by the application of inductive proof rules. We therefore argue that the distillation algorithm is an ideal candidate for inclusion within compilers as it facilitates the two goals of program optimization and verification

Recensie van: Elise de Bree, Dyslexia and Phonology: A study of the phonological abilities of Dutch children at risk of dyslexia, Proefschrift Universiteit Utrecht, LOT, Utrecht, 2007

Dyslexia and Phonology: A study of the phonological abilities of Dutch children at risk of dyslexi