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

Modelling and Proving Cryptographic Protocols in the Spi Calculus using Coq
The spi calculus is a process algebra used to model cryptographic protocols. A process calculus is a means of modelling a system of concurrently interacting agents, and provides tools for the description of communications ... 
A MultiObjective Genetic Algorithm with Side Effect Machines for Motif Discovery
(Brock University, 20120918)Understanding the machinery of gene regulation to control gene expression has been one of the main focuses of bioinformaticians for years. We use a multiobjective genetic algorithm to evolve a specialized version of ... 
Multiobjective Genetic Algorithms for Multidepot VRP with Time Windows
Efficient routing and scheduling has significant economic implications for many realworld situations arising in transportation logistics, scheduling, and distribution systems, among others. This work considers both the ... 
MultiObjective Genetic Algorithms for the Single Allocation Hub Location Problem
(Brock University, 20130912)Hub Location Problems play vital economic roles in transportation and telecommunication networks where goods or people must be efficiently transferred from an origin to a destination point whilst direct origindestination ... 
Network Similarity Measures and Automatic Construction of Graph Models using Genetic Programming
(Brock University, 20140905)A complex network is an abstract representation of an intricate system of interrelated elements where the patterns of connection hold significant meaning. One particular complex network is a social network whereby the ... 
New Contig Creation Algorithm for the de novo DNA Assembly Problem
(Brock University, 20140225)DNA assembly is among the most fundamental and difficult problems in bioinformatics. Near optimal assembly solutions are available for bacterial and small genomes, however assembling large and complex genomes especially the ... 
Nonphotorealistic Rendering with Cartesian Genetic Programming using Graphic Processing Units
Nonphotorealistic rendering (NPR) is concerned with the algorithm generation of images having unrealistic characteristics, for example, oil paintings or watercolour. Using genetic programming to evolve aesthetically ... 
Object Classification using LFuzzy Concept Analysis
Object classification and processing have become a coordinated piece of modern industrial manufacturing systems, generally utilized in a manual or computerized inspection process. Vagueness is a common issue related to ... 
ObjectOriented Genetic Programming for the Automatic Inference of Graph Models for Complex Networks
Complex networks are systems of entities that are interconnected through meaningful relationships. The result of the relations between entities forms a structure that has a statistical complexity that is not formed by ... 
Objective reduction in manyobjective optimization problems
Manyobjective optimization problems (MaOPs) are multiobjective optimization problems which have more than three objectives. MaOPs face significant challenges because of search efficiency, computational cost, decision ... 
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 (n,k)Arrangement Graphs and Augmented Cubes
The (n, k)arrangement graph was first introduced in 1992 as a generalization of the star graph topology. Choosing an arrangement topology is more efficient in comparison with a star graph as we can have a closer number ... 
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 ... 
Properties and Algorithms of the KCube Graphs
(Brock University, 20140324)The KCube interconnection topology was rst introduced in 2010. The KCube graph is a compound graph of a Kautz digraph and hypercubes. Compared with the at tractive Kautz digraph and well known hypercube graph, the KCube ... 
Properties and Algorithms of the KCube Interconnection Networks
The KCube interconnection network was first introduced in 2010 in order to exploit the good characteristics of two wellknown interconnection networks, the hypercube and the Kautz graph. KCube links up multiple processors ... 
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 ... 
RealTime Automatic Object Classification and Tracking using Genetic Programming and NVIDIA R CUDA TM
(Brock University, 20140801)Genetic Programming (GP) is a widely used methodology for solving various computational problems. GP's problem solving ability is usually hindered by its long execution times. In this thesis, GP is applied toward realtime ...