Browsing M.Sc. Computer Science by Title
Now showing items 2140 of 88

Enabling and Measuring Complexity in Evolving Designs using Generative Representations for Artificial Architecture
(Brock University, 20121107)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 treebased ... 
Equational Reasoning about ObjectOriented Programs
(20130408)Formal verification of software can be an enormous task. This fact brought some software engineers to claim that formal verification is not feasible in practice. One possible method of supporting the verification process ... 
Evolution of architectural floor plans
(Brock University, 20111013)Layout planning is a process of sizing and placing rooms (e.g. in a house) while a t t empt ing to optimize various criteria. Often the r e are conflicting c r i t e r i a such as construction ... 
Evolutionary synthesis of stochastic gene network models using featurebased search spaces
(Brock University, 20090128)A featurebased fitness function is applied in a genetic programming system to synthesize stochastic gene regulatory network models whose behaviour is defined by a time course of protein expression levels. Typically, ... 
Extending relAPS to first order logic
(Brock University, 20110308)RelAPS is an interactive system assisting in proving relationalgebraic theorems. The aim of the system is to provide an environment where a user can perform a relationalgebraic proof similar to doing it using pencil ... 
Eﬃcient Merging and Decomposition Variants of Cooperative Particle Swarm Optimization for Large Scale Problems
For largescale optimization problems (LSOPs), an increased problem size reduces performance by both increasing the landscape complexity, as well as exponentially increasing the search space size. These contributing factors ... 
Feature Selection and Classification Using Age Layered Population Structure Genetic Programming
The curse of dimensionality is a major problem in the fields of machine learning, data mining and knowledge discovery. Exhaustive search for the most optimal subset of relevant features from a high dimensional dataset is ... 
Formalizing affordances in situation
(20120403)The representation of a perceptual scene by a computer is usually limited to numbers representing dimensions and colours. The theory of affordances attempted to provide a new way of representing an environment, with ... 
A Functional Programming Language with Patterns and Copatterns
Since the emergence of coinductive data types in functional programming languages, various languages such as Haskell and Coq tried different ways in dealing with them. Yet, none of them dealt with coinductive data types ... 
GA approach for finding Rough Set decision rules based on bireducts
Feature selection plays an important role in knowledge discovery and data mining nowadays. In traditional rough set theory, feature selection using reduct  the minimal discerning set of attributes  is an important area. ... 
Generating Aesthetically Pleasing Images in a Virtual Environment using Particle Swarm Optimization
(Brock University, 20121107)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 ... 
Generating finite integral relation algebras
(Brock University, 20110308)Relation algebras and categories of relations in particular have proven to be extremely useful as a fundamental tool in mathematics and computer science. Since relation algebras are Boolean algebras with some wellbehaved ... 
Generating Relation Algebras for Qualitative Spatial Reasoning
(20130415)Basic relationships between certain regions of space are formulated in natural language in everyday situations. For example, a customer specifies the outline of his future home to the architect by indicating which rooms ... 
Generator Matrix Based Search for Extremal SelfDual Binary ErrorCorrecting Codes
(Brock University, 20120918)Selfdual doubly even linear binary errorcorrecting codes, often referred to as Type II codes, are codes closely related to many combinatorial structures such as 5designs. Extremal codes are codes that have the largest ... 
Generic Matrix Manipulator System
In this thesis we describe in detail a generic matrix manipulator system that performs operations on matrices in a flexible way, using a graphical user interface. A user defines allowable data entries called a coefficient ... 
Genetic Programming for NonPhotorealistic Rendering
(Brock University, 20130418)This thesis focuses on developing an evolutionary art system using genetic programming. The main goal is to produce new forms of evolutionary art that filter existing images into new nonphotorealistic (NPR) styles, by ... 
Genetic programming for the RoboCup Rescue Simulation System
(Brock University, 20110308)The Robocup Rescue Simulation System (RCRSS) is a dynamic system of multiagent interaction, simulating a largescale urban disaster scenario. Teams of rescue agents are charged with the tasks of minimizing civilian ... 
Heuristics for the Critical Node Detection Problem in Large Complex Networks
(Brock University, 20130912)Complex networks have recently attracted a significant amount of research attention due to their ability to model real world phenomena. One important problem often encountered is to limit diffusive processes spread over ... 
A Hybrid Approach to Network Robustness Optimization using Edge Rewiring and Edge Addition
Networks are ubiquitous in the modern world. From computer and telecommunication networks to road networks and power grids, networks make up many crucial pieces of infrastructure that we interact with on a daily basis. ... 
Hyperspectral Mineral Identification using SVM and SOM
(Brock University, 20131028)Remote sensing techniques involving hyperspectral imagery have applications in a number of sciences that study some aspects of the surface of the planet. The analysis of hyperspectral images is complex because of the large ...