In this work, we explore and study the implication of having more than one output on a Genetic Programming (GP) graph-representation. This approach, called, Multiple Interactive Outputs in a Single Tree (MIOST) is based on two ideas: (a) Firstly, we defined an approach, called Interactivity Within an Individual (IWI), which is based on a graph-GP representation. Secondly, we add to the individu...

To describe and explain the world, scientists search for equations that quantify relations among relevant variables. We wanted to assist these efforts by a computer program inspired by genetic programing. Using realworld data, the program discovered equations that outperformed, in terms of accuracy, published expressions. Moreover, the research indicated that somewhat different formulas may be ...

In this paper, we propose a genetic programing method to synthesize passive filter circuits including parasitic effects, which are very common in high-frequency application. This approach allows circuit topology and component values to be evolved simultaneously; therefore, novel circuits different from those generated by traditional methods can be explored. Experimental results show the propose...

This lecture explores the application of pixon-based methods to the reconstruction of complexly encoded images. The special problems sometimes associated with complexly encoded data sets, i.e. an extremely complex and convoluted solution space, are discussed, and numerical methods for dealing with these problems, e.g. simulated annealing, genetic algorithms, and evolutionary programing, are pre...

Welcome to the rst functional programming column! Functional programmers and formal methoders have much to say to each other, and this column is intended to further such communication. Functional programming supports formal methods. A large number of proof systems and other formal methods packages have been implemented in functional languages. ML, the doyen of functional languages, takes its na...

Prescription charts are not designed with the task of programing medical devices in mind [cf. 1]. This is surprising because we know that charts need to be consulted for programing values. This paper summarizes what we know about chart design, and then reflects on what we do not know. In order to design charts that facilitate programing, we need a better understanding of how they are used in ho...

Genetic algorithms are widely adopted to solve optimization problems in robotic applications. In such safety-critical systems, it is vitally important to formally prove the correctness when genetic algorithms are applied. This paper focuses on formal modeling of crossover operations that are one of most important operations in genetic algorithms. Specially, we for the first time formalize cross...