Accelerated Model Checking of Parametric Markov Chains

Parametric Markov chains occur quite naturally in various applications: they can be used for a conservative analysis of probabilistic systems (no matter how the parameter is chosen, the system works to specification); they can be used to find optimal settings for a parameter; they can be used to visualise the influence of system parameters; and they can be used to make it easy to adjust the analysis for the case that parameters change. Unfortunately, these advancements come at a cost: parametric model checking is---or rather was---often slow. To make the analysis of parametric Markov models scale, we need three ingredients: clever algorithms, the right data structure, and good engineering. Clever algorithms are often the main (or sole) selling point; and we face the trouble that this paper focuses on -- the latter ingredients to efficient model checking. Consequently, our easiest claim to fame is in the speed-up we have often realised when comparing to the state of the art

The effect of feeding graded level of palm kernel meal diets on performance, Carcass quality and organ characteristics of pigs maintained in the humid tropics

No Abstract.Nigeria Agricultural Journal Vol. 38 2007: pp. 108-11

Disseminated Histoplasmosis in a 13-year-old girl: A case report

BACKGROUND: Disseminated histoplasmosis is a rare fungal infection and most documented cases are in immune-compromised individuals such as those with acquired immuno-deficiency syndrome. OBJECTIVE: To describe a case of disseminated histoplasmosis in an adolescent girl. METHOD: We report a case of disseminated histoplasmosis in a 13-year-old adolescent girl. She was admitted for 16 days because of neck masses of 3 years duration, generalized body swelling of 3 months and reduction in urinary output of 2 months. She tested negative for human immunodeficiency virus antibodies. RESULT: An autopsy was performed because a definitive diagnosis could not be made while the patient was still alive. The autopsy revealed central caseating areas in the lymph nodes and membranoproliferative glomerulonephritis. The periodic acid-Schiff staining technique for tissues showed viable yeast cells suggestive of histoplasmosis. Zeihl-Neelsen's staining for mycobacteria tuberculosis was negative. CONCLUSION: Undiagnosed case of disseminated histoplasmosis while the patient was alive is being reported in a 13-year-old girl. Disseminated histoplasmosis should be considered as a differential diagnosis of childhood chronic infections and malignancies as in Nigeria