It is an open problem in static resource bound analysis to connect high-level resource bounds with the actual execution time and memory usage of compiled machine code. This paper proposes to use machine learning to derive a cost model for a high-level source language that approximates the execution cost of compiled programs on a specific hardware platform. The proposed technique starts by fixin...

Die Anzucht der Blaualge Anacystis nidulans erfolgte wie bereits beschrieben4. Die Messung der Photosynthese-Aktivität erfolgte in W a r b u r g Gefäßen in 0,1-m. Phosphatpuffer pn 8,0 und Algen mit einem Chlorophyllgehalt von 0,05 mg bei 30 ^C; die Alkyl-benzimidazole wurden in 0,1 ml Methanol zugegeben. Nach Äquilibrierung mit 8% COa/Luft wurde mit 45 000 Lux (Philips Attralux Lampen) belicht...

From the sedimentation and diffusion constant values obtained in a solution containing 1 g./ 100 ml. H substance, and using the determined value of the partial specific volume, the molecular weight was calculated from the usual equation (Svedberg & Pedersen, 1940) giving a value of 320 000. From the same data the frictional ratio f/fo obtained was 4-2. This corresponds to an axial ratio of > 10...

UK Biobank required a cryogenic facility to store, in vapour phase, a minimum of 5 000 000 1.2 ml capacity micro-tubes held in racks of 96 tubes below -180 degrees C for a 20 year period. The archive would be housed in a 900 m(2) industrial unit remote from the main laboratory area that would be generally unmanned and would require a complete cryogenic infrastructure. A commercial supplier was ...

Urine-grown cultures of 23 clinical isolates of Gram-negative bacteria having a range of minimum inhibitory concentration values for chorhexidine were challenged with various concentrations of this antiseptic. The results suggest that cells of Providencia stuartii, in particular, exhibit a considerable degree of resistance to chlorhexidine under these conditions, concentrations of up to 10 000-...