Implementation of an iterative scatter correction, the influence of attenuation map quality and their effect on absolute quantitation in SPECT von Vandervoort, Eric, Celler, Anna, Harrop, Ronald

Volltext

Problems Created in Attenuation-Corrected SPECT Images by Artifacts in Attenuation Maps: A Simulation Study von Celler, Anna, Dixon, Katherine L, Chang, Zheng, Blinder, Stephan, Powe, John, Harrop, Ronald

Volltext

Use of transputers in a 3-D positron emission tomograph von Atkins, M.S., Murray, D., Harrop, R.

Volltext

D. J. Shoesmith and T. J. Smiley. Multiple-conclusion logic. Cambridge University Press, Cambridge etc. 1978, xiii + 396 pp von Harrop, Ronald

Volltext

Review: D. J. Shoesmith, T. J. Smiley, Multiple-Conclusion Logic von Harrop, Ronald

Volltext

Computing and Mathematics Departments--The Years Ahead von Harrop, Ronald

Volltext

On simple, weak and strong models of propositional calculi von Harrop, Ronald

Volltext

Addition of noise by scatter correction methods in PVI von Barney, J.S., Harrop, R., Atkins, M.S.

Volltext

M. D. Gladstone. On the number of variables in the axioms. Notre Dame journal of formal logic, vol. 11 (1970), pp. 1–15 von Harrop, Ronald

Volltext

David Makinson. A normal modal calculus between T and S4 without the finite model property. The journal of symbolic logic, vol. 34 (1969), pp. 35–38 von Harrop, Ronald

Volltext

W. E. Singletary. Results regarding the axiomatization of partial prepositional calculi. Notre Dame journal of formal logic, vol. 9 no. 3 (for 1968, pub. 1969), pp. 193–211 von Harrop, Ronald

Volltext

Eugen Mihăilescu. Sur les proprietés de l'implication par rapport à l'équivalence et la disjonction. Analele Universitătii Bucureşti, seria Acta logica , vol. 5 (1962), pp. 119–134... von Harrop, Ronald

Volltext

Review: M. D. Gladstone, On the Number of Variables in the Axioms von Harrop, Ronald

Volltext

Source distribution dependent scatter correction for PVI von Barney, J.S., Harrop, R., Dykstra, C.J.

Volltext

Review: W. E. Singletary, Results Regarding the Axiomatization of Partial Propositional Calculi von Harrop, Ronald

Volltext

Review: David Makinson, A Normal Modal Calculus Between T and S4 without the Finite Model Property von Harrop, Ronald

Volltext

Wilhelm Ackermann. Ein typenfreies System der Logik mit ausreichender mathematischer Anwendungsfähigkeit. Archiv für mathematische Logik und Grundlagenforschung, vol. 4 (1958), pp.... von Harrop, Ronald

Volltext

Wilhelm Ackermann. Grundgedanken einer typenfreien Logik. Essays on the foundations of mathematics, dedicated to A. A. Fraenkelon his seventieth anniversary, edited by Y. Bar-Hille... von Harrop, Ronald

Volltext

Review: Eugen Mihailescu, Sur les Proprietes de l'Implication par Rapport a l'Equivalence et la Disjonction von Harrop, Ronald

Volltext

A Relativization Procedure for Propositional Calculi, with an Application to a Generalized Form of Post's Theorem von Harrop, Ronald

Volltext