A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets

We develop a polynomial translation from finite control pi-calculus processes to safe low-level Petri nets. To our knowledge, this is the first such translation. It is natural in that there is a close correspondence between the control flows, enjoys a bisimulation result, and is suitable for practical model checking.Comment: To appear in special issue on best papers of CONCUR'12 of Logical Methods in Computer Scienc

Collecting and using student feedback Date: A guide to good practice

The purpose of this Guide is to help higher education institutions make the best use of their student feedback. This guide is based on a HEFCE funded project undertaken by the Centre for Higher Education Research and Information (CHERI). The purpose of this Guide is to help higher education institutions make the best use of their student feedback. All institutions collect feedback from their students and in many different forms. They use it to improve the quality of the education they provide. In recent years, there has been a shift in the balance between informal and formal types of student feedback with a greater emphasis on the latter. Now, new devolved forms of national quality assurance promise to give an important role to students and there is also an expectation that information from student feedback will be used to inform the choices of students when applying to higher education. Thus, as the importance attached to student feedback increases, ensuring that feedback is collected effectively and used wisely becomes an increasing priority for higher education institutions. This Guide draws on the experiences of the sector to highlight some of the good practices that exist as well as some of the problems that institutions are experiencing in using student feedback. Its focus is upon the use of student feedback for the purpose of enhancing the quality of teaching and learning. Other purposes are acknowledged but are not the main emphasis of this publication

Calendar 2012

Background Fusarium species are among the most common fungi present in the environment and some species have emerged as major opportunistic fungal infection in human. However, in immunocompromised hosts they can be virulent pathogens and can cause death. The pathogenesis of this infection relies on three factors: colonization, tissue damage, and immunosuppression. A novel Fusarium species is reported for the first time from keratitis in an agriculture worker who acquired the infection from plant material of maize. Maize plants are the natural host of this fungus where it causes stalk rot and seeding malformation under temperate and humid climatic conditions. The clinical manifestation, microbiological morphology, physiological features and molecular data are described.MethodsDiagnosis was established by using polymerase chain reaction of fungal DNA followed by sequencing portions of translation elongation factor 1 alpha (TEF1 ¿) and beta-tubulin (BT2) genes. Susceptibility profiles of this fungus were evaluated using CLSI broth microdilution method.ResultsThe analyses of these two genes sequences support a novel opportunist with the designation Fusarium temperatum. Phylogenetic analyses showed that the reported clinical isolate was nested within the Fusarium fujikuroi species complex. Antifungal susceptibility testing demonstrated that the fungus had low MICs of micafungin (0.031 ¿g/ml), posaconazole (0.25 ¿g/ml) and amphotericin B (0.5 ¿g/ml).ConclusionThe present case extends the significance of the genus Fusarium as agents of keratitis and underscores the utility of molecular verification of these emerging fungi in the human host