Research Repository

See what's under the surface


Magnesium ions enhance the transfer of Human Papillomavirus E2 protein from non-specific to specific binding sites (1999)
Journal Article
Lewis, H., & Gaston, K. (1999). Magnesium ions enhance the transfer of Human Papillomavirus E2 protein from non-specific to specific binding sites. Journal of Molecular Biology, 294(4), 885-896. doi:10.1006/jmbi.1999.3314

The human papillomavirus 16 E2 protein binds to four specific DNA sequences present within the HPV 16 genome and regulates viral gene expression and DNA replication. However, the E2 protein can also bind tightly to non-specific DNA sequences. Here, w... Read More

Three dimensional visualization of the World Wide Web (1999)
Journal Article
Benford, S., Taylor, I., Brailsford, D. F., Koleva, B., Craven, M. P., Fraser, M., …Greenhalgh, C. (1999). Three dimensional visualization of the World Wide Web. ACM Computing Surveys, 31(4es),

Although large-scale public hypermedia structures such as the World Wide Web are popularly referred to as "cyberspace", the extent to which they constitute a space in the everyday sense of the word is questionable. This paper reviews recent work in t... Read More

Separable Hyperstructure and Delayed Link Binding (1999)
Journal Article
Brailsford, D. F. (1999). Separable Hyperstructure and Delayed Link Binding. ACM Computing Surveys, 31(4es),

As the amount of material on the World Wide Web continues to grow, users are discovering that the Web's embedded, hard-coded, links are difficult to maintain and update. Hyperlinks need a degree of abstraction in the way they are specified together w... Read More

Reclaiming heritage: colourization, culture wars and the politics of nostalgia (1999)
Journal Article
Grainge, P. (1999). Reclaiming heritage: colourization, culture wars and the politics of nostalgia. Cultural Studies, 13(4), 621-638. https://doi.org/10.1080/095023899335077

This article considers the discursive continuities between a specifically liberal defence of cultural patrimony, evident in the debate over film colourization, and the culture war critique associated with neo-conservatism. It examines how a rhetoric... Read More

A science-oriented search engine could solve web problems (1999)
Journal Article
Gardner, M. (1999). A science-oriented search engine could solve web problems. Nature, 401(111),

Lawrence and Giles [1] eloquently define the current problems with the World-Wide Web, but could "Nature" provide the solution ?

Cellular transcirption factors regulate human papillomavirus type 16 gene expression by binding to a subset of the DNA sequences recognised by the viral E2 protein (1999)
Journal Article
Lewis, H., Webster, K., Sanchez-Perez, A., & Gaston, K. (1999). Cellular transcirption factors regulate human papillomavirus type 16 gene expression by binding to a subset of the DNA sequences recognised by the viral E2 protein. Journal of General Virology, 80(8), 2087-2096. doi:10.1099/0022-1317-80-8-2087

Human papillomavirus type 16 (HPV-16) is a DNA tumour virus that has been implicated in the development of cervical cancer. The HPV-16 E2 protein binds to four sites that are present upstream of the viral P97 promoter and regulates transcription of t... Read More

A Tutorial on the Universality and Expressiveness of Fold (1999)
Journal Article
Hutton, G. (1999). A Tutorial on the Universality and Expressiveness of Fold. Journal of Functional Programming, 9(4),

In functional programming, fold is a standard operator that encapsulates a simple pattern of recursion for processing lists. This article is a tutorial on two key aspects of the fold operator for lists. First of all, we emphasize the use of the uni... Read More

The hybrid library: a view from the UK (1999)
Conference Proceeding
Pinfield, S. (1999). The hybrid library: a view from the UK. In Bücher, Bytes und Bibliotheken: Integrierte Information im Internet

This paper aims to provide an overview of digital library devcelopment in the UK, concentrating on the eLib (Electronic Libraries) programme. It also discusses the idea of the Hybrid Library and considers how it fits into current electronic library d... Read More

The Quantum Tetrahedron in 3 and 4 Dimensions (1999)
Journal Article
Baez, J. C., & Barrett, J. W. (1999). The Quantum Tetrahedron in 3 and 4 Dimensions

Recent work on state sum models of quantum gravity in 3 and 4 dimensions has led to interest in the `quantum tetrahedron'. Starting with a classical phase space whose points correspond to geometries of the tetrahedron in R^3, we use geometric quantiz... Read More

The asymptotics of an amplitude for the 4-simplex (1999)
Journal Article
Barrett, J. W., & Williams, R. M. (1999). The asymptotics of an amplitude for the 4-simplex

An expression for the oscillatory part of an asymptotic formula for the relativistic spin network amplitude for a 4-simplex is given. The amplitude depends on specified areas for each two-dimensional face in the 4-simplex. The asymptotic formula has... Read More

Using a Generalisation Critic to find Bisimulations for Coinductive Proofs (1999)
Conference Proceeding
Dennis, L. A., Bundy, A., & Green, I. (1999). Using a Generalisation Critic to find Bisimulations for Coinductive Proofs. In W. McCune (Ed.),

Coinduction is a method of growing importance in reasoning about functional languages, due to the increasing prominence of lazy data structures. Through the use of bisimulations and proofs that bisimilarity is a congruence in various domains it can... Read More

Proof methods for structured corecursive programs (1999)
Conference Proceeding
Gibbons, J., & Hutton, G. (1999). Proof methods for structured corecursive programs

Corecursive programs produce values of greatest fixpoint types, in contrast to recursive programs, which consume values of least fixpoint types. There are a number of widely used methods for proving properties of corecursive programs, including fixp... Read More