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

Characterization of the Oral Fungal Microbiome (Mycobiome) in Healthy Individuals

The oral microbiome–organisms residing in the oral cavity and their collective genome–are critical components of health and disease. The fungal component of the oral microbiota has not been characterized. In this study, we used a novel multitag pyrosequencing approach to characterize fungi present in the oral cavity of 20 healthy individuals, using the pan-fungal internal transcribed spacer (ITS) primers. Our results revealed the “basal” oral mycobiome profile of the enrolled individuals, and showed that across all the samples studied, the oral cavity contained 74 culturable and 11 non-culturable fungal genera. Among these genera, 39 were present in only one person, 16 genera were present in two participants, and 5 genera were present in three people, while 15 genera (including non-culturable organisms) were present in ≥4 (20%) participants. Candida species were the most frequent (isolated from 75% of participants), followed by Cladosporium (65%), Aureobasidium, Saccharomycetales (50% for both), Aspergillus (35%), Fusarium (30%), and Cryptococcus (20%). Four of these predominant genera are known to be pathogenic in humans. The low-abundance genera may represent environmental fungi present in the oral cavity and could simply be spores inhaled from the air or material ingested with food. Among the culturable genera, 61 were represented by one species each, while 13 genera comprised between 2 and 6 different species; the total number of species identified were 101. The number of species in the oral cavity of each individual ranged between 9 and 23. Principal component (PCO) analysis of the obtained data set followed by sample clustering and UniFrac analysis revealed that White males and Asian males clustered differently from each other, whereas both Asian and White females clustered together. This is the first study that identified the “basal mycobiome” of healthy individuals, and provides the basis for a detailed characterization of the oral mycobiome in health and disease

Measurement of the Bottom-Strange Meson Mixing Phase in the Full CDF Data Set

We report a measurement of the bottom-strange meson mixing phase \beta_s using the time evolution of B0_s -> J/\psi (->\mu+\mu-) \phi (-> K+ K-) decays in which the quark-flavor content of the bottom-strange meson is identified at production. This measurement uses the full data set of proton-antiproton collisions at sqrt(s)= 1.96 TeV collected by the Collider Detector experiment at the Fermilab Tevatron, corresponding to 9.6 fb-1 of integrated luminosity. We report confidence regions in the two-dimensional space of \beta_s and the B0_s decay-width difference \Delta\Gamma_s, and measure \beta_s in [-\pi/2, -1.51] U [-0.06, 0.30] U [1.26, \pi/2] at the 68% confidence level, in agreement with the standard model expectation. Assuming the standard model value of \beta_s, we also determine \Delta\Gamma_s = 0.068 +- 0.026 (stat) +- 0.009 (syst) ps-1 and the mean B0_s lifetime, \tau_s = 1.528 +- 0.019 (stat) +- 0.009 (syst) ps, which are consistent and competitive with determinations by other experiments.Comment: 8 pages, 2 figures, Phys. Rev. Lett 109, 171802 (2012

RMDAP: A Versatile, Ready-To-Use Toolbox for Multigene Genetic Transformation

Background: The use of transgenes to improve complex traits in crops has challenged current genetic transformation technology for multigene transfer. Therefore, a multigene transformation strategy for use in plant molecular biology and plant genetic breeding is thus needed. Methodology/Principal Findings: Here we describe a versatile, ready-to-use multigene genetic transformation method, named the Recombination-assisted Multifunctional DNA Assembly Platform (RMDAP), which combines many of the useful features of existing plant transformation systems. This platform incorporates three widely-used recombination systems, namely, Gateway technology, in vivo Cre/loxP and recombineering into a highly efficient and reliable approach for gene assembly. RMDAP proposes a strategy for gene stacking and contains a wide range of flexible, modular vectors offering a series of functionally validated genetic elements to manipulate transgene overexpression or gene silencing involved in a metabolic pathway. In particular, the ability to construct a multigene marker-free vector is another attractive feature. The built-in flexibility of original vectors has greatly increased the expansibility and applicability of the system. A proof-ofprinciple experiment was confirmed by successfully transferring several heterologous genes into the plant genome. Conclusions/Significance: This platform is a ready-to-use toolbox for full exploitation of the potential for coordinate regulation of metabolic pathways and molecular breeding, and will eventually achieve the aim of what we call ‘‘one-sto

The Global Network COVID-19 studies: a review

With the paucity of data available regarding COVID-19 in pregnancy in low- and middle-income countries (LMICs), near the start of the pandemic, the Global Network for Women's and Children's Health Research, funded by the National Institute of Child Health and Human Development (NICHD), initiated four separate studies to better understand the impact of the COVID-19 pandemic in eight LMIC sites. These sites included: four in Asia, in Bangladesh, India (two sites) and Pakistan; three in Africa, in the Democratic Republic of the Congo (DRC), Kenya and Zambia; and one in Central America, in Guatemala. The first study evaluated changes in health service utilisation; the second study evaluated knowledge, attitudes and practices of pregnant women in relationship to COVID-19 in pregnancy; the third study evaluated knowledge, attitude and practices related to COVID-19 vaccination in pregnancy; and the fourth study, using antibody status at delivery, evaluated changes in antibody status over time in each of the sites and the relationship of antibody positivity with various pregnancy outcomes. Across the Global Network, in the first year of the study there was little reduction in health care utilisation and no apparent change in pregnancy outcomes. Knowledge related to COVID-19 was highly variable across the sites but was generally poor. Vaccination rates among pregnant women in the Global Network were very low, and were considerably lower than the vaccination rates reported for the countries as a whole. Knowledge regarding vaccines was generally poor and varied widely. Most women did not believe the vaccines were safe or effective, but slightly more than half would accept the vaccine if offered. Based on antibody positivity, the rates of COVID-19 infection increased substantially in each of the sites over the course of the pandemic. Most pregnancy outcomes were not worse in women who were infected with COVID-19 during their pregnancies. We interpret the absence of an increase in adverse outcomes in women infected with COVID-19 to the fact that in the populations studied, most COVID-19 infections were either asymptomatic or were relatively mild

Preclinical carotid atherosclerosis in patients with latent autoimmune diabetes in adults (LADA), type 2 diabetes and classical type 1 diabetes

This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The Creative Commons Public Domain Dedication waiver (http://creativecommons.org/publicdomain/zero/1.0/) applies to the data made available in this article, unless otherwise stated.This project was funded by Grants Nos. PI12/00183 and PI15/00625, both included in Plan Nacional de I + D + I, and co-financed by Instituto de Salud Carlos III, Subdireccion General de Evaluacion, Ministry of Economy and Competitiveness, and Fondo Europeo de Desarrollo Regional (FEDER). CIBER of Diabetes and Associated Metabolic Diseases (CIBERDEM) is an initiative from Instituto de Salud Carlos III, Spain

Emergence of rationally designed therapeutic strategies for breast cancer targeting DNA repair mechanisms

Accumulating evidence suggests that many cancers, including BRCA1- and BRCA2-associated breast cancers, are deficient in DNA repair processes. Both hereditary and sporadic breast cancers have been found to have significant downregulation of repair factors. This has provided opportunities to exploit DNA repair deficiencies, whether acquired or inherited. Here, we review efforts to exploit DNA repair deficiencies in tumors, with a focus on breast cancer. A variety of agents, including PARP (poly [ADP-ribose] polymerase) inhibitors, are currently under investigation in clinical trials and available results will be reviewed