Skip to main content

Research Repository

Advanced Search

All Outputs (47)

The HPV 16 E2 protein induces p53-dependent apoptosis (2000)
Presentation / Conference
Gaston, K., Webster, K., Roeder, G., & Parish, J. (2000, April). The HPV 16 E2 protein induces p53-dependent apoptosis. Paper presented at 10th TENOVUS Scotland Symposium: Gene Expression and Disease

The human papillomavirus (HPV) 16 E2 protein induces apoptosis in the absence of other HPV proteins and via a p53-dependent pathway (2000)
Journal Article
Webster, K., Parish, J., Pandya, M., Stern, P. L., Clarke, A. R., & Gaston, K. (2000). The human papillomavirus (HPV) 16 E2 protein induces apoptosis in the absence of other HPV proteins and via a p53-dependent pathway. Journal of Biological Chemistry, 275(1), 87-94. doi:10.1074/jbc.275.1.87

The human papillomavirus (HPV) E2 protein regulates viral gene expression and is also required for viral replication. HPV-transformed cells often contain chromosomally integrated copies of the HPV genome in which the viral E2 gene is disrupted. We ha... Read More about The human papillomavirus (HPV) 16 E2 protein induces apoptosis in the absence of other HPV proteins and via a p53-dependent pathway.

Maternal nutrient restriction during early to mid gestation alters the relationship between insulin-like growth factor I and bodyweight at term in fetal sheep (2000)
Journal Article
Heasman, L., Brameld, J., Mostyn, A., Budge, H., Dawson, J., Buttery, P., …Symonds, M. E. (2000). Maternal nutrient restriction during early to mid gestation alters the relationship between insulin-like growth factor I and bodyweight at term in fetal sheep. Reproduction, Fertility and Development, 12(7-8), 345-350. https://doi.org/10.1071/rd00115

The present study was designed to determine whether altered placental size, as a consequence of maternal nutrient restriction in sheep between 28 and 77 days gestation, is associated with a modified relationship between fetal weight or dimensions and... Read More about Maternal nutrient restriction during early to mid gestation alters the relationship between insulin-like growth factor I and bodyweight at term in fetal sheep.

Traffic exposure increases natural 15N and heavy metal concentrations in mosses (2000)
Journal Article
Pearson, J., Wells, D. M., Seller, K. J., Bennett, A., Soares, A., Woodall, J., & Ingrouille, M. J. (2000). Traffic exposure increases natural 15N and heavy metal concentrations in mosses. New Phytologist, 147(2), 317-326. https://doi.org/10.1046/j.1469-8137.2000.00702.x

Mosses have been used as biomonitors of atmospheric pollution for some years, but few studies have been carried out on the effect of NO(x) emissions from traffic on moss tissue N. Eight species of moss (102 samples) growing on walls or roofs next to... Read More about Traffic exposure increases natural 15N and heavy metal concentrations in mosses.

Towards a critical cognitive poetics (2000)
Book Chapter
Stockwell, P. (2000). Towards a critical cognitive poetics. In A. Combrink, & I. Biermann (Eds.), Discourses of War and Conflict. Potchefstroom University Press

The Development of an On-line Submission and Peer Review System (2000)
Conference Proceeding
Pavey, P., Probets, S., & Brailsford, D. F. (2000). The Development of an On-line Submission and Peer Review System. In P. Linde, J. Smith, & E. Emelianova (Eds.),

Online submission and peer review is emerging as the next step forward for many journal publishers in an ever increasing drive to take advantage of technological improvements in transferring data electronically over the internet. The Electronic Submi... Read More about The Development of an On-line Submission and Peer Review System.

Crowning glory: public law, power and the monarchy (2000)
Journal Article
Murphy, T., & Whitty, N. (2000). Crowning glory: public law, power and the monarchy. Social and Legal Studies, 9(1), https://doi.org/10.1177/096466390000900102

‘New public law’ has a keen interest in the deployment of power and the shifting nature of the public and private. In this article, we argue that the historical legacy of the Crown has hindered the ability of public lawyers to respond to changes in m... Read More about Crowning glory: public law, power and the monarchy.

Interleukin-4 receptor alpha gene variants and allergic disease (2000)
Journal Article
Hall, I. P. (2000). Interleukin-4 receptor alpha gene variants and allergic disease. Respiratory Research, 1(1),

The interleukin-4 (IL-4) signalling cascade has been identified as a pathway potentially important in the development of asthma. Genetic variants within this signalling pathway might contribute to the risk of developing asthma in a given individual.... Read More about Interleukin-4 receptor alpha gene variants and allergic disease.

The PROSPER Toolkit (2000)
Conference Proceeding
Dennis, L. A., Collins, G., Norrish, M., Boulton, R., Slind, K., Robinson, G., …Melham, T. (2000). The PROSPER Toolkit. In S. Graf, & M. Schwartzbach (Eds.),

The PROSPER (Proof and Specification Assisted Design Environments) project advocates the use of toolkits which allow existing verification tools to be adapted to a more flexible format so that they may be treated as components. A system incorporatin... Read More about The PROSPER Toolkit.

The Productive use of Failure to Generate Witnesses from Divergent Proof Attempts for Coinduction (2000)
Journal Article
Dennis, L. A., Bundy, A., & Green, I. (2000). The Productive use of Failure to Generate Witnesses from Divergent Proof Attempts for Coinduction. Annals of Mathematics and Artificial Intelligence, 29(1-4),

Coinduction is a proof rule. It is the dual of induction. It allows reasoning about non--well--founded structures such as lazy lists or streams and is of particular use for reasoning about equivalences. A central difficulty in the automation of coi... Read More about The Productive use of Failure to Generate Witnesses from Divergent Proof Attempts for Coinduction.

System Description: Embedding Verification into Microsoft Excel (2000)
Conference Proceeding
Collins, G., & Dennis, L. A. (2000). System Description: Embedding Verification into Microsoft Excel. In D. McAllester (Ed.),

The aim of the PROSPER project is to allow the embedding of existing verification technology into applications in such a way that the theorem proving is hidden, or presented to the end user in a natural way. This paper describes a system built to te... Read More about System Description: Embedding Verification into Microsoft Excel.