<%@ page language="java" contentType="text/html" %>
<%-- Include common initialisation code --%>
<%@ include file="/arch/common.jsp" %>
<%-- The current tab --%>
<% String currentTab = "Research"; %>
<%-- Content of navigation pane --%>
<%@ include file="nav.jsp" %>
<% showCurrentLink=true; %>
<%-- Current navigation location --%>
<% String currentNav = "Reports and Theses"; %>
<%-- Include the code for the document header --%>
<%@ include file="/arch/header.jsp" %>
Research Reports 2007
<%-- Include the code for the lines and navigation --%>
<%@ include file="/arch/middle.jsp" %>
- CS-RT-435
-
Aleksandar Dimovski
Efficient Algorithm for Designing Weighted Voting
Games
September, 2007
- CS-RR-434
-
Haris Aziz, Mike Paterson, Dennis Leech
Efficient Algorithm for Designing Weighted Voting
Games
July, 2007
- CS-RR-433
-
Russell Boyatt and Jane Sinclair
Investigating post-completion errors with the Alloy Analyzer
July, 2007
- CS-RR-432
-
Simon J. Gay, Rajagopal Nagarajan and Nikolaos Papanikolaou,
QMC: A Model Checker for Quantum Systems
April, 2007
- CS-RR-431
-
Chang-Tsun Li and Roland Wilson
Unsupervised Learning and Clustering
Using a Random Field Approach
March, 2007
- CS-RR-430
-
Heechan Park,
Affine Symmetry and Applications in Image Processings
February, 2007
<%-- Include the code for the document footer --%>
<%@ include file="/arch/footer.jsp" %>