1,494 research outputs found

    Tobacco control and sustainable development: shared challenges and future opportunities

    Get PDF
    INTRODUCTION – TOBACCO CONTROL AS A DEVELOPMENT PRIORITY In May 2017, just months before the end of her second term as Director-General of the World Health Organization (WHO), Margaret Chan spoke about championing the WHO’s mission to fight tobacco use as one of her proudest achievements in office. What was surprising was the justification that followed. Dr. Chan did not focus on the usual costs associated with smoking – the millions of premature deaths globally, the US$ 1.4 trillion wasted annually in healthcare expenditure and lost productivity, or the human suffering brought by the host of cancers, heart diseases, and respiratory diseases caused by tobacco use. Instead, she declared that ‘tobacco is a deadly threat to global development’, affecting ‘every country on every level and across many sectors – economic growth, health, education, poverty, and the environment’ [1]. The slogan ‘Tobacco – a threat to development’ became the theme of the 2017 World No Tobacco Day. This was not the first time that tobacco has been recognised by the public health community as posing a threat ‘to the cause of social and environmental justice’, rather than just being a matter of individual health [2]. In 2015, the magnitude of the tobacco epidemic was acknowledged in the 2030 Agenda for Sustainable Development [3]. The agenda, which encompasses 17 Sustainable Development Goals (SDGs), directly addresses the importance of tobacco control in SDG Target 3.a, calling for the strengthening of ‘the implementation of the World Health Organization Framework Convention on Tobacco Control [WHO FCTC] in all countries’. The FCTC, adopted in 2003, was the first legally binding multilateral international public health treaty. It covers the production, sale, distribution, advertisement, and taxation of tobacco, setting an evidence-based framework of minimum requirements for the signatory states in controlling tobacco products [4]. The FCTC – as of May 2019 – was legally binding in 181 ratifying countries. While in most high-income countries (HICs) the implementation of the FCTC has advanced markedly, in some low- and middle-income countries (LMICs) the progress has been much slower [5, 6]. This is particularly alarming given that in 2018 four out of five smokers (or 880 million out of 1.1 billion smokers) lived in LMICs [7]. Drawing on evidence and examples from LMICs, in this article we explore key synergies between the SDGs and tobacco control. We demonstrate that strengthening tobacco control is not only relevant for achieving SDG 3 (Good Health and Well-Being), but also for broader social, economic, and environmental dimensions of sustainable development encompassed in several other SDGs [8]. We also point to the agenda of the transnational tobacco companies (TTCs) as a fundamental obstacle to achieving the SDGs and, more widely, to continued public health progress. To conclude, we argue that in order to drive progress in sustainable development, especially given the interference of TTCs, international tobacco control networks need to be further strengthened in LMICs. These processes need to be accompanied by greater cross-disciplinary collaboration, especially between the fields of tobacco control and development studies

    Fibrational induction rules for initial algebras

    Get PDF
    This paper provides an induction rule that can be used to prove properties of data structures whose types are inductive, i.e., are carriers of initial algebras of functors. Our results are semantic in nature and are inspired by Hermida and Jacobs’ elegant algebraic formulation of induction for polynomial data types. Our contribution is to derive, under slightly different assumptions, an induction rule that is generic over all inductive types, polynomial or not. Our induction rule is generic over the kinds of properties to be proved as well: like Hermida and Jacobs, we work in a general fibrational setting and so can accommodate very general notions of properties on inductive types rather than just those of particular syntactic forms. We establish the correctness of our generic induction rule by reducing induction to iteration. We show how our rule can be instantiated to give induction rules for the data types of rose trees, finite hereditary sets, and hyperfunctions. The former lies outside the scope of Hermida and Jacobs’ work because it is not polynomial; as far as we are aware, no induction rules have been known to exist for the latter two in a general fibrational framework. Our instantiation for hyperfunctions underscores the value of working in the general fibrational setting since this data type cannot be interpreted as a set

    Chern numbers for two families of noncommutative Hopf fibrations

    Get PDF
    We consider noncommutative line bundles associated with the Hopf fibrations of SUq(2) over all Podles spheres and with a locally trivial Hopf fibration of S^3_{pq}. These bundles are given as finitely generated projective modules associated via 1-dimensional representations of U(1) with Galois-type extensions encoding the principal fibrations of SUq(2) and S^3_{pq}. We show that the Chern numbers of these modules coincide with the winding numbers of representations defining them.Comment: 6 page

    Driving forces and structural determinants of steric zipper peptide oligomer formation elucidated by atomistic simulations.

    Get PDF
    Understanding the structural and energetic requirements of non-fibrillar oligomer formation harbors the potential to decipher an important yet still elusive part of amyloidogenic peptide and protein aggregation. Low-molecular-weight oligomers are described to be transient and polymorphic intermediates in the nucleated self-assembly process to highly ordered amyloid fibers and were additionally found to exhibit a profound cytotoxicity. However, detailed structural information on the oligomeric species involved in the nucleation cannot be readily inferred from experiments. Here, we study the spontaneous assembly of steric zipper peptides from the tau protein, insulin and α-synuclein with atomistic molecular dynamics simulations on the microsecond timescale. Detailed analysis of the forces driving the oligomerization reveals a common two-step process akin to a general condensation-ordering mechanism and thus provides a rational understanding of the molecular basis of peptide self-assembly. Our results suggest that the initial formation of partially ordered peptide oligomers is governed by the solvation free energy, whereas the dynamical ordering and emergence of β-sheets are mainly driven by optimized inter-peptide interactions in the collapsed state. A novel mapping technique based on collective coordinates is employed to highlight similarities and differences in the conformational ensemble of small oligomer structures. Elucidating the dynamical and polymorphic β-sheet oligomer conformations at atomistic detail furthermore suggests complementary sheet packing characteristics similar to steric zipper structures, but with a larger heterogeneity in the strand alignment pattern and sheet-to-sheet arrangements compared to the cross-β motif found in the fibrillar or crystalline states

    TrueTales: Ein neues Instrument zur Erhebung von Längsschnittdaten

    No full text
    Pape, Simone (Contributors #43

    Towards a better representation of the solar cycle in general circulation models

    Get PDF
    We introduce the improved Freie Universität Berlin (FUB) high-resolution radiation scheme FUBRad and compare it to the 4-band standard ECHAM5 SW radiation scheme of Fouquart and Bonnel (FB). Both schemes are validated against the detailed radiative transfer model libRadtran. FUBRad produces realistic heating rate variations during the solar cycle. The SW heating rate response with the FB scheme is about 20 times smaller than with FUBRad and cannot produce the observed temperature signal. A reduction of the spectral resolution to 6 bands for solar irradiance and ozone absorption cross sections leads to a degradation (reduction) of the solar SW heating rate signal by about 20%. The simulated temperature response agrees qualitatively well with observations in the summer upper stratosphere and mesosphere where irradiance variations dominate the signal. Comparison of the total short-wave heating rates under solar minimum conditions shows good agreement between FUBRad, FB and libRadtran up to the middle mesosphere (60–70 km) indicating that both parameterizations are well suited for climate integrations that do not take solar variability into account. The FUBRad scheme has been implemented as a sub-submodel of the Modular Earth Submodel System (MESSy)

    Generic Fibrational Induction

    Full text link
    This paper provides an induction rule that can be used to prove properties of data structures whose types are inductive, i.e., are carriers of initial algebras of functors. Our results are semantic in nature and are inspired by Hermida and Jacobs' elegant algebraic formulation of induction for polynomial data types. Our contribution is to derive, under slightly different assumptions, a sound induction rule that is generic over all inductive types, polynomial or not. Our induction rule is generic over the kinds of properties to be proved as well: like Hermida and Jacobs, we work in a general fibrational setting and so can accommodate very general notions of properties on inductive types rather than just those of a particular syntactic form. We establish the soundness of our generic induction rule by reducing induction to iteration. We then show how our generic induction rule can be instantiated to give induction rules for the data types of rose trees, finite hereditary sets, and hyperfunctions. The first of these lies outside the scope of Hermida and Jacobs' work because it is not polynomial, and as far as we are aware, no induction rules have been known to exist for the second and third in a general fibrational framework. Our instantiation for hyperfunctions underscores the value of working in the general fibrational setting since this data type cannot be interpreted as a set.Comment: For Special Issue from CSL 201

    Approximation of conformal mappings using conformally equivalent triangular lattices

    Get PDF
    Consider discrete conformal maps defined on the basis of two conformally equivalent triangle meshes, that is edge lengths are related by scale factors associated to the vertices. Given a smooth conformal map ff, we show that it can be approximated by such discrete conformal maps fϵf^\epsilon. In particular, let TT be an infinite regular triangulation of the plane with congruent triangles and only acute angles (i.e.\ <π/2<\pi/2). We scale this tiling by ϵ>0\epsilon>0 and approximate a compact subset of the domain of ff with a portion of it. For ϵ\epsilon small enough we prove that there exists a conformally equivalent triangle mesh whose scale factors are given by logf\log|f'| on the boundary. Furthermore we show that the corresponding discrete conformal maps fϵf^\epsilon converge to ff uniformly in C1C^1 with error of order ϵ\epsilon.Comment: 14 pages, 3 figures; v2 typos corrected, revised introduction, some proofs extende
    corecore