Mapping Deviation: A Technique to Adapt or to Guard Loop Transformation Intuitions for Legality

International audienceParallel architectures are now omnipresent in mainstream electronic devices and exploiting them efficiently is a challenge for all developers. Hence, they need the support of languages, libraries and tools to assist them in the optimization or parallelization task. Compilers can provide a major help by automating this work. However they are very fragile black-boxes. A compiler may take a bad optimization decision because of imprecise heuristics or may turn off an optimization because of imprecise analyses, without providing much control or feedback to the end user. To address this issue, we introduce mapping deviation, a new compiler technique that aims at providing a useful feedback on the semantics of a given program restructuring. Starting from a transformation intuition a user or a compiler wants to apply, our algorithm studies its cor-rectness and can suggest changes or conditions to make it possible rather than being limited to the classical go/no-go answer. This algorithm builds on state-of-the-art polyhedral representation of programs and provides a high flexibility. We present two example applications of this technique: improving semi-automatic optimization tools for programmers and automatically designing runtime tests to check the correctness of a transformation for compilers

ESPEN Practical Guideline: clinical nutrition in liver disease

Desnutrición; Insuficiencia hepática aguda grave; CirrosisMalnutrition; Acute liver failure; CirrhosisDesnutrició; Insuficiència hepàtica aguda greu; CirrosiIntroducción: la Guía Práctica se basa en la actual guía científica de la ESPEN sobre nutrición clínica en las enfermedades hepáticas. Métodos: se ha reducido y transformado en diagramas de flujo para facilitar su uso en la práctica clínica. La guía está dedicada a todos los profesionales, incluidos médicos, dietistas, nutricionistas y enfermeras, que trabajan con pacientes con enfermedad hepática crónica. Resultados: la guía presenta un total de 103 pronunciamientos y recomendaciones con breves comentarios para el manejo nutricional y metabólico de pacientes con (i) insuficiencia hepática aguda grave, (ii) esteatohepatitis alcohólica, (iii) enfermedad hepática grasa no alcohólica, (iv) cirrosis hepática, y (v) cirugía o trasplante de hígado. Conclusión: las recomendaciones relacionadas con enfermedades están precedidas por recomendaciones generales sobre el diagnóstico del estado nutricional en los pacientes hepáticos y sobre las complicaciones hepáticas asociadas a la nutrición médica.Background: the Practical Guideline is based on the current scientifi c ESPEN guide on Clinical Nutrition in Liver Disease. Methods: it has been shortened and transformed into fl ow charts for easier use in clinical practice. The guideline is dedicated to all professionals including physicians, dieticians, nutritionists and nurses working with patients with chronic liver disease. Results: a total of 103 statements and recommendations are presented with short commentaries for the nutritional and metabolic management of patients with (i) acute liver failure, (ii) alcoholic steatohepatitis, (iii) non-alcoholic fatty liver disease, (iv) liver cirrhosis, and (v) liver surgery/ transplantation. Disease-related recommendations are preceded by general recommendations on the diagnosis of nutritional status in liver patients and on liver complications associated with medical nutrition. Conclusion: this Practical Guideline gives guidance to health care providers involved in the management of liver disease on how to offer optimal nutritional care

Rise and demise of the global silver standard

In the early modern period, the world economy gravitated around the expansion of long-distance commerce. Together with navigation improvements, silver was the prime commodity which moved the sails of such trade. The disparate availability and the particular demand for silver across the globe determined the participation of producers, consumers, and intermediaries in a growing global economy. American endowments of silver are a known feature of this process; however, the fact that the supply of silver was in the form of specie is a less known aspect of the integration of the global economy. This chapter surveys the production and export of silver specie out of Spanish America, its intermediation by Europeans, and the reexport to Asia. It describes how the sheer volume produced and the quality and consistency of the coin provided familiarity with, and reliability to, the Spanish American peso which made it current in most world markets. By the eighteenth century, it has become a currency standard for the international economy which grew together with the production and coinage of silver. Implications varied according to the institutional settings to deal with specie and foreign exchange in each intervening economy of that trade. Generalized warfare in late eighteenth-century Europe brought down governance in Spanish America and coinage fragmented along with the political fragmentation of the empire. The emergence of new sovereign republics and the end of minting as known meant the cessation of the silver standard that had contributed to the early modern globalization

Red Nacional de reconocedores de suelos.

Los relevamientos sistemáticos de suelos en Argentina comenzaron en la década de 1960, en el marco del Plan Mapa de Suelos. Dicho plan, desarrollado y liderado por el INTA, dio impulso a la formación de especialistas y a la producción de cartografía de suelos a diferentes escalas. Sin embargo, a partir del año 2000 las actividades se redujeron notablemente y gran parte de los equipos provinciales formados hasta ese momento se desarticularon. Desde entonces los relevamientos continuaron de manera aislada sólo en aquellas provincias donde se mantuvieron los grupos de trabajo. Este hecho condujo a que actualmente diferentes regiones del país no cuenten con información acerca de las propiedades y distribución de suelos a una escala adecuada para la toma de decisiones. En este contexto, en el 2018 se crea la Red Nacional de Reconocedores de Suelos (RNRS) que organiza las capacidades técnicas y operativas a nivel nacional para dar pronta respuesta a la creciente demanda de cartografía. Se trata de un equipo interinstitucional e interdisciplinario de especialistas distribuidos por todo el país, que realiza tareas de relevamiento, produce y difunde cartografía básica y utilitaria de suelos, ofrece capacitación y genera espacios de discusión y actualización metodológica. A la fecha, la RNRS ha relevado aproximadamente 760.000 ha en el sur de Córdoba, estimando completar durante el presente año el relevamiento del departamento Río Cuarto. Esta estrategia organizacional permitirá avanzar en el mapeo semidetallado de suelos en nuestro país, estableciendo vinculaciones sinérgicas entre profesionales de diferentes instituciones a fin de fortalecer y potenciar los equipos de trabajo en cada región. El motivo de esta contribución es presentar la RNRS, sus objetivos, avances a la fecha y desafíos a futuro, haciendo una breve revisión del estado actual de los relevamientos a escala semidetallada en nuestro país.Fil: Moretti, Lucas M. Instituto Nacional de Tecnología Agropecuaria (INTA). Estación Experimental Agropecuaria Cerro Azul; ArgentinaFil: Rodriguez, Darío M. Instituto Nacional de Tecnología Agropecuaria (INTA). Instituto de Suelos; ArgentinaFil: Schulz, Guillermo A. Instituto Nacional de Tecnología Agropecuaria (INTA). Instituto de Suelos; ArgentinaFil: Kurtz, Ditmar Bernardo. Instituto Nacional de Tecnología Agropecuaria (INTA). Estación Experimental Agropecuaria Corrientes; ArgentinaFil: Altamirano D. Instituto Nacional de Tecnología Agropecuaria (INTA). Estación Experimental Agropecuaria Manfredi; ArgentinaFil: Amin, S. Universidad Nacional de Río Cuarto; ArgentinaFil: Angelini, Marcos Esteban. Instituto Nacional de Tecnología Agropecuaria (INTA). Instituto de Suelos; Argentina. Wageningen University. Soil Geography and Landscape group; Holanda. International Soil Reference and Information Centre. World Soil Information; HolandaFil: Babelis, German Claudio. Instituto Nacional de Tecnología Agropecuaria (INTA). Estación Experimental Agropecuaria San Juan; ArgentinaFil: Becerra, Alejandra Gabriela. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba. Instituto Multidisciplinario de Biología Vegetal. Universidad Nacional de Córdoba. Facultad de Ciencias Exactas Físicas y Naturales. Instituto Multidisciplinario de Biología Vegetal; ArgentinaFil: Bedendo, Dante Julian. Instituto Nacional de Tecnología Agropecuaria (INTA). Estación Experimental Agropecuaria Paraná; ArgentinaFil: Boldrini, C. Instituto Nacional de Tecnología Agropecuaria (INTA). Estación Experimental Agropecuaria Marcos Juárez. Agencia de Extensión Rural Río Cuarto; AgentinaFil: Bongiovanni, C. Universidad Nacional de Río Cuarto; ArgentinaFil: Bozzer, S. Universidad Nacional de Río Cuarto; ArgentinaFil: Cabrera, A. Universidad Nacional de Río Cuarto; ArgentinaFil: Canale, A. Instituto Nacional de Tecnología Agropecuaria (INTA). Estación Experimental Agropecuaria Marcos Juárez. Agencia de Extensión Rural Río Cuarto; AgentinaFil: Chilano, Y. Universidad Nacional de Río Cuarto; ArgentinaFil: Cholaky, Carmen. Universidad Nacional de Río Cuarto. Facultad de Agronomía y Veterinaria; ArgentinaFil: Cisneros; José Manuel. Universidad Nacional de Río Cuarto. Cátedra de Uso y Manejo de Suelos; ArgentinaFil: Colazo, Juan Cruz. Instituto Nacional de Tecnología Agropecuaria (INTA). Estación Experimental Agropecuaria San Luis; ArgentinaFil: Corigliano, J. Universidad Nacional de Río Cuarto; ArgentinaFil: Degioanni, Américo José. Universidad Nacional Río Cuarto. Facultad de Agronomía y Veterinaria. Departamento de Ecología Agraria; ArgentinaFil: de la Fuente, Juan Carlos Instituto Nacional de Tecnología Agropecuaria (INTA). Instituto de Suelos; ArgentinaFil: Escobar, Dardo. Ministerio de Agricultura, Ganadería y Pesca; ArgentinaFil: Faule, L. Instituto Nacional de Tecnología Agropecuaria (INTA). Estación Experimental Agropecuaria Manfredi. Córdoba. ArgentinaFil: Galarza, Carlos Martin. Instituto Nacional de Tecnología Agropecuaria (INTA). Estación Experimental Agropecuaria Marcos Juárez; ArgentinaFil: González, J. Universidad Nacional de Río Cuarto; ArgentinaFil: Holzmann, R. Instituto Nacional de Tecnología Agropecuaria (INTA). Estación Experimental Agropecuaria Alto Valle; ArgentinaFil: Irigoin, Julieta. Instituto Nacional de Tecnología Agropecuaria (INTA). Instituto de Suelos; Argentina. Universidad Nacional de Luján. Departamento Tecnología; ArgentinaFil: Lanfranco, M. Instituto Nacional de Tecnología Agropecuaria (INTA). Estación Experimental Agropecuaria Manfredi; ArgentinaFil: León Giacosa, C. Instituto Nacional de Tecnología Agropecuaria (INTA). Estación Experimental Agropecuaria Rafaela; ArgentinaFil: Matteio, J.P. Instituto Nacional de Tecnología Agropecuaria (INTA). Instituto de Suelos; ArgentinaFil: Márquez, C. Gobierno de Córdoba. Ministerio de Agricultura y Ganadería; ArgentinaFil: Marzari, R. Universidad Nacional de Río Cuarto; ArgentinaFil: Mattalia, M.L. Universidad Nacional de Río Cuarto; ArgentinaFil: Morales Poclava, P.C. Instituto Nacional de Tecnología Agropecuaria (INTA). Estación Experimental Agropecuaria Salta; ArgentinaFil: Muñoz, S. Instituto Nacional de Tecnología Agropecuaria (INTA). Estación Experimental Agropecuaria Marcos Juárez; ArgentinaFil: Paladino, Ileana Ruth. Instituto Nacional de Tecnología Agropecuaria (INTA). Instituto de Suelos; Argentina. Universidad Nacional de Lomas de Zamora. Facultad de Ciencias Agrarias; ArgentinaFil: Parra, B. Universidad Nacional de Río Cuarto; ArgentinaFil: Pérez, M. Gobierno de Córdoba. Ministerio de Agricultura y Ganadería; ArgentinaFil: Pezzola, A. Instituto Nacional de Tecnología Agropecuaria (INTA). Estación Experimental Agropecuaria Hilario Ascasubi; ArgentinaFil: Perucca, S. Instituto Nacional de Tecnología Agropecuaria (INTA). Estación Experimental Agropecuaria Marcos Juárez. Agencia de Extensión Rural Río Cuarto; ArgentinaFil: Porcel de Peralta, R. Gobierno de Córdoba. Ministerio de Agricultura y Ganadería; ArgentinaFil: Renaudeau, S. Instituto Nacional de Tecnología Agropecuaria (INTA). Estación Experimental Agropecuaria Corrientes; ArgentinaFil: Salustio, M. Instituto Nacional de Tecnología Agropecuaria (INTA). Estación Experimental Agropecuaria Marcos Juárez. Agencia de Extensión Rural Río Cuarto; ArgentinaFil: Sapino, V. Instituto Nacional de Tecnología Agropecuaria (INTA). Estación Experimental Agropecuaria Rafaela; ArgentinaFil: Tenti Vuegen, L.M. Instituto Nacional de Tecnología Agropecuaria (INTA). Instituto de Suelos. ArgentinaFil: Tosolini, R. Instituto Nacional de Tecnología Agropecuaria (INTA). Estación Experimental Agropecuaria Rafaela; ArgentinaFil: Vicondo, M.E. Instituto Nacional de Tecnología Agropecuaria (INTA). Estación Experimental Agropecuaria Manfredi; Argentina. Universidad Nacional de Córdoba. ArgentinaFil: Vizgarra, L.A. Instituto Nacional de Tecnología Agropecuaria (INTA). Estación Experimental Agropecuaria Quimili; ArgentinaFil: Ybarra, D.D. Instituto Nacional de Tecnología Agropecuaria (INTA). Estación Experimental Agropecuaria Corrientes; ArgentinaFil: Winschel, C. Instituto Nacional de Tecnología Agropecuaria (INTA). Estación Experimental Agropecuaria Hilario Ascasubi; ArgentinaFil: Zamora, E. Instituto Nacional de Tecnología Agropecuaria (INTA). Estación Experimental Agropecuaria Corrientes; Argentin

Efficient Intraprocedural Array Bound Checking

Array bound checking is critical for code safety and debugging but users are not ready to trade much execution time for it. A considerable research work has been carried out during the past 25 years but experimental results are scarce. Commercial implementations are limited to intraprocedural array bound checking and are not really fulfilling user expectations for compilation and execution times

Journal de la mission DHEEP aux îles Éparses, du 03 au 30 avril 2019

This log illustrates the activities of the DHEEP mission aboard R.V. Marion Dufresne in the Îles Éparses in April 2019. The objective of this mission was to collect the biological material dedicated to a study of the demographic history of the reef fauna of the western Indian Ocean. Collections of fire corals, giant clams, chitons, hermit crabs, brittle stars, sea cucumbers and fishes were made on the reefs of the Europa Islands, Juan de Nova, Glorieuses and Tromelin. Among the highlights of this mission were the collection of specimens of two new species of the fish genus Gymnocranius and the sampling of two rare giant clams currently under taxonomic revision, Tridacna elongatissima and T. rosewateri.Ce journal illustre le déroulement de la mission DHEEP à bord du N.O. Marion Dufresne, aux îles Eparses en avril 2019. L'objectif de cette mission était de récolter le matériel biologique nécessaire à l'étude de l'histoire démographique de la faune marine récifale de l’ouest de l’océan Indien. Des récoltes de millépores, tridacnes, chitons, bernard l’hermite, ophiures, holothuries et poissons ont été faites sur les récifs des îles Europa, Juan de Nova, Glorieuses et Tromelin. Parmi les événements marquants de cette mission sont la collecte de spécimens de deux nouvelles espèces de poissons du genre Gymnocranius et l’échantillonnage de deux tridacnes rares en cours de révision taxonomique, Tridacna elongatissima et T. rosewateri