The Effects Of COVID 19 On My Family And Business

Personal reflection submitted by Melody ML Norris during the COVID-19 Pandemic. The reflection was emailed directly to University Archivist Matthew Revitt

Optimizing Performance of Continuous-Time Stochastic Systems using Timeout Synthesis

We consider parametric version of fixed-delay continuous-time Markov chains (or equivalently deterministic and stochastic Petri nets, DSPN) where fixed-delay transitions are specified by parameters, rather than concrete values. Our goal is to synthesize values of these parameters that, for a given cost function, minimise expected total cost incurred before reaching a given set of target states. We show that under mild assumptions, optimal values of parameters can be effectively approximated using translation to a Markov decision process (MDP) whose actions correspond to discretized values of these parameters

Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms

Continuous-time Markov chains with alarms (ACTMCs) allow for alarm events that can be non-exponentially distributed. Within parametric ACTMCs, the parameters of alarm-event distributions are not given explicitly and can be subject of parameter synthesis. An algorithm solving the $\varepsilon$-optimal parameter synthesis problem for parametric ACTMCs with long-run average optimization objectives is presented. Our approach is based on reduction of the problem to finding long-run average optimal strategies in semi-Markov decision processes (semi-MDPs) and sufficient discretization of parameter (i.e., action) space. Since the set of actions in the discretized semi-MDP can be very large, a straightforward approach based on explicit action-space construction fails to solve even simple instances of the problem. The presented algorithm uses an enhanced policy iteration on symbolic representations of the action space. The soundness of the algorithm is established for parametric ACTMCs with alarm-event distributions satisfying four mild assumptions that are shown to hold for uniform, Dirac and Weibull distributions in particular, but are satisfied for many other distributions as well. An experimental implementation shows that the symbolic technique substantially improves the efficiency of the synthesis algorithm and allows to solve instances of realistic size.Comment: This article is a full version of a paper accepted to the Conference on Quantitative Evaluation of SysTems (QEST) 201

'It is like a tomato stall where someone can pick what he likes': structure and practices of female sex work in Kampala, Uganda.

BACKGROUND: Effective interventions among female sex workers require a thorough knowledge of the context of local sex industries. We explore the organisation of female sex work in a low socio-economic setting in Kampala, Uganda. METHODS: We conducted a qualitative study with 101 participants selected from an epidemiological cohort of 1027 women at high risk of HIV in Kampala. Repeat in-depth life history and work practice interviews were conducted from March 2010 to June 2011. Context specific factors of female sex workers' day-to-day lives were captured. Reported themes were identified and categorised inductively. RESULTS: Of the 101 women, 58 were active self-identified sex workers operating in different locations within the area of study and nine had quit sex work. This paper focuses on these 67 women who gave information about their involvement in sex work. The majority had not gone beyond primary level of education and all had at least one child. Thirty one voluntarily disclosed that they were HIV-positive. Common sex work locations were streets/roadsides, bars and night clubs. Typically sex occurred in lodges near bars/night clubs, dark alleyways or car parking lots. Overall, women experienced sex work-related challenges at their work locations but these were more apparent in outdoor settings. These settings exposed women to violence, visibility to police, a stigmatising public as well as competition for clients, while bars provided some protection from these challenges. Older sex workers tended to prefer bars while the younger ones were mostly based on the streets. Alcohol consumption was a feature in all locations and women said it gave them courage and helped them to withstand the night chill. Condom use was determined by clients' willingness, a woman's level of sobriety or price offered. CONCLUSIONS: Sex work operates across a variety of locations in the study area in Kampala, with each presenting different strategies and challenges for those operating there. Risky practices are present in all locations although they are higher on the streets compared to other locations. Location specific interventions are required to address the complex challenges in sex work environments

Hybridization in parasites: consequences for adaptive evolution, pathogenesis and public health in a changing world

[No abstract available

A Comprehensive Workflow for General-Purpose Neural Modeling with Highly Configurable Neuromorphic Hardware Systems

In this paper we present a methodological framework that meets novel requirements emerging from upcoming types of accelerated and highly configurable neuromorphic hardware systems. We describe in detail a device with 45 million programmable and dynamic synapses that is currently under development, and we sketch the conceptual challenges that arise from taking this platform into operation. More specifically, we aim at the establishment of this neuromorphic system as a flexible and neuroscientifically valuable modeling tool that can be used by non-hardware-experts. We consider various functional aspects to be crucial for this purpose, and we introduce a consistent workflow with detailed descriptions of all involved modules that implement the suggested steps: The integration of the hardware interface into the simulator-independent model description language PyNN; a fully automated translation between the PyNN domain and appropriate hardware configurations; an executable specification of the future neuromorphic system that can be seamlessly integrated into this biology-to-hardware mapping process as a test bench for all software layers and possible hardware design modifications; an evaluation scheme that deploys models from a dedicated benchmark library, compares the results generated by virtual or prototype hardware devices with reference software simulations and analyzes the differences. The integration of these components into one hardware-software workflow provides an ecosystem for ongoing preparative studies that support the hardware design process and represents the basis for the maturity of the model-to-hardware mapping software. The functionality and flexibility of the latter is proven with a variety of experimental results

Scientific Reasoning Competencies:A Case of Preservice Teacher Education

In this study, we analysed the scientific reasoning competencies of preservice science teachers from a Canadian sample at the beginning and end of a science teacher education methods course. The course contained standard topics, such as the nature of science, assessment, and unit and lesson planning in science. The preservice science teachers were asked to reason about two types of problems in a validated pre- and post-questionnaire: investigatory-process problems and problems regarding modeling. Statistical analysis of the data revealed that the course significantly contributed to the development of preservice science teachers’ competencies for those who had two previous degrees compared with those that did not. Furthermore, a greater proportion of teachers were deemed highly competent at planning investigations and testing models than the more generative dimensions of scientific reasoning, such as formulating questions and generating hypotheses. Implications for science teacher education internationally and the movement towards competency-based curricula are put forward.</p

Detection of Gamma-Ray Emission from the Starburst Galaxies M82 and NGC 253 with the Large Area Telescope on Fermi

We report the detection of high-energy gamma-ray emission from two starburst galaxies using data obtained with the Large Area Telescope on board the Fermi Gamma-ray Space Telescope. Steady point-like emission above 200 MeV has been detected at significance levels of 6.8 sigma and 4.8 sigma respectively, from sources positionally coincident with locations of the starburst galaxies M82 and NGC 253. The total fluxes of the sources are consistent with gamma-ray emission originating from the interaction of cosmic rays with local interstellar gas and radiation fields and constitute evidence for a link between massive star formation and gamma-ray emission in star-forming galaxies.Comment: Submitted to ApJ Letter

Fermi Gamma-ray Imaging of a Radio Galaxy

The Fermi Gamma-ray Space Telescope has detected the gamma-ray glow emanating from the giant radio lobes of the radio galaxy Centaurus A. The resolved gamma-ray image shows the lobes clearly separated from the central active source. In contrast to all other active galaxies detected so far in high-energy gamma-rays, the lobe flux constitutes a considerable portion (>1/2) of the total source emission. The gamma-ray emission from the lobes is interpreted as inverse Compton scattered relic radiation from the cosmic microwave background (CMB), with additional contribution at higher energies from the infrared-to-optical extragalactic background light (EBL). These measurements provide gamma-ray constraints on the magnetic field and particle energy content in radio galaxy lobes, and a promising method to probe the cosmic relic photon fields.Comment: 27 pages, includes Supplementary Online Material; corresponding authors: C.C. Cheung, Y. Fukazawa, J. Knodlseder, L. Stawar

A tudor domain protein SPINDLIN1 interacts with the mRNA-binding protein SERBP1 and is involved in mouse oocyte meiotic resumption

Mammalian oocytes are arrested at prophase I of meiosis, and resume meiosis prior to ovulation. Coordination of meiotic arrest and resumption is partly dependent on the post-transcriptional regulation of maternal transcripts. Here, we report that, SPINDLIN1 (SPIN1), a maternal protein containing Tudor-like domains, interacts with a known mRNA-binding protein SERBP1, and is involved in regulating maternal transcripts to control meiotic resumption. Mouse oocytes deficient for Spin1 undergo normal folliculogenesis, but are defective in resuming meiosis. SPIN1, via its Tudor-like domain, forms a ribonucleoprotein complex with SERBP1, and regulating mRNA stability and/or translation. The mRNA for the cAMP-degrading enzyme, PDE3A, is reduced in Spin1 mutant oocytes, possibly contributing to meiotic arrest. Our study demonstrates that Spin1 regulates maternal transcripts post-transcriptionally and is involved in meiotic resumption.Ting Gang Chew, Anne Peaston, Ai Khim Lim, Chanchao Lorthongpanich, Barbara B. Knowles, Davor Solte