Now showing items 38-40 of 40

  • Towards automated derivation in the theory of allegories 

    Glanfield, Joel. (Brock University, 2008-02-16)
    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 

    Naeem, Mohammad (Brock University, 2010-10-25)
    Hub location problem is an NP-hard 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 object-oriented programming language 

    Foy, Grant. (Brock University, 2009-01-28)
    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 ...