Métodos para el análisis de programas probabilistas y no-deterministas utilizando probadores de teoremas. Methods for the analysis of probabilistic and nondeterministic programs using theorem provers.

La verificación y el análisis de programas con características probabilistas es una tarea necesaria del quehacer científico y tecnológico actual. El éxito y su posterior masificación de las implementaciones de protocolos de comunicación a nivel hardware y soluciones probabilistas a problemas distribuidos hacen más que interesante el uso de agentes estocásticos como elementos de programación. En muchos de estos casos el uso de agentes aleatorios produce soluciones mejores y más eficientes; en otros proveen soluciones donde es imposible encontrarlas por métodos tradicionales. Estos algoritmos se encuentran generalmente embebidos en múltiples mecanismos de hardware, por lo que un error en los mismos puede llegar a producir una multiplicación no deseada de sus efectos nocivos.Actualmente el mayor esfuerzo en el análisis de programas probabilísticos se lleva a cabo en el estudio y desarrollo de herramientas denominadas chequeadores de modelos probabilísticos. Las mismas, dado un modelo finito del sistema estocástico, obtienen de forma automática varias medidas de performance del mismo. Aunque esto puede ser bastante útil a la hora de verificar programas, para sistemas de uso general se hace necesario poder chequear especificaciones más completas que hacen a la corrección del algoritmo. Incluso sería interesante poder obtener automáticamente las propiedades del sistema, en forma de invariantes y contraejemplos.En este proyecto se pretende abordar el problema de análisis estático de programas probabilísticos mediante el uso de herramientas deductivas como probadores de teoremas y SMT solvers. Las mismas han mostrado su madurez y eficacia en atacar problemas de la programación tradicional. Con el fin de no perder automaticidad en los métodos, trabajaremos dentro del marco de "Interpretación Abstracta" el cual nos brinda un delineamiento para nuestro desarrollo teórico. Al mismo tiempo pondremos en práctica estos fundamentos mediante implementaciones concretas que utilicen aquellas herramientas.

Epidemiología y diversidad genética del virus de la hepatitis C en la región central de Argentina

El virus de la hepatitis C (HCV) es el principal agente causante de hepatitis crónica, en el mundo. Basado en la divergencia de la secuencia de nucleótidos se lo ha clasificado en 6 genotipos y varios subtipos. La distribución de genotipos ha sido asociada a vías específicas de transmisión y a los movimientos poblacionales. Esta diversidad constituye las bases del manejo clínico del paciente y provee la información decisiva para las estrategias terapéuticas. Asimismo, la heterogeneidad genética de HCV continúa siendo el mayor obstáculo para el desarrollo de vacunas y terapias efectivas. Estudios previos realizados en Argentina demuestran que la distribución de genotipos es diferente entre regiones geográficas muy cercanas. En general el genotipo 1 es el más prevalente en la región este de nuestro país y en la región central existe una particular alta prevalencia de genotipo 2 (HCV-2) (>55%), 2c, y HCV-1 en usuarios de drogas endovenosas. A fin de confirmar la existencia de dos eventos de transmisión independientes con claras implicancias clínico terapéuticas, el objetivo de este proyecto es completar y profundizar el estudio del proceso de diversificación de estos genotipos en Córdoba mediante análisis moleculares y bioinformáticos. Así, más muestras y otras regiones genómicas deberían ser analizadas (NS5B/E2) para determinar el origen y caracterizar los patrones de diversificación. En este sentido, un reciente estudio serológico, realizado por personal del ministerio de Salud, que involucró a 3782 individuos habitantes de cuatro áreas geográficas de la provincia de Córdoba reveló una alta prevalencia de HCV (>5%). Dichas muestras son la base del estudio propuesto en este plan

Desarrollo de técnicas quirúrgicas en transplantes, investigación y preparación de nuevas soluciones de preservación de órganos para transplantes (Solución Córdoba)

La preservación es la llave que comparte el éxito de un transplante. La técnica de preservación de órganos permite el traslado de éstos a diferentes hospitales que pueden estar a grandes distancias. (...) El objetivo de la preservación es mantener la viabilidad del órgano por el mayor tiempo posible para que en el momento de ser transplantado, reinicie sus funciones de inmediato. De lo contrario, una no función primaria significa retransplante de inmediato, en el caso del hígado. Una mala función primaria significa una mayor exposición inmunológica, lo que trae aparejado episodios reiterados de rechazo con la pérdida final del injerto. Muchos son los factores que pueden modificar el objetivo arriba planteado: cuestiones del donante, del receptor, de la preservación y de la cirugía del transplante. La hipotermia parece ser uno de los ítems más importantes en la preservación de los órganos; éstos deben ser enfriados lo más rápidamente posible entre 0º y 4º C. Pero durante la isquemia fría aparecen daños en órganos como el hígado y sus mecanismos no han sido todavía aclarados. En trabajos recientes la isquemia caliente daña el sistema hepatocelular y durante la isquemia fría el sistema vascular, específicamente el sinusoidal. No está muy claro si la presencia de coloides para mantener la presión osmótica es necesaria para evitar el edema celular. Hoy se sabe que la presencia de algunos coloides es necesaria para este objetivo. Otro de los puntales de la preservación es el daño causado por la reperfusión del órgano isquémico, mecanismos que aún no han sido totalmente comprendidos. Por tales motivos nuestro grupo de trabajo ha desarrollado una solución de preservación Córdoba con el objetivo de estudiar los mecanismos de isquemia-reperfusión. Objetivos generales: * Desarrollar y estudiar el comportamiento de la Solución Córdoba. * Desarrollar diferentes técnicas quirúrgicas en transplantes de hígado de manera de especificar cuál es la más apropiada para la preservación.

Cartografía del uso del suelo utilizando sistemas de bases de datos relacionales y sistemas de informaciones georreferenciadas

La erosión es, de los procesos degradativos de suelo, el mayor impacto negativo que provoca, tanto por su extensión como por la magnitud. En Córdoba, cerca de 2 millones de ha están infectadas por erosión hídrica con grados moderados a graves. Este fenómeno está regido por una serie de factores: tipo de suelo, lluvias, tipo de cultivo, labores culturales, época de siembra, etc. Los Sistemas de Información Georreferenciada (SIG) son herramientas que permitan manipular gran cantidad de datos; el potencial de un SIG se amplía cuando se asocia un Sistema de Base de Datos Relacional (SBDR). Este último puede almacenar, transformar y analizar datos en formato de tablas y producir planos de atributos correspondiente a áreas delimitadas por polígonos en un plano base que se relacionan por medio de identificadores lógicos. Existen diversos modelos que describen el proceso de erosión hídrica, los parámetros de ellos tienen distribución geográfica y temporal lo que posibilita su aplicación dentro de un ambiente SIG asociado a un SBDR. Se propone el uso de SIG asociado a un SBDR en los estudios de Erosión Hídrica, para lo cual se deberán implementar una Base de Datos con formación extraída de Sensores Remotos, relevamiento de campo, encuesta a productores, análisis de laboratorio, etc. Se confeccionará un mapa base con polígonos identificados los que se asociarán a la base de datos y se crearán los planos de información por medio de ecuaciones de búsqueda. Se espera que el SIG y el SBDR sea una herramienta útil en este tipo de estudio y quedará a disposición de otros investigadores para su actualización, incorporándose nuevos datos y nuevos campos cuando se necesite. Se proyecta realizar en años posteriores estudios multitemporales al incorporar datos de diferentes épocas lo que posibilitará prevenir efectos de degradación.

Sensores basados en nanocavidades de sistemas supramoleculares. Sensors based on nanocavities of supramolecular systems.

Uno de los grandes desafíos analíticos es resolver la complejidad del análisis de cantidades trazas de compuestos orgánicos debido a la baja sensibilidad analítica de las técnicas usuales que permiten una determinación específica como IR o RMN. El uso de espectrofotometría UV-Visible y espectroluminiscencia, técnicas que presentan mayor sensibilidad, se ve dificultada en muchos casos por el efecto matriz producido en el tratamiento de muestras reales y complejas o pérdida de la selectividad debido a la superposición de bandas.La interacción por formación de complejos entre determinados sustratos y receptores macrocíclicos que presentan poros o cavidades nanométricas, puede afectar las propiedades espectroscópicas de los sustratos. La respuesta de técnicas sensibles puede traducirse así en un análisis selectivo debido al reconocimiento molecular que se establece entre un dado receptor y el sustrato de interés. Por otra parte puede mejorar la sensibilidad debido a efectos de micropolaridad del medio, a efectos de restricciones de grados de libertad, por compartamentalización o protección de los estados excitados de los sustratos incluidos. El uso analítico de receptores selectivos es un área actualmente en desarrollo, que permite una rápida determinación de especies químicas, disminuyendo el efecto de interferentes, mejorando la sensibilidad y disminuyendo el tratamiento de la muestra.Se estudiarán los mecanismos involucrados en las interacciones y los factores que los modifican por técnicas espectroscópicas como UV-visible, RMN y luminiscencia. Se determinarán los parámetros analíticos por luminiscencia en los medios y condiciones en que la sensibilidad analítica muestre el mayor incremento. Se realizarán las pruebas de validación en las mejores condiciones para cada uno y mezclas de analitos relacionados en muestras reales.

Epidemiología y diversidad genética del virus de la hepatitis c en la región central de Argentina.

El virus de la hepatitis C (HCV) es el principal agente causante de hepatitis crónica en el mundo. Basado en la divergencia de la secuencia de nucleótidos se lo ha clasificado en 6 genotipos y varios subtipos. La distribución de genotipos ha sido asociada a vías específicas de transmisión y a los movimientos poblacionales. Esta diversidad constituye las bases del manejo clínico del paciente y provee la información decisiva para las estrategias terapéuticas. Asimismo, la heterogeneidad genética de HCV continúa siendo el mayor obstáculo para el desarrollo de vacunas y terapias efectivas. Estudios previos realizados en Argentina demuestran que la distribución de genotipos es diferente entre regiones geográficas muy cercanas. En general el genotipo 1 es el más prevalente en la región este de nuestro país y en la región central existe una particular alta prevalencia de genotipo 2 (HCV-2) (>55%), 2c, y HCV-1 en usuarios de drogas endovenosas. A fin de confirmar la existencia de dos eventos de transmisión independientes con claras implicancias clínico terapéuticas, el objetivo de este proyecto es completar y profundizar el estudio del proceso de diversificación de estos genotipos en Córdoba mediante análisis moleculares y bioinformáticos. Así, más muestras y otras regiones genómicas deberían ser analizadas (NS5B/E2) para determinar el origen y caracterizar los patrones de diversificación. En este sentido, un reciente estudio serológico, realizado por personal del ministerio de Salud, que involucró a 3782 individuos habitantes de cuatro áreas geográficas de la provincia de Córdoba reveló una alta prevalencia de HCV (>5%). Dichas muestras son la base del estudio propuesto en este plan.

En búsqueda de la sustentabilidad y la recuperación del embalse San Roque.

El mayor suministro de agua potable de la Ciudad de Córdoba y el Gran Córdoba proviene del Embalse San Roque. Su cuenca es la segunda región turística más importante de la Argentina y la principal de la provincia. El lago es utilizado como fuente de agua para consumo y recreación y como componente básico para la sustentabilidad económica de toda la región, por lo que resulta fundamental la adecuada administración de la cuenca por parte de la Gestión de Gobierno. En la última década, la presencia permanente de algas y la ocurrencia de eventos extremos de crecimiento han siendo percibidos de manera preocupante por los pobladores de las ciudades aledañas y los visitantes de la región. Recientemente han afectado el tratamiento de potabilidad destinada a la ciudad de Córdoba resultando una distribución de agua de mala calidad con olores y sabores desagradables. Asimismo el problema de algas y macrófitas ocurrido en la fuente natural a pocos días de iniciarse la Semana Santa en marzo de 2010, debió ser contrarrestado mediante la implementación de actividades de saneamiento consistente en la limpieza y extracción mecánica de la biomasa en sitios del río San Antonio y su desembocadura, el área del perilago más poblado. Ante los inminentes síntomas de eutrofización avanzada, se conformó el Grupo de investigación Interdisciplinario e Interinstitucional donde participan el Instituto Nacional del Agua, el grupo de investigación Biodiscos y el Laboratorio Central, División Agua y Efluentes de la Facultad de Ciencias Químicas - UCC; la Compañía de Ingenieros Paracaidistas IV y Batallón de Inteligencia de la Segunda División de Ejército - Ejército Argentino; la Facultad de Biología y el Instituto de Virología Vanella - UNC y la Secretaría de Ambiente de la Provincia de Córdoba, entre otras. El objetivo general es la realización de los estudios integrales del lago San Roque para diagnosticar su estado, con el fin de proponer a la Gestión de Gobierno las medidas de mitigación de los problemas y las correspondientes acciones de prevención y control.

ROL DE CATALASA CEREBRAL Y LA FORMACION DE ACETALDEHIDO SOBRE LAS PROPIEDADES MOTIVACIONALES DE ETANOL EN RATAS EXPUESTAS PERINATALMENTE A BAJAS DOSIS DE PLOMO

El plomo (Pb) es un neurotóxico del desarrollo con capacidad para alterar el balance redox del organismo y la actividad de enzimas antioxidantes, incluyendo catalasa (CAT). El etanol es una droga adictiva cuyos efectos motivacionales serían mediados por el acetaldehído, proceso catalizado por la enzima CAT cerebral. En base a estas consideraciones y a experimentos previos que demuestran un mayor consumo voluntario de etanol en ratas perinatalmente expuestas al Pb, se postula que esta enzima sería un sitio de acción común entre Pb (que induciría su activación a partir de la mayor producción de especies oxigenadas reactivas) y etanol (debido a la potenciación de la actividad de CAT producto de altas concentraciones de etanol en cerebro). En el presente proyecto se propone medir, en animales que han adquirido un patrón estable de consumo de etanol, la expresión cerebral de CAT por técnicas de Western blot y su actividad por técnicas espectrofotométricas en respuesta a: a) aminotriazol: AT (inhibidor de CAT; ver antecedentes), b) ácido 3-nitropropiónico: 3-NPA (activador de CAT), c) PEN, penicilamina (agente secuestrador de acetaldehído) y d) cianamida CIAN, inhibidor del metabolismo de acetaldehído). Se espera que la actividad y la abundancia de CAT estén influenciadas por la exposición a Pb y etanol y que respondan a las manipulaciones farmacológicas. Estos resultados serán complementados por mediciones de los niveles de etanol y acetaldehído en sangre. Se evaluará además la adquisición y reinstalación de las propiedades reforzantes tanto de etanol como de acetaldehído en la prueba de condicionamiento pavloviano asociado a un contexto. De observarse adquisición y/o reinstalación, se intentará bloquearla con AT o PEN, o por el contrario, restablecerla/potenciarla con 3-NPA o con CIAN. Se esperaría que el mayor consumo voluntario de etanol condicione una mayor conducta de búsqueda de la droga en el paradigma de preferencia a un sitio y que estas conductas puedan ser moduladas farmacológicamente por los agentes arriba descriptos. Estos resultados aportarán evidencias para el estudio de los mecanismos de acción de cada tóxico en particular, y para una nueva área de la Toxicología, la toxicidad de mezclas.

REPRESENTACIÓN DISCURSIVA DE UNIVERSIDADES ARGENTINAS EN LA PRENSA: RELEVAMIENTO Y VALORACIÓN DEL COMPONENTE LÉXICO-GRAMATICAL DE ARTÍCULOS PUBLICADOS EN MEDIOS DE COMUNICACIÓN DE DIFUSIÓN NACIONAL.

El trabajo releva la presencia de las universidades argentinas en la prensa de alcance nacional. Sistematizaremos la mención de ellas en la versión digital de los diarios para observar frecuencia de aparición y contenidos que se asocian. Partimos de la hipótesis de que los medios hegemónicos sólo registran los eventos de universidades del “interior del país” cuando se vinculan con hechos curiosos o violentos. Interesa indagar en qué casos particulares la referencia a dichas universidades se vincula con la producción y difusión académica del conocimiento científico, entre otras. Constituimos el corpus con fragmentos de textos periodísticos que permiten examinar estructuras gramaticales para develar las representaciones que la prensa naturaliza a través de esas formas. Seguimos consideraciones teórico-metodológicas de la Lingüística Crítica sobre el nivel sintáctico: cuando aparece una distorsión en la estructura superficial existe una manipulación ideológica del sentido. Incluimos parte de la teoría de las transformaciones: en el relato de un acontecimiento, cualquier alteración del esquema causa-consecuencia construye una ideología por la cual percibimos los hechos de otra manera. Asimismo, para establecer correlaciones semánticas en lo discursivo, analizaremos los términos en función de tipos de significado y valor eufórico/disfórico de la base léxica. Por otra parte, desde la Teoría de la Enunciación, distinguiremos palabras objetivas y subjetivas: los hechos enunciativos están constituidos por las huellas lingüísticas de la presencia del locutor en su enunciado, denominadas subjetivemas. Además de los pronombres, rasgos espaciales y temporales como marcas enunciativas, seleccionaremos unidades léxicas como sustantivos, adjetivos, verbos y adverbios. La existencia de los subjetivemas se fundamenta en que toda unidad léxica implica una interpretación del mundo, esto es, una ideología en el sentido que asumimos en nuestro trabajo desde el Análisis Crítico del Discurso. Como complemento de las perspectivas interpretativas mencionadas, realizaremos la cuantificación previa de referencias mediante el Análisis de Contenido como apoyo metodológico. A tal fin, el estudio prevé la utilización de una herramienta tecnológica diseñada ad hoc, para el conteo de frecuencia, relevamiento de contextos lingüísticos de aparición y asociaciones léxicas en la frase, como sistematización previa al trabajo cualitativo de valoración de estructuras léxico-semánticas y morfo-sintácticas. The research reflects the presence of Argentine universities in nationwide media. We will systematize their mention on online version of La Nación and Clarín newspapers to observe their frequency of appearance and the contents they are related to. With the hypothesis that hegemonic media only register events in universities from inside the country when they are related to curious or violent events, we will investigate in which particular cases the reference to such universities is related to the production and academic diffusion of scientific knowledge. We built up the corpus with fragments from articles which allow us to examine the deep grammatical structures to reveal the representation press naturalizes through these forms. We follow theoretical-methodological considerations of Critical Linguistics (CL) about the syntactical level: when a distortion in the superficial structure appears, there exists an ideological manipulation of meaning. Also, to establish semantic correlations on the discursive field, we will analyze terms as regards types of meaning and euphoric/disphoric value of lexical basis. From the Theory of Enunciation, we will distinguish between objective and subjective words (“subjectivemes”): lexical unit implies an interpretation of the world, that is, an ideology in the way we assume in our work from Critical Discourse Analysis (CDA). As a complement to CL and CDA, we will carry out a previous quantification using a technological tool designed ad hoc.