What Are Polymorphically-Typed Ambients?

Abstract: The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code. We consider an Ambient Calculus where ambients transport and exchange programs rather that just inert data. We propose different senses in which such a calculus can be said to be polymorphically typed, and design accordingly a polymorphic type system for it. Our type system assigns types to embedded programs and what we call behaviors to processes; a denotational semantics of behaviors is then proposed, here called trace semantics, underlying much of the remaining analysis. We state and prove a Subject Reduction property for our polymorphically typed calculus. Based on techniques borrowed from finite automata theory, type-checking of fully type-annotated processes is shown to be decidable; the time complexity of our decision procedure is exponential (this is a worst-case in theory, arguably not encountered in practice). Our polymorphically-typed calculus is a conservative extension of the typed Ambient Calculus originally proposed by Cardelli and Gordon

Programa de investigación: sistemas conversores de energía

Este trabajo describe el Programa “Sistemas Conversores de Energía”, financiado por la UNT para el período 2008-2012, que se integra con tres Proyectos. Se presenta la situación Argentina desde las perspectivas técnicas normativas, políticas y sociales que hacen al uso eficiente y racional de la energía, mostrando la necesidad del acercamiento multidisciplinario e integrativo que se propone para los problemas energéticos actuales. Los objetivos y procedimientos de cada proyecto revelan el alcance del programa y las posibilidades de impacto que tiene sobre el conocimiento de nuevas tecnologías innovativas, en las normativas de eficiencia y en las políticas energéticas dirigidas a una integración de la sociedad en los problemas energéticos argentinos.This paper describes the scopes of the research program "Energy Conversion Systems", supported (until 2012 year) by the Science & Technology Council of the Universidad Nacional de Tucumán (CIUNT). It concerns about technical regulations and policies on energy and efficiency, focused by multidisciplinary-and-integrated approach, achieved by three different projects. The objectives and procedures of each one show the full scope of the program and the potential impact it would have on the knowledge of efficiency and energy regulations and policies.Asociación Argentina de Energías Renovables y Medio Ambiente (ASADES

Programa de investigación: sistemas conversores de energía

Este trabajo describe el Programa “Sistemas Conversores de Energía”, financiado por la UNT para el período 2008-2012, que se integra con tres Proyectos. Se presenta la situación Argentina desde las perspectivas técnicas normativas, políticas y sociales que hacen al uso eficiente y racional de la energía, mostrando la necesidad del acercamiento multidisciplinario e integrativo que se propone para los problemas energéticos actuales. Los objetivos y procedimientos de cada proyecto revelan el alcance del programa y las posibilidades de impacto que tiene sobre el conocimiento de nuevas tecnologías innovativas, en las normativas de eficiencia y en las políticas energéticas dirigidas a una integración de la sociedad en los problemas energéticos argentinos.This paper describes the scopes of the research program "Energy Conversion Systems", supported (until 2012 year) by the Science & Technology Council of the Universidad Nacional de Tucumán (CIUNT). It concerns about technical regulations and policies on energy and efficiency, focused by multidisciplinary-and-integrated approach, achieved by three different projects. The objectives and procedures of each one show the full scope of the program and the potential impact it would have on the knowledge of efficiency and energy regulations and policies.Asociación Argentina de Energías Renovables y Medio Ambiente (ASADES

Programa de investigación: sistemas conversores de energía

Este trabajo describe el Programa “Sistemas Conversores de Energía”, financiado por la UNT para el período 2008-2012, que se integra con tres Proyectos. Se presenta la situación Argentina desde las perspectivas técnicas normativas, políticas y sociales que hacen al uso eficiente y racional de la energía, mostrando la necesidad del acercamiento multidisciplinario e integrativo que se propone para los problemas energéticos actuales. Los objetivos y procedimientos de cada proyecto revelan el alcance del programa y las posibilidades de impacto que tiene sobre el conocimiento de nuevas tecnologías innovativas, en las normativas de eficiencia y en las políticas energéticas dirigidas a una integración de la sociedad en los problemas energéticos argentinos.This paper describes the scopes of the research program "Energy Conversion Systems", supported (until 2012 year) by the Science & Technology Council of the Universidad Nacional de Tucumán (CIUNT). It concerns about technical regulations and policies on energy and efficiency, focused by multidisciplinary-and-integrated approach, achieved by three different projects. The objectives and procedures of each one show the full scope of the program and the potential impact it would have on the knowledge of efficiency and energy regulations and policies.Asociación Argentina de Energías Renovables y Medio Ambiente (ASADES

Plagas en soja Intacta: evolución y alternativas de manejo

El orden Lepidoptera agrupa la mayor cantidad de especies cuyas larvas causan daños de importancia al cultivo de soja. Entre ellas, la oruga bolillera, Helicoverpa spp, y las defoliadoras Anticarsia gemmatalis Hübner, Rachiplusia nu Gueneé y Chrysodeixis includens Walker son las que ocurren con mayor frecuencia en este cultivo. Cabe destacar que sus daños pueden llegar a ocasionar pérdidas del rendimiento cercanas al 60% en caso de no ser controladas. Para el manejo de esta problemática, desde el año 2012 se dispone de la soja Bt, representada por variedades que expresan la proteína Cry1Ac, que ofrece una protección contra las principales especies de lepidópteros plagas del cultivo. Entre los elementos que hacen al buen manejo de esta tecnología se resalta la implementación del refugio, entendiéndose como tal un área sembrada con soja no Bt. El refugio tiene como objetivo retrasar el aumento de la frecuencia de individuos resistentes. Esto se logra mediante el cruzamiento de los insectos resistentes que puedan surgir de la soja Bt y los insectos susceptibles que surjan del refugio. La preservación del refugio ante los daños de orugas de lepidópteros puede realizarse a través de aplicaciones de insecticidas bajo el esquema de manejo integrado de plagas, respetando los niveles de daño económico recomendados para cada caso. Si bien son numerosas las alternativas disponibles para el manejo de orugas en soja, surge la necesidad de evaluar cuáles serían las más convenientes para su empleo en el área refugio de la soja Bt.Fil: Casmuz, Augusto Sebastián. Gobierno de Tucumán. Ministerio de Desarrollo Productivo. Estación Experimental Agroindustrial Obispo Colombres; ArgentinaFil: Vera, Martin Alejandro. Gobierno de Tucumán. Ministerio de Desarrollo Productivo. Estación Experimental Agroindustrial Obispo Colombres; ArgentinaFil: Díaz Arnijas, Gonzalo H.. Gobierno de Tucumán. Ministerio de Desarrollo Productivo. Estación Experimental Agroindustrial Obispo Colombres; ArgentinaFil: Cejas Marchi, Emmanuel. Gobierno de Tucumán. Ministerio de Desarrollo Productivo. Estación Experimental Agroindustrial Obispo Colombres; ArgentinaFil: Villafañe, Daniela Alejandra. Gobierno de Tucumán. Ministerio de Desarrollo Productivo. Estación Experimental Agroindustrial Obispo Colombres; ArgentinaFil: Defagot, Ignacio A.. Gobierno de Tucumán. Ministerio de Desarrollo Productivo. Estación Experimental Agroindustrial Obispo Colombres; ArgentinaFil: Marcial, Juan A.. Gobierno de Tucumán. Ministerio de Desarrollo Productivo. Estación Experimental Agroindustrial Obispo Colombres; ArgentinaFil: Candela, Tadeo B.. Gobierno de Tucumán. Ministerio de Desarrollo Productivo. Estación Experimental Agroindustrial Obispo Colombres; ArgentinaFil: Assaf, Santiago. Gobierno de Tucumán. Ministerio de Desarrollo Productivo. Estación Experimental Agroindustrial Obispo Colombres; ArgentinaFil: Martínez, Joaquín O.. Gobierno de Tucumán. Ministerio de Desarrollo Productivo. Estación Experimental Agroindustrial Obispo Colombres; ArgentinaFil: Murúa, María Gabriela. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Tucumán. Instituto de Tecnología Agroindustrial del Noroeste Argentino. Provincia de Tucumán. Ministerio de Desarrollo Productivo. Estación Experimental Agroindustrial "Obispo Colombres" (p). Instituto de Tecnología Agroindustrial del Noroeste Argentino; ArgentinaFil: Herrero, María Inés. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Tucumán. Instituto de Tecnología Agroindustrial del Noroeste Argentino. Provincia de Tucumán. Ministerio de Desarrollo Productivo. Estación Experimental Agroindustrial "Obispo Colombres" (p). Instituto de Tecnología Agroindustrial del Noroeste Argentino; ArgentinaFil: Dami, Luciana Cecilia. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Tucumán. Instituto de Tecnología Agroindustrial del Noroeste Argentino. Provincia de Tucumán. Ministerio de Desarrollo Productivo. Estación Experimental Agroindustrial "Obispo Colombres" (p). Instituto de Tecnología Agroindustrial del Noroeste Argentino; ArgentinaFil: Gastaminza, Gerardo Alfredo. Gobierno de Tucumán. Ministerio de Desarrollo Productivo. Estación Experimental Agroindustrial Obispo Colombres; Argentin

Elective cancer surgery in COVID-19-free surgical pathways during the SARS-CoV-2 pandemic: An international, multicenter, comparative cohort study

PURPOSE As cancer surgery restarts after the first COVID-19 wave, health care providers urgently require data to determine where elective surgery is best performed. This study aimed to determine whether COVID-19–free surgical pathways were associated with lower postoperative pulmonary complication rates compared with hospitals with no defined pathway. PATIENTS AND METHODS This international, multicenter cohort study included patients who underwent elective surgery for 10 solid cancer types without preoperative suspicion of SARS-CoV-2. Participating hospitals included patients from local emergence of SARS-CoV-2 until April 19, 2020. At the time of surgery, hospitals were defined as having a COVID-19–free surgical pathway (complete segregation of the operating theater, critical care, and inpatient ward areas) or no defined pathway (incomplete or no segregation, areas shared with patients with COVID-19). The primary outcome was 30-day postoperative pulmonary complications (pneumonia, acute respiratory distress syndrome, unexpected ventilation). RESULTS Of 9,171 patients from 447 hospitals in 55 countries, 2,481 were operated on in COVID-19–free surgical pathways. Patients who underwent surgery within COVID-19–free surgical pathways were younger with fewer comorbidities than those in hospitals with no defined pathway but with similar proportions of major surgery. After adjustment, pulmonary complication rates were lower with COVID-19–free surgical pathways (2.2% v 4.9%; adjusted odds ratio [aOR], 0.62; 95% CI, 0.44 to 0.86). This was consistent in sensitivity analyses for low-risk patients (American Society of Anesthesiologists grade 1/2), propensity score–matched models, and patients with negative SARS-CoV-2 preoperative tests. The postoperative SARS-CoV-2 infection rate was also lower in COVID-19–free surgical pathways (2.1% v 3.6%; aOR, 0.53; 95% CI, 0.36 to 0.76). CONCLUSION Within available resources, dedicated COVID-19–free surgical pathways should be established to provide safe elective cancer surgery during current and before future SARS-CoV-2 outbreaks

Elective Cancer Surgery in COVID-19-Free Surgical Pathways During the SARS-CoV-2 Pandemic: An International, Multicenter, Comparative Cohort Study.

PURPOSE: As cancer surgery restarts after the first COVID-19 wave, health care providers urgently require data to determine where elective surgery is best performed. This study aimed to determine whether COVID-19-free surgical pathways were associated with lower postoperative pulmonary complication rates compared with hospitals with no defined pathway. PATIENTS AND METHODS: This international, multicenter cohort study included patients who underwent elective surgery for 10 solid cancer types without preoperative suspicion of SARS-CoV-2. Participating hospitals included patients from local emergence of SARS-CoV-2 until April 19, 2020. At the time of surgery, hospitals were defined as having a COVID-19-free surgical pathway (complete segregation of the operating theater, critical care, and inpatient ward areas) or no defined pathway (incomplete or no segregation, areas shared with patients with COVID-19). The primary outcome was 30-day postoperative pulmonary complications (pneumonia, acute respiratory distress syndrome, unexpected ventilation). RESULTS: Of 9,171 patients from 447 hospitals in 55 countries, 2,481 were operated on in COVID-19-free surgical pathways. Patients who underwent surgery within COVID-19-free surgical pathways were younger with fewer comorbidities than those in hospitals with no defined pathway but with similar proportions of major surgery. After adjustment, pulmonary complication rates were lower with COVID-19-free surgical pathways (2.2% v 4.9%; adjusted odds ratio [aOR], 0.62; 95% CI, 0.44 to 0.86). This was consistent in sensitivity analyses for low-risk patients (American Society of Anesthesiologists grade 1/2), propensity score-matched models, and patients with negative SARS-CoV-2 preoperative tests. The postoperative SARS-CoV-2 infection rate was also lower in COVID-19-free surgical pathways (2.1% v 3.6%; aOR, 0.53; 95% CI, 0.36 to 0.76). CONCLUSION: Within available resources, dedicated COVID-19-free surgical pathways should be established to provide safe elective cancer surgery during current and before future SARS-CoV-2 outbreaks

Type inference for recursive definitions

We consider type systems that combine universal types, recursive types, and object types. We study type inference in these systems under a rank restriction, following Leivant's notion of rank. To motivate our work, we present several examples showing how our systems can be used to type programs encountered in practice. We show that type inference in the rank-k system is decidable for k ≤ 2 and undecidable for k ≥ 3. (Similar results based on different techniques are known to hold for System F, without recursive types and object types.) Our undecidability result is obtained by a reduction from a particular adaptation (which we call “regular”) of the semi-unification problem and whose undecidability is, interestingly, obtained by methods totally different from those used in the case of standard (or finite) semiunification