Forrester’s model is described and critically analyzed with a view to understanding the relationship between his conclusions and his normative scheme. He claims that his model produces "counterintuitive" results; it is argued here that the main results follow directly from his goals. An alternative method of evaluating the results of the model is proposed, based upon the model’s calculation of ...

There is a growing consensus that developmental dyslexia is associated with a phonological-core deficit. One symptom of this phonological deficit is a subtle speech-perception deficit. The auditory basis of this deficit is still hotly debated. If people with dyslexia, however, do not have an auditory deficit and perceive the underlying acoustic dimensions of speech as well as people who read no...

We report initial experience with the use of a new intracranial stent, the Leo microstent in combination with detachable coils in treatment of patients with wide-necked cerebral aneurysms. The Leo stent represents a significant advance in the vascular treatment of intracranial aneurysm with high radial force and an easy delivery system. It is a feasible, secure, and effective system.

LEO-II, a resolution based theorem prover for classical higher-order logic, is currently being developed in a one year research project at the University of Cambridge, UK, with support from Saarland University, Germany. We briefly discuss the main objectives of the project. The LEO-II project is funded by EPSRC under grant EP/D070511/1.

The diameter velocity dispersion relation in B, V, and K for three early type galaxies in the Leo I (M96) group is derived from published photometry and kinematic data. The relations in all three colors have slopes which agree well with those for the Coma cluster. The RMS scatter of the Leo I galaxies in each color is extremely small, consistent with the group’s compactness. These relations yie...

The automated theorem prover Leo was one of the first systems able to prove theorems in higher-order logic. Since the first version of Leo many other systems emerged and outperformed Leo and its successor Leo-II. The Leo-III project’s aim is to develop a new prover reclaiming the lead in the area of higher-order theorem proving. Current competitive theorem provers sequentially manipulate sets o...

We present a detailed study of the color magnitude diagram (CMD) of the dwarf spheroidal galaxy Leo I, based on archival Hubble Space Telescope data. Our photometric analysis, confirming previous results on the brighter portion of the CMD, allow us to obtain an accurate sampling of the stellar populations also at the faint magnitudes corresponding to the Main Sequence. By adopting a homogeneous...