Can online civic education induce democratic citizenship? Experimental evidence from a new democracy

How can democratic values and behavior be induced in new democracies? We designed and tested three original civic education interventions to answer this question, using Tunisia as a case study. Participants were recruited through Facebook and Instagram where they were randomly assigned to either one of three treatment groups or a placebo. Two treatments were derived from prospect theory, emphasizing the gains of a democratic system, or the losses of an autocratic system. A third treatment, derived from self-efficacy theory, provided practical information regarding participation in the upcoming 2019 elections. Our findings suggest that online civic education has a considerable effect on democratic citizenship, including a significant reduction in authoritarian nostalgia and increasing intended political behavior. We further find differences between the three treatments, with the loss and gain treatments having overall more consistent impact than self-efficacy, though the latter frame has notable effects on political efficacy and registration

Forward Analysis and Model Checking for Trace Bounded WSTS

We investigate a subclass of well-structured transition systems (WSTS), the bounded---in the sense of Ginsburg and Spanier (Trans. AMS 1964)---complete deterministic ones, which we claim provide an adequate basis for the study of forward analyses as developed by Finkel and Goubault-Larrecq (Logic. Meth. Comput. Sci. 2012). Indeed, we prove that, unlike other conditions considered previously for the termination of forward analysis, boundedness is decidable. Boundedness turns out to be a valuable restriction for WSTS verification, as we show that it further allows to decide all $\omega$-regular properties on the set of infinite traces of the system

A New Algebraization of the Lame Equation

We develop a new way of writing the Lame Hamiltonian in Lie-algebraic form. This yields, in a natural way, an explicit formula for both the Lame polynomials and the classical non-meromorphic Lame functions in terms of Chebyshev polynomials and of a certain family of weakly orthogonal polynomialsComment: Latex2e with AMS-LaTeX and cite packages; 32 page

Minimal size of a barchan dune

Barchans are dunes of high mobility which have a crescent shape and propagate under conditions of unidirectional wind. However, sand dunes only appear above a critical size, which scales with the saturation distance of the sand flux [P. Hersen, S. Douady, and B. Andreotti, Phys. Rev. Lett. {\bf{89,}} 264301 (2002); B. Andreotti, P. Claudin, and S. Douady, Eur. Phys. J. B {\bf{28,}} 321 (2002); G. Sauermann, K. Kroy, and H. J. Herrmann, Phys. Rev. E {\bf{64,}} 31305 (2001)]. It has been suggested by P. Hersen, S. Douady, and B. Andreotti, Phys. Rev. Lett. {\bf{89,}} 264301 (2002) that this flux fetch distance is itself constant. Indeed, this could not explain the proto size of barchan dunes, which often occur in coastal areas of high litoral drift, and the scale of dunes on Mars. In the present work, we show from three dimensional calculations of sand transport that the size and the shape of the minimal barchan dune depend on the wind friction speed and the sand flux on the area between dunes in a field. Our results explain the common appearance of barchans a few tens of centimeter high which are observed along coasts. Furthermore, we find that the rate at which grains enter saltation on Mars is one order of magnitude higher than on Earth, and is relevant to correctly obtain the minimal dune size on Mars.Comment: 11 pages, 10 figure

Solutions for the General, Confluent and Biconfluent Heun equations and their connection with Abel equations

In a recent paper, the canonical forms of a new multi-parameter class of Abel differential equations, so-called AIR, all of whose members can be mapped into Riccati equations, were shown to be related to the differential equations for the hypergeometric 2F1, 1F1 and 0F1 functions. In this paper, a connection between the AIR canonical forms and the Heun General (GHE), Confluent (CHE) and Biconfluent (BHE) equations is presented. This connection fixes the value of one of the Heun parameters, expresses another one in terms of those remaining, and provides closed form solutions in terms of pFq functions for the resulting GHE, CHE and BHE, respectively depending on four, three and two irreducible parameters. This connection also turns evident what is the relation between the Heun parameters such that the solutions admit Liouvillian form, and suggests a mechanism for relating linear equations with N and N-1 singularities through the canonical forms of a non-linear equation of one order less.Comment: Original version submitted to Journal of Physics A: 16 pages, related to math.GM/0002059 and math-ph/0402040. Revised version according to referee's comments: 23 pages. Sign corrected (June/17) in formula (79). Second revised version (July/25): 25 pages. See also http://lie.uwaterloo.ca/odetools.ht

Phase Transition in a Random Fragmentation Problem with Applications to Computer Science

We study a fragmentation problem where an initial object of size x is broken into m random pieces provided x>x_0 where x_0 is an atomic cut-off. Subsequently the fragmentation process continues for each of those daughter pieces whose sizes are bigger than x_0. The process stops when all the fragments have sizes smaller than x_0. We show that the fluctuation of the total number of splitting events, characterized by the variance, generically undergoes a nontrivial phase transition as one tunes the branching number m through a critical value m=m_c. For m<m_c, the fluctuations are Gaussian where as for m>m_c they are anomalously large and non-Gaussian. We apply this general result to analyze two different search algorithms in computer science.Comment: 5 pages RevTeX, 3 figures (.eps

Concurrent application of tretinoin (retinoic acid) partially protects against corticosteroid-induced epidermal atrophy

Cutaneous atrophy arising from prolonged use of potent topical corticosteroids has long been a concern. Thus, it would be advantageous to find an agent which protects against atrophy produced by corticosteroids but at the same time does not impair their anti-inflammatory effects. Recent work shows that topical all- trans retinoic acid (tretinoin) prevents skin atrophy in mice treated with topical corticosteroids, but such studies have not been performed in humans. We performed an 8-week clinical, histological and biochemical study to test the ability of tretinoin to enhance efficacy and inhibit atrophogenicity of topical corticosteroids, when used in the treatment of psoriasis. In each of 20 psoriasis patients, one plaque, and its perilesional skin, was treated once daily with betamethasone dipropionate and tretinoin 0 1 , and one plaque, and its perilesional skin, treated with once daily betamethasone dipropionate and tretinoin vehicle. There was no difference in the speed or degree of improvement in plaques treated with either the topical corticosteroid tretinoin combination or with corticosteroid alone. Light microscopy revealed a 19 reduction in epidermal thickness, in corticosteroid-treated perilesional skin, as compared with a slight (1 ) increase in corticosteroid tretinoin-treated perilesional areas (P 0.067). Western blot analysis showed a 55 reduction in procollagen I aminopropeptide in perilesional skin treated with corticosteroid alone, as compared with a 45 reduction in corticosteroid tretinoin-treated perilesional skin. These data indicate that the addition of tretinoin does not impair the efficacy of a topical corticosteroid, in the treatment of psoriasis, and partially ameliorates epidermal atrophy produced by the topical corticosteroid.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/75727/1/j.1365-2133.1996.d01-933.x.pd

Whole lifespan microscopic observation of budding yeast aging through a microfluidic dissection platform

Important insights into aging have been generated with the genetically tractable and short-lived budding yeast. However, it is still impossible today to continuously track cells by high-resolution microscopic imaging (e.g., fluorescent imaging) throughout their entire lifespan. Instead, the field still needs to rely on a 50-y-old laborious and time-consuming method to assess the lifespan of yeast cells and to isolate differentially aged cells for microscopic snapshots via manual dissection of daughter cells from the larger mother cell. Here, we are unique in achieving continuous and high-resolution microscopic imaging of the entire replicative lifespan of single yeast cells. Our microfluidic dissection platform features an optically prealigned single focal plane and an integrated array of soft elastomer-based micropads, used together to allow for trapping of mother cells, removal of daughter cells, monitoring gradual changes in aging, and unprecedented microscopic imaging of the whole aging process. Using the platform, we found remarkable age-associated changes in phenotypes (e.g., that cells can show strikingly differential cell and vacuole morphologies at the moment of their deaths), indicating substantial heterogeneity in cell aging and death. We envision the microfluidic dissection platform to become a major tool in aging research.

Cost effectiveness of nusinersen for patients with infantile-onset spinal muscular atrophy in US

Background Patients with infantile-onset spinal muscular atrophy (SMA), a rare, genetic neuromuscular disease, do not achieve key motor function milestones (e.g., sitting) and have short life expectancy in the absence of treatment. Nusinersen is a disease-modifying therapy for patients with SMA. Objective The aim of this study was to estimate the cost-effectiveness of nusinersen compared to best supportive care (BSC) in patients diagnosed with infantile-onset SMA in the US. Methods A de novo economic model was developed with the following health states: “permanent ventilation”, “not sitting”, “sitting”, “walking”, and “death”. Short-term data were sourced from the pivotal clinical trials and studies of nusinersen (ENDEAR and SHINE). Motor function milestones achieved at the end of follow-up in the clinical trials were assumed to be sustained until death. Mortality risks were based on survival modelling of relevant published Kaplan–Meier data. Costs, life years (LYs), and quality-adjusted life years (QALYs) were discounted at 3% per annum, and the analyses were performed from a US health care sector perspective. Scenario analyses and sensitivity analyses were conducted to assess the robustness of the results to key parameters. Results In our base-case analysis, nusinersen treatment achieves greater QALYs and more LYs (3.24 and 7.64, respectively) compared with BSC (0.46 QALYs and 2.40 LYs, respectively), resulting in an incremental cost per QALY gained of approximately $1,112,000 and an incremental cost per LY gained of$590,000 for nusinersen compared to BSC. The incremental cost effectiveness ratios did not fall below $990,000 per QALY gained in scenario and sensitivity analyses. Results were most sensitive to the length of survival, background health care costs, and utility in the “not sitting” and “sitting” health states. Conclusions The estimated incremental cost-effectiveness of nusinersen from a US health care sector perspective exceeded traditional cost-effectiveness thresholds. Cost-effectiveness was dependent on assumptions made regarding survival, costs, utilities, and whether the motor function milestones were sustained over lifetime. Given the relatively short-term effectiveness data available for the treatment, a registry to collect long-term data of infantile-onset SMA patients is recommended