We present a formal approach to the study of evolution of biological pathways. The basic idea is to use the Beta Workbench to model and simulate pathway in connection with evolutionary algorithms to implement mutations. A fitness function is used to select individuals at any generation. The feasibility of the approach is demonstrated on the MAPK pathway.

We present MCGP a tool for generating and correcting code, based on our synthesis approach combining deep Model Checking and Genetic Programming. Given an LTL specification, genetic programming is used for generating new candidate solutions, while deep model checking is used for calculating to what extent (i.e., not only whether) a candidate solution program satisfies a property. The main chall...

This paper describes a system to produce space layout topologies for architectural plans using an evolutionary approach. The layout specification is defined as a set of topological and directional constraints, which are used as a fitness function in the evolutionary system. The halfplane representation is used to represent the genotypes in the evolutionary system, for both arrangements of halfp...

Several process discovery algorithms have been presented in the last years. These approaches look for complete, precise and simple models. Nevertheless, none of the current proposals obtains a good integration between the three objectives and, therefore, the mined models have differences with the real models. In this paper we present a genetic algorithm (ProDiGen) with a hierarchical fitness fu...

Recent work by the author has revealed the need for an automatic fitness function in the evolutionary algorithm for generation of jazz solos. A computer based automatic fitness function enables greater populations and a great number of generations within a manageable time. This paper describes how the automatic fitness function is implemented using score calculation based on specific events rec...

Reducing building energy demand is a crucial part of the global response to climate change, and evolutionary algorithms (EAs) coupled to building performance simulation (BPS) are an increasingly popular tool for this task. Further uptake of EAs in this industry is hindered by BPS being computationally intensive: optimisation runs taking days or longer are impractical in a time-competitive envir...

We describe a technique for estimating control parameters for a plucked string synthesis model using a genetic algorithm. The model has been intensively used for sound synthesis of various string instruments but the fine tuning of the parameters has been carried out with a semiautomatic method that requires some hand adjustment with human listening. An automated method for extracting the parame...

We an alyze the behavior of a Simple Geneti c Algorithm (GA) in syste ms where the fitn ess of a st ring is det ermined by a fun ct ion depending on the state of the whole populati on . The GA is mod eled by a Markov chain and we conclude that for small mutation probabiliti es the limi t distribution will put almost all t he weight to the homogeneous states. We derive condit ions under which a ...

What is the role that colour plays in perception of a brand by customers? How can we explore the cognitive role that colour plays in determining brand perception? To answer these questions we propose a preference disaggregation method based on multi-criteria decision aid. We identify the criteria aggregation model that underlies the global preference of a brandwith respect to each brand image a...

In this paper a method is presented that decreases the necessary number of evaluations in Evolutionary Algorithms. A classifier with confidence information is evolved to replace time consuming evaluations during tournament selection. Experimental analysis of a mathematical example and the application of the method to the problem of evolving walking patterns for quadruped robots show the potenti...