Thomas Smith, 1883-1969

Decoding the Cardiac Message The 2011 Thomas W . Smith Memorial

This review reflects and expands on the contents of my presentation at the Thomas W. Smith Memorial Lecture at American Heart Association Scientific Sessions, 2011. “Decoding the cardiac message” refers to accumulating results from ongoing microRNA research that is altering longstanding concepts of the mechanisms for, and consequences of, messenger RNA (mRNA) regulation in the heart. First, I p...

COVER SHEET Ng , Thomas S . and Smith , Nigel J .

The contractor prequalification process is characterised by the lack of an universally accepted system and appropriate quantitative and qualitative information. This has led to the development of a number of proprietary prequalification systems together with an over-reliance on human judgement for assessment in practice. To improve the reliability and objectiveness of decisions being made, preq...

1883 - 4566

Mobile robot networks emerged in the past few years as a promising distributed computing model. Existing work in the literature typically ensures the correctness of mobile robot protocols via ad hoc handwritten proofs, which are both cumbersome and error-prone. This paper surveys state-of-the-art results about applying formal methods approaches (namely, model-checking, program synthesis, and pr...

Leonard Colebrook, 1883-1967.

Leonard Colebrook (1883?1967)

Leonard Colebrook was a physician who researched bacteria and infections in England during the twentieth century. In 1936, Colebrook deployed the antibiotic Prontosil to treat puerperal fever, a disorder that results from bacterial infections in the uterine tracts of women after childbirth or abortions. Colebrook also advanced care for burn patients by advocating for the creation of burn units ...