The object-calculus is an imperative and object-based programming language where every object comes equipped with its own method suite. Consequently, methods need to reside in the store (“higher-order store”) which complicates the semantics. Abadi and Leino defined a program logic for this language enriching object types by method specifications. We present a new soundness proof for their logic...

Lactonic sophorolipids were produced by the yeast Candida Bombicola ATTC 22214 (Torulopsis bombicola) in a 3L bioreactor using batch cultivation, with corn oil and glucose as carbon sources. The main compound of the lactonic mixture was separated from the mixture by column chromotography and was identified as 17 hydroxyoctadecanoic-1’,4’’-lactone 6’ 6’’ diacetate sophorolipid. Surface tension m...

The preceding DIN 6800-2 (1997) protocol has been revised by a German task group and its latest version was published in March 2008 as the national standard dosimetry protocol DIN 6800-2 (2008 March). Since then, in Germany the determination of absorbed dose to water for high-energy photon and electron beams has to be performed according to this new German dosimetry protocol. The IAEA Code of P...

The water quality in Biscayne Bay has been significantly affected by past and continuing coastal and watershed development. The nutrient concentrations in the Bay have been dramatically changed by the conversion of natural creeks and sheet flow freshwater inputs to rapid and episodic canal inputs from the large and rapidly expanding Miami metropolitan area. This study is an evaluation of nutrie...