This thesis introduces the Salmon Algorithm, a search meta-heuristic which can be used for a variety of combinatorial optimization problems. This algorithm is loosely based on the path finding behaviour of salmon swimming ...

This thesis describes research in which genetic programming is used to automatically
evolve shape grammars that construct three dimensional models
of possible external building architectures. A completely automated ...

Three dimensional model design is a well-known and studied field, with numerous real-world
applications. However, the manual construction of these models can often be time-consuming to the
average user, despite the ...

This research focuses on generating aesthetically pleasing images in virtual environments using the particle swarm optimization (PSO) algorithm. The PSO is a stochastic population based search algorithm that is inspired ...

As the complexity of evolutionary design problems grow, so too must the quality of solutions scale to that complexity. In this research, we develop a genetic programming system with individuals encoded as tree-based ...

Self-dual doubly even linear binary error-correcting codes, often referred to
as Type II codes, are codes closely related to many combinatorial structures
such as 5-designs. Extremal codes are codes that have the largest ...

Dynamic logic is an extension of modal logic originally intended for reasoning about
computer programs. The method of proving correctness of properties of a computer
program using the well-known Hoare Logic can be ...

Relation algebras is one of the state-of-the-art means used by mathematicians and computer
scientists for solving very complex problems. As a result, a computer algebra system for
relation algebras called RelView has ...

Understanding the machinery of gene regulation to control gene expression
has been one of the main focuses of bioinformaticians for years. We use a
multi-objective genetic algorithm to evolve a specialized version of ...

If you want to know whether a property is true or not in a specific algebraic structure,you need to test that property on the given structure. This can be done by hand, which can be cumbersome and erroneous. In addition, ...