The current study investigated the influence of cardiorespiratory fitness on arithmetic cognition in forty 9-10 year old children. Measures included a standardized mathematics achievement test to assess conceptual and computational knowledge, self-reported strategy selection, and an experimental arithmetic verification task (including small and large addition problems), which afforded the measu...

In this study, we have investigated which strategies were optimal in different haptic search tasks, where items were held in the hand. Blindfolded participants had to detect the presence of a target among distractors while using predetermined strategies. The optimal strategy was determined by considering reaction time and error data. In the search for salient targets, a rough sphere among smoot...

We design a normalizing strategy for orthogonal term rewriting systems (OTRSs), which is a generalization of the call-by-need strategy of Huet-L evy 4]. The redexes contracted in our strategy are essential in the sense that they have \descendants" under any reduction of a given term. There is an essential redex in any term not in normal form. We further show that contraction of the innermost es...

ADCs are fully characterized by both static and dynamic parameters. Testing methods usually combine a histogram-based approach with a spectral analysis to determine the complete set of ADCs parameters. In the view of a unique test procedure, this paper investigates the correlation between both kinds of parameters. Experimental results demonstrate that under appropriate test conditions, the dyna...

We define infinitary combinatory reduction systems (iCRSs). This provides the first extension of infinitary rewriting to higher-order rewriting. We lift two well-known results from infinitary term rewriting systems and infinitary λ-calculus to iCRSs: 1. every reduction sequence in a fully-extended left-linear iCRS is compressible to a reduction sequence of length at most ω, and 2. every complet...

An evolutionary algorithm based on Evolution Strategy (ES) is presented, which includes time-related command execution and the generation of process control elements. Its concept is enlarged by problem-oriented type definitions for parameters, this has allowed a flexible implementation for different applications. The GLEAM algorithm includes new features which distinguish it from ES and GAs, am...

1 Abstract Characterizing board test coverage as a percentage of devices or nodes having tests does not accurately portray coverage, especially in a limited access testing environment that today includes a variety of diverse testing approaches from visual and penetrative inspection to classical In-Circuit test. A better depiction of test coverage is achieved by developing a list of potential de...

We present a case study of the redesign of the organizational presentation and content of the Virtual Library website at the Universitat Oberta de Catalunya (Open University of Catalonia, UOC), based on a user-centered design strategy. The aim of the redesign was to provide users with more intuitive, usable and understandable content (textual content, resources and services) by implementing cri...

In this paper we introduce several new heuristics as to speed up known lattice basis reduction methods and improve the quality of the computed reduced lattice basis in practice. We analyze substantial experimental data and to our knowledge, we are the first to present a general heuristic for determining which variant of the reduction algorithm, for varied parameter choices, yields the most effi...

This paper describes a design strategy, called PER, for one-to-one classroom activities. Since there is a gap between the theory and the methodology, PER is applied as a design strategy for a set of collaborative learning activities. One-to-one technologies create the potential for a new phase in the evolution of technology-enhanced learning. With the seamless learning space, students’ learning...