Search
Now showing items 1-10 of 12
The Salmon Algorithm - A New Population Based Search Metaheuristic
(Brock University, 2012-03-02)
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 ...
Automatic evolution of conceptual building architectures
(2012-04-03)
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 ...
Automatic Structure Generation using Genetic Programming and Fractal Geometry
(Brock University, 2012-02-09)
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 ...
Generating Aesthetically Pleasing Images in a Virtual Environment using Particle Swarm Optimization
(Brock University, 2012-11-07)
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 ...
Enabling and Measuring Complexity in Evolving Designs using Generative Representations for Artificial Architecture
(Brock University, 2012-11-07)
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 ...
Generator Matrix Based Search for Extremal Self-Dual Binary Error-Correcting Codes
(Brock University, 2012-09-18)
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 ...
An Interactive Theorem Prover for First-Order Dynamic Logic
(Brock University, 2012-10-11)
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 ...
RelMDD-A Library for Manipulating Relations Based on MDDs
(Brock University, 2012-09-18)
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 ...
A Multi-Objective Genetic Algorithm with Side Effect Machines for Motif Discovery
(Brock University, 2012-09-18)
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 ...
A System for Models of First Order Theories
(2012-10-12)
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, ...