A general approach to derive uncontrolled reversible semantics

Reversible computing is a paradigm where programs can execute backward as well as in the usual forward direction. Reversible computing is attracting interest due to its applications in areas as different as biochemical modelling, simulation, robotics and debugging, among others. In concurrent systems the main notion of reversible computing is called causal-consistent reversibility, and it allows one to undo an action if and only if its consequences, if any, have already been undone. This paper presents a general and automatic technique to define a causal-consistent reversible extension for given forward models. We support models defined using a reduction semantics in a specific format and consider a causality relation based on resources consumed and produced. The considered format is general enough to fit many formalisms studied in the literature on causal-consistent reversibility, notably Higher-Order π-calculus and Core Erlang, an intermediate language in the Erlang compilation. Reversible extensions of these models in the literature are ad hoc, while we build them using the same general technique. This also allows us to show in a uniform way that a number of relevant properties, causal-consistency in particular, hold in the reversible extensions we build. Our technique also allows us to go beyond the reversible models in the literature: we cover a larger fragment of Core Erlang, including remote error handling based on links, which has never been considered in the reversibility literature

Static versus dynamic reversibility in CCS

The notion of reversible computing is attracting interest because of its applications in diverse fields, in particular the study of programming abstractions for fault tolerant systems. Most computational models are not naturally reversible since computation causes loss of information, and history information must be stored to enable reversibility. In the literature, two approaches to reverse the CCS process calculus exist, differing on how history information is kept. Reversible CCS (RCCS), proposed by Danos and Krivine, exploits dedicated stacks of memories attached to each thread. CCS with Keys (CCSK), proposed by Phillips and Ulidowski, makes CCS operators static so that computation does not cause information loss. In this paper we show that RCCS and CCSK are equivalent in terms of LTS isomorphism

A parametric framework for reversible pi-calculi

This paper presents a study of causality in a reversible, concurrent setting. There exist various notions of causality inπ-calculus, which differ in the treatment of parallel extrusions of the same name. Hence, by using a parametric way of bookkeeping the order and the dependencies among extruders it is possible to map different causal semantics into the same framework. Starting from this simple observation, we present a uniform framework forreversibleπ-calculi that is parametric with respect to a data structure that stores information about the extrusion of a name. Different data structures yield different approaches to the parallel extrusion problem. We map three well-known causal semantics into our framework. We prove causal-consistency for the three instances of our framework. Furthermore, we prove a causal correspondence between the appropriate instances of the framework and the Boreale-Sangiorgi semantics and an operational correspondence with the reversibleπ-calculus causal semantics

Viral-Antibody Complexes in Canine Adenovirus Type I (CAV-1) Ocular Lesion: Leukocyte Chemotaxis and Enzyme Release

Canine adenovirus-type 1 (CAV-1)-antibody complexes caused severe anterior uveitis with corneal edema ( blue eye ) when injected into the anterior chamber of normal dogs. The response of the anterior uvea to such immune complexes (IC) was similar to the spontaneously occurring disease. In the presence of complement (C\u27), IC caused release of neutrophile chemotactic factors. Following phagocytosis of IC-C\u27, leukocytes released lysosomal enzymes, as indicated by the presence of acid phosphatase in the surrounding medium. Membrane bound viral aggregates, presumably IC, were common in neutrophiles and in macrophages that had infiltrated the anterior chamber of opaque eyes that occurred after intravenous (IV) inoculation with attenuated CAV-1. These data were incorporated into a postulated scheme for the pathogenesis of CAV-1 uveitis with corneal edema

Dopamine modulates the neural representation of subjective value of food in hungry subjects.

Although there is a rich literature on the role of dopamine in value learning, much less is known about its role in using established value estimations to shape decision-making. Here we investigated the effect of dopaminergic modulation on value-based decision-making for food items in fasted healthy human participants. The Becker-deGroot-Marschak auction, which assesses subjective value, was examined in conjunction with pharmacological fMRI using a dopaminergic agonist and an antagonist. We found that dopamine enhanced the neural response to value in the inferior parietal gyrus/intraparietal sulcus, and that this effect predominated toward the end of the valuation process when an action was needed to record the value. Our results suggest that dopamine is involved in acting upon the decision, providing additional insight to the mechanisms underlying impaired decision-making in healthy individuals and clinical populations with reduced dopamine levels.This is the author's accepted manuscript. The final version is available from the Society for Neuroscience in the Journal of Neuroscience at http://www.jneurosci.org/content/34/50/16856.abstract

Efecto del injerto en las propiedades antioxidantes del tomate (Solanum lycopersicum L.)

The use of grafted plants in vegetable crop production is now being expanded greatly. However, few data are available on the nutritional composition of grafted vegetables with emphasis on antioxidant properties. Therefore, the major objective of this study was to evaluate antioxidant components of tomatoes influenced by grafting technique. The tomato plants were grown in a greenhouse located at Kriz˘evci, Croatia. The cultivars ‘Efialto’, ‘Heman’, and ‘Maxifort’ were used as rootstocks, while ‘Tamaris’ was used as scion. Grafting resulted in increase of number of marketable fruits per plant by 30%. Content of total vitamin C and total phenolics significantly decreased after grafting. The concentration of total extractable phenolics in tomatoes ranged from 287.1 to 977.4 mg gallic acid equivalents (GAE) kg–1 fresh weight, whereas lycopene content ranged from 11.44 to 60.99 mg kg–1 fresh weight. Antioxidant activities determined by 1,1-diphenyl-2 picrylhydrazyl (DPPH) method of grafts were significantly different compared to their respective rootstocks. The overall results showed that tomato grafting on suitable rootstocks has positive effects on the cultivation performance, but decreases nutritional quality of tomatoes. En la producción de cultivos hortícolas se está expandiendo actualmente de forma considerable el uso de plantas injertadas. Sin embargo, hay pocos datos disponibles sobre la composición nutricional de las hortícolas injertadas, especialmente sobre sus propiedades antioxidantes. El principal objetivo de este estudio fue evaluar los componentes antioxidantes de tomates influenciados por la técnica de injerto. Se cultivaron plantas de tomate en un invernadero de Kriz˘evcii, Croacia. Se utilizaron como portainjertos los cultivares ‘Efialto’, ‘Heman’, y ‘Maxifort’, mientras que ‘Tamaris’ fue utilizado como injerto. El resultado del injerto fue un aumento del 30% en el número de frutos comerciales por planta, mientras que el contenido de vitamina C y de fenoles totales disminuyó significativamente. La concentración del total de fenoles extraíbles en los tomates varió entre 287,1 y 977,4 mg de equivalentes de ácido gálico (GAE) por kilo sobre la base de peso fresco, mientras que el contenido de licopeno varió desde 11,44 hasta 60,99 mg kg–1 de peso fresco. Las actividades antioxidantes determinadas por el método DPPH (2,2-difenil-1-picrilhidrazilo) de los injertos fueron significativamente diferentes respecto de sus respectivos patrones. Los resultados globales muestran que el injerto de tomate sobre patrones adecuados tiene efectos positivos sobre el rendimiento de cultivo, pero la calidad nutricional de los frutos disminuye

Failure of sucrose replacement with the non-nutritive sweetener erythritol to alter GLP-1 or PYY release or test meal size in lean or obese people.

There is considerable interest in the effect of foods containing high intensity sweeteners on satiation. However, less is known about low-calorie bulk sweeteners such as erythritol. In this randomized three-way crossover study, we studied 10 lean and 10 obese volunteers who consumed three test meals on separate occasions: (a) control sucrose meal; (b) isovolumic meal with partial replacement of sucrose by erythritol; (c) isocaloric meal which contained more erythritol but equivalent calories to the control meal. We measured gut hormone levels, hunger and satiety scores, ad libitum food intake, sucrose preference and intake after the manipulations. There was a greater post-prandial excursion in glucose and insulin levels after sucrose than after the erythritol meals. There was no difference in GLP-1/PYY levels or subsequent energy intake and sucrose preference between sucrose control and isovolumic erythritol meals. In lean (but not obese) participants, hunger decreased to a greater extent after the isocaloric erythritol meal compared to the control meal (p = 0.003) reflecting the larger volume of this meal. Replacing sucrose with erythritol leads to comparable hunger and satiety scores, GLP-1 and PYY levels, and subsequent sucrose preference and intake.Wellcome Trust, National Institute for Health Research Cambridge Biomedical Research Centre, Bernard Wolfe Health Neuroscience Fund, Swiss National Science Foundation (Grant IDs: PBLAP3-145870, P3SMP3-155318), NeuroFAST consortium, European Union's Seventh Framework Programme (FP7/ 2007e2013) Grant ID: 245009), Cargill, Sas van Gent, The NetherlandsThis is the final version of the article. It first appeared from Elsevier via http://dx.doi.org/10.1016/j.appet.2016.09.00

Mastiha has efficacy in immune-mediated inflammatory diseases through a microRNA-155 Th17 dependent action

Mastiha is a natural nutritional supplement with known anti-inflammatory properties. Non-alcoholic fatty liver disease (NAFLD) and Inflammatory bowel disease (IBD) are immune mediated inflammatory diseases that share common pathophysiological features. Mastiha has shown beneficial effects in both diseases. MicroRNAs have emerged as key regulators of inflammation and their modulation by phytochemicals have been extensively studied over the last years. Therefore, the aim of this study was to investigate whether a common route exists in the anti-inflammatory activity of Mastiha, specifically through the regulation of miRNA levels. Plasma miR-16, miR-21 and miR-155 were measured by Real-Time PCR before and after two double blinded and placebo-controlled randomized clinical trials with Mastiha. In IBD and particularly in ulcerative colitis patients in relapse, miR-155 increased in the placebo group (p = 0.054) whereas this increase was prevented by Mastiha. The mean changes were different in the two groups even after adjusting for age, sex and BMI (p = 0.024 for IBD and p = 0.042). Although the results were not so prominent in NAFLD, miR-155 displayed a downward trend in the placebo group (p = 0.054) whereas the levels did not changed significantly in the Mastiha group in patients with less advanced fibrosis. Our results propose a regulatory role for Mastiha in circulating levels of miR-155, a critical player in T helper-17 (Th17) differentiation and function

Influence of Higenamine on Exercise Performance of Recreational Female Athletes: A Randomized Double-Blinded Placebo-Controlled Trial

The aim of this study was to determine the ergogenic effects and the safety profile of a one-component higenamine supplement in female recreational athletes. Twelve recreational female basketball players (age 29–41 years, oxygen consumption (VO2max) > 30 ml⋅kg–1⋅min–1, with training > 5 h wk–1) were randomized either to the higenamine group, or to the placebo group for 3 weeks. In order to determine ergogenic effects and safety profile of higenamine administration, we assessed the following variables before and after 3 weeks of supplementation: anthropometric parameters, resting metabolic rate (RMR), exercise testing variables, serum free fatty acids (FFAs), blood pressure, enzyme activity, urea, lipid profile, and complete blood count. There were no differences between groups in anthropometric parameters, including basal metabolic rate (BMR), RMR and body fat [p = 0.706 (Cohen’s d 0.223), p = 0.169 (Cohen’s d 0.857), and p = 0.223 (Cohen’s d 0.750), respectively], FFAs [0.43 ± 0.03 vs. 0.54 ± 0.23, p = 0.206 (Cohen’s d 0.540)], neither significant differences in cardiopulmonary parameters after the intervention period. Furthermore, all measured outcome variables in the safety assessment were not significant, with values remaining stable during the intervention period for participants in both groups. This is the first study to document the effects and the safety profile of higenamine-based dietary supplements at a specified dose in female recreational athletes. Our data indicate that 21-day of supplementation with 75 mg higenamine would not result in improving cardiopulmonary exercise fitness and weight loss in female recreational athletes. Moreover, supplementation with 75 mg higenamine is safe and well-tolerated in younger recreational female athletes

Analysis of FUS, PFN2, TDP-43, and PLS3 as potential disease severity modifiers in spinal muscular atrophy

Objective To investigate mutations in genes that are potential modifiers of spinal muscular atrophy (SMA) severity. Methods We performed a hypothesis-based search into the presence of variants in fused in sarcoma (FUS), transactive response DNA-binding protein 43 (TDP-43), plastin 3 (PLS3), and profilin 2 (PFN2) in a cohort of 153 patients with SMA types 1-4, including 19 families. Variants were detected with targeted next-generation sequencing and confirmed with Sanger sequencing. Functional effects of the identified variants were analyzed in silico and for PLS3, by analyzing expression levels in peripheral blood. Results We identified 2 exonic variants in FUS exons 5 and 6 (p.R216C and p.S135N) in 2 unrelated patients, but clinical effects were not evident. We identified 8 intronic variants in PLS3 in 33 patients. Five PLS3 variants (c.1511+82T>C; c.748+130 G>A; c.367+182C>T; c.891-25T>C (rs145269469); c.1355+17A>G (rs150802596)) potentially alter exonic splice silencer or exonic splice enhancer sites. The variant c.367+182C>T, but not RNA expression levels, corresponded with a more severe phenotype in 1 family. However, this variant or level of PLS3 expression did not consistently correspond with a milder or more severe phenotype in other families or the overall cohort. We found 3 heterozygous, intronic variants in PFN2 and TDP-43 with no correlation with clinical phenotype or effects on splicing. Conclusions PLS3 and FUS sequence variants do not modify SMA severity at the population level. Specific variants in individual patients or families do not consistently correlate with disease severity