<%@ 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 2005
<%-- Include the code for the lines and navigation --%>
<%@ include file="/arch/middle.jsp" %>
- CS-RT-419
- Hongyang Qu,
Theoretical and Practical Tools for Validating
Discrete and Real-time Systems
(PhD Thesis),
October, 2005
- CS-RT-418
-
D. Rutter,
From Diversity to Convergence: British Computer
Networks and the Internet, 1970-1995
(PhD Thesis),
July, 2005
- CS-RR-417
-
Heechan Park and Graham R. Martin,
Video Compression : Wavelet Based Coding
and Texture Synthesis Based Coding
,
June, 2005
- CS-RR-416
-
Nick Papanikolaou,
Reasoning Formally about Quantum Systems:
An Overview
,
July, 2005
- CS-RR-415
-
PeyShan Heng, Mike Joy, Russell Boyatt and Nathan Griffiths,
Evaluation of the BOSS Online Submission and Assessment System,
September, 2005
- CS-RR-414
-
Wen-Hsiang Lai and Chang-Tsun Li,
Detecting Faces in Color Images,
July, 2005
- CS-RR-413
-
Nikolaos K. Papanikolaou,
Techniques for Design and Validation of Quantum Protocols,
MSc Thesis, May 11, 2005
- CS-RR-412
-
Meurig Beynon and Antony Harfield,
Empirical Modelling in support of constructionism: a case study,
June, 2005
- CS-RR-411
-
Nick Palmer and Paul Goldberg,
PAC Classification Based on PAC Estimates of Label Class
Distributions
<%-- Include the code for the document footer --%>
<%@ include file="/arch/footer.jsp" %>