284 research outputs found

    Ash plume properties retrieved from infrared images: a forward and inverse modeling approach

    Get PDF
    We present a coupled fluid-dynamic and electromagnetic model for volcanic ash plumes. In a forward approach, the model is able to simulate the plume dynamics from prescribed input flow conditions and generate the corresponding synthetic thermal infrared (TIR) image, allowing a comparison with field-based observations. An inversion procedure is then developed to retrieve ash plume properties from TIR images. The adopted fluid-dynamic model is based on a one-dimensional, stationary description of a self-similar (top-hat) turbulent plume, for which an asymptotic analytical solution is obtained. The electromagnetic emission/absorption model is based on the Schwarzschild's equation and on Mie's theory for disperse particles, assuming that particles are coarser than the radiation wavelength and neglecting scattering. In the inversion procedure, model parameters space is sampled to find the optimal set of input conditions which minimizes the difference between the experimental and the synthetic image. Two complementary methods are discussed: the first is based on a fully two-dimensional fit of the TIR image, while the second only inverts axial data. Due to the top-hat assumption (which overestimates density and temperature at the plume margins), the one-dimensional fit results to be more accurate. However, it cannot be used to estimate the average plume opening angle. Therefore, the entrainment coefficient can only be derived from the two-dimensional fit. Application of the inversion procedure to an ash plume at Santiaguito volcano (Guatemala) has allowed us to retrieve the main plume input parameters, namely the initial radius b0b_0, velocity U0U_0, temperature T0T_0, gas mass ratio n0n_0, entrainment coefficient kk and their related uncertainty. Moreover, coupling with the electromagnetic model, we have been able to obtain a reliable estimate of the equivalent Sauter diameter dsd_s of the total particle size distribution. The presented method is general and, in principle, can be applied to the spatial distribution of particle concentration and temperature obtained by any fluid-dynamic model, either integral or multidimensional, stationary or time-dependent, single or multiphase. The method discussed here is fast and robust, thus indicating potential for applications to real-time estimation of ash mass flux and particle size distribution, which is crucial for model-based forecasts of the volcanic ash dispersal process

    New development: Directly elected mayors in Italy: creating a strong leader doesn’t mean creating strong leadership

    Get PDF
    More than 20 years after their introduction, directly elected mayors are key players in Italian urban governance. This article explains the main effects of this reform on local government systems and provides lessons for other countries considering directly elected mayors

    A Short Counterexample Property for Safety and Liveness Verification of Fault-tolerant Distributed Algorithms

    Full text link
    Distributed algorithms have many mission-critical applications ranging from embedded systems and replicated databases to cloud computing. Due to asynchronous communication, process faults, or network failures, these algorithms are difficult to design and verify. Many algorithms achieve fault tolerance by using threshold guards that, for instance, ensure that a process waits until it has received an acknowledgment from a majority of its peers. Consequently, domain-specific languages for fault-tolerant distributed systems offer language support for threshold guards. We introduce an automated method for model checking of safety and liveness of threshold-guarded distributed algorithms in systems where the number of processes and the fraction of faulty processes are parameters. Our method is based on a short counterexample property: if a distributed algorithm violates a temporal specification (in a fragment of LTL), then there is a counterexample whose length is bounded and independent of the parameters. We prove this property by (i) characterizing executions depending on the structure of the temporal formula, and (ii) using commutativity of transitions to accelerate and shorten executions. We extended the ByMC toolset (Byzantine Model Checker) with our technique, and verified liveness and safety of 10 prominent fault-tolerant distributed algorithms, most of which were out of reach for existing techniques.Comment: 16 pages, 11 pages appendi

    HIV prevalence, testing and treatment among men who have sex with men through engagement in virtual sexual networks in Kenya: a cross-sectional bio-behavioural study

    Get PDF
    INTRODUCTION: In Kenya, men who have sex with men (MSM) are increasingly using virtual sites, including web-based apps, to meet sex partners. We examined HIV testing, HIV prevalence, awareness of HIV-positive status and linkage to antiretroviral therapy (ART), for HIV-positive MSM who solely met partners via physical sites (PMSM), compared with those who did so in virtual sites (either solely via virtual sites (VMSM), or via both virtual and physical sites (DMSM)). METHODS: We conducted a cross-sectional bio-behavioural survey of 1200 MSM, 15 years and above, in three counties in Kenya between May and July 2019, using random sampling of physical and virtual sites. We classified participants as PMSM, DMSM and VMSM, based on where they met sex partners, and compared the following between groups using chi-square tests: (i) proportion tested; (ii) HIV prevalence and (iii) HIV care continuum among MSM living with HIV. We then performed multivariable logistic regression to measure independent associations between network engagement and HIV status. RESULTS: 177 (14.7%), 768 (64.0%) and 255 (21.2%), of participants were classified as PMSM, DMSM and VMSM respectively. 68.4%, 70.4% and 78.5% of PMSM, DMSM and VMSM, respectively, reported an HIV test in the previous six months. HIV prevalence was 8.5% (PMSM), 15.4% (DMSM) and 26.7% (VMSM), p < 0.001. Among those living with HIV, 46.7% (PMSM), 41.5% (DMSM) and 29.4% (VMSM) were diagnosed and aware of their status; and 40.0%, 35.6% and 26.5% were on antiretroviral treatment. After adjustment for other predictors, MSM engaged in virtual networks remained at a two to threefold higher risk of prevalent HIV: VMSM versus PMSM (adjusted odds ratio 3.88 (95% confidence interval (CI) 1.84 to 8.17) p < 0.001); DMSM versus PMSM (2.00 (95% CI 1.03 to 3.87), p = 0.040). CONCLUSIONS: Engagement in virtual networks is associated with elevated HIV risk, irrespective of individual-level risk factors. Understanding the difference in characteristics among MSM-seeking partners in different sites will help HIV programmes to develop subpopulation-specific interventions

    Assessing awareness and use of HIV self-testing kits after the introduction of a community-based HIV self-testing programme among men who have sex with men in Kenya

    Get PDF
    Men who have sex with men (MSM) bear a disproportionate burden of new HIV infections in Kenya, while experiencing discrimination, leading to suboptimal levels of HIV care. HIV self-testing (HIVST) is a tool to increase HIV screening and earlier diagnosis; however, questions remain regarding how best to scale-up HIVST to MSM in Kenya. The main objective of this study was to examine changes in knowledge and use of HIVST after implementation of a community-led HIVST project. Participants were MSM recruited from Kisumu, Mombasa, and Kiambu counties. Data were collected from two rounds (Round 1: 2019; Round 2: 2020) of serial cross-sectional integrated biological and behavioural assessments (IBBA), pre-, and post-project implementation. Two main outcomes were measured: 1) whether the respondent had ever heard of HIVST; and 2) whether they had ever used HIVST kits. Changes in outcomes between IBBA rounds were examined using modified multivariable Poisson regression models; adjusted prevalence ratios (aPR) and 95% confidence intervals (95% CI) are reported. A total of 2,328 respondents were included in main analyses. The proportion of respondents who had heard of HIVST increased from 75% in Round 1 to 94% in Round 2 (aPR: 1.2, 95% CI: 1.2-1.3), while those reporting using an HIVST kit increased from 20% to 53% (aPR: 2.3, 95% CI: 2.0-2.6). Higher levels of education and HIV programme awareness were associated with both outcomes. Awareness and use of HIVST kits increased after implementation of a community-led HIVST implementation project, demonstrating the importance of integration with existing community groups

    Drug holidays and overall survival of patients with metastatic colorectal cancer

    Get PDF
    Different de-escalation strategies have been proposed to limit the risk of cumulative toxicity and guarantee quality of life during the treatment trajectory of patients with metastatic colorectal cancer (mCRC). Programmed treatment interruptions, defined as drug holidays (DHs), have been implemented in clinical practice. We evaluated the association between DHs and overall survival (OS). This was a retrospective study, conducted at the University Hospital of Udine and the IRCCS CRO of Aviano. We retrieved records of 608 consecutive patients treated for mCRC from 1 January 2005 to 15 March 2017 and evaluated the impact of different de-escalation strategies (maintenance, DHs, or both) on OS through uni-and multivariate Cox regression analyses. We also looked at attrition rates across treatment lines according to the chosen strategy. In our study, 19.24% of patients received maintenance therapy, 16.12% DHs, and 9.87% both, while 32.07% continued full-intensity first-line treatment up to progression or death. In uni-and multivariate analyses first-line continuous treatment and early discontinuation (treatment for less than 3 months) were associated to worse OS compared to non-continuous strategies (HR, 1.68; 95% CI, 1.22\u20132.32; p = 0.002 and HR,4.89; 95% CI, 3.33\u20137.19; p < 0.001, respectively). Attrition rates were 22.8%, 20.61%, and 19.64% for maintenance, DHs, or both, respectively. For continuous therapy and for treatment of less than 3 months it was 21.57% and 49%. De-escalation strategies are safe and effective options. DHs after initial induction chemotherapy may be considered in clinically selected patients with metastatic colorectal cancer

    Researching COVID-19: A Research Agenda for Public Policy and Administration Scholars

    Get PDF
    Coronavirus (COVID-19) is one of the defining policy challenges of an era. In this article we sketch some possible ways in which the public policy and administration (PPA) scholarly community can make an enduring contribution about how to cope with this terrible crisis. We do so by offering some elements that to delineate a tentative research agenda for PPA scholars, to be pursued with epistemic humility. We outline the contours of seven analytical themes that are central to the challenges presented by COVID-19: policy design and instruments; policy learning; public service and its publics; organisational capacity; public governance; administrative traditions; and public sector reforms in multi-level governance (MLG). The list is neither exhaustive nor exclusive to COVID-19 only. The knowledge the PPA scholarly community can generate must speak not only to the daunting challenge of COVID-19 itself but also to policymakers, and indeed humankind, trying to cope with future unexpected but high impact threats (‘black swans’), by leveraging better public policies and building administrative capacities to enable more resilient, equitable and effective public services

    Studies of pigeonpea insect pests and their management in Kenya, Malawi, Tanzania and Uganda

    Get PDF
    Systematic surveys were conducted in farmers= fields in Kenya, Malawi, Tanzania, and Uganda to determine the incidence, distribution and damage levels due to insect pests of pigeonpea seeds. Three surveys were conducted in eastern Kenya, one in 1992 and two in 1995. Two surveys, one per country per year - were conducted in Malawi, Tanzania, and Uganda in 1995 and 1996. Key insect pests were pod sucking bugs (dominated by Clavigralla tomentosicollis Stal), pod and seed boring Lepidoptera (Helicoverpa armigera Hübner, Maruca vitrata (= testulalis) Geyer, Etiella zinkenella Treitschke), and pod fly (Melanagromyza chalcosoma Spencer). Seed damage due to insect pests were 22, 15, 14, and 16% in Kenya, Malawi, Tanzania, and Uganda, respectively. Damage levels indicated that pod sucking bugs were more damaging in Malawi (caused 69% of total seed damage) and Kenya (43%), while pod borers caused more damage in Tanzania (50%) and Uganda (54%). Pod fly caused more damage in Kenya than in the other countries. Pod borer damage was high in early maturing crops and pod fly in late maturing crops, while pod sucking bugs damage was high regardless of crop maturity period. Greater variations in seed damage were observed between locations in Kenya, Malawi, and Tanzania than in Uganda. Warm and dry locations had less seed damage than warm and humid, cool and dry, or cool and humid locations in Kenya, Malawi and Tanzania. None of the farmers visited in Malawi, Tanzania, and Uganda used conventional pesticides on pigeonpea in the field. Over 80% of these farmers used traditional methods in storage pest management. In contrast, 35 and 53% of farmers in Kenya had used conventional pesticides on long-duration pigeonpea genotypes in their fields
    • …
    corecore