All Outputs (48)

Molecular evidence for genetic mixing of Arctic and Antarctic subpolar populations of planktonic foraminifers (2000)
Journal Article

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

Nostalgia and Style in Retro America: Moods, Modes, and Media Recycling (2000)
Journal Article

This paper considers nostalgia as a cultural mode in contemporary America.

Employee absence, age and tenure: A study of nonlinear effects and trivariate models (2000)
Journal Article

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

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

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

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.

"And that paint is a thing that will bear looking into": the business of sexuality in the rise of Silas Lapham (2000)
Journal Article

Towards a critical cognitive poetics (2000)
Book Chapter

The art of being alternative, with style, in context (2000)
Journal Article

Futuretalk: one small step towards a Chronolinguistics (2000)
Journal Article

In the area of linguistics and language teaching, science fiction is useful in very many ways. An obvious way is that it sets up many complex and rich worlds and outlines the sorts of adjustments that language must make in those contexts. It thus dra... Read More about Futuretalk: one small step towards a Chronolinguistics.

Integrating SVC and HOL with the PROSPER Toolkit (2000)
Conference Proceeding

We describe an integration of the SVC decision procedure with the HOL theorem prover. This integration was achieved using the PROSPER toolkit. The SVC decision procedure operates on rational numbers, an axiomatic theory for which was provided in HOL... Read More about Integrating SVC and HOL with the PROSPER Toolkit.

The Development of an On-line Submission and Peer Review System (2000)
Conference Proceeding

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

‘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.

Pattern formation with a conservation law (2000)
Journal Article

Pattern formation in systems with a conserved quantity is considered by studying the appropriate amplitude equations. The conservation law leads to a large-scale neutral mode that must be included in the asymptotic analysis for pattern formatio... Read More about Pattern formation with a conservation law.

Interleukin-4 receptor alpha gene variants and allergic disease (2000)
Journal Article

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.

Software copyright protection: can Europe learn from American case law. Parts 1 and 2 (2000)
Journal Article

The PROSPER Toolkit (2000)
Conference Proceeding

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

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.

Pharisäer und Pietisten - ein Vergleich zwischen zwei Frömmigkeitsbewegungen (2000)
Journal Article