This paper provides a definition of Round-trip Engineering (RE) and introduces RE-systems. Where previous definitions of RE are abstract in the sense that they treat views as black boxes this paper provides a more detailed definition in which views are transparent. Having transparent views enables us to reason about what happens to views during transformations. This will enable studies on the r...

imatinib is an orally administered tyrosine kinase inhibitor which inhibits the bcr-abl protein-tyrosine kinase with high selectivity. imatinib is rapidly absorbed from the gut, after oral intake and has an almost absolute bioavailability of 98%. the metabolism of imatinib is mediated by the cytochrome p450 (cyp) isoenzymes in the liver and gut wall. cgp74588 is a major active metabolite of ima...

We introduce a definition of a re-encryption mix-center, and a definition of security for such a mix-center. Then we prove that any semantically secure public key system, which allows re-encryption, can be used to construct a secure mix-center.

an affected limb, we propose that it would be wiser to define the condition strictly in terms of the symptoms that are evident. For example, in the case referred to by Chahine et al., the diagnosis would be ‘‘painful lower limb edema with evidence of hyperalgesia, cause unknown, CRPS-like.’’ At this stage, and in cases such as that referred to here, more cases should be accumulated and thorough...