Projects
This page contains references to most of the larger projects that I have made during my bachelor studies at University of Roskilde (RUC) and Master of Science at IT University of Copenhagen.
The projects are divided into three categories: IT University of Copenhagen, RUC (Computer Science), and RUC (Basic Studies). The quality of the projects differs a lot, since there are about 4 years between the first and the last project.
Two of the projects (Knowledge Representation and SocketTunnel) are small exam projects and therefore of lesser size (and perhaps quality ;) ).
The categories are listed in chronological order with the newest first. The same applies to each project within each category.
The little flag to the right of each project tells if the project was written in English or Danish. Some of the projects in Danish still have the source code in English, though.
Projects @ IT University of Copenhagen
-
Bisimulation in Copyable Mobile Resources

We present a simulator CMRsim for the Copyable Mobile Resources Calculus (CMR). We provide methods to: compare expressions for structural congruence; find and execute reductions of CMR expressions; and to test for equivalence (strong bisimulation) between two processes in a finite state subset of CMR. -
Ant Routing System

In this report a routing algorithm Ant Routing System (ARS) is presented. ARS is based on a general-purpose metaheuristic named Ant Colony Optimization, which is a framework for building ant-inspired algorithms. ARS is applied as the routing algorithm in a simulated package-switched point-to-point network.
Projects @ Roskilde University (Computer Science)
-
SubSpace

This report describes a prototype of a peer-to-peer space. The implementation is inspired by JavaSpaces and our implementation (SubSpace) supports some of the same functionality, but the implementation builds upon a P2P architecture as opposed to the traditional centralised implementations. -
Distributed Systems (SocketTunnel)

A small solution for the exam in the course Distributed Systems. The assignment was to implement a gateway in Java. -
ParaSim

To facilitate an easier implementation of concurrent algorithms in Java we implement a Java package which provides functionality inspired by the language NESL, created by Guy E. Blelloch. -
Knowledge
Representation

A small solution for the exam in the course Knowledge Representation. The task was to represent a Hotel booking-system in Prolog and related conceptual hierarchy.
Projects @ Roskilde University (Basic Studies)
-
PolySim

We implement a Java-package which can manipulate polynomials. The representation of a polynomial is a 4-linked list as proposed by Donald E. Knuth in "The Art of Computer Programming" (knuth 1973). -
Indexing

The purpose of this project is to examine whether the indexing of web-pages can be improved by utilising the information available in the formatting of text instead of treating all text as equal.