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

The importance of clonal selection of grapevine and the role of selected clones in production of healthy propagating stocks

Genetical alterations and phytosanitary status promote the variability and modify the appearance of vine. Old vine varieties in oldvineyards are highly variable and well adapted to selection. Clonal selektion is based on a visual performance: valuable individuals (clones)are picked out according to visible symptoms or characters. The genetical stability of clones is proved by testing the vegetatively propagatedprogenies on the basis of morphological and molekular (SSR, AFLP, SMPL, RAPD) markes.Authors take great care of the visual phytosanitary selection as part of the clonal selection being the preliminary step to develop pathogen-freepropagation stocks.In Serbia (Vojvodina) the selection breeding has been carried on for several decades resulted in comparative clone trials with home andimported clones of Welsch Riesling, Chardonnay, Pinot gris, White Riesling. Among the clones of home selection SK.54 Welsch Rieslingclone is the most valuable. Its clearing from pathogene is being carried on in an interregional IPA programme (HUSRB/0901/214/123) inKecskemét.In Kecskemét, the centre of the Hungarian Danube vine region 5 vine clones have been registered (Cegléd szépe K.73, Irsai Olivér K.11,Kövidinka K.8, Hárslevelû K.9, Pannónia kincse K.56). Besides them 18 virus-tested clones have also been qualified.Works aiming at theircomplete exemption are going on in order to obtain clones free of propagation wood-borne diseases

The importance of clonal selection of grapevine and the role of selected clones in production of healthy propagating stocks

Genetical alterations and phytosanitary status promote the variability and modify the appearance of vine. Old vine varieties in old vineyards are highly variable and well adapted to selection. Clonal selektion is based on a visual performance: valuable individuals (clones) are picked out according to visible symptoms or characters. The genetical stability of clones is proved by testing the vegetatively propagated progenies on the basis of morphological and molekular (SSR, AFLP, SMPL, RAPD) markes. Authors take great care of the visual phytosanitary selection as part of the clonal selection being the oreliminary step to develop pathogen-free propagation stocks. In Serbia (Vojvodina) the selection breeding has been carried on for several decades resulted in comparative clone trials with home and imported clones of Welsch Riesling, Chardonnay, Pinot gris, White Riesling. Among the clones of home selection SK.54 Welsch Riesling clone is the most valuable. Its clearing from pathogene is being carried on in an interregional IPA programme (HUSRB/0901/214/123) in Kecskemét. In Kecskemét, the centre of the Hungarian Danube vine region 5 vine clones have been registered (Cegléd szépe K.73, Irsai Olivér K.11, Kövidinka K.8, Hárslevelû K.9, Pannónia kincse K.56). Besides them 18 virus-tested clones have also been qualified.Works aiming at their complete exemption are going on in order to obtain clones free of propagation wood-borne diseases

A Review of Controlling Motivational Strategies from a Self-Determination Theory Perspective: Implications for Sports Coaches

The aim of this paper is to present a preliminary taxonomy of six controlling strategies, primarily based on the parental and educational literatures, which we believe are employed by coaches in sport contexts. Research in the sport and physical education literature has primarily focused on coaches’ autonomysupportive behaviours. Surprisingly, there has been very little research on the use of controlling strategies. A brief overview of the research which delineates each proposed strategy is presented, as are examples of the potential manifestation of the behaviours associated with each strategy in the context of sports coaching. In line with self-determination theory (Deci & Ryan, 1985; Ryan & Deci, 2002), we propose that coach behaviours employed to pressure or control athletes have the potential to thwart athletes’ feelings of autonomy, competence,and relatedness, which, in turn, undermine athletes’ self-determined motivation and contribute to the development of controlled motives. When athletes feel pressured to behave in a certain way, a variety of negative consequences are expected to ensue which are to the detriment of the athletes’ well-being. The purpose of this paper is to raise awareness and interest in the darker side of sport participation and to offer suggestions for future research in this area

Intragenic and structural variation in the SMN locus and clinical variability in spinal muscular atrophy

Clinical severity and treatment response vary significantly between patients with spinal muscular atrophy. The approval of therapies and the emergence of neonatal screening programmes urgently require a more detailed understanding of the genetic variants that underlie this clinical heterogeneity. We systematically investigated genetic variation other than SMN2 copy number in the SMN locus. Data were collected through our single-centre, population-based study on spinal muscular atrophy in the Netherlands, including 286 children and adults with spinal muscular atrophy Types 1-4, including 56 patients from 25 families with multiple siblings with spinal muscular atrophy. We combined multiplex ligation-dependent probe amplification, Sanger sequencing, multiplexed targeted resequencing and digital droplet polymerase chain reaction to determine sequence and expression variation in the SMN locus. SMN1, SMN2 and NAIP gene copy number were determined by multiplex ligation-dependent probe amplification. SMN2 gene variant analysis was performed using Sanger sequencing and RNA expression analysis of SMN by droplet digital polymerase chain reaction. We identified SMN1-SMN2 hybrid genes in 10% of spinal muscular atrophy patients, including partial gene deletions, duplications or conversions within SMN1 and SMN2 genes. This indicates that SMN2 copies can vary structurally between patients, implicating an important novel level of genetic variability in spinal muscular atrophy. Sequence analysis revealed six exonic and four intronic SMN2 variants, which were associated with disease severity in individual cases. There are no indications that NAIP1 gene copy number or sequence variants add value in addition to SMN2 copies in predicting the clinical phenotype in individual patients with spinal muscular atrophy. Importantly, 95% of spinal muscular atrophy siblings in our study had equal SMN2 copy numbers and structural changes (e.g. hybrid genes), but 60% presented with a different spinal muscular atrophy type, indicating the likely presence of further inter- and intragenic variabilities inside as well as outside the SMN1 locus. SMN2 gene copies can be structurally different, resulting in inter- and intra-individual differences in the composition of SMN1 and SMN2 gene copies. This adds another layer of complexity to the genetics that underlie spinal muscular atrophy and should be considered in current genetic diagnosis and counselling practices