<%@ 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 1989

<%-- Include the code for the lines and navigation --%> <%@ include file="/arch/middle.jsp" %> <%@ include file="copyright.html" %>
CS-RR-152
L.A. Novak and A.M. Gibbons, Double Independent Subsets of a Graph, October 1, 1989
CS-RR-151
L.A. Novak and A.M. Gibbons, On Perfect Pairs of Trees in a Graph, October 1, 1989
CS-RR-150
J.R. Thomas and A.G. Cohn, An Expert System for Hollow Extrusion Die Design, October 1, 1989
CS-RR-149
A. Bhalerao and R.G. Wilson, Multiresolution Image Segmentation, September 1, 1989
CS-RR-147
W.M. Beynon, M.T. Norris, S.B. Russ, M.D. Slade, Y.P. Yung and Y.W. Yung, Software Construction Using Definitions: an Illustrative Example, September 1, 1989
CS-RR-146
W.M. Beynon, S.B. Russ, M. Slade, Y.P. Yung and Y.W. Yung, Definitive Principles and the Specification of Software, September 1, 1989
CS-RR-145
Zhiming Liu, Modelling Checkpointing and Recovery within UNITY, August 1, 1989
CS-RR-144
Zhiming Liu, A Semantic Model for UNITY, August 1, 1989
CS-RR-143
J.A. Dain, Women and Computing: Some Responses to Falling Numbers in Higher Education, June 1, 1989
CS-RR-142
M.S. Joy, The Translation of High-Level Functional Languages to FLIC, May 1, 1989
CS-RR-141
W.M. Beynon and S.B. Russ, Variables in Mathematics and Computer Science, May 1, 1989
CS-RR-140
A. Lord, Computer System Dependability: An Introduction, April 1, 1989
CS-RR-139
M.S. Paterson and F.F. Yao, Binary Partitions with Applications to Hidden-Surface Removal and Solid Modelling, March 1, 1989
CS-RR-138
M. Joseph and A. Goswami, Relating Computation and Time, February 1, 1989
CS-RR-136
R.W. McColl and G.R. Martin, Texture Analysis and Synthesis, January 1, 1989
CS-RR-135
A.M. Gibbons, Optimally Edge-Colouring Outerplanar Graphs is in NC, January 1, 1989
<%-- Include the code for the document footer --%> <%@ include file="/arch/footer.jsp" %>