Decomposability in formal conformance testing

We study the problem of deriving a specification for a third-party component, based on the specification of the system and the environment in which the component is supposed to reside. Particularly, we are interested in using component specifications for conformance testing of black-box components, using the theory of input-output conformance (ioco) testing. We propose and prove sufficient criteria for decompositionality, i.e., that components conforming to the derived specification will always compose to produce a correct system with respect to the system specification. We also study the criteria for strong decomposability, by which we can ensure that only those components conforming to the derived specification can lead to a correct system

Advances in guava propagation.

Made available in DSpace on 2017-12-08T23:23:40Z (GMT). No. of bitstreams: 1 AlexMayerRBFGUAVAPropagation2017Incluido.pdf: 1009537 bytes, checksum: 1c2de381bab63888d67dea6baf90f3d4 (MD5) Previous issue date: 2017-12-08bitstream/item/168504/1/Alex-Mayer-RBF-GUAVA-Propagation-2017-Incluido.pd

Treatment of advanced seminoma with cyclophosphamide, vincristine and carboplatin on an outpatient basis.

This study describes the efficacy and toxicity of a combination regimen consisting of cyclophosphamide, vincristine (oncovin) and carboplatin (COC) for advanced seminoma on an outpatient basis. Twenty-seven patients (mean age 43 years, range 28-63 years) were classified as stage IIC (n = 5), stage IID (n = 12), stage III (n = 9) or stage IV (n = 1). Six had been treated with prior radiotherapy; elevated beta-HCG and elevated LDH serum levels were observed in 15 and 25 patients respectively. Patients were treated with four cycles of 750 mg m-2 cyclophosphamide intravenously (i.v.), 1.4 mg m-2 vincristine i.v. (maximum 2 mg) and carboplatin adjusted to creatinine clearance. Cycles were given at 3 week intervals. The median dose of carboplatin administered was 400 mg m-2 (range 300-450 mg m-2). Six patients [22%; 95% confidence interval (CI), 6-38%] achieved a complete response (CR), 19 (70%; 95% CI, 51-88%) a partial response and two (8%; 95% CI, 0 18%) showed only a response in tumour markers but not a reduction of retroperitoneal mass (NR). Post-chemotherapeutic masses were not removed surgically or irradiated. After a median follow-up of 26 months (range 5-69 months), two patients have died, one from cardiac arrest 2 years after achieving CR, the other with relapsed seminoma 5 months after therapy. None of the other patients relapsed. Main toxicity was haematological, with 22 patients (81%) experiencing thrombocytopenia WHO grade III/IV and 27 (100%) leucocytopenia WHO grade III/IV, requiring dose reduction in five patients. Seven patients experienced granulocytopenic fever. Non-haematological toxicity was rare. Peripheral neuropathy grade I was observed in four patients and grade III in one. Haemorrhagic cystitis occurred once. In conclusion, despite considerable haematological toxicity, COC is feasible on an outpatient basis, even after prior radiotherapy, and is an effective regimen for advanced seminoma with only 1/27 treatment failures after a median follow-up of 26 months

Struggles over access to the Muslim public sphere: Multiple publics and discourses on agency, belonging and citizenship (Introduction to the Themed Section)

Abstract This introductory essay provides the context for the articles in this Themed Section. Despite the diversity in locations, historical backgrounds and contemporary processes of change, all contributors to this Themed Section focus on the struggle of Muslim groups over access to an emergent Muslim public sphere. They highlight the contestations of and shifts in the notions of agency, belonging, and citizenship in nation-states with Muslim communities within its borders. The introduction consists of two parts. The first part reviews the notion of the public sphere as conceptualized by Habermas and critiqued by scholars of a diversity of backgrounds. In relation to the concept of the Muslim public sphere, three aspects of critique are given closer c