Several evolutionary approaches have been applied to global optimization problems with significant success. Evolution strategies proved to be efficient global optimizers. However, these algorithms have several parameters which the setting is not simple. Thus, it is crucial to investigate how to set dynamically these parameters during the search. In this paper, a new parameter-less evolution str...

Due to the exibility in adapting to diierent tness landscapes, self-adaptive evolutionary algorithms (SA-EAs) have been gaining popularity in the recent past. In this paper, we postulate the properties that SA-EA operators should have for successful applications in real-valued search spaces. Speciically, population mean and variance of a number of SA-EA operators, such as various real-parameter...

Although techniques for using formal speci cations have been progressing, methods for developing formal speci cations themselves have improved little. To alleviate this problem, we propose a parallel re nement approach to speci cation acquisition where the designer uses an object-oriented speci cation representation while an underlying speci cation composition system manipulates an equivalent t...

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