Towards the Formalization of Fractional Calculus in Higher-Order Logic

Fractional calculus is a generalization of classical theories of integration and differentiation to arbitrary order (i.e., real or complex numbers). In the last two decades, this new mathematical modeling approach has been widely used to analyze a wide class of physical systems in various fields of science and engineering. In this paper, we describe an ongoing project which aims at formalizing the basic theories of fractional calculus in the HOL Light theorem prover. Mainly, we present the motivation and application of such formalization efforts, a roadmap to achieve our goals, current status of the project and future milestones.Comment: 9 page

Midgut Barrier Imparts Selective Resistance to Filarial Worm Infection in Culex pipiens pipiens

Mosquitoes in the Culex pipiens complex thrive in temperate and tropical regions worldwide, and serve as efficient vectors of Bancroftian lymphatic filariasis (LF) caused by Wuchereria bancrofti in Asia, Africa, the West Indies, South America, and Micronesia. However, members of this mosquito complex do not act as natural vectors for Brugian LF caused by Brugia malayi, or for the cat parasite B. pahangi, despite their presence in South Asia where these parasites are endemic. Previous work with the Iowa strain of Culex pipiens pipiens demonstrates that it is equally susceptible to W. bancrofti as is the natural Cx. p. pipiens vector in the Nile Delta, however it is refractory to infection with Brugia spp. Here we report that the infectivity barrier for Brugia spp. in Cx. p. pipiens is the mosquito midgut, which inflicts internal and lethal damage to ingested microfilariae. Following per os Brugia exposures, the prevalence of infection is significantly lower in Cx. p. pipiens compared to susceptible mosquito controls, and differs between parasite species with <50% and <5% of Cx. p. pipiens becoming infected with B. pahangi and B. malayi, respectively. When Brugia spp. mf were inoculated intrathoracically to bypass the midgut, larvae developed equally well as in controls, indicating that, beyond the midgut, Cx. p. pipiens is physiologically compatible with Brugia spp. Mf isolated from Cx. p. pipiens midguts exhibited compromised motility, and unlike mf derived from blood or isolated from the midguts of Ae. aegypti, failed to develop when inoculated intrathoracically into susceptible mosquitoes. Together these data strongly support the role of the midgut as the primary infection barrier for Brugia spp. in Cx. p. pipiens. Examination of parasites recovered from the Cx. p. pipiens midgut by vital staining, and those exsheathed with papain, suggest that the damage inflicted by the midgut is subcuticular and disrupts internal tissues. Microscopic studies of these worms reveal compromised motility and sharp bends in the body; and ultrastructurally the presence of many fluid or carbohydrate-filled vacuoles in the hypodermis, body wall, and nuclear column. Incubation of Brugia mf with Cx. p. pipiens midgut extracts produces similar internal damage phenotypes; indicating that the Cx. p. pipiens midgut factor(s) that damage mf in vivo are soluble and stable in physiological buffer, and inflict damage on mf in vitro

Genomic Binding Profiling of the Fission Yeast Stress-Activated MAPK Sty1 and the bZIP Transcriptional Activator Atf1 in Response to H2O2

10.1371/journal.pone.0011620PLoS ONE57

Cure of Chronic Viral Infection and Virus-Induced Type 1 Diabetes by Neutralizing Antibodies

The use of neutralizing antibodies is one of the most successful methods to interfere with receptor–ligand interactions in vivo. In particular blockade of soluble inflammatory mediators or their corresponding cellular receptors was proven an effective way to regulate inflammation and/or prevent its negative consequences. However, one problem that comes along with an effective neutralization of inflammatory mediators is the general systemic immunomodulatory effect. It is, therefore, important to design a treatment regimen in a way to strike at the right place and at the right time in order to achieve maximal effects with minimal duration of immunosuppression or hyperactivation. In this review, we reflect on two examples of how short time administration of such neutralizing antibodies can block two distinct inflammatory consequences of viral infection. First, we review recent findings that blockade of IL-10/IL-10R interaction can resolve chronic viral infection and second, we reflect on how neutralization of the chemokine CXCL10 can abrogate virus-induced type 1 diabetes

Molecular mechanisms of cell death: recommendations of the Nomenclature Committee on Cell Death 2018.

Over the past decade, the Nomenclature Committee on Cell Death (NCCD) has formulated guidelines for the definition and interpretation of cell death from morphological, biochemical, and functional perspectives. Since the field continues to expand and novel mechanisms that orchestrate multiple cell death pathways are unveiled, we propose an updated classification of cell death subroutines focusing on mechanistic and essential (as opposed to correlative and dispensable) aspects of the process. As we provide molecularly oriented definitions of terms including intrinsic apoptosis, extrinsic apoptosis, mitochondrial permeability transition (MPT)-driven necrosis, necroptosis, ferroptosis, pyroptosis, parthanatos, entotic cell death, NETotic cell death, lysosome-dependent cell death, autophagy-dependent cell death, immunogenic cell death, cellular senescence, and mitotic catastrophe, we discuss the utility of neologisms that refer to highly specialized instances of these processes. The mission of the NCCD is to provide a widely accepted nomenclature on cell death in support of the continued development of the field

Are glucose levels, glucose variability and autonomic control influenced by inspiratory muscle exercise in patients with type 2 diabetes? Study protocol for a randomized controlled trial

BACKGROUND: Physical exercise reduces glucose levels and glucose variability in patients with type 2 diabetes. Acute inspiratory muscle exercise has been shown to reduce these parameters in a small group of patients with type 2 diabetes, but these results have yet to be confirmed in a well-designed study. The aim of this study is to investigate the effect of acute inspiratory muscle exercise on glucose levels, glucose variability, and cardiovascular autonomic function in patients with type 2 diabetes. METHODS/DESIGN: This study will use a randomized clinical trial crossover design. A total of 14 subjects will be recruited and randomly allocated to two groups to perform acute inspiratory muscle loading at 2 % of maximal inspiratory pressure (PImax, placebo load) or 60 % of PImax (experimental load). DISCUSSION: Inspiratory muscle training could be a novel exercise modality to be used to decrease glucose levels and glucose variability. TRIAL REGISTRATION: ClinicalTrials.gov NCT02292810