Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order

We employ computer algebra algorithms to prove a collection of identities involving Bessel functions with half-integer orders and other special functions. These identities appear in the famous Handbook of Mathematical Functions, as well as in its successor, the DLMF, but their proofs were lost. We use generating functions and symbolic summation techniques to produce new proofs for them.Comment: Final version, some typos were corrected. 21 pages, uses svmult.cl

First-Digit Law in Nonextensive Statistics

Nonextensive statistics, characterized by a nonextensive parameter $q$, is a promising and practically useful generalization of the Boltzmann statistics to describe power-law behaviors from physical and social observations. We here explore the unevenness of the first digit distribution of nonextensive statistics analytically and numerically. We find that the first-digit distribution follows Benford's law and fluctuates slightly in a periodical manner with respect to the logarithm of the temperature. The fluctuation decreases when $q$ increases, and the result converges to Benford's law exactly as $q$ approaches 2. The relevant regularities between nonextensive statistics and Benford's law are also presented and discussed.Comment: 11 pages, 3 figures, published in Phys. Rev.

Catching up with Method and Process Practice: An Industry-Informed Baseline for Researchers

Software development methods are usually not applied by the book.companies are under pressure to continuously deploy software products that meet market needs and stakeholders\u27 requests. To implement efficient and effective development processes, companies utilize multiple frameworks, methods and practices, and combine these into hybrid methods. A common combination contains a rich management framework to organize and steer projects complemented with a number of smaller practices providing the development teams with tools to complete their tasks. In this paper, based on 732 data points collected through an international survey, we study the software development process use in practice. Our results show that 76.8% of the companies implement hybrid methods.company size as well as the strategy in devising and evolving hybrid methods affect the suitability of the chosen process to reach company or project goals. Our findings show that companies that combine planned improvement programs with process evolution can increase their process\u27 suitability by up to 5%

Quasisymmetric graphs and Zygmund functions

A quasisymmetric graph is a curve whose projection onto a line is a quasisymmetric map. We show that this class of curves is related to solutions of the reduced Beltrami equation and to a generalization of the Zygmund class $\Lambda_*$. This relation makes it possible to use the tools of harmonic analysis to construct nontrivial examples of quasisymmetric graphs and of quasiconformal maps.Comment: 21 pages, no figure

Asexuality: Classification and characterization

This is a post-print version of the article. The official published version can be obtaineed at the link below.The term “asexual” has been defined in many different ways and asexuality has received very little research attention. In a small qualitative study (N = 4), individuals who self-identified as asexual were interviewed to help formulate hypotheses for a larger study. The second larger study was an online survey drawn from a convenience sample designed to better characterize asexuality and to test predictors of asexual identity. A convenience sample of 1,146 individuals (N = 41 self-identified asexual) completed online questionnaires assessing sexual history, sexual inhibition and excitation, sexual desire, and an open-response questionnaire concerning asexual identity. Asexuals reported significantly less desire for sex with a partner, lower sexual arousability, and lower sexual excitation but did not differ consistently from non-asexuals in their sexual inhibition scores or their desire to masturbate. Content analyses supported the idea that low sexual desire is the primary feature predicting asexual identity

Scholars’ open debate paper on the World Health Organization ICD-11 gaming disorder proposal

Concerns about problematic gaming behaviors deserve our full attention. However, we claim that it is far from clear that these problems can or should be attributed to a new disorder. The empirical basis for a Gaming Disorder proposal, such as in the new ICD-11, suffers from fundamental issues. Our main concerns are the low quality of the research base, the fact that the current operationalization leans too heavily on substance use and gambling criteria, and the lack of consensus on symptomatology and assessment of problematic gaming. The act of formalizing this disorder, even as a proposal, has negative medical, scientific, public-health, societal, and human rights fallout that should be considered. Of particular concern are moral panics around the harm of video gaming. They might result in premature application of diagnosis in the medical community and the treatment of abundant false-positive cases, especially for children and adolescents. Second, research will be locked into a confirmatory approach, rather than an exploration of the boundaries of normal versus pathological. Third, the healthy majority of gamers will be affected negatively. We expect that the premature inclusion of Gaming Disorder as a diagnosis in ICD-11 will cause significant stigma to the millions of children who play video games as a part of a normal, healthy life. At this point, suggesting formal diagnoses and categories is premature: the ICD-11 proposal for Gaming Disorder should be removed to avoid a waste of public health resources as well as to avoid causing harm to healthy video gamers around the world

A weak scientific basis for gaming disorder: let us err on the side of caution

We greatly appreciate the care and thought that is evident in the 10 commentaries that discuss our debate paper, the majority of which argued in favor of a formalized ICD-11 gaming disorder. We agree that there are some people whose play of video games is related to life problems. We believe that understanding this population and the nature and severity of the problems they experience should be a focus area for future research. However, moving from research construct to formal disorder requires a much stronger evidence base than we currently have. The burden of evidence and the clinical utility should be extremely high, because there is a genuine risk of abuse of diagnoses. We provide suggestions about the level of evidence that might be required: transparent and preregistered studies, a better demarcation of the subject area that includes a rationale for focusing on gaming particularly versus a more general behavioral addictions concept, the exploration of non-addiction approaches, and the unbiased exploration of clinical approaches that treat potentially underlying issues, such as depressive mood or social anxiety first. We acknowledge there could be benefits to formalizing gaming disorder, many of which were highlighted by colleagues in their commentaries, but we think they do not yet outweigh the wider societal and public health risks involved. Given the gravity of diagnostic classification and its wider societal impact, we urge our colleagues at the WHO to err on the side of caution for now and postpone the formalization

CD8 positive T cells express IL-17 in patients with chronic obstructive pulmonary disease

<p>Abstract</p> <p>Background</p> <p>Chronic obstructive pulmonary disease (COPD) is a progressive and irreversible chronic inflammatory disease of the lung. The nature of the immune reaction in COPD raises the possibility that IL-17 and related cytokines may contribute to this disorder. This study analyzed the expression of IL-17A and IL-17F as well as the phenotype of cells producing them in bronchial biopsies from COPD patients.</p> <p>Methods</p> <p>Bronchoscopic biopsies of the airway were obtained from 16 COPD subjects (GOLD stage 1-4) and 15 control subjects. Paraffin sections were used for the investigation of IL-17A and IL-17F expression in the airways by immunohistochemistry, and frozen sections were used for the immunofluorescence double staining of IL-17A or IL-17F paired with CD4 or CD8. In order to confirm the expression of IL-17A and IL-17F at the mRNA level, a quantitative RT-PCR was performed on the total mRNA extracted from entire section or CD8 positive cells selected by laser capture microdissection.</p> <p>Results</p> <p>IL-17F immunoreactivity was significantly higher in the bronchial biopsies of COPD patients compared to control subjects (<it>P </it>< 0.0001). In the submucosa, the absolute number of both IL-17A and IL-17F positive cells was higher in COPD patients (<it>P </it>< 0.0001). After adjusting for the total number of cells in the submucosa, we still found that more cells were positive for both IL-17A (<it>P </it>< 0.0001) and IL-17F (<it>P </it>< 0.0001) in COPD patients compared to controls. The mRNA expression of IL-17A and IL-17F in airways of COPD patients was confirmed by RT-PCR. The expression of IL-17A and IL-17F was co-localized with not only CD4 but also CD8, which was further confirmed by RT-PCR on laser capture microdissection selected CD8 positive cells.</p> <p>Conclusion</p> <p>These findings support the notion that Th17 cytokines could play important roles in the pathogenesis of COPD, raising the possibility of using this mechanism as the basis for novel therapeutic approaches.</p

Differential Requirement for c-Jun N-terminal Kinase 1 in Lung Inflammation and Host Defense

The c-Jun N-terminal kinase (JNK) - 1 pathway has been implicated in the cellular response to stress in many tissues and models. JNK1 is known to play a role in a variety of signaling cascades, including those involved in lung disease pathogenesis. Recently, a role for JNK1 signaling in immune cell function has emerged. The goal of the present study was to determine the role of JNK1 in host defense against both bacterial and viral pneumonia, as well as the impact of JNK1 signaling on IL-17 mediated immunity. Wild type (WT) and JNK1 −/− mice were challenged with Escherichia coli, Staphylococcus aureus, or Influenza A. In addition, WT and JNK1 −/− mice and epithelial cells were stimulated with IL-17A. The impact of JNK1 deletion on pathogen clearance, inflammation, and histopathology was assessed. JNK1 was required for clearance of E. coli, inflammatory cell recruitment, and cytokine production. Interestingly, JNK1 deletion had only a small impact on the host response to S. aureus. JNK1 −/− mice had decreased Influenza A burden in viral pneumonia, yet displayed worsened morbidity. Finally, JNK1 was required for IL-17A mediated induction of inflammatory cytokines and antimicrobial peptides both in epithelial cells and the lung. These data identify JNK1 as an important signaling molecule in host defense and demonstrate a pathogen specific role in disease. Manipulation of the JNK1 pathway may represent a novel therapeutic target in pneumonia

SUSTAIN drilling at Surtsey volcano, Iceland, tracks hydrothermal and microbiological interactions in basalt 50 years after eruption

The 2017 Surtsey Underwater volcanic System for Thermophiles, Alteration processes and INnovative concretes (SUSTAIN) drilling project at Surtsey volcano, sponsored in part by the International Continental Scientific Drilling Program (ICDP), provides precise observations of the hydrothermal, geochemical, geomagnetic, and microbiological changes that have occurred in basaltic tephra and minor intrusions since explosive and effusive eruptions produced the oceanic island in 1963–1967. Two vertically cored boreholes, to 152 and 192 m below the surface, were drilled using filtered, UV-sterilized seawater circulating fluid to minimize microbial contamination. These cores parallel a 181 m core drilled in 1979. Introductory investigations indicate changes in material properties and whole-rock compositions over the past 38 years. A Surtsey subsurface observatory installed to 181 m in one vertical borehole holds incubation experiments that monitor in situ mineralogical and microbial alteration processes at 25–124 ∘C. A third cored borehole, inclined 55∘ in a 264∘ azimuthal direction to 354 m measured depth, provides further insights into eruption processes, including the presence of a diatreme that extends at least 100 m into the seafloor beneath the Surtur crater. The SUSTAIN project provides the first time-lapse drilling record into a very young oceanic basaltic volcano over a range of temperatures, 25–141 ∘C from 1979 to 2017, and subaerial and submarine hydrothermal fluid compositions. Rigorous procedures undertaken during the drilling operation protected the sensitive environment of the Surtsey Natural Preserve