Browsing M.Sc. Computer Science by Title
Now showing items 2840 of 40

Particle swarm optimization for twoconnected networks with bounded rings
(Brock University, 20090128)The TwoConnected Network with Bounded Ring (2CNBR) problem is a network design problem addressing the connection of servers to create a survivable network with limited redirections in the event of failures. Particle ... 
Passive Solar Building Design Using Genetic Programming
(Brock University, 20131028)Passive solar building design is the process of designing a building while considering sunlight exposure for receiving heat in winter and rejecting heat in summer. The main goal of a passive solar building design is to ... 
Properties and algorithms of the (n, k)arrangement graphs
(Brock University, 20100309)The (n, k)arrangement interconnection topology was first introduced in 1992. The (n, k )arrangement graph is a class of generalized star graphs. Compared with the well known nstar, the (n, k )arrangement graph is ... 
Properties and algorithms of the (n, k)star graphs
(Brock University, 20090128)The (n, k)star interconnection network was proposed in 1995 as an attractive alternative to the nstar topology in parallel computation. The (n, k )star has significant advantages over the nstar which itself was ... 
Properties and algorithms of the hyperstar graph and its related graphs
(Brock University, 20100309)The hyperstar interconnection network was proposed in 2002 to overcome the drawbacks of the hypercube and its variations concerning the network cost, which is defined by the product of the degree and the diameter. Some ... 
Quadtree representation and compression of spatial data
(Brock University, 20100309)Spatial data representation and compression has become a focus issue in computer graphics and image processing applications. Quadtrees, as one of hierarchical data structures, basing on the principle of recursive ... 
ReAlM  a system to manipulate relations
(Brock University, 20101026)Given a heterogeneous relation algebra R, it is well known that the algebra of matrices with coefficient from R is relation algebra with relational sums that is not necessarily finite. When a ... 
RelMDDA Library for Manipulating Relations Based on MDDs
(Brock University, 20120918)Relation algebras is one of the stateoftheart 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 ... 
The Salmon Algorithm  A New Population Based Search Metaheuristic
(Brock University, 20120302)This thesis introduces the Salmon Algorithm, a search metaheuristic which can be used for a variety of combinatorial optimization problems. This algorithm is loosely based on the path finding behaviour of salmon swimming ... 
A System for Models of First Order Theories
(20121012)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, ... 
Towards automated derivation in the theory of allegories
(Brock University, 20080216)We provide an algorithm that automatically derives many provable theorems in the equational theory of allegories. This was accomplished by noticing properties of an existing decision algorithm that could be extended ... 
Using genetic algorithms for the single allocation hub location problem
(Brock University, 20101025)Hub location problem is an NPhard problem that frequently arises in the design of transportation and distribution systems, postal delivery networks, and airline passenger flow. This work focuses on ... 
Winâ Foy : functional objectoriented programming language
(Brock University, 20090128)This thesis will introduce a new strongly typed programming language utilizing Self types, named Win*Foy, along with a suitable user interface designed specifically to highlight language features. The need for such a ...