Verificación Formal de Sistemas basada Formal Software Verification based on Automated Analysisen Análisis Automático.

Identificación y caracterización del problema. Uno de los problemas más importantes asociados con la construcción de software es la corrección del mismo. En busca de proveer garantías del correcto funcionamiento del software, han surgido una variedad de técnicas de desarrollo con sólidas bases matemáticas y lógicas conocidas como métodos formales. Debido a su naturaleza, la aplicación de métodos formales requiere gran experiencia y conocimientos, sobre todo en lo concerniente a matemáticas y lógica, por lo cual su aplicación resulta costosa en la práctica. Esto ha provocado que su principal aplicación se limite a sistemas críticos, es decir, sistemas cuyo mal funcionamiento puede causar daños de magnitud, aunque los beneficios que sus técnicas proveen son relevantes a todo tipo de software. Poder trasladar los beneficios de los métodos formales a contextos de desarrollo de software más amplios que los sistemas críticos tendría un alto impacto en la productividad en tales contextos. Hipótesis. Contar con herramientas de análisis automático es un elemento de gran importancia. Ejemplos de esto son varias herramientas potentes de análisis basadas en métodos formales, cuya aplicación apunta directamente a código fuente. En la amplia mayoría de estas herramientas, la brecha entre las nociones a las cuales están acostumbrados los desarrolladores y aquellas necesarias para la aplicación de estas herramientas de análisis formal sigue siendo demasiado amplia. Muchas herramientas utilizan lenguajes de aserciones que escapan a los conocimientos y las costumbres usuales de los desarrolladores. Además, en muchos casos la salida brindada por la herramienta de análisis requiere cierto manejo del método formal subyacente. Este problema puede aliviarse mediante la producción de herramientas adecuadas. Otro problema intrínseco a las técnicas automáticas de análisis es cómo se comportan las mismas a medida que el tamaño y complejidad de los elementos a analizar crece (escalabilidad). Esta limitación es ampliamente conocida y es considerada crítica en la aplicabilidad de métodos formales de análisis en la práctica. Una forma de atacar este problema es el aprovechamiento de información y características de dominios específicos de aplicación. Planteo de objetivos. Este proyecto apunta a la construcción de herramientas de análisis formal para contribuir a la calidad, en cuanto a su corrección funcional, de especificaciones, modelos o código, en el contexto del desarrollo de software. Más precisamente, se busca, por un lado, identificar ambientes específicos en los cuales ciertas técnicas de análisis automático, como el análisis basado en SMT o SAT solving, o el model checking, puedan llevarse a niveles de escalabilidad superiores a los conocidos para estas técnicas en ámbitos generales. Se intentará implementar las adaptaciones a las técnicas elegidas en herramientas que permitan su uso a desarrolladores familiarizados con el contexto de aplicación, pero no necesariamente conocedores de los métodos o técnicas subyacentes. Materiales y métodos a utilizar. Los materiales a emplear serán bibliografía relevante al área y equipamiento informático. Métodos. Se emplearán los métodos propios de la matemática discreta, la lógica y la ingeniería de software. Resultados esperados. Uno de los resultados esperados del proyecto es la individualización de ámbitos específicos de aplicación de métodos formales de análisis. Se espera que como resultado del desarrollo del proyecto surjan herramientas de análisis cuyo nivel de usabilidad sea adecuado para su aplicación por parte de desarrolladores sin formación específica en los métodos formales utilizados. Importancia del proyecto. El principal impacto de este proyecto será la contribución a la aplicación práctica de técnicas formales de análisis en diferentes etapas del desarrollo de software, con la finalidad de incrementar su calidad y confiabilidad. A crucial factor for software quality is correcteness. Traditionally, formal approaches to software development concentrate on functional correctness, and tackle this problem basically by being based on well defined notations founded on solid mathematical grounds. This makes formal methods better suited for analysis, due to their precise semantics, but they are usually more complex, and require familiarity and experience with the manipulation of mathematical definitions. So, their acceptance by software engineers is rather restricted, and formal methods applications have been confined to critical systems. Nevertheless, it is obvious that the advantages that formal methods provide apply to any kind of software system. It is accepted that appropriate software tool support for formal analysis is essential, if one seeks providing support for software development based on formal methods. Indeed, some of the relatively recent sucesses of formal methods are accompanied by good quality tools that automate powerful analysis mechanisms, and are even integrated in widely used development environments. Still, most of these tools either concentrate on code analysis, and in many cases are still far from being simple enough to be employed by software engineers without experience in formal methods. Another important problem for the adoption of tool support for formal methods is scalability. Automated software analysis is intrinsically complex, and thus techniques do not scale well in the general case. In this project, we will attempt to identify particular modelling, design, specification or coding activities in software development processes where to apply automated formal analysis techniques. By focusing in very specific application domains, we expect to find characteristics that might be exploited to increase the scalability of the corresponding analyses, compared to the general case.

Fisiología de la transferencia pasiva de anticuerpos en cabras

La importancia de la protección inmunológica conferida por el calostro se basa en la transferencia pasiva de anticuerpos. La placenta de la cabra, sindesmocorial, no permite el pasaje de inmunoglobulinas (Igs). La ingesta de calostro es vital ya que provee las Igs necesarias para disminuir el riesgo de infección y septicemia y mejorar la calidad de vida del recién nacido. Los objetivos: a) Estudiar la cinética de la transferencia pasiva de Igs determinando la concentración de IgG sérica en cabritos. b) Relacionar la concentración de IgG del suero y calostro de la cabra con la concentración sérica de IgG en el cabrito. c) Relacionar en calostro la concentración de inmunoglobulina G con la determinación semicuantitativa de inmunoglobulina G. d) Relacionar en el suero del cabrito a las 18 – 24 hs posparto la concentración de inmunoglobulina G con la la determinación semicuantitativa de inmunoglobulina G. e)determinación de los niveles de anticuerpos específicos en calostro de hembras vacunadas con respecto a hembras no vacunadas Material y método: Diseño de estudio: de cohorte, observacional y experimental, descriptivo. Animales: 25 cabras y 40 cabritos de raza Anglo Nubian. Toma de muestras: Cabras no vacunadas (CNV): muestra de sangre en el periparto y de calostro posparto. Cabras vacunadas (CV): a los 90 días de gestación se vacunaran con toxoide tetanico. se tomará muestra de sangre en el periparto y de calostro postparto. Cabritos: sangre seriadas: al nacimiento (precalostrado), 6 hs, 12 hs, 18 hs y 24 hs posparto y a los 21, 60, 90, 120 y 150 días. Determinación de IgG (Suero y calostro): a) Técnica de inmunodifusión radial simple, los resultados se expresarán en mg%. b) Test de gluteraldehído. c)Test de ELISA para Acs específicos Análisis estadístico: Comparaciones de medias con prueba t apareada o de diferencia de medias, (p < 0,05). Se realizará un análisis de componentes principales. Se correlacionará la concentración de Ig G de suero y calostro de la cabra con la concentración en suero del cabrito y los valores de Acs específicos entre CV vs CNV en sangre y calostro, se comparara niveles de Acs específicos séricos en cabritos de CV vs CNV Con los resultados de este trabajo se determinarán los valores de inmunoglobulina en las cabras y cabritos y su comportamiento en el tiempo, y la producción y transferencia de Acs específicos. Se validará la sensibilidad y especificidad de las técnicas diagnósticas utilizadas. Los resultados permitirán obtener conocimientos para un manejo racional, desde la perspectiva inmunologica, de los cabritos, al establecer mediante técnicas cuantitativas y semicuantitativas los niveles de Igs séricas y Acs específicos, favoreciendo un diagnóstico precoz de inmunodeficiencia por fracaso de la transferencia de anticuerpos que pondría en riesgo la vida del cabrito.

Mecanismo de interacción, calcio dependiente, entre Calcineurina y PERK, involucrado en el Estrés de Retículo Endoplásmico. Ca2+ -dependent mechanism of interaction between Calcineurin and PERK involved in Endoplasmic Reticulum Stress.

El Estrés de Retículo Endoplásmico (RE) es inducido por la acumulación de proteínas sin plegar en el lumen de la organela. Esto se puede observar en diversas situaciones fisio-patológicas como durante una infección viral o en proceso isquémico. Además, contribuye a la base molecular de numerosas enfermedades ya sea índole metabólico (Fibrosis quística o Diabetes Miellitus) o neurodegenerativas como mal de Alzheimer o Parkinson (Mutat Res, 2005, 569). Para restablecer la homeostasis en la organela se activa una señal de transducción (UPR), cuya respuesta inmediata es la atenuación de la síntesis de proteína debido a la fosforilación de subunidad alpha del factor eucariótico de iniciación de translación (eIF2α) vía PERK. Esta es una proteína de membrana de RE que detecta estrés. Bajo condiciones normales, PERK está inactiva debido a la asociación de su dominio luminar con la chaperona BIP (Nat Cell Biol, 2000, 2: 326). Frente a una situación de estrés, la chaperona se disocia causando desinhibición. Recientemente, (Plos One 5: e11925) se observó, bajo condiciones de estrés, un aumento de Ca2+ citosólico y un rápido incremento de la expresión de calcineurina (CN), una fosfatasa citosólica dependiente de calcio, heterodimérica formada por una subunidad catalítica (CN-A) y una regulatoria (CN-B). Además, CN interacciona, sin intermediarios, con el dominio citosólico de PERK favoreciendo su trans-autofosforilación. Resultados preliminares indican que, astrocitos CNAβ-/- exhibieron, en condiciones basales, un mayor número de células muertas y de niveles de eIF2α fosforilado que los astrocitos CNAα-/-. Hipótesis: CNAβ/B interacciona con PERK cuando el Ca2+ citosólico esta incrementado luego de haberse inducido Estrés de RE, lo cual promueve dimerización y auto-fosforilación de la quinasa, acentuándose así la fosforilación de eIF2α e inhibición de la síntesis de proteínas. Esta activación citosólica de PERK colaboraría con la ya descrita, desinhibición luminal llevada cabo por BIP. Cuando el Ca2+ citosólico retorna a los niveles basales, PERK fosforila a CN, reduciendo su afinidad de unión y disociándose el complejo CN/PERK. Objetivo general: Definir las condiciones por las cuales CN interacciona con PERK y regula la fosforilación de eIF2α e inhibición de la síntesis de proteína. Objetivos específicos: I-Estudiar la diferencia de afinidades y dependencia de Ca2+, de las dos isoformas de CN (α y β) en su asociación con PERK. Además verificar la posible participación de la subunidad B de CN en esta interacción. II-Determinar si la auto-fosforilación de PERK es diferencialmente regulada por las dos isoformas de CN. III-Discernir la relación del estado de fosforilación de CN con su unión a PERK. IV-Determinar efectos fisiológicos de la interacción de CN-PERK durante la respuesta de Estrés de RE. Para llevar a cabo este proyecto se realizarán experimentos de biología molecular, interacción proteína-proteína, ensayos de fosforilación in vitro y un perfil de polisoma con astrocitos CNAβ-/- , CNA-/- y astrocitos controles. Se espera encontrar una mayor afinidad de unión a PERK de la isoforma β de CN y en condiciones donde la concentración de Ca2+ sea del orden micromolar e imite niveles del ión durante un estrés. Con respecto al estado de fosforilación de CN, debido a los resultados preliminares, donde solo se la encontró fosforilada en condiciones basales, se piensa que CN podría interactuar con mayor afinidad con PERK cuando CN se encuentre desfosforilada. Por último, se espera encontrar un aumento de eIF2α fosforilado y una acentuación de la atenuación de la síntesis de proteína como consecuencia de la mayor activación de PERK por su asociación con la isoforma β de CN en astrocitos donde el Estrés de RE se indujo por privación de oxigeno y glucosa. Estos experimentos permitirán avanzar en el estudio de una nueva función citoprotectora de CN recientemente descrita por nuestro grupo de trabajo y sus implicancias en un modelo de isquemia. The accumulation of unfolded proteins into the Endoplasmic Reticulum (ER) activates a signal transduction cascade called Unfolding Protein Response (UPR), which attempts to restore homeostasis in the organelle. (PKR)-like-ER kinase (PERK) is an early stress response transmembrane protein that is generally inactive due to its association with the chaperone BIP. During ER stress, BIP is tritrated by the unfolded protein, leading PERK activation and phosphorylation of eukaryotic initiation factor-2 alpha (eIF2alpha), which attenuates protein síntesis. If ER damage is too great and homeostasis is not restored within a certain period of time, an apoptotic response is elicited. We recently demonstrated a cytosolic Ca2+ increase in Xenopus oocytes after induce ER stress. Moreover, calcineurin A/B, a an heterotrimeric Ca2+ dependent phosphatases (CN-A/B), associates with PERK increasing its auto-phosphorylation and significantly enhancing cell viability. Preliminary results suggest that, CN-Aβ-/- knockout astrocytes exhibit a significant higher eIF2α phosphorylated level compared to CN-Aα-/- astrocytes. Our working hypothesis establishes that: CN binds to PERK when cytosolic Ca2+ is initially increased by ER stress, promoting dimerization and autophosphorylation, which leads to phosphorylation of elF2α and subsequently attenuation of protein translation. When cytosolic Ca2+ returns to resting levels, PERK phosphorylates CN, reducing its binding affinity so that the CN/PERK complex dissociates. The goal of this project is to determine the conditions by which CN binding to PERK attenuates protein translation during the ER stress response and subsequently, to determine how the interaction of CN with PERK is terminated when stress is removed. To perform this project is planed to do molecular biology experiments, pull down assays, in vitro phosphorylations and assess overall mRNA translation efficiency doing a polisome profile.

Aproximación al diseño de sistemas de bio-reactores para la delignificación de materiales lignocelulósicos y para la decontaminación de suelos y efluentes. Approximation to the design of bio-reactors systems for the delignificación of lignocellulosic materials and for the decontamination of soil and effluents

Los materiales lignocelulósicos residuales de las actividades agroindustriales pueden ser aprovechados como fuente de lignina, hemicelulosa y celulosa. El tratamiento químico del material lignocelulósico se debe enfrentar al hecho de que dicho material es bastante recalcitrante a tal ataque, fundamentalmente debido a la presencia del polímero lignina. Esto se puede lograr también utilizando hongos de la podredumbre blanca de la madera. Estos producen enzimas lignolíticas extracelulares fundamentalmente Lacasa, que oxida la lignina a CO2. Tambien oxida un amplio rango de sustratos ( fenoles, polifenoles, anilinas, aril-diaminas, fenoles metoxi-sustituídos, y otros), lo cual es una buena razón de su atracción para aplicaciones biotecnológicas. La enzima tiene potencial aplicación en procesos tales como en la delignificación de materiales lignocelulósicos y en el bioblanqueado de pulpas para papel, en el tratamiento de aguas residuales de plantas industriales, en la modificación de fibras y decoloración en industrias textiles y de colorantes, en el mejoramiento de alimentos para animales, en la detoxificación de polutantes y en bioremediación de suelos contaminados. También se la ha utilizado en Q.Orgánica para la oxidación de grupos funcionales, en la formación de enlaces carbono- nitrógeno y en la síntesis de productos naturales complejos. HIPOTESIS: Los hongos de podredumbre blanca, y en condiciones óptimas de cultivo producen distintos tipos de enzimas oxidasas, siendo las lacasas las más adecuadas para explorarlas como catalizadores en los siguientes procesos:  Delignificación de residuos de la industria forestal con el fin de aprovechar tales desechos en la alimentación animal.  Decontaminación/remediación de suelos y/o efluentes industriales. Se realizarán los estudios para el diseño de bio-reactores que permitan responder a las dos cuestiones planteadas en la hipótesis. Para el proceso de delignificación de material lignocelulósico se proponen dos estrategias: 1- tratar el material con el micelio del hongo adecuando la provisión de nutrientes para un desarrollo sostenido y favorecer la liberación de la enzima. 2- Utilizar la enzima lacasa parcialmente purificada acoplada a un sistema mediador para oxidar los compuestos polifenólicos. Para el proceso de decontaminación/remediación de suelos y/o efluentes industriales se trabajará también en dos frentes: 3) por un lado, se ha descripto que existe una correlación positiva entre la actividad de algunas enzimas presentes en el suelo y la fertilidad. En este sentido se conoce que un sistema enzimático, tentativamente identificado como una lacasa de origen microbiano es responsable de la transformación de compuestos orgánicos en el suelo. La enzima protege al suelo de la acumulación de compuestos orgánicos peligrosos catalizando reacciones que involucran degradación, polimerización e incorporación a complejos del ácido húmico. Se utilizarán suelos incorporados con distintos polutantes(por ej. policlorofenoles ó cloroanilinas.) 4) Se trabajará con efluentes industriales contaminantes (alpechínes y/o el efluente líquido del proceso de desamargado de las aceitunas). The lignocellulosic raw materials of the agroindustrial activities can be taken advantage as source of lignin, hemicellulose and cellulose. The chemical treatment of this material is not easy because the above mentioned material is recalcitrant enough to such an assault, due to the presence of the lignin. This can be achieved also using the white-rot fungi of the wood. It produces extracellular ligninolitic enzymes, fundamentally Laccase, which oxidizes the lignin to CO2. The enzyme has application in such processes as in the delignification of lignocellulosic materials and in the biobleaching of fibers for paper industry, in the treatment of waste water of industrial plants, in the discoloration in textile industries, in the improvement of food for ruminants, in the detoxification of polutants and in bioremediation of contaminated soils. HYPOTHESIS: The white-rot fungi produce different types of enzymes, being the laccases the most adapted to explore them as catalysts in the following processes:  Delignification of residues of the forest industry in order to take advantage of such waste in the animal feed.  Decontamination of soils and / or waste waters. The studies will be conducted for the design of bio reactors that allow to answer to both questions raised in the hypothesis. For the delignification process of lignocellulosic material they propose two strategies: 1- to treat the material with the fungi 2-to use the partially purified enzyme to oxidize the polyphenolic compounds. For the soil and/or waste water decontamination process, we have: 3- Is know that the enzyme protects to the soil of the accumulation of organic dangerous compounds catalyzing reactions that involve degradation, polymerization and incorporation to complexes of the humic acid. There will be use soils incorporated into different pollutants. 4- We will work with waste waters (alpechins or the green olive debittering effluents.

Ecoepidemiología de Chlamydophila psittaci, pecorum, pneumoniae, abortus en Córdoba. Eco-epidemiology of Chlamydophila psittaci, pecorum, pneumoniae, abortus in Córdoba.

Las Clamidias son bacterias patógenas de los animales de producción, de vida silvestre y de compañía. Además de las pérdidas económicas que producen las infecciones en los planteles de producción bovina, ovina, caprina, porcina y aves de corral, la mayoría de las especies tienen importancia zoonótica, pudiendo dar origen a infecciones graves, potencialmente letales en el ser humano. El orden Chlamydiales está integrado por bacterias que actúan como parásitos intracelulares obligados que desarrollan su ciclo de vida únicamente dentro de inclusiones citoplasmáticas. En este orden se encuentra la familia Chlamydiaceae que comprende dos géneros, Chlamydia y Chlamydophila; y las especies, Chlamydia trachomatis, C. suis, C. muridarum, Chlamydophila psittaci, C. abortus, C. felis, C. caviae, C. pecorum, y C. pneumoniae. C. psittaci causa psitacosis o clamidiosis aviar. En Argentina, los primeros casos clínicos de psitacosis fueron reportados en 1929. Los criadores de aves y quienes las poseen como mascotas, representan el grupo de mayor riesgo; pero también las personas que trabajan en pajarerías y aquellas que por su empleo se ven expuestas a contraer la enfermedad (empleados en peladeros donde se carnean y procesan pollos y otras aves para consumo, veterinarios, empleados de zoológicos, etc.). La infección en humanos se presenta como una neumonía severa; con fiebre alta, escalofríos, dolor de cabeza, mialgia y dificultad respiratoria. Ocasionalmente puede presentarse vómitos, dolor abdominal, diarrea y complicaciones como miocarditis, endocarditis, encefalitis, ictericia y fallas multiorgánicas, que pueden ser fatales sino se le administra el tratamiento adecuado. La infección en las mujeres embarazadas puede producir neumonía, hepatitis, insuficiencia renal, sepsis, parto prematuro y muerte fetal. Existen más de 465 especies de aves en las que se registró C. psittaci, incluyendo ornamentales, de corral, silvestres, acuáticas y palomas. Las patologías que pueden producir en estos animales son neumonitis, conjuntivitis, encefalomielitis, placentopatías, fetopatías, anorexia, diarrea e infecciones persistentes asintomáticas u oligosintomáticas. En bovinos, C. pecorum, C. abortus y C. psittaci producen infecciones respiratorias y genitales; que se presentan como cuadros de enteritis, artritis, encefalomielitis, endometritis e hipofertilidad. En Argentina, la infección clamidial en el ganado caprino fue asociada a daños en el tejido uterino, abortos, partos prematuros y crías débiles. En equinos, C. psittaci y C. pneumoniae producen abortos y desórdenes respiratorios, con un gran impacto en ganadería que redunda en pérdidas económicas. Considerando que existen escasos estudios eco-epidemiológicos y clínicos que reporten el estado de situación de estas infecciones en nuestro medio, es que el presente trabajo propone actualizar y profundizar el conocimiento de las especies de Clamidias de importancia médico-veterinaria presentes en la provincia de Córdoba, Argentina. El desarrollo de este proyecto aportará la implementación de técnicas que mejorarán el diagnóstico microbiológico, confirmarán los cuadros clínicos; y por lo tanto contribuirá al conocimiento de estos agentes infecciosos en nuestra región. Esta información es indispensable para los organismos responsables de la Salud Pública (Ministerios de Salud y Educación, Municipios, etc.) para que puedan obrar en consecuencia y generar sistemas de alerta temprana, tomar medidas de prevención y medidas de control frente a la presencia de un brote epidémico por alguna cepa clamidial. "Eco epidemiology of Chlamydophila psittaci, C. pecorum and C. pneumoniae: Impact on public health "The Chlamydiae are bacterial pathogens of farm animals, wildlife and pets. Besides the economic losses that occur on campuses infections of cattle, sheep, goats, swine and poultry, most species are zoonotic, infections potentially fatal can cause in humans. The order Chlamydiales is composed of the family Chlamydiaceae comprising two genera, Chlamydia and Chlamydophila, and nine species, Chlamydia trachomatis, C. suis, C. muridarum, Chlamydophila psittaci, C. abortus, C. felis, C. caviae, C. pecorum, and C. pneumoniae. The clinical manifestations in humans are associated with severe pneumonia. Also, nonspecific gastrointestinal symptoms, and complications such as myocarditis, endocarditis, encephalitis, jaundice and multiple organ failure. There are over 465 species of birds where recorded C. psittaci, including ornamental plants, poultry, wild waterfowl and pigeons. Sick birds eliminate chlamydia in all secretions, asymptomatic birds can develop the disease through contact with other infected birds. The human infection occurs by inhalation of aerosolized secretions of infected birds. The prevalence of C. psittaci records in humans, birds, horses, goats and cattle are scarce in Latin America. In Argentina it has been detected chlamydial antibody prevalence in cattle in Buenos Aires and La Pampa (5) and Rockhopper Penguins (Eudyptes chrysocome) in the town of Santa Cruz (11). Detect this pathogen in these birds and learn about potential sources of infection would be of great public health significance. To develop an efficient system of medical and veterinary surveillance is essential to have reliable diagnostic techniques for detection and identification of Chlamydia in birds, animals and humans.

Producción de factores de virulencia por fitopatógenos bacterianos de soja. Utilización de productos naturales como biocontrol. Production of virulence factors by soybean bacterial phytopathogens. The use of natural products as biocontrolers.

En Argentina el cultivo de soja ocupa el primer lugar en superficie sembrada. El 90% de la producción se obtiene en la zona central del pais. La siembra directa favorece la multiplicación y supervivencia de fitopatógenos causantes de tizón y pústula bacterianos. El tizón es producido por Pseudomonas syringae pv. glycinea observándose manchas marrones en las hojas. Produce gran variedad de toxinas: coronatina, faseolotoxina, siringomicina, tabtoxina, proteínas “nucleation ice”, entre otras, las cuales contribuyen a la clorosis y necrosis. En la infección, además, están involucrados exopolisacáridos (levano y alginato). La celulosa ha sido relacionada en la adhesión bacteriana y en la formación de biofilm. La pústula es causada por Xanthomonas axonopodis pv. glycines. Produce manchas pequeñas con una pequeña pústula de color claro. Libera enzimas como α-amilasa, proteasa, endo β-mannanasa, actividad peptolítica, que degradan componentes vegetales. Xantan, producido por X. axonopodis es uno de los componentes necesarios para la formación de biofilm. Este último es considerado un importante factor de virulencia porque proporciona una estrategia de colonización que otorga mayor resistencia a ambientes desfavorables, tolerancia a antimicrobianos, producción de metabolitos y exoenzimas, etc. Actualmente el control de bacterias fitopatógenas se realiza mediante pesticidas con alta toxicidad para los consumidores y el ambiente. Para evitar las bacteriosis en la práctica se sugiere la rotación de cultivos y utilizar semillas certificadas. Se están probando compuestos naturales derivados de plantas medicinales como pesticidas; estos se pueden dividir en varias categorías fitoquímicas. Varios estudios confirman la actividad antibacteriana, antifúngica y antiviral de estos productos. Extractos vegetales con alto contenido de flavonoides y aceite esenciales poseen una importante actividad antibacteriana. Además, algunos aceites esenciales podrían estar incidiendo en la liberación y/o producción de biofilm, exopolisacáridos y exoproteínas. La gran incidencia de las infecciones por fitopatógenos y las pérdidas económicas que estas acarrean hacen que su control presente grandes dificultades para la agricultura sustentable en soja de nuestro país. En este trabajo se propone estudiar los diferentes factores de virulencia de cepas bacterianas fitopatógenas y evaluar el rol que cumplen en el proceso de la enfermedad en cultivos de soja y desarrollar estrategias para el control de bacteriosis vegetales aplicando productos naturales aislados de plantas aromáticas. La correcta utilización de productos antimicrobianos de origen natural aplicados sobre el cultivo y/o sobre las semillas evitaría la dispersión de la enfermedad y la eliminación al medio ambiente de productos contaminantes no deseados. In Argentina, soybean cultivation occupies the first place; 90% of this cereal is produced in the central region of the country. Intensive tillage practices favour multiplication and survival of bacterial phytopathogens causing blight and pustule diseases. Pseudomonas syringae pv. glycinea produce several toxins like coronatine, faseolotoxine, siringomicine, tabtoxine and proteins of nucleation ice that contribute to the develop of chlorosis and necrosis, characteristic of bacterial blight. It also produces levan and alginate, cellulose and biofilm. Pustule disease is caused by Xanthomonas axonopodis pv glycines, which produce enzymes like α-amilase, protease, endo β-mannanase, peptolitic activity, xanthan and biofilm. Nowadays the control of phytopathogenic bacteria consists in the application of pesticides that are toxic for the environment and man. Natural products from medicinal plants are a new alternative for the treatment of phytopathogens. Researches made with phytochemical compounds (flavonoids, phenols, quinones, cummarines, essential oils, terpenes) support the antimicrobial activity of these natural products. What is more, these substances could suppress the biofilm, exoproteins and exopolisaccharides formation and release of them. The infections caused by phytopathogens provoke economical loses and its control presents big difficulties in our country. The proposal of this work is the characterization of phytopatoghenic strains, its virulence factors and the role they play in the disease process. The development of a new alternative for the control of vegetable bacteriosis using natural products obtained from aromatic plants and the correct application of them on sown fields or on seeds is also an objective in this work.

Verificación de Sistemas Basada en Teoría de Tipos. System verification in type theory

Este proyecto se enmarca en la utlización de métodos formales (más precisamente, en la utilización de teoría de tipos) para garantizar la ausencia de errores en programas. Por un lado se plantea el diseño de nuevos algoritmos de chequeo de tipos. Para ello, se proponen nuevos algoritmos basados en la idea de normalización por evaluación que sean extensibles a otros sistemas de tipos. En el futuro próximo extenderemos resultados que hemos conseguido recientemente [16,17] para obtener: una simplificación de los trabajos realizados para sistemas sin regla eta (acá se estudiarán dos sistemas: a la Martin Löf y a la PTS), la formulación de estos chequeadores para sistemas con variables, generalizar la noción de categoría con familia utilizada para dar semántica a teoría de tipos, obtener una formulación categórica de la noción de normalización por evaluación y finalmente, aplicar estos algoritmos a sistemas con reescrituras. Para los primeros resultados esperados mencionados, nos proponemos como método adaptar las pruebas de [16,17] a los nuevos sistemas. La importancia radica en que permitirán tornar más automatizables (y por ello, más fácilmente utilizables) los asistentes de demostración basados en teoría de tipos. Por otro lado, se utilizará la teoría de tipos para certificar compiladores, intentando llevar adelante la propuesta nunca explorada de [22] de utilizar un enfoque abstracto basado en categorías funtoriales. El método consistirá en certificar el lenguaje "Peal" [29] y luego agregar sucesivamente funcionalidad hasta obtener Forsythe [23]. En este período esperamos poder agregar varias extensiones. La importancia de este proyecto radica en que sólo un compilador certificado garantiza que un programa fuente correcto se compile a un programa objeto correcto. Es por ello, crucial para todo proceso de verificación que se base en verificar código fuente. Finalmente, se abordará la formalización de sistemas con session types. Los mismos han demostrado tener fallas en sus formulaciones [30], por lo que parece conveniente su formalización. Durante la marcha de este proyecto, esperamos tener alguna formalización que dé lugar a un algoritmo de chequeo de tipos y a demostrar las propiedades usuales de los sistemas. La contribución es arrojar un poco de luz sobre estas formulaciones cuyos errores revelan que el tema no ha adquirido aún suficiente madurez o comprensión por parte de la comunidad. This project is about using type theory to garantee program correctness. It follows three different directions: 1) Finding new type-checking algorithms based on normalization by evaluation. First, we would show that recent results like [16,17] extend to other type systems like: Martin-Löf´s type theory without eta rule, PTSs, type systems with variables (in addition to systems in [16,17] which are a la de Bruijn), systems with rewrite rules. This will be done by adjusting the proofs in [16,17] so that they apply to such systems as well. We will also try to obtain a more general definition of categories with families and normalization by evaluation, formulated in categorical terms. We expect this may turn proof-assistants more automatic and useful. 2) Exploring the proposal in [22] to compiler construction for Algol-like languages using functorial categories. According to [22] such approach is suitable for verifying compiler correctness, claim which was never explored. First, the language Peal [29] will be certified in type theory and we will gradually add funtionality to it until a correct compiler for the language Forsythe [23] is obtained. 3) Formilizing systems for session types. Several proposals have shown to be faulty [30]. This means that a formalization of it may contribute to the general understanding of session types.

Toxocariosis: niveles de citoquinas y óxido nítrico en suero de niños provenientes de poblaciones con diferentes características socioambientales.

Toxocara canis es un nematode ascárido con importante potencial zoonótico. El hombre puede infectarse accidentalmente al ingerir huevos que contaminan el ambiente y al actuar como hospedador paraténico, el parásito permanece en él durante largos períodos en estado larval provocando daños y síntomas de acuerdo al tejido donde se encuentre. Respecto a las manifestaciones clínicas se reconocen formas viscerales: síndrome de Larva Migrans Visceral, Toxocariosis encubierta y Toxocariosis asintomática. El síndrome de Larva Migrans Ocular y Neurotoxocariosis son formas compartimentadas. La respuesta inmune en el hombre es compleja, en pacientes susceptibles se ha observado asociación de la infección por T. canis con la ocurrencia de asma bronquial, atopía y urticaria crónica. La evolución de la respuesta inmune a la resolución o a la etapa crónica de la infección depende en gran parte del balance de citoquinas y mediadores inflamatorios como el ON producidos durante la estimulación antigénica. El incremento de Inmunoglobulina E específica anti T. canis y la eosinofilia en la Toxocariosis podrían contribuir a la exacerbación del asma y posiblemente al eczema atópico. El objetivo general del presente proyecto es determinar el perfil de citoquinas y óxido nítrico en suero de niños y adolescentes con anticuerpos específicos anti T. canis provenientes de poblaciones con diferentes características socioambientales. Con los resultados obtenidos se pretende aportar información sobre el patrón de respuesta inmune característico en esta infección y transmitir al equipo de salud la importancia de esta zoonosis como probable agente asociado a enfermedades atópicas.

Las dificultades en el cambio generacional en la dirección de PYMES familiares de la ciudad de Córdoba y su relación con el estilo de liderazgo y la valoración de competencias directivas por parte de dueños y/o gerentes de primera línea.

La administración estratégica está dominada por enfoques que consideran que el capital intelectual y el capital humano son fuente de ventaja competitiva (Brooking, 1996; Storey, 2007). Nuestro enfoque son competencias como activo intangible capaz de generar una ventaja competitiva sostenible en el tiempo. Estudiamos competencias directivas siguiendo el modelo del IESE (Abad Guerrero y Castillo Clavero, 2004). Los estudios previos tienden a enfocarse en grandes empresas; pero Larry Greiner (1998) había señalado que las prácticas de dirección que funcionan bien en una etapa de una empresa pueden desatar una crisis en otra. Por eso nos enfocamos en pymes, atendiendo a la gestión de implementación de sistemas ERP para la formalización de la gestión; al respecto, los líderes y sus diversas mezclas de competencias son un factor fundamental (Kroemmergard y Rose, 2002). En Argentina el 70% de las pymes son familiares (Davis, 2011). Mundialmente apenas el 8% de los negocios de familia alcanzan la tercera generación (Gallo, 1998; Barbeito y otros, 2004; Thornton, 2005; Kertész y otros, 2006; Müller, 2008); los trabajos sobre sucesión y relaciones familiares son los más publicados (Basco Rodrigo, et al., 2006). Para Fernández (2000) el fracaso de muchas pymes puede relacionarse con el estilo de liderazgo. El liderazgo es un tema de interés en la teoría y práctica administrativa actual (Hersey, Blanchard y Johnson, 2001; Storey, 2004; Robbins, 2004; Bass y Riggio, 2006, Yukl, 2008). Interesa el desafío que implica la dirección de empresas con diversas generaciones (García Lombardía, Stein y Pin, 2008). Observamos necesaria una investigación multidimensional que articule: estilo de liderazgo y valoración de competencias directivas por parte de dueños y/o gerentes de primera línea, con relación a las dificultades en la gestión del cambio generacional en la dirección de pymes familiares, atendiendo a las etapas de crecimiento de estas empresas y la aplicación de las TICs a la formalización de la gestión. Nuestra conjetura: las dificultades en la gestión del cambio generacional en la dirección de pymes familiares de la ciudad de Córdoba estarían relacionadas con el estilo de liderazgo y la valoración de competencias directivas intratégicas y de eficacia personal por parte de dueños y/o gerentes de primera línea de esas empresas. Planificamos una investigación de campo, no experimental, de dos etapas: exploratoria y asociativa; con diseño de investigación transaccional.

Estudio epidemiológico de la salmonelosis porcina en la provincia de Córdoba.

Salmonella spp. son uno de los patógenos transmitidos por los alimentos más comunes y ampliamente distribuidos a nivel mundial. Todos los serotipos de Salmonella se consideran potencialmente patógenos para las personas. Los productos de origen animal, como la carne, son las principales vías de infección de las personas. El creciente aumento del consumo de carne de cerdo ha puesto en importancia a este animal como reservorio importante de Salmonella para las personas en especial de S. Typhimurium; lo que ha llevado a varios países a iniciar programas de vigilancia y control de la infección para reducir el riesgo para la Salud Pública. Los trabajos sobre prevalencia de salmonelosis subclínica en ganado porcino en Argentina son escasos, sin embargo en un estudio serológico realizado en cinco provincias de Argentina se observó una elevada seroprevalencia (89%), poniendo en importancia la necesidad de realizar controles de la infección por Salmonella en las explotaciones porcinas del país. El control de la salmonelosis se basa esencialmente en el conocimiento de la epidemiología de la infección en las condiciones naturales de explotación porcina. Factores como la alimentación, el manejo, instalaciones, diseño de la explotación, etc. parecen jugar un papel relevante en la transmisión de esta infección. Por lo anterior el objetivo principal de este proyecto es evaluar mediante metodología oficial la situación epidemiológica de la salmonelosis porcina en la provincia de Córdoba. Para ello se realizan muestreos en los principales establecimientos faenadotes de la provincia, como así también se realizaran análisis de los posibles factores de riesgo asociados a la infección en cerdos, mediante encuestas tendientes a obtener información sobre situación actual de las explotaciones porcinas de la provincia de Córdoba. A su vez se realizan muestreos en productos cárnicos porcinos a los fines de establecer la prevalencia de Salmonella spp. en los mismos, cumpliendo así con las recomendaciones de la Organización Mundial de la Salud de realizar estudios epidemiológicos completos bajo el concepto global de la “granja a la mesa”.

Análisis de componentes de la inmunidad innata en infecciones virales: implicancias en la patogénesis.

El estudio de células del sistema inmune innato en infecciones virales se ha centrado principalmente en las células dendríticas y las células NK. Los objetivos de este proyecto de investigación son evaluar el nivel de apoptosis de neutrófilos y las vías de activación de muerte celular en la infección por Virus de la Inmunodeficiencia Humana (VIH) y caracterizar la respuesta inmune inducida en monocitos/macrófagos infectados in vitro con el Encefalitis San Luis virus (ESLV). En individuos con infección por VIH se evaluará la apoptosis (anexina y citomorfología), la expresión de moléculas de adhesión y de receptor Toll-like (TLR) en neutrófilos. Además, se determinará la concentración sérica de citocinas pro-inflamatorias y anti-inflamatorias y de moléculas pro-apoptóticas y anti-apoptóticas. La infección por ESLV será realizada en una línea celular mieloide en la que se detectaran los antígenos virales a distintos días post-infección viral (inmunofluorescencia y citometría de flujo). Además, se determinará la expresión de antígenos de superficie y TLR. En sobrenadantes de cultivos de monocitos infectados con diferentes genotipos de ESLV a distintos días post-infección serán cuantificada la concentración de citocinas y determinada la apoptosis de monocito/macrófagos infectados (anexina y citomorfología). Este proyecto posibilitará una mayor comprensión de la regulación de la apoptosis en la infección por VIH, conocimiento que podrá ser de utilidad para avanzar en investigaciones futuras para el entendimiento de los mecanismos y la regulación de la apoptosis de componentes del sistema inmune innato. En la infección por ESLV el conocimiento de las características de la activación del macrófago cuando es infectado por este virus, los inmunomoduladores liberados y el impacto de la infección sobre la apoptosis de ésta célula podrían orientar hacia posibles blancos para el diseño futuro de estrategias terapéuticas o profilácticas contra esta infección.

Toxocariosis: niveles de citoquinas y óxido nítrico en suero de niños provenientes de poblaciones con diferentes características socioambientales.

Toxocara canis es un nematode ascárido con importante potencial zoonótico. El hombre puede infectarse accidentalmente al ingerir huevos que contaminan el ambiente y al actuar como hospedador paraténico, el parásito permanece en él durante largos períodos en estado larval provocando daños y síntomas de acuerdo al tejido donde se encuentre. Respecto a las manifestaciones clínicas se reconocen formas viscerales: síndrome de Larva Migrans Visceral, Toxocariosis encubierta y Toxocariosis asintomática. El síndrome de Larva Migrans Ocular y Neurotoxocariosis son formas compartimentadas. La respuesta inmune en el hombre es compleja, en pacientes susceptibles se ha observado asociación de la infección por T. canis con la ocurrencia de asma bronquial, atopía y urticaria crónica. La evolución de la respuesta inmune a la resolución o a la etapa crónica de la infección depende en gran parte del balance de citoquinas y mediadores inflamatorios como el ON producidos durante la estimulación antigénica. El incremento de Inmunoglobulina E específica anti T. canis y la eosinofilia en la Toxocariosis podrían contribuir a la exacerbación del asma y posiblemente al eczema atópico. El objetivo general del presente proyecto es determinar el perfil de citoquinas y óxido nítrico en suero de niños y adolescentes con anticuerpos específicos anti T. canis provenientes de poblaciones con diferentes características socioambientales. Con los resultados obtenidos se pretende aportar información sobre el patrón de respuesta inmune característico en esta infección y transmitir al equipo de salud la importancia de esta zoonosis como probable agente asociado a enfermedades atópicas.

Uso responsable de antimicrobianos: control de la resistencia bacteriana en los hatos caprinos de la provincia de Córdoba, a través de un sistema de vigilancia epidemiológico.

La provincia de Córdoba contempla dentro de sus prioridades productivas agropecuarias al sector caprino, para favorecer el desarrollo económico y social de la región. El control y tratamiento de las diferentes enfermedades es de vital importancia tanto para maximizar la producción del hato como para cumplir con las exigencias sanitarias. Además de los antiparasitarios, los antimicrobianos constituyen el grupo de fármacos que mayormente se suelen emplear en los sistemas productivos animales, inclusive en el caprino. El uso de estos medicamentos, conlleva inevitablemente a la presentación de resistencia bacteriana, y es agravado con su utilización inadecuada o desmedida. El fenómeno de resistencia es cada vez más frecuente en las poblaciones animales y humanas, razón por la que motiva a la Organización Mundial de la Salud y a la Organización Mundial de Sanidad Animal a que sea una prioridad en sus políticas de promoción de salud. El seguimiento de este efecto a nivel regional, permitirá establecer medidas de control adecuadas y optimización del empleo de antimicrobianos. Proponemos establecer un sistema de vigilancia de resistencia bacteriana en cabras lecheras sanas y con infección intramamaria, de la región norte cordobesa. En la población sana se procederá al aislamiento de E. coli intestinal porque es un microorganismo indicador de riesgo, y se considera un reservorio de genes de resistencia. Por otra parte, se realizarán aislamientos de estafilococos de la leche de cabras con y sin presentación aparente de mastitis. Se utilizarán pruebas cuantitativas de susceptibilidad a diferentes antimicrobianos, obteniéndose valores de concentraciones inhibitorias mínimas (CIM). La vigilancia y el seguimiento de la resistencia a los antimicrobianos a través del valor de la CIM regional, son necesarios para observar la evolución de la resistencia, aportar datos para la realización de análisis de riesgos, proporcionar una base para formular recomendaciones sobre políticas de sanidad humana y animal, y aportar información para elaborar normas y recomendaciones de uso prudente.

Palabra escrita y poder. La biblioteca del convento franciscano de Córdoba del Tucumán. (Siglos XVII Y XVIII).

El objeto de este proyecto es el estudio de la biblioteca del convento franciscano de Córdoba del Tucumán entre los siglos XVII y XVIII, a través de los únicos inventarios patrimoniales de sus libros, el primero redactado en 1726 y el segundo en 1815. La rareza y riqueza de la fuente hallada, muy poco común para la ciudad y otros espacios de Argentina, amerita el estudio de la circulación y posesión del libro, así como de la conformación de uno de los acervos coloniales bibliográficos más importantes de los entonces Tucumán, Paraguay y Río de la Plata, después de la Librería Grande del Colegio Máximo de la Compañía de Jesús de Córdoba.

Enfermedades de origen viral u ocasionadas por mollicutes en los nuevos escenarios del cultivo en la provincia de Córdoba.

Argentina es el tercer exportador mundial de maíz luego de Estados Unidos y Brasil. La estimación de la campaña 2009/10 indica que la producción mundial de maíz alcanzaría los 832,37 millones de toneladas, cerca de 23 millones de toneladas más que lo cosechado durante la campaña anterior y 21 millones de toneladas mas que lo cosechado en la campaña récord de 2007/08 (USDA, 2010). La cosecha de maíz 2009/10 en Argentina sería récord, llegando a los 22,5 millones de toneladas lo que significaría un incremento de 53% respecto de la campaña anterior, igualando el récord de la campaña 2006/07. El aumento de la potencialidad de rendimiento se concibe desde un cultivo sin incidencia de enfermedades. La predicción de la ocurrencia y del riesgo de daño asociado a las enfermedades de los cultivos a gran escala, la determinación del riesgo de distribución de pestes exóticas o emergentes en la agricultura sustentable, la evaluación de riesgo/beneficio del control biológico y la evaluación de enfermedades asociadas con el calentamiento global o el cambio de prácticas culturales son tópicos importantes en la ciencia agropecuaria moderna. Las enfermedades del maíz, en especial las producidas por virus y mollicutes se han incrementado en los últimos años debido, entre otras causas, al cultivo continuo desde el norte del país y países vecinos desde donde migran los vectores, a los cultivares de alto rendimiento que en muchos casos son susceptibles a estos patógenos y en gran medida a los cambios climáticos globales que generan que virosis de zonas tropicales y subtropicales se extiendan a zonas templadas. El principal enfoque para el control es el conocimiento del ciclo epidemiológico de la enfermedad ubicado para cada ambiente. En este marco es que desde el Departamento de Graduados de la Fac. de Cs. Agropecuarias, junto con la Secretaría de Extensión surgió la necesidad de la transferencia de los resultados de la investigación. Los conocimientos adquiridos en investigación hasta el presente, en toda la extensión de la Provincia de Córdoba, servirán a profesionales asesores, empresas semilleras y de insumos agropecuarios, productores y estudiantes próximos a graduarse a conocer estas enfermedades, sus vectores, las condiciones predisponentes y tener acceso a información actualizada para lograr su manejo con medidas preventivas desde el momento de la compra de los insumos agropecuarios, el sistema de labranza y de las fechas de siembra. Entrenar al productor para que adquiera esta habilidad le permitirá escapar a pérdidas de hasta 60% del lote, como son las producidas en la Provincia por algunas virosis como el Mal de Río Cuarto (March et al., 1993, Gaceta agronómica 76: 384), o pérdidas no perceptibles pero reales, de 14% en plantas con esta enfermedad respecto a plantas sanas (Ornaghi et a., 1995, IX J. Fitosanitarias Argentinas: 84). Otras virosis, como el mosaico común, no producen grandes epidemias sino son incidiosas, están presentes todos los años con pérdidas de producción a niveles tan significativos como 5,5 qq/ha e incidencias de hasta 44% en la Provincia (Lenardón y Giolitti, 1999, Proyecto de Investig. en Fitovirología INTA-JICA) y requiere certificación sanitaria para la exportación del grano pues se transmite por semilla. Por su parte, mollicutes emergentes como el Corn stunt spiroplasma, se han detectado en Córdoba con incidencias de 61% en lotes de Justiniano Posse y de 80% en Sarmiento, habiéndose detectado en la campaña 2009/10 en 4 localidades de la Provincia. Virosis re-emergentes como el MCMV, que produce necrosis letal del maíz en sinergismo con otras virosis, han hecho su reaparición con niveles de hasta 18% de infección. Reconocer sus síntomas y conocer las formas de dispersión y transmisión permitirá al profesional y al productor la evaluación del problema y tomar medidas de prevención y manejo de estas enfermedades para lograr los rendimientos esperados.