Skip to main content

Research Repository

Advanced Search

All Outputs (46074)

Myc and YY1 mediate activation of the Surf-1 promoter in response to serum growth factors (2000)
Journal Article
Vernon, E. G., & Gaston, K. (2000). Myc and YY1 mediate activation of the Surf-1 promoter in response to serum growth factors. BBA - Biochimica et Biophysica Acta, 1492(1), 172-179. https://doi.org/10.1016/S0167-4781%2800%2900116-0

The human Surf-1 and Surf-2 genes are divergently transcribed and share a single bi-directional promoter. The addition of serum growth factors to serum-starved cells activates transcription in the Surf-1 direction, but has no effect on transcription... Read More about Myc and YY1 mediate activation of the Surf-1 promoter in response to serum growth factors.

Factors associated with strain in co-resident spouses of patients following stroke (2000)
Journal Article
Blake, H., & Lincoln, N. (2000). Factors associated with strain in co-resident spouses of patients following stroke. Clinical Rehabilitation, 14(3), https://doi.org/10.1191/026921500667530134

Objective: To identify the factors associated with carer strain following stroke.

Design: Co-resident spouses of stroke patients were sent questionnaire measures of their perceptions of strain, stress, mood, handicap, adjustment, social support, l... Read More about Factors associated with strain in co-resident spouses of patients following stroke.

Molecular evidence for genetic mixing of Arctic and Antarctic subpolar populations of planktonic foraminifers (2000)
Journal Article
Darling, K. F., Wade, C. M., Stewart, I. A., Kroon, D., Dingle, R., & Leigh Brown, A. J. (2000). Molecular evidence for genetic mixing of Arctic and Antarctic subpolar populations of planktonic foraminifers. Nature, 405(6782), 43-47. https://doi.org/10.1038/35011002

Bipolarity, the presence of a species in the high latitudes separated by a gap in distribution across the tropics, is a well-known pattern of global species distribution. But the question of whether bipolar species have evolved independently at the p... Read More about Molecular evidence for genetic mixing of Arctic and Antarctic subpolar populations of planktonic foraminifers.

The HPV 16 E2 protein induces p53-dependent apoptosis (2000)
Presentation / Conference Contribution
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, Glasgow, UK

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. https://doi.org/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.

'Exploiting problem structure in a genetic algorithm approach to a nurse rostering problem' (2000)
Journal Article
Aickelin, U., & Dowsland, K. (2000). 'Exploiting problem structure in a genetic algorithm approach to a nurse rostering problem'

There is considerable interest in the use of genetic algorithms to solve problems arising in the areas of scheduling and timetabling. However, the classical genetic algorithm paradigm is not well equipped to handle the conflict between objectives and... Read More about 'Exploiting problem structure in a genetic algorithm approach to a nurse rostering problem'.

A Lorentzian Signature Model for Quantum General Relativity (2000)
Journal Article
Barrett, J. W., & Crane, L. (2000). A Lorentzian Signature Model for Quantum General Relativity

We give a relativistic spin network model for quantum gravity based on the Lorentz group and its q-deformation, the Quantum Lorentz Algebra.
We propose a combinatorial model for the path integral given by an integral over suitable representations of... Read More about A Lorentzian Signature Model for Quantum General Relativity.

Structures of confinement in nineteenth-century asylums, using England and Ontario as a comparative study (2000)
Journal Article
Bartlett, P. (2000). Structures of confinement in nineteenth-century asylums, using England and Ontario as a comparative study. International Journal of Law and Psychiatry, 23(1), https://doi.org/10.1016/S0160-2527%2898%2900041-7

Traditionally, historians of the care of the insane have understood their work as a branch of medical history. This paper focuses instead on the administrative structures of nineteenth century asylums. These are geographically specific and historica... Read More about Structures of confinement in nineteenth-century asylums, using England and Ontario as a comparative study.

Molecular Characterization and Localization of the NAD(P)H Oxidase Components gp91-phox and p22-phox in Endothelial Cells (2000)
Journal Article
Bayraktutan, U., Blayney, L., & Shah, A. (2000). Molecular Characterization and Localization of the NAD(P)H Oxidase Components gp91-phox and p22-phox in Endothelial Cells

The production of reactive oxygen species (ROS) within endothelial cells may have several effects, including
alterations in the activity of paracrine factors, gene expression, apoptosis, and cellular injury. Recent studies indicate that
a phagocyte... Read More about Molecular Characterization and Localization of the NAD(P)H Oxidase Components gp91-phox and p22-phox in Endothelial Cells.

Structured cases in case-based reasoning: re-using and adapting cases for time-tabling problems (2000)
Journal Article
Burke, E., MacCarthy, B. L., Petrovic, S., & Qu, R. (2000). Structured cases in case-based reasoning: re-using and adapting cases for time-tabling problems. Knowledge-Based Systems, 13(2-3),

In this paper, we present a case-based reasoning (CBR) approach solving educational time-tabling problems. Following the basic idea behind CBR, the solutions of previously solved problems are employed to aid finding the solutions for new problems. A... Read More about Structured cases in case-based reasoning: re-using and adapting cases for time-tabling problems.

System Description: Embedding Verification into Microsoft Excel (2000)
Presentation / Conference Contribution
Collins, G., & Dennis, L. A. System Description: Embedding Verification into Microsoft Excel. Presented at Automted Deduction (CADE-17)

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.

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.

The PROSPER Toolkit (2000)
Presentation / Conference Contribution
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.