A Monadic Semantics for Core Curry

We give a deterministic, big-step operational semantics for the essential core of the Curry language, including higher-order functions, call-by-need evaluation, non-determinism, narrowing, and residuation. The semantics is structured in modular monadic style, and is presented in the form of an executable interpreter written in Haskell. It uses monadic formulations of state, non-determinism, and resumption-based concurrency.     

Neurotrophic control of ovarian development

Substantial evidence now exists indicating that the neurotrophins, a family of growth factors required for the survival, development, and differentiation of various neuronal populations of the nervous system, are also important for the development of nonneuronal tissues. Such a function was first suggested by studies showing the presence of high-affinity neurotrophin receptors in a variety of nonneuronal tissues including those of the cardiovascular, endocrine, immune, and reproductive systems. Within the latter, the gonads appear to be a preferential site of neurotrophin action as suggested by the presence in the mammalian ovary of at least four of the five known neurotrophins and all of the neurotrophin receptors thus far identified. While the various functions that the neurotrophins may have in the ovary are still being elucidated, it is now clear that in addition to recruiting the ovarian innervation, they play a direct role in the regulation of two different maturational periods that are critical for the acquisition of female reproductive function: early follicular development and ovulation. Neurotrophins facilitate the development of newly formed follicles by promoting the initial differentiation and the subsequent growth of primordial follicles. These actions appear to be related to the ability of neurotrophins to sustain the proliferation of both mesenchymal and granulosa cells, and to induce the synthesis of follicle stimulating hormone (FSH) receptors. At the time of the first ovulation, neurotrophins contribute to the ovulatory cascade by increasing prostaglandin E(2) release, reducing gap junction communication, and inducing cell proliferation within the thecal compartment of preovulatory follicles.     

A parallel micro evolutionary algorithm for heterogeneous computing and grid scheduling

This work presents a novel parallel micro evolutionary algorithm for scheduling tasks in distributed heterogeneous computing and grid environments. The scheduling problem in heterogeneous environments is NP-hard, so a significant effort has been made in order to develop an efficient method to provide good schedules in reduced execution times. The parallel micro evolutionary algorithm is implemented using MALLBA, a general-purpose library for combinatorial optimization. Efficient numerical results are reported in the experimental analysis performed on both well-known problem instances and large instances that model medium-sized grid environments. The comparative study of traditional methods and evolutionary algorithms shows that the parallel micro evolutionary algorithm achieves a high problem solving efficacy, outperforming previous results already reported in the related literature, and also showing a good scalability behavior when facing high dimension problem instances.     

Somatostatin,Cortistatin and Their Receptors Exert Antitumor Actions in Androgen-Independent Prostate Cancer Cells: Critical Role of Endogenous Cortistatin

Somatostatin (SST), cortistatin (CORT), and their receptors (SSTR1-5/sst5TMD4-TMD5) comprise a multifactorial hormonal system involved in the regulation of numerous pathophysiological processes. Certain components of this system are dysregulated and play critical roles in the development/progression of different endocrine-related cancers. However, the presence and therapeutic role of this regulatory system in prostate cancer (PCa) remain poorly explored. Accordingly, we performed functional (proliferation/migration/colonies-formation) and mechanistic (Western-blot/qPCR/microfluidic-based qPCR-array) assays in response to SST and CORT treatments and CORT-silencing (using specific siRNA) in different PCa cell models [androgen-dependent (AD): LNCaP; androgen-independent (AI)/castration-resistant PCa (CRPC): 22Rv1 and PC-3], and/or in the normal-like prostate cell-line RWPE-1. Moreover, the expression of SST/CORT system components was analyzed in PCa samples from two different patient cohorts [internal (n = 69); external (Grasso, n = 88)]. SST and CORT treatment inhibited key functional/aggressiveness parameters only in AI-PCa cells. Mechanistically, antitumor capacity of SST/CORT was associated with the modulation of oncogenic signaling pathways (AKT/JNK), and with the significant down-regulation of critical genes involved in proliferation/migration and PCa-aggressiveness (e.g., MKI67/MMP9/EGF). Interestingly, CORT was highly expressed, while SST was not detected, in all prostate cell-lines analyzed. Consistently, endogenous CORT was overexpressed in PCa samples (compared with benign-prostatic-hyperplasia) and correlated with key clinical (i.e., metastasis) and molecular (i.e., SSTR2/SSTR5 expression) parameters. Remarkably, CORT-silencing drastically enhanced proliferation rate and blunted the antitumor activity of SST-analogues (octreotide/pasireotide) in AI-PCa cells. Altogether, we provide evidence that SST/CORT system and SST-analogues could represent a potential therapeutic option for PCa, especially for CRPC, and that endogenous CORT could act as an autocrine/paracrine regulator of PCa progression.     

CRISPR/Cas9-Based Knock-Out of the PMR4 Gene Reduces Susceptibility to Late Blight in Two Tomato Cultivars

Phytophthora infestans, the causal agent of late blight (LB) in tomato (Solanum lycopersicum L.), is a devastating disease and a serious concern for plant productivity. The presence of susceptibility (S) genes in plants facilitates pathogen proliferation; thus, disabling these genes may help provide a broad-spectrum and durable type of tolerance/resistance. Previous studies on Arabidopsis and tomato have highlighted that knock-out mutants of the PMR4 susceptibility gene are tolerant to powdery mildew. Moreover, PMR4 knock-down in potato has been shown to confer tolerance to LB. To verify the same effect in tomato in the present study, a CRISPR–Cas9 vector containing four single guide RNAs (sgRNAs: sgRNA1, sgRNA6, sgRNA7, and sgRNA8), targeting as many SlPMR4 regions, was introduced via Agrobacterium-tumefaciens-mediated transformation into two widely grown Italian tomato cultivars: ‘San Marzano’ (SM) and ‘Oxheart’ (OX). Thirty-five plants (twenty-six SM and nine OX) were selected and screened to identify the CRISPR/Cas9-induced mutations. The different sgRNAs caused mutation frequencies ranging from 22.1 to 100% and alternatively precise insertions (sgRNA6) or deletions (sgRNA7, sgRNA1, and sgRNA8). Notably, sgRNA7 induced in seven SM genotypes a −7 bp deletion in the homozygous status, whereas sgRNA8 led to the production of fifteen SM genotypes with a biallelic mutation (−7 bp and −2 bp). Selected edited lines were inoculated with P. infestans, and four of them, fully knocked out at the PMR4 locus, showed reduced disease symptoms (reduction in susceptibility from 55 to 80%) compared to control plants. The four SM lines were sequenced using Illumina whole-genome sequencing for deeper characterization without exhibiting any evidence of mutations in the candidate off-target regions. Our results showed, for the first time, a reduced susceptibility to Phytophtora infestans in pmr4 tomato mutants confirming the role of KO PMR4 in providing broad-spectrum protection against pathogens.     

Spatial–Spectral Analysis of Hyperspectral Images Reveals Early Detection of Downy Mildew on Grapevine Leaves

Downy mildew is a highly destructive disease of grapevine. Currently, monitoring for its symptoms is time-consuming and requires specialist staff. Therefore, an automated non-destructive method to detect the pathogen before the visible symptoms appear would be beneficial for early targeted treatments. The aim of this study was to detect the disease early in a controlled environment, and to monitor the disease severity evolution in time and space. We used a hyperspectral image database following the development from 0 to 9 days post inoculation (dpi) of three strains of Plasmopara viticola inoculated on grapevine leaves and developed an automatic detection tool based on a Support Vector Machine (SVM) classifier. The SVM obtained promising validation average accuracy scores of 0.96, a test accuracy score of 0.99, and it did not output false positives on the control leaves and detected downy mildew at 2 dpi, 2 days before the clear onset of visual symptoms at 4 dpi. Moreover, the disease area detected over time was higher than that when visually assessed, providing a better evaluation of disease severity. To our knowledge, this is the first study using hyperspectral imaging to automatically detect and show the spatial distribution of downy mildew on grapevine leaves early over time.     

How Can We Improve Vaccination Response in Old People? Part I: Targeting Immunosenescence of Innate Immunity Cells

Vaccination, being able to prevent millions of cases of infectious diseases around the world every year, is the most effective medical intervention ever introduced. However, immunosenescence makes vaccines less effective in providing protection to older people. Although most studies explain that this is mainly due to the immunosenescence of T and B cells, the immunosenescence of innate immunity can also be a significant contributing factor. Alterations in function, number, subset, and distribution of blood neutrophils, monocytes, and natural killer and dendritic cells are detected in aging, thus potentially reducing the efficacy of vaccines in older individuals. In this paper, we focus on the immunosenescence of the innate blood immune cells. We discuss possible strategies to counteract the immunosenescence of innate immunity in order to improve the response to vaccination. In particular, we focus on advances in understanding the role and the development of new adjuvants, such as TLR agonists, considered a promising strategy to increase vaccination efficiency in older individuals.     

Gain-of-Function Dynamin-2 Mutations Linked to Centronuclear Myopathy Impair Ca2+-Induced Exocytosis in Human Myoblasts

Gain-of-function mutations of dynamin-2, a mechano-GTPase that remodels membrane and actin filaments, cause centronuclear myopathy (CNM), a congenital disease that mainly affects skeletal muscle tissue. Among these mutations, the variants p.A618T and p.S619L lead to a gain of function and cause a severe neonatal phenotype. By using total internal reflection fluorescence microscopy (TIRFM) in immortalized human myoblasts expressing the pH-sensitive fluorescent protein (pHluorin) fused to the insulin-responsive aminopeptidase IRAP as a reporter of the GLUT4 vesicle trafficking, we measured single pHluorin signals to investigate how p.A618T and p.S619L mutations influence exocytosis. We show here that both dynamin-2 mutations significantly reduced the number and durations of pHluorin signals induced by 10 μM ionomycin, indicating that in addition to impairing exocytosis, they also affect the fusion pore dynamics. These mutations also disrupt the formation of actin filaments, a process that reportedly favors exocytosis. This altered exocytosis might importantly disturb the plasmalemma expression of functional proteins such as the glucose transporter GLUT4 in skeletal muscle cells, impacting the physiology of the skeletal muscle tissue and contributing to the CNM disease.     

Discrete-time stochastic control systems: A continuous Lyapunov function implies robustness to strictly causal perturbations

Discrete-time stochastic systems employing possibly discontinuous state-feedback control laws are addressed. Allowing discontinuous feedbacks is fundamental for stochastic systems regulated, for instance, by optimization-based control laws. We introduce generalized random solutions for discontinuous stochastic systems to guarantee the existence of solutions and to generate enough solutions to get an accurate picture of robustness with respect to strictly causal perturbations. Under basic regularity conditions, the existence of a continuous stochastic Lyapunov function is sufficient to establish that asymptotic stability in probability for the closed-loop system is robust to sufficiently small, state-dependent, strictly causal, worst-case perturbations. Robustness of a weaker stochastic stability property called recurrence is also shown in a global sense in the case of state-dependent perturbations, and in a semiglobal practical sense in the case of persistent perturbations. An example shows that a continuous stochastic Lyapunov function is not sufficient for robustness to arbitrarily small worst-case disturbances that are not strictly causal. Our positive results are also illustrated by examples.     

A method for the calibration of a 3-D laser scanner

The calibration of a three-dimensional digitizer is a very important issue to take into consideration that good quality, reliability, accuracy and high repeatability are the features which a good digitizer is expected to have. The aim of this paper is to propose a new method for the calibration of a 3-D laser scanner, mainly for robotic applications. The acquisition system consists of a laser emitter and a webcam with fixed relative positions. In addition, a cylindrical lens is provided with the laser housing so that it is capable to project a plane light. An optical filter was also used in order to segment the laser stripe from the rest of the scene. For the calibration procedure it was used a digital micrometer that move a target with known dimensions. The calibration method is based on the modeling of the geometrical relationship between the 3-D coordinates of the laser stripe on the target and its digital coordinates in the image plane. By this method it is possible to calibrate the intrinsic parameters of the video system, the position of the image plane and the laser plane in a given frame, all in the same time.