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

Interphase Nucleo-Cytoplasmic Shuttling and Localization of SIRT2 during Mitosis

The human NAD+-dependent protein deacetylase SIRT2 resides predominantly in the cytoplasm where it functions as a tubulin deacetylase. Here we report that SIRT2 maintains a largely cytoplasmic localization during interphase by active nuclear export in a Crm1-dependent manner. We identified a functional, leptomycin B-sensitive, nuclear export signal sequence within SIRT2. During the cell cycle, SIRT2 becomes enriched in the nucleus and is associated with mitotic structures, beginning with the centrosome during prophase, the mitotic spindle during metaphase, and the midbody during cytokinesis. Cells overexpressing wild-type or a catalytically inactive SIRT2 exhibit an increase in multinucleated cells. The findings suggest a novel mechanism of regulating SIRT2 function by nucleo-cytoplasmic shuttling, as well as a role for SIRT2 in the nucleus during interphase and throughout mitosis

Investigating Tissue Optical Properties and Texture Descriptors of the Retina in Patients with Multiple Sclerosis

PURPOSE: To assess the differences in texture descriptors and optical properties of retinal tissue layers in patients with multiple sclerosis (MS) and to evaluate their usefulness in the detection of neurodegenerative changes using optical coherence tomography (OCT) image segmentation. PATIENTS AND METHODS: 38 patients with MS were examined using Stratus OCT. The raw macular OCT data were exported and processed using OCTRIMA software. The enrolled eyes were divided into two groups, based on the presence of optic neuritis (ON) in the history (MSON+ group, n = 36 and MSON- group, n = 31). Data of 29 eyes of 24 healthy subjects (H) were used as controls. A total of seven intraretinal layers were segmented and thickness as well as optical parameters such as contrast, fractal dimension, layer index and total reflectance were measured. Mixed-model ANOVA analysis was used for statistical comparisons. RESULTS: Significant thinning of the retinal nerve fiber layer (RNFL), ganglion cell/inner plexiform layer complex (GCL+IPL) and ganglion cell complex (GCC, RNFL+GCL+IPL) was observed between study groups in all comparisons. Significant difference was found in contrast in the RNFL, GCL+IPL, GCC, inner nuclear layer (INL) and outer plexiform layer when comparing MSON+ to the other groups. Higher fractal dimension values were observed in GCL+IPL and INL layers when comparing H vs. MSON+ groups. A significant difference was found in layer index in the RNFL, GCL+IPL and GCC layers in all comparisons. A significant difference was observed in total reflectance in the RNFL, GCL+IPL and GCC layers between the three examination groups. CONCLUSION: Texture and optical properties of the retinal tissue undergo pronounced changes in MS even without optic neuritis. Our results may help to further improve the diagnostic efficacy of OCT in MS and neurodegeneration

Evolution and Phylogenetic Analysis of Full-Length VP3 Genes of Eastern Mediterranean Bluetongue Virus Isolates

Bluetongue virus (BTV) is the ‘type’ species of the genus Orbivirus within the family Reoviridae. The BTV genome is composed of ten linear segments of double-stranded RNA (dsRNA), each of which codes for one of ten distinct viral proteins. Previous phylogenetic comparisons have evaluated variations in genome segment 3 (Seg-3) nucleotide sequence as way to identify the geographical origin (different topotypes) of BTV isolates. The full-length nucleotide sequence of genome Seg-3 was determined for thirty BTV isolates recovered in the eastern Mediterranean region, the Balkans and other geographic areas (Spain, India, Malaysia and Africa). These data were compared, based on molecular variability, positive-selection-analysis and maximum-likelihood phylogenetic reconstructions (using appropriate substitution models) to 24 previously published sequences, revealing their evolutionary relationships. These analyses indicate that negative selection is a major force in the evolution of BTV, restricting nucleotide variability, reducing the evolutionary rate of Seg-3 and potentially of other regions of the BTV genome. Phylogenetic analysis of the BTV-4 strains isolated over a relatively long time interval (1979–2000), in a single geographic area (Greece), showed a low level of nucleotide diversity, indicating that the virus can circulate almost unchanged for many years. These analyses also show that the recent incursions into south-eastern Europe were caused by BTV strains belonging to two different major-lineages: representing an ‘eastern’ (BTV-9, -16 and -1) and a ‘western’ (BTV-4) group/topotype. Epidemiological and phylogenetic analyses indicate that these viruses originated from a geographic area to the east and southeast of Greece (including Cyprus and the Middle East), which appears to represent an important ecological niche for the virus that is likely to represent a continuing source of future BTV incursions into Europe

Guidelines for the use and interpretation of assays for monitoring autophagy (4th edition)1.

In 2008, we published the first set of guidelines for standardizing research in autophagy. Since then, this topic has received increasing attention, and many scientists have entered the field. Our knowledge base and relevant new technologies have also been expanding. Thus, it is important to formulate on a regular basis updated guidelines for monitoring autophagy in different organisms. Despite numerous reviews, there continues to be confusion regarding acceptable methods to evaluate autophagy, especially in multicellular eukaryotes. Here, we present a set of guidelines for investigators to select and interpret methods to examine autophagy and related processes, and for reviewers to provide realistic and reasonable critiques of reports that are focused on these processes. These guidelines are not meant to be a dogmatic set of rules, because the appropriateness of any assay largely depends on the question being asked and the system being used. Moreover, no individual assay is perfect for every situation, calling for the use of multiple techniques to properly monitor autophagy in each experimental setting. Finally, several core components of the autophagy machinery have been implicated in distinct autophagic processes (canonical and noncanonical autophagy), implying that genetic approaches to block autophagy should rely on targeting two or more autophagy-related genes that ideally participate in distinct steps of the pathway. Along similar lines, because multiple proteins involved in autophagy also regulate other cellular pathways including apoptosis, not all of them can be used as a specific marker for bona fide autophagic responses. Here, we critically discuss current methods of assessing autophagy and the information they can, or cannot, provide. Our ultimate goal is to encourage intellectual and technical innovation in the field

Motor primitives in space and time via targeted gain modulation in cortical networks

Motor cortex (M1) exhibits a rich repertoire of activities to support the generation of complex movements. Recent network models capture many qualitative aspects of M1 dynamics, but they can generate only a few distinct movements (all of the same duration). We demonstrate that simple modulation of neuronal input–output gains in recurrent neuronal network models with fixed connectivity can dramatically reorganize neuronal activity and consequently downstream muscle outputs. We show that a relatively small number of modulatory control units provide sufficient flexibility to adjust high-dimensional network activity using a simple reward-based learning rule. Furthermore, novel movements can be assembled from previously-learned primitives and we can separately change movement speed while preserving movement shape. Our results provide a new perspective on the role of modulatory systems in controlling recurrent cortical activity.Our work was supported by grants from the Wellcome Trust (TPV and JPS WT100000, 246 GH 202111/Z/16/Z) and the Engineering and Physical Sciences Research Council (JPS)