flow during sleep and waking. J Appl Physiol 5: 620-625, 1973 15. Sakai F, Meyer JS, Karacan I, Yamaguchi F, Yamamoto M: Narcolepsy: Regional. cerebral blood flow during sleep and wakefulness. Neurology (Minneap) 29: 61-67, 1979 16. H^edt-Rassmussen K: Regional cerebral blood flow: The intraarterial injection method. Acta Neurol Scan 27: 39-41, 1967 17. Lassen NA, Ingvar DH: Radioisotopic asses...

We define a translation of Meyer and Ritchie’s Loop language into a subsystem of Gödel’s system T (with product types). Then we show that this translation actually provides a lock-step simulation if a call-byvalue strategy is assumed for system T. Some generalizations and possible applications are discussed.

Citation for published version: Stevenson, T, Latham, J, Bower, K, Choularton, T, Coe, H, Connolly, P, Cooper, G, Craft, T, Foster, J, Gadian, A, Galbraith, L, Iacovides, H, Johnston, D, Launder, B, Leslie, B, Meyer, J, Neukermans, A, Ormond, B, Parkes, B, Rasch, PJ, Rush, J, Salter, S, Wang, H, Wang, Q & Wood, R 2012, 'Marine Cloud Brightening' Philosophical Transactions A: Mathematical, Physi...

Improved detection of bacterial central nervous system infections 1 using a broad-range PCR assay 2 3 T. Meyer#, G. Franke, S.K.A. Polywka, M. Lütgehetmann, J. Gbadamosi, T. 4 Magnus, M. Aepfelbacher 5 6 7 Institute of Medical Microbiology, Virology and Hygiene, University Medical 8 Center Hamburg-Eppendorf (UKE), Hamburg, Germany, 9 Institute of Neurology, University Medical Center Hamburg-Epp...

It is shown that any nonnegative bounded supermartingale admits a Doob-Meyer decomposition as a difference of a martingale and an adapted increasing process upon appropriate choice of a reference probability measure which may be only finitely additive. Introduction. In [Armstrong, 1983] it is shown that every bounded finitely additive supermartingale is a decreasing process with respect to some...

Beale. D.. Ketterer. B., Carne, T., Meyer, D. & Taylor, J . B. (1982) Eur. J. Biochem. 126. 459 463 Beale. D.. Meyer, D., Taylor, J. B. & Ketterer. B. (1983) Eur. J. Biochem. 137. 125 129 Ding. G. J.-F.. Lu. A. Y. H. & Pickett, C. B. (1985) J. B i d . Chem. 260. 13268 13271 Jakoby. W. B. & Habig. W. H. (1980) in Enzymutic Basis qf DeroxiCU/ i (Jn (Jakoby. W. B., ed.), vol. 2. pp. 63--94, Academ...