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

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

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

'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

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

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

[No abstract available

Internet-based Self-Assessment after the Tsunami: lessons learned

BACKGROUND: In the aftermath of the Tsunami disaster in 2004, an online psychological self-assessment (ONSET) was developed and made available by the University of Zurich in order to provide an online screening instrument for Tsunami victims to test if they were traumatized and in need of mental health care. The objective of the study was to report the lessons learnt that were made using an Internet-based, self-screening instrument after a large-scale disaster and to discuss its outreach and usefulness. METHODS: Users of the online self-assessment decided after finishing the procedure whether their dataset could be used for quality control and scientific evaluation Their answers were stored anonymously only if they consented (which was the case in 88% of the sample), stratified analyses according to level of exposure were conducted. RESULTS: A total of 2,914 adult users gave their consent for analysis of the screenings. Almost three quarter of the sample filled out the ONSET questionnaire within the first four weeks. Forty-one percent of the users reported direct exposure to the Tsunami disaster. Users who were injured by the Tsunami and users who reported dead or injured family members showed the highest degree of PTSD symptoms. CONCLUSION: ONSET was used by a large number of subjects who thought to be affected by the catastrophe in order to help them decide if they needed to see a mental health professional. Furthermore, men more frequently accessed the instrument than women, indicating that Internet-based testing facilitates reaching out to a different group of people than "ordinary" public mental health strategies

LNCS

Discrete-time Markov Chains (MCs) and Markov Decision Processes (MDPs) are two standard formalisms in system analysis. Their main associated quantitative objectives are hitting probabilities, discounted sum, and mean payoff. Although there are many techniques for computing these objectives in general MCs/MDPs, they have not been thoroughly studied in terms of parameterized algorithms, particularly when treewidth is used as the parameter. This is in sharp contrast to qualitative objectives for MCs, MDPs and graph games, for which treewidth-based algorithms yield significant complexity improvements. In this work, we show that treewidth can also be used to obtain faster algorithms for the quantitative problems. For an MC with n states and m transitions, we show that each of the classical quantitative objectives can be computed in O((n+m)⋅t2) time, given a tree decomposition of the MC with width t. Our results also imply a bound of O(κ⋅(n+m)⋅t2) for each objective on MDPs, where κ is the number of strategy-iteration refinements required for the given input and objective. Finally, we make an experimental evaluation of our new algorithms on low-treewidth MCs and MDPs obtained from the DaCapo benchmark suite. Our experiments show that on low-treewidth MCs and MDPs, our algorithms outperform existing well-established methods by one or more orders of magnitude

Fine Mapping the Spatial Distribution and Concentration of Unlabeled Drugs within Tissue Micro-Compartments Using Imaging Mass Spectrometry

Readouts that define the physiological distributions of drugs in tissues are an unmet challenge and at best imprecise, but are needed in order to understand both the pharmacokinetic and pharmacodynamic properties associated with efficacy. Here we demonstrate that it is feasible to follow the in vivo transport of unlabeled drugs within specific organ and tissue compartments on a platform that applies MALDI imaging mass spectrometry to tissue sections characterized with high definition histology. We have tracked and quantified the distribution of an inhaled reference compound, tiotropium, within the lungs of dosed rats, using systematic point by point MS and MS/MS sampling at 200 µm intervals. By comparing drug ion distribution patterns in adjacent tissue sections, we observed that within 15 min following exposure, tiotropium parent MS ions (mass-to-charge; m/z 392.1) and fragmented daughter MS/MS ions (m/z 170.1 and 152.1) were dispersed in a concentration gradient (80 fmol-5 pmol) away from the central airways into the lung parenchyma and pleura. These drug levels agreed well with amounts detected in lung compartments by chemical extraction. Moreover, the simultaneous global definition of molecular ion signatures localized within 2-D tissue space provides accurate assignment of ion identities within histological landmarks, providing context to dynamic biological processes occurring at sites of drug presence. Our results highlight an important emerging technology allowing specific high resolution identification of unlabeled drugs at sites of in vivo uptake and retention