Blas de Otero: '¿Poeta de la condición humana y de su desamparo?'

A partir de un juicio crítico sobre la poesía de Blas de Otero, el estudio se propone analizarla centrándose en Ancia que reúne dos libros considerados como claves por la crítica. Se trata de revaluar la poesía oteriana dentro del panorama poético de los 50

Régulation des qualités physiologiques et sanitaires de la graine de Medicago truncatula. Rôles de MtABI5 et transmission des Xanthomonas aux semences

La maîtrise des qualités physiologique (performance germinative) et sanitaire des semences (vection d\u27agents pathogènes) constitue un verrou scientifique et technologique majeur dans le cadre d\u27une agriculture raisonnée et mondialisée. La qualité physiologique repose notamment sur la tolérance à la dessiccation, la dormance et l\u27aptitude à la conservation qui s\u27acquièrent pendant le développement de la graine. Cependant les mécanismes régulateurs de ces processus restent mal compris. Chez Medicago truncatula, par une approche transcriptomique nous avons montré que la signalisation par l\u27acide abscissique participe via le facteur de transcription ABI5 à la régulation de la survie à l\u27état sec et à la dormance. ABI5 joue un rôle prépondérant dans les phases du développement allant de la fin de la maturation et à la levée. La transmission à et par les semences est l\u27un des principaux moyens de survie et de dissémination des bactéries phytopathogènes telles que Xanthomonas. Les éléments du dialogue moléculaire qui pourrait s\u27établir entre ces bactéries et la graine sont cependant méconnus. Après avoir établi que la contamination est plus efficace en situation compatible [Xanthomonas alfalfae subsp. alfalfae] qu\u27en situation incompatible [X. campestris pv. campestris, Xcc], nous démontrons l\u27existence d\u27un dialogue moléculaire entre Xcc et la graine en développement. La réponse transcriptionelle de la graine contaminée par Xcc et la réduction de leur poids suggèrent un trade-off entre l\u27activation des défenses basales et son développement. Cette thèse apporte des éléments permettant de suggérer que les qualités sanitaire et physiologique sont liées

Luis Antonio de Villena: figures de l'étranger dans "Como a lugar extraño"

Se trata mediante un análisis de Corno a lugar extraño, último poemario de La belleza impura, de mostrar cómo en él se dibuja un itinerario que traduce un sentimiento de extrañeza frente al mundo a la par que marca tal poemario una transición estética en la obra villeniana.This article aims to present by an analysis of Como a lugar extraño, last book of La belleza impura, an evolution witch transíate a feeling of strangeness in front of the world, and this study shows also an aesthetic transition in Villena's works.Il s'agit á travers l'analyse de Como a lugar extraño, dernier recueil de La belleza impura, de montrer comment s'y dessine un itinéraire qui traduit un sentiment d'étrangeté au monde, de méme que ce recueil marque une transition esthétique dans l'oeuvre villénienn

Application of Wireless Sensor and Actuator Networks to Achieve Intelligent Microgrids: A Promising Approach towards a Global Smart Grid Deployment

Smart Grids (SGs) constitute the evolution of the traditional electrical grid towards a new paradigm, which should increase the reliability, the security and, at the same time, reduce the costs of energy generation, distribution and consumption. Electrical microgrids (MGs) can be considered the first stage of this evolution of the grid, because of the intelligent management techniques that must be applied to assure their correct operation. To accomplish this task, sensors and actuators will be necessary, along with wireless communication technologies to transmit the measured data and the command messages. Wireless Sensor and Actuator Networks (WSANs) are therefore a promising solution to achieve an intelligent management of MGs and, by extension, the SG. In this frame, this paper surveys several aspects concerning the application of WSANs to manage MGs and the electrical grid, as well as the communication protocols that could be applied. The main concerns regarding the SG deployment are also presented, including future scenarios where the interoperability of different generation technologies must be assured

An Inverse Method for Policy-Iteration Based Algorithms

We present an extension of two policy-iteration based algorithms on weighted graphs (viz., Markov Decision Problems and Max-Plus Algebras). This extension allows us to solve the following inverse problem: considering the weights of the graph to be unknown constants or parameters, we suppose that a reference instantiation of those weights is given, and we aim at computing a constraint on the parameters under which an optimal policy for the reference instantiation is still optimal. The original algorithm is thus guaranteed to behave well around the reference instantiation, which provides us with some criteria of robustness. We present an application of both methods to simple examples. A prototype implementation has been done

Multigrid methods for two-player zero-sum stochastic games

We present a fast numerical algorithm for large scale zero-sum stochastic games with perfect information, which combines policy iteration and algebraic multigrid methods. This algorithm can be applied either to a true finite state space zero-sum two player game or to the discretization of an Isaacs equation. We present numerical tests on discretizations of Isaacs equations or variational inequalities. We also present a full multi-level policy iteration, similar to FMG, which allows to improve substantially the computation time for solving some variational inequalities.Comment: 31 page

Improving Strategies via SMT Solving

We consider the problem of computing numerical invariants of programs by abstract interpretation. Our method eschews two traditional sources of imprecision: (i) the use of widening operators for enforcing convergence within a finite number of iterations (ii) the use of merge operations (often, convex hulls) at the merge points of the control flow graph. It instead computes the least inductive invariant expressible in the domain at a restricted set of program points, and analyzes the rest of the code en bloc. We emphasize that we compute this inductive invariant precisely. For that we extend the strategy improvement algorithm of [Gawlitza and Seidl, 2007]. If we applied their method directly, we would have to solve an exponentially sized system of abstract semantic equations, resulting in memory exhaustion. Instead, we keep the system implicit and discover strategy improvements using SAT modulo real linear arithmetic (SMT). For evaluating strategies we use linear programming. Our algorithm has low polynomial space complexity and performs for contrived examples in the worst case exponentially many strategy improvement steps; this is unsurprising, since we show that the associated abstract reachability problem is Pi-p-2-complete