In the next years, the well-known synchronous design style will not be able to keep pace with the increase of speed and capabilities of integration of advanced processes. Asynchronous design will become more and more common among digital designers, while synchronous-asynchronous interactions will emerge as a key issue in the future SoC designs. This paper will present test strategies for 2-phas...

Studies using the Morris water maze to assess hippocampal function in animals, in which adult hippocampal neurogenesis had been suppressed, have yielded seemingly contradictory results. Cyclin D2 knockout (Ccnd2(-/-)) mice, for example, have constitutively suppressed adult hippocampal neurogenesis but had no overt phenotype in the water maze. In other paradigms, however, ablation of adult neuro...

A method for calculating genetic drift in terms of changing population fitness variance is presented. The method allows for an easy comparison of different selection schemes and exact analytical results are derived for traditional generational selection, steady-state selection with varying generation gap, a simple model of Eshelman’s CHC algorithm, and (μ + λ) evolution strategies. The effects ...

Nowadays, digital technologies (e.g., big data, cloud and mobility) have changed the firms’ activities. Many firms begin to utilize digital resources to formulate and execute digital business strategy. However, there is little empirical research focusing on explaining this novel phenomenon. In this paper, we proposed a framework which describes the value creation and appropriation process of di...

An oscillatory correlation model of human motion perception is proposed based on the integration of motion and luminance information. The model is composed of two parallel pathways that segment the input scene based on motion and luminance, respectively. Combining these segmentations, the model re nes the motion estimates in the integration stage to obtain the nal segmentation in the motion pat...

We deene Higher Order Recursive Program Schemes (HRPSs) by allowing metasubstitutions (as in the-calculus) in right-hand sides of function and quantiier deenitions. A study of several kinds of similarity of redexes makes it possible to lift properties of ((rst order) Recursive Program Schemes to the higher order case. The main result is the decidability of weak normalization in HRPSs, which imm...

A new evolution scheme is presented, memorizing the extreme (best and worst) past individuals through distributions over the binary search space. These distributions are used to bias the mutation operator in a (+) Evolution Strategy, guiding the generation of newborn oospring: diierent mimetic strategies are deened, combining either attraction, indiierence or repulsion with respect to the two d...

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...