Proof-theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets

In the context of strategic games, we provide an axiomatic proof of the statement Common knowledge of rationality implies that the players will choose only strategies that survive the iterated elimination of strictly dominated strategies. Rationality here means playing only strategies one believes to be best responses. This involves looking at two formal languages. One is first-order, and is used to formalise optimality conditions, like avoiding strictly dominated strategies, or playing a best response. The other is a modal fixpoint language with expressions for optimality, rationality and belief. Fixpoints are used to form expressions for common belief and for iterated elimination of non-optimal strategies.Comment: 16 pages, Proc. 11th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XI). To appea

Progression to traditional cigarette smoking after electronic cigarette use among us adolescents and young adults

IMPORTANCE Electronic cigarettes (e-cigarettes)may help smokers reduce the use of traditional combustible cigarettes. However, adolescents and young adults who have never smoked traditional cigarettes are now using e-cigarettes, and these individuals may be at risk for subsequent progression to traditional cigarette smoking. OBJECTIVE To determine whether baseline use of e-cigarettes among nonsmoking and nonsusceptible adolescents and young adults is associated with subsequent progression along an established trajectory to traditional cigarette smoking. DESIGN, SETTING, AND PARTICIPANTS In this longitudinal cohort study, a national US sample of 694 participants aged 16 to 26 years who were never cigarette smokers and were attitudinally nonsusceptible to smoking cigarettes completed baseline surveys from October 1, 2012, to May 1, 2014, regarding smoking in 2012-2013. They were reassessed 1 year later. Analysis was conducted from July 1, 2014, to March 1, 2015. Multinomial logistic regression was used to assess the independent association between baseline e-cigarette use and cigarette smoking, controlling for sex, age, race/ethnicity, maternal educational level, sensation-seeking tendency, parental cigarette smoking, and cigarette smoking among friends. Sensitivity analyses were performed, with varying approaches to missing data and recanting. EXPOSURES Use of e-cigarettes at baseline. MAIN OUTCOMES AND MEASURES Progression to cigarette smoking, defined using 3 specific states along a trajectory: nonsusceptible nonsmokers, susceptible nonsmokers, and smokers. Individuals who could not rule out smoking in the future were defined as susceptible. RESULTS Among the 694 respondents, 374 (53.9%) were female and 531 (76.5%) were non-Hispanic white. At baseline, 16 participants (2.3%) used e-cigarettes. Over the 1-year follow-up, 11 of 16 e-cigarette users and 128 of 678 of those who had not used e-cigarettes (18.9%) progressed toward cigarette smoking. In the primary fully adjusted models, baseline e-cigarette use was independently associated with progression to smoking (adjusted odds ratio [AOR], 8.3; 95%CI, 1.2-58.6) and to susceptibility among nonsmokers (AOR, 8.5; 95% CI, 1.3-57.2). Sensitivity analyses showed consistent results in the level of significance and slightly larger magnitude of AORs. CONCLUSIONS AND RELEVANCE In this national sample of US adolescents and young adults, use of e-cigarettes at baseline was associated with progression to traditional cigarette smoking. These findings support regulations to limit sales and decrease the appeal of e-cigarettes to adolescents and young adults

Nonlinear Differential Equations Satisfied by Certain Classical Modular Forms

A unified treatment is given of low-weight modular forms on \Gamma_0(N), N=2,3,4, that have Eisenstein series representations. For each N, certain weight-1 forms are shown to satisfy a coupled system of nonlinear differential equations, which yields a single nonlinear third-order equation, called a generalized Chazy equation. As byproducts, a table of divisor function and theta identities is generated by means of q-expansions, and a transformation law under \Gamma_0(4) for the second complete elliptic integral is derived. More generally, it is shown how Picard-Fuchs equations of triangle subgroups of PSL(2,R) which are hypergeometric equations, yield systems of nonlinear equations for weight-1 forms, and generalized Chazy equations. Each triangle group commensurable with \Gamma(1) is treated.Comment: 40 pages, final version, accepted by Manuscripta Mathematic

Validation of a model to predict adverse outcomes in patients with pulmonary embolism.

AIMS: To validate a model for quantifying the prognosis of patients with pulmonary embolism (PE). The model was previously derived from 10 534 US patients. METHODS AND RESULTS: We validated the model in 367 patients prospectively diagnosed with PE at 117 European emergency departments. We used baseline data for the model's 11 prognostic variables to stratify patients into five risk classes (I-V). We compared 90-day mortality within each risk class and the area under the receiver operating characteristic curve between the validation and the original derivation samples. We also assessed the rate of recurrent venous thrombo-embolism and major bleeding within each risk class. Mortality was 0% in Risk Class I, 1.0% in Class II, 3.1% in Class III, 10.4% in Class IV, and 24.4% in Class V and did not differ between the validation and the original derivation samples. The area under the curve was larger in the validation sample (0.87 vs. 0.78, P=0.01). No patients in Classes I and II developed recurrent thrombo-embolism or major bleeding. CONCLUSION: The model accurately stratifies patients with PE into categories of increasing risk of mortality and other relevant complications. Patients in Risk Classes I and II are at low risk of adverse outcomes and are potential candidates for outpatient treatment

GDNF-expressing macrophages restore motor functions at a severe late-stage, and produce long-term neuroprotective effects at an early-stage of Parkinson's disease in transgenic Parkin Q311X(A) mice

There is an unmet medical need in the area of Parkinson's disease (PD) to develop novel therapeutic approaches that can stop and reverse the underlying mechanisms responsible for the neuronal death. We previously demonstrated that systemically administered autologous macrophages transfected ex vivo to produce glial cell line-derived neurotrophic factor (GDNF) readily migrate to the mouse brain with acute toxin-induced neuroinflammation and ameliorate neurodegeneration in PD mouse models. We hypothesized that the high level of cytokines due to inflammatory process attracted GDNF-expressing macrophages and ensured targeted drug delivery to the PD brain. Herein, we validated a therapeutic potential of GDNF-transfected macrophages in a transgenic Parkin Q311X(A) mice with slow progression and mild brain inflammation. Systemic administration of GDNF-macrophages at a severe late stage of the disease leaded to a near complete restoration of motor functions in Parkin Q311X(A) mice and improved brain tissue integrity with healthy neuronal morphology. Furthermore, intravenous injections of GDNF-macrophages at an early stage of disease resulted in potent sustained therapeutic effects in PD mice for more than a year after the treatment. Importantly, multiple lines of evidence for therapeutic efficacy were observed including: diminished neuroinflammation and α-synuclein aggregation, increased survival of dopaminergic neurons, and improved locomotor functions. In summary, GDNF-transfected macrophages represent a promising therapeutic strategy for PD at both late- and early-stages of the disease

Energy and system size dependence of \phi meson production in Cu+Cu and Au+Au collisions

We study the beam-energy and system-size dependence of \phi meson production (using the hadronic decay mode \phi -- K+K-) by comparing the new results from Cu+Cu collisions and previously reported Au+Au collisions at \sqrt{s_NN} = 62.4 and 200 GeV measured in the STAR experiment at RHIC. Data presented are from mid-rapidity (|y|<0.5) for 0.4 < pT < 5 GeV/c. At a given beam energy, the transverse momentum distributions for \phi mesons are observed to be similar in yield and shape for Cu+Cu and Au+Au colliding systems with similar average numbers of participating nucleons. The \phi meson yields in nucleus-nucleus collisions, normalised by the average number of participating nucleons, are found to be enhanced relative to those from p+p collisions with a different trend compared to strange baryons. The enhancement for \phi mesons is observed to be higher at \sqrt{s_NN} = 200 GeV compared to 62.4 GeV. These observations for the produced \phi(s\bar{s}) mesons clearly suggest that, at these collision energies, the source of enhancement of strange hadrons is related to the formation of a dense partonic medium in high energy nucleus-nucleus collisions and cannot be alone due to canonical suppression of their production in smaller systems.Comment: 20 pages and 5 figure

Longitudinal double-spin asymmetry and cross section for inclusive neutral pion production at midrapidity in polarized proton collisions at sqrt(s) = 200 GeV

We report a measurement of the longitudinal double-spin asymmetry A_LL and the differential cross section for inclusive Pi0 production at midrapidity in polarized proton collisions at sqrt(s) = 200 GeV. The cross section was measured over a transverse momentum range of 1 < p_T < 17 GeV/c and found to be in good agreement with a next-to-leading order perturbative QCD calculation. The longitudinal double-spin asymmetry was measured in the range of 3.7 < p_T < 11 GeV/c and excludes a maximal positive gluon polarization in the proton. The mean transverse momentum fraction of Pi0's in their parent jets was found to be around 0.7 for electromagnetically triggered events.Comment: 6 pages, 3 figures, submitted to Phys. Rev. D (RC

Model-consistent estimation of the basic reproduction number from the incidence of an emerging infection

We investigate the merit of deriving an estimate of the basic reproduction number \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $$\mathcal{R}_0$$ \end{document} early in an outbreak of an (emerging) infection from estimates of the incidence and generation interval only. We compare such estimates of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $$\mathcal{R}_0$$ \end{document} with estimates incorporating additional model assumptions, and determine the circumstances under which the different estimates are consistent. We show that one has to be careful when using observed exponential growth rates to derive an estimate of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $$\mathcal{R}_0$$ \end{document} , and we quantify the discrepancies that arise

Longitudinal scaling property of the charge balance function in Au + Au collisions at 200 GeV

We present measurements of the charge balance function, from the charged particles, for diverse pseudorapidity and transverse momentum ranges in Au + Au collisions at 200 GeV using the STAR detector at RHIC. We observe that the balance function is boost-invariant within the pseudorapidity coverage [-1.3, 1.3]. The balance function properly scaled by the width of the observed pseudorapidity window does not depend on the position or size of the pseudorapidity window. This scaling property also holds for particles in different transverse momentum ranges. In addition, we find that the width of the balance function decreases monotonically with increasing transverse momentum for all centrality classes.Comment: 6 pages, 3 figure