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