A decompilation of the pi-calculus and its application to termination

We study the correspondence between a concurrent lambda-calculus in administrative, continuation passing style and a pi-calculus and we derive a termination result for the latter

Feasible reactivity in a synchronous pi-calculus

Reactivity is an essential property of a synchronous program. Informally, it guarantees that at each instant the program fed with an input will `react' producing an output. In the present work, we consider a refined property that we call ` feasible reactivity'. Beyond reactivity, this property guarantees that at each instant both the size of the program and its reaction time are bounded by a polynomial in the size of the parameters at the beginning of the computation and the size of the largest input. We propose a method to annotate programs and we develop related static analysis techniques that guarantee feasible reactivity for programs expressed in the S-pi-calculus. The latter is a synchronous version of the pi-calculus based on the SL synchronous programming model

Urban vehicular traffic: fitting the data using a hybrid stochastic model. Part II

In this second part of our research we used the models presented in \emph{Modeling a vehicular traffic network. Part I} \cite{ogm1} to perform an analysis of the urban traffic as recorded by cameras distributed in a chosen sector of Tigre, a city in the province of Buenos Aires, Argentina. We found that the circulation of vehicles -- the traffic dynamics --, along a whole day, can be described by a hybrid model that is an adapted blend of model 2, for an open linear system, with model 3, which is nonlinear, developed in Part I. The objectives of this work were, firstly, to verify whether the vehicular flux can be modeled as an $n$-step stochastic process for its evolution, $n$ for the time. Secondly, to find out if the model, with its parameters fixed to describe the traffic of a single day, may adequately describe the traffic in other days. Thirdly, to propose changes in the already established set of the urban traffic rules in order to optimize the vehicular flow and to diminish the average time that a vehicle stays idle at the semaphores. We estimate that the goals were achieved satisfactorily within the margins of the experimental errors of the gathered data.Comment: 12 pages, 11 figure

Introduction à l'analyse syntaxique et à la compilation

Engineering schoolCes notes de cours sont une introduction aux différentes phases de la compilation des langages de programmation. Après un survol de ces phases basé sur un petit langage d'expressions arithmétiques, on présente la théorie des grammaires algébriques LL et LR.On s'intéresse ensuite à l'évaluation et au typage en s'appuyant sur les techniques de la sémantique opérationnelle. On décline ces techniques dans le cadre de simples langages qui reflètent les styles de programmation impératif, à objets et fonctionnel. Enfin, on aborde les questions de la conception d'une machine virtuelle, de la gestion de la mémoire et de la traduction du langage source dans le langage d'une machine virtuelle

Year in review: Federica Mogherini’s appointment as EU High Representative

Following the European Parliament elections in May, attention turned toward negotiations over the EU’s ‘top jobs’, notably the President of the European Commission, President of the European Council, and High Representative of the Union for Foreign Affairs and Security Policy. As part of our review of 2014, Maria Giulia Amadio Viceré writes on the selection of Federica Mogherini for the High Representative role. She argues that the appointment, combined with the institutional provisions granted under the Lisbon Treaty, could mark a watershed moment for both EU and Italian foreign policy

Comparative assessment of analytical models for the ULS resistance verification of structural glass elements under variable loads

The design of glass structures, due to the intrinsic material properties, is mainly governed by the typical tensile brittle behavior of the material. In this regard, a currently open question related to the use of glass in buildings as a load-bearing constructional material, is represented by the correct estimation of static fatigue phenomena due to a generic combination of design actions. In this study, taking advantage of past literature contributions and existing design standards for glass, a novel analytical formulation is proposed for the resistance verification of a given structural glass elements under a Ultimate Limit State (ULS) combination of variable loads. The novel proposal is assessed towards three existing analytical formulations, based on two worked examples as well as an extended analytical analysis. In conclusion, the potential and criticisms of the examined approaches are discussed

Draft genome sequences of Escherichia coli O157: H7 strains Rafaela_II (clade 8) and 7.1_Anguil (clade 6) from cattle in Argentina

Escherichia coli O157:H7 is a major etiologic agent of diseases in humans that cause diarrhea, hemorrhagic colitis, and hemolytic-uremic syndrome. Here, we report the draft genome sequences of two strains isolated from cattle that had high levels of Shiga toxin 2 and high lethality in mice.Fil: Amadio, Ariel Fernando. Instituto Nacional de Tecnología Agropecuaria. Centro Regional Santa Fe. Estación Experimental Agropecuaria Rafaela; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Santa Fe; Argentina. Instituto Nacional de Tecnología Agropecuaria. Centro de Investigación en Ciencias Veterinarias y Agronómicas. Instituto de Biotecnología; ArgentinaFil: Amigo, Natalia. Instituto Nacional de Tecnología Agropecuaria. Centro Regional Santa Fe. Estación Experimental Agropecuaria Rafaela; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Santa Fe; ArgentinaFil: Puebla, Andrea Fabiana. Instituto Nacional de Tecnología Agropecuaria. Centro de Investigación en Ciencias Veterinarias y Agronómicas. Instituto de Biotecnología; ArgentinaFil: Farber, Marisa Diana. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Santa Fe; Argentina. Instituto Nacional de Tecnología Agropecuaria. Centro de Investigación en Ciencias Veterinarias y Agronómicas. Instituto de Biotecnología; ArgentinaFil: Cataldi, Ángel Adrián. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Santa Fe; Argentina. Instituto Nacional de Tecnología Agropecuaria. Centro de Investigación en Ciencias Veterinarias y Agronómicas. Instituto de Biotecnología; Argentin

Using symmetries in reinforcement learning of bimanual robotic tasks

The learning of bimanual robotic tasks, i.e., tasks executed by two manipulators together, can be particularly important in the new scenarios opened by the rise of humanoid robotics, one of the most interesting trend currently in the field. The work presented wants to build a method to simplify the dimensionality of parameter space in this particular context, exploiting the presence of symmetries between the movements executed by the two arms. The aim is to develop a reduced-order representation of the bimanual motion, with the purpose of increase the speed of learning process. In chapter 1, kinematics of the used robots is studied, in order to know how to correctly command the position of the robots while executing a task. Robotic movements are then modeled using Probabilistic Movement Primitives (ProMPs), a stochastic interpretation of robot movements (details in chapter 2). The first objective is to develop a symmetrization method for those kind of policies, and this part is treated in chapter 3. This will give the chance of representing the movement of two robotic arms, with only a single ProMP (instead of two, one for each arm), from which obtain the second policy applying symmetrization. In this way the amount of parameters representing motion can be halved. The most common kind of symmetry is the one defined by a plane, but also other cases can be explored, e.g., spherical or cylindrical symmetry. If the symmetry surface is not explicitly given in the bimanual task description, it is critical to have a reliable method to estimate it in order to exploit it in the learning process. In chapter 4 it is reported a way to obtain this estimation of the parameters describing the symmetry surface from the initially demonstrated trajectories. Finally, in chapter 5 it is defined a symmetric policy representation for bimanual task, that depends only on a single ProMP and a symmetry surface. The effectiveness of this parameter reduction has been tested applying it in reinforcement learning of some tasks, in comparison to the results obtained by the standard way of proceeding, that model the bimanual task with two separated ProMPs, one for each robotic arm