All Outputs (15)

The isolation of transcription factors from ?gt11 cDNA expression libraries: human steroid 5?-reductase 1 has sequence-specific DNA binding activity (1992)
Journal Article

The Surf-1/Surf-2 bi-directional promoter contains binding sites for at least three transcription factors (Su1, Su2, and Su3). By screening a ?gt11 HeLa cell cDNA expression library with a concatenated Su2 factor binding site, we isolated a cDNA whic... Read More about The isolation of transcription factors from ?gt11 cDNA expression libraries: human steroid 5?-reductase 1 has sequence-specific DNA binding activity.

Between functions and relations in calculating programs (1992)
Thesis

This thesis is about the calculational approach to programming, in which one derives programs from specifications. One such calculational paradigm is Ruby, the relational calculus developed by Jones and Sheeran for describing and designing circuits.... Read More about Between functions and relations in calculating programs.

The Hachinski Ischaemic Score: A reevaluation (1992)
Journal Article

The Hachinski Ischaemic Score (HIS) was first introduced in 1975 as a clinical scale intended to differentiate cases of dementia resulting from multiple strokes (multi‐infarct dementia) from those with primary degenerative dementias. Its conceptual b... Read More about The Hachinski Ischaemic Score: A reevaluation.

A comparison of the DNA bending properties of the DNA binding proteins CRP and TFIID (1992)
Journal Article

Protein-induced DNA bending is of importance in the formation of complex nucleoprotein assemblies such as those involved in the initiation of DNA replication or transcription initiation. We have compared the DNA bending characteristics of the Escheri... Read More about A comparison of the DNA bending properties of the DNA binding proteins CRP and TFIID.

Higher-Order Functions for Parsing (1992)
Journal Article

In combinator parsing, the text of parsers resembles BNF notation. We present the basic method, and a number of extensions. We address the special problems presented by white-space, and parsers with separate lexical and syntactic phases. In partic... Read More about Higher-Order Functions for Parsing.

Trade, industry and the wealth of king Alfred (1992)
Journal Article

HIV infection, the brain and the behaviour: Major psychiatric disorder without cognitive impairment before or after the episode (1992)
Journal Article

A certain archway: Autoscopy and its companions seen in Western writing (1992)
Journal Article

A combined theoretical/experimental approach to the dynamic characterization of viscoelastic materials (1992)
Journal Article

This research combines theoretical and experimental approaches to the dynamic mechanical characterization of viscoelastic materials. A detailed derivation is presented for the dynamic response of a typical viscoelastic rod sample. Particular attentio... Read More about A combined theoretical/experimental approach to the dynamic characterization of viscoelastic materials.

Stimuli for acquired resistance to Heligmosomoides polygyrus from intestinal tissue resident L3 and L4 larvae (1992)
Journal Article

The metaphorics of literary reading (1992)
Journal Article

Making Functionality More General (1992)
Conference Proceeding

The definition for the notion of a "function" is not cast in stone, but depends upon what we adopt as types in our language. With partial equivalence relations (pers) as types in a relational language, we show that the functional relations are preci... Read More about Making Functionality More General.

A Relational Derivation of a Functional Program (1992)
Conference Proceeding

This article is an introduction to the use of relational calculi in deriving programs. Using the relational caluclus Ruby, we derive a functional program that adds one bit to a binary number to give a new binary number. The resulting program is uns... Read More about A Relational Derivation of a Functional Program.

Understanding chronic nematode infections: evolutionary considerations, current hypotheses and the way forward (1992)
Journal Article

A Calculational Theory of Pers as Types (1992)
Book

In the calculational approach to programming, programs are derived from specifications by algebraic reasoning. This report presents a calculational programming framework based upon the notion of binary relations as programs, and partial equivalence... Read More about A Calculational Theory of Pers as Types.