Generation of Molecular Complexity from Cyclooctatetraene: Preparation of Optically Active Protected Aminocycloheptitols and Bicyclo[4.4.1]undecatriene

The racemic (6-cyclo-heptadienyl)Fe(CO)3+ cation ((±)-7), prepared from cyclooctatetraene, was treated with a variety of carbon and heteroatom nucleophiles. Attack took place at the less hindered C1 dienyl carbon and decomplexation of the (cycloheptadiene)Fe(CO)3 complexes gave products rich in functionality for further synthetic manipulation. In particular, a seven-step route was developed from racemic (6-styryl-2,4-cycloheptadien-1-yl)phthalimide ((±)-9 d) to afford the optically active aminocycloheptitols (−)-20 and (+)-20

Disease Prevalence in a Rural Rhodesian African Secondary School

The purpose of this study was to survey the physical health of the student body of a rural Rhodesian African secondary school, with the particular aims of ascertaining specific disease incidence rates, disease patterns and the desirability of routine medical examination

Automatic techniques for detecting and exploiting symmetry in model checking

The application of model checking is limited due to the state-space explosion problem – as the number of components represented by a model increase, the worst case size of the associated state-space grows exponentially. Current techniques can handle limited kinds of symmetry, e.g. full symmetry between identical components in a concurrent system. They avoid the problem of automatic symmetry detection by requiring the user to specify the presence of symmetry in a model (explicitly, or by annotating the associated specification using additional language keywords), or by restricting the input language of a model checker so that only symmetric systems can be specified. Additionally, computing unique representatives for each symmetric equivalence class is easy for these limited kinds of symmetry. We present a theoretical framework for symmetry reduction which can be applied to explicit state model checking. The framework includes techniques for automatic symmetry detection using computational group theory, which can be applied with no additional user input. These techniques detect structural symmetries induced by the topology of a concurrent system, so our framework includes exact and approximate techniques to efficiently exploit arbitrary symmetry groups which may arise in this way. These techniques are also based on computational group theoretic methods. We prove that our framework is logically sound, and demonstrate its general applicability to explicit state model checking. By providing a new symmetry reduction package for the SPIN model checker, we show that our framework can be feasibly implemented as part of a system which is widely used in both industry and academia. Through a study of SPIN users, we assess the usability of our automatic symmetry detection techniques in practice

Changes In African Disease Patterns With Western Acculturation

A CAJM article on African disease patterns.Perhaps every physician in Rhodesia today has an impression in the back of his mind that as the cultural patterns of the Africans change, so also do their diseases. The situation under which this study was undertaken seemed particularly favorable to the testing of this hypothesis

Spectral Data for Generation of Molecular Complexity from Cyclooctatetraene: Preparation of Optically Active Protected Aminocycloheptitols and Bicyclo[4.4.1]undecatriene

Spectral data created in the course of the research project. Supports specific findings in Generation of Molecular Complexity from Cyclooctatetraene: Preparation of Optically Active Protected Aminocycloheptitols and Bicyclo[4.4.1]undecatriene . The racemic (6-cyclo-heptadienyl)Fe(CO)3+ cation ((±)-7), prepared from cyclooctatetraene, was treated with a variety of carbon and heteroatom nucleophiles. Attack took place at the less hindered C1 dienyl carbon and decomplexation of the (cycloheptadiene)Fe(CO)3 complexes gave products rich in functionality for further synthetic manipulation. In particular, a seven-step route was developed from racemic (6-styryl-2,4-cycloheptadien-1-yl)phthalimide ((±)-9 d) to afford the optically active aminocycloheptitols (−)-20 and (+)-20