Análisis de componentes de la inmunidad innata en infecciones parasitarias. I. Apoptosis de polimorfonucleares (Programa: enfermedades transmisibles y emergentes).

La visión jerárquica de la respuesta inmune, en la cual las células no específicas de la respuesta innata son las primeras reclutadas al sitio del daño, antes que se desarrolle la respuesta inmune específica adaptativa, ha cambiado. Primero, la respuesta innata es mucho más específica que lo reconocido hasta ahora y segundo, las células del sistema innato de defensa constituyen un nexo con el sistema adaptativo, modulándola en el curso de una respuesta inmune. Este complejo patrón de interacciones se ha evidenciado recientemente con las funciones de los neutrófilos. La contribución de los neutrófilos a la respuesta inmunitaria antiparasitaria reside, fundamentalmente, en tres atributos. 1) su patrón de migración, 2) su capacidad fagocítica y 3) su arsenal de mecanismos microbicidas. El objetivo principal de este proyecto de investigación es investigar el efecto de antígenos parasitarios sobre la apoptosis, activación y producción de citocinas por neutrófilos y analizar las vías de activación de la muerte celular en neutrófilos cultivados con antígneos parasitarios. Para ello, en neutrófilos provenientes de individuos sanos se evaluará la apoptosis de estas células luego de su incubación con antígenos solubles y particulados de protozoos y helmintos. Además, se evaluará la expresión de distintos antígenos de superficie, se cuantificarán mediadores solubles pro-inflamatorios en los sobrenadantes de los cultivos y se evaluarán proteínas pro-apoptóticas y anti-apoptóticas en neutrófilos cultivados con antígenos parasitarios. En el contexto de la respuesta inmune innata frente a parásitos, sean protozoos o helmintos, intestinales o extraintestinales, es necesario evaluar el impacto de las infecciones parasitarias en la sobrevida de los neutrófilos y en la capacidad de estas células para liberar mediadores solubles lo que permitirá ampliar el conocimiento sobre su rol en procesos infecciosos.

Infección por toxocara canis: detección en suelo y en niños y adolescentes de comunidades de la provincia de Córdoba (Programa: enfermedades transmisibles y emergentes).

Toxocara canis es un parásito cosmopolita frecuentemente hallado en el intestino delgado de los caninos. El hombre adquiere la infección con Toxocara por la ingestión de huevos embrionados que se encuentran en el suelo contaminado. En Argentina, las cifras reales de prevalencia de esta infección no se conocen por tratarse de una patología que no es de notificación obligatoria y por la existencia de casos asintomáticos. Los objetivos de este proyecto de investigación son: a) determinar el grado de contaminación con huevos de Toxocara canis de suelos en áreas de uso público y privado de las comunas de Villa El Prado y Los Cedros de la Provincia de Córdoba, b) detectar la presencia de anticuerpos anti-Toxocara canis en niños y adolescentes de estas Comunas, c) relacionar la presencia de anticuerpos con factores de riesgo y d) obtener antígenos excreción/secreción de larvas L2 de Toxocara canis para el desarrollo de un técnica inmunoenzimática "in house". La presencia de huevos de Toxocara se evaluará en suelo (tierra, arena, mixta) del área de recreo de las escuelas y de áreas externas de cada vivienda (patio, jardín). La presencia de anticuerpos específicos será detectada en niños y adolescente entre 1 a 15 años de edad de ambos sexos que asistan a los dispensarios de las comunas. Para elaborar un sistema de detección de anticuerpos específicos se obtendrán antígenos excreción/secreción de larvas L2 de Toxocara canis. Este proyecto permitirá comparar la seroprevalencia de infección por Toxocara en niños y adolescentes, con otras regiones del país y el extranjero y analizar la relación entre títulos y manifestaciones clínicas. Además, posibilitará caracterizar asociaciones entre infección y factores de riesgo. Debido a la carencia de información sobre esta infección parasitaria en nuestro medio, esta investigación aportará datos útiles para las campañas de desparasitación de mascotas, saneamiento ambiental, tratamiento antiparasitario en personas afectadas y caracterización de manifestaciones clínicas asociadas a esta parasitosis.

Linfocitos th 17: moduladores o reguladores de la infección por VIH (Programa: enfermedades transmisibles y emergentes).

Los linfocitos T-CD4+ llamados helper (LTH) o cooperadores, componen una población heterogénea de células constituidas por LTH naive y células efectoras: TH1, TH2, TH17, TH1/TH17 y células regulatorias LT reguladores (T-reg). Ellas desempeñan un rol central en la defensa inmune y adquieren distintas propiedades funcionales en respuesta a señales que genera el sistema inmune innato. Los TH17 cumplen un rol crítico en la interrelación entre la inmunidad innata y adaptativa, en la inflamación crónica y en el mantenimiento de la esterilidad de la mucosa gastrointestinal. La infección por el virus de la inmunodeficiencia humana (VIH-1) se caracteriza por una gradual y progresiva disfunción del sistema inmune, con su consecuencia final el Síndrome de Inmuno Deficiencia Adquirida (SIDA). La infección viral involucra la interacción de proteínas virales con la molécula de superficie celular CD4 y el receptor de quimiocinas CCR5 o CXCR4. Nuestro objetivo es evaluar cualitativamente y cuantitativamente los TH17 en relación con los subtipos de LTH en pacientes con infección por VIH-1 en distintos estadios de la infección y correlacionarlos con la clínica del paciente. Para ello se estudiarán individuos con infección por VIH-1 en distintos estadios de la infección sin tratamiento antirretroviral a los que se evaluarán cuantitativamente los niveles de LTH y las subpoblaciones TH17, TH1 y Treg. Además, se estudiarán las características funcionales de los TH17 cuantificando los niveles de IL-17, IL-10 e INF-γ en suero y sobrenadante de cultivos celulares y los niveles de granulocitos. La evaluación de los TH17, en relación con la etapa inmune, virológica y con la clínica del paciente nos permitirá detectar subgrupos de pacientes y nuevos marcadores de progresión de la enfermedad.

Análisis de componentes del sistema inmune innato en la infección vih/sida: apoptosis y expresión de moléculas y receptores en polimorfonucleares neutrófilos (Programa:enfermedades transmisibles y emergentes).

El Virus de la Inmunodeficiencia Humana (VIH) afecta principalmente a la respuesta inmune específica causando una pérdida progresiva de los linfocitos T CD4+. Este virus también puede afectar a células del sistema inmune innato, como los Polimorfonucleares Neutrófilos (PMN). Los objetivos propuestos para esta etapa del proyecto son: a) investigar el efecto de la infección por VIH sobre la apoptosis de PMN, b) analizar la expresión de moléculas y receptores de reconocimiento de patrones moleculares asociados a patógenos en estas células y c) evaluar el impacto de la terapia antirretroviral sobre la apoptosis y expresión de moléculas y receptores en PMN. Se incluirán individuos en distintos estadios de la infección con o sin tratamiento antirretroviral y se determinarán parámetros hematológicos, inmunológicos y virológicos a fin de correlacionar el nivel de apoptosis y expresión de moléculas y receptores con el nivel de linfocitos T CD4+ y carga viral. La importancia de los PMN en el control de la infección por el VIH es actualmente un área de mucho interés, ya que pueden ejercer un efecto anti-VIH directo, y al mismo tiempo, ser blancos de la infección viral. Comprender los aspectos claves en la cascada de la apoptosis de estas células podría en un futuro aportar posibles blancos terapéuticos, que permitan restaurar la función de los PMN durante la infección VIH/SIDA.

Programa de intervención sanitaria en poblaciones marginales de la provincia de Córdoba.

El bienestar y la calidad de vida de las poblaciones se ven influenciados por varias causas, entre las que pueden mencionarse los problemas asociados al medio ambiente, a la atención sanitaria, y a los hábitos, comportamientos y estilos de vida de los individuos. Para que las personas alcancen un desarrollo armónico se debe hacer un gran esfuerzo de prevención y promoción de la salud. Este programa propone mejorar la calidad de vida de los pobladores en relación a enfermedades que afectan a poblaciones vulnerables partiendo desde su propia realidad, basados en una mirada interdisciplinaria, integrando investigación, docencia y proyección social para dar respuestas por un lado a necesidades sentidas de los pobladores de la zona y como docentes, al desafío de enseñar a aprender en un contexto variable, formando personas íntegras y libres como base para una sociedad más justa, con pensamiento propio, capaces de transformar, de reconstruir, de "ver" nuevos caminos, fomentando iniciativas que contemplen acciones tendientes a cumplir un importante rol en la sociedad, contribuyendo así a que la comunidad educativa en su conjunto se transforme en un sujeto comprometido con los problemas que aquejan a nuestra sociedad.

Conflictos urbanos y violaciones al derecho a la ciudad en Córdoba capital (Programa: indicadores ciudadanos y participación para una ciudad justa, democrática y sustentable).

Durante las últimas décadas las ciudades latinoamericanas se caracterizaron por fuertes procesos de crecimiento urbano y profundización de la distribución inequitativa de la riqueza, reforzando el patrón de segregación residencial socioeconómica existente. Desde la supremacía de la lógica del mercado inmobiliario y de suelo vinculada al desarrollo urbano, estas situaciones prefiguran un contexto de reiteradas violaciones al derecho a la ciudad y acaban cristalizando en focos de conflictos sociales y urbanos, que atentan contra la gobernabilidad local del territorio y la posibiidad del ejercicio de derechos inalienables. En Córdoba el nivel de conflictividad urbana ha ido incrementándose. En este sentido, el presente proyecto propone identificar, caracterizar y georreferenciar los conflictos urbanos existentes en la ciudad a partir de la selección de variables urbanas, ambientales y sociopolíticas relevantes en su determinación (acceso al suelo, precariedad habitacional, necesidad de espacios verdes, acceso a infraestructura y servicios públicos, criticidad ambiental, entre otras variables emergentes en campo). También se pretende comprender las representaciones y prácticas de los distintos agentes involucrados respecto de las mismas y de las políticas públicas asociadas. La hipótesis del trabajo sostiene que cuando se analiza el sistema urbano de un modo integral, emergen vinculaciones espaciales que derivan en situaciones conflictivas, predominando la sectorización y la compartimentización según problemáticas focalizadas, no existiendo actualmente políticas que integren la complejidad de aristas que supone el desarrollo urbano. Esto también se observa en el campo de las representaciones y prácticas relacionadas a dichos conflictos, registrándose fuertes diferenciaciones entre las de la ciudadanía afectada por situaciones de violación de derechos a la ciudad, y aquellas que tienen los sectores públicos y/o privados con incidencia en las mismas. Ambas situaciones inciden en la formulación y ejecución de políticas públicas que no terminan de resolver las disputas que se materializan en el territorio. De aquí que el propósito del trabajo sea identificar y caracterizar de manera más integral los conflictos urbanos existentes en la ciudad, confrontando las distintas miradas y acciones que coexisten en su construcción territorial; y en base a ese diagnóstico proponer, a partir de su visibilización, estrategias de superación de dichas tensiones e incompatibilidades.

Degradación de efluentes de las industrias del cuero y textil mediante procesos fotocatalíticos heterogéneos empleando la luz solar. Degradation of effluents from the leather and textile industries through heterogeneous photocatalytic processes using sunlight.

El creciente desarrollo de la industria del cuero y textil en nuestro país, y específicamente en la provincia de Córdoba, ha hecho resurgir en los ultimos años una problemática aún no resuelta que es la elevada contaminación de los recursos hídricos. En ambas industrias, la operación de teñido involucra principalmente colorantes de tipo azoico los cuales son "no biodegradables" y se fragmentan liberando aminas aromáticas cancerígenas. Para abordar esta problemática, la fotocatálisis heterogénea aparece como una nueva tecnología que permitiría la completa mineralización de estos colorantes. A través de radiación y un fotocatalizador sólido adecuado se pueden generan radicales libres eficientes para la oxidación de materia orgánica (colorantes) en medio acuoso. En este sentido, se proponen tamices moleculares mesoporosos modificados con metales de transición (MT) como fotocatalizadores potencialmente aptos para la degradación de estos contaminantes. El propósito principal de este proyecto es el diseño, síntesis, caracterización y evaluación de materiales mesoporosos que presenten actividad fotocatalítica ya sea mediante la modificación de su estructura con diversos metales fotosensibles y/o empleándolos como soporte de óxido de titanio. Se pretende evaluar estos materiales en la degradación de colorantes intentando desplazar su fotosensibilidad hacia la radiación visible para desarrollar nuevas tecnologías con menor impacto ambiental y mayor aprovechamiento de la energía solar. Para ello se sintetizarán materiales del tipo MCM-41 modificados con distintos MT tales como Fe, Cr, Co, Ni y Zn mediante incorporación directa del ión metálico o impregnación. Al mismo tiempo, tanto estos últimos materiales como el MCM-41 silíceo serán empleados como soporte de TiO2. Sus propiedades fisicoquímicas se caracterizarán mediante distintas técnicas instrumentales y su actividad fotocatalítica se evaluará en la degradación de colorantes azoicos bajo radiación visible. Se seleccionará el catalizador más eficiente y se estudiarán los diversos factores que afectan el proceso de fotodegradación. Así mismo, el análisis de la concentración del colorante y los productos presentes en el medio en función del tiempo de reacción permitirá inferir sobre la cinética de la decoloración y postular posibles mecanismos de fotodegradación. Con esta propuesta se espera contribuír al desarrollo de un sector industrial importante en nuestra provincia como es el de las industrias del cuero y textil, mediante la generación de nuevas tecnologías que empleen la energía solar para la degradación de sus efluentes (colorantes). En este sentido, se espera desarrollar nuevos materiales optimizados para lograr la mayor eficiencia fotocatalítica. Esto conduciría entonces hacia la remediación de un problema ambiental de alto impacto tanto para nuestra provincia y nuestro país como para la población mundial, como es la contaminación de los recursos hídricos. Finalmente, con este proyecto se contribuirá a la formación de dos doctorandos y un maestrando, cuyos temas de tesis están vinculados con nuestro objeto de estudio. The increasing development of the textile and leather industries in our country, and specifically in Córdoba, has revived an unresolved problem that is the high contamination of water resources. In both industries, the dyeing involves mainly type azoic dyes which are not biodegradable and break releasing carcinogenic aromatic amines. Heterogeneous photocatalysis appears as a new technology that would allow the complete mineralization of these pollutants. Through radiation and a suitable solid it is possible to generate free radicals for efficient oxidation of organic matter (dyes) in aqueous medium. In this respect, mesoporous molecular sieves modified with transition metals are proposed as potential photocatalysts. The main purpose of this project is the synthesis of mesoporous materials having photocatalytic activity for the degradation of dyes. We will try to move their photosensitivity to visible radiation to develop new technologies with lower environmental impact and greater use of solar energy. Materials MCM-41 modified with metals (Fe, Cr, Co, Ni and Zn) will be synthesized by direct incorporation or impregnation. These materials and the siliceous MCM-41 will be then employed as support of TiO2. The materials will be evaluated in the photocatalytic degradation of azoic dyes under visible radiation. The influence of different factors on the photodegradation proccess will be studied. Kinetic studies will be carried out and a possible reaction way will be proposed. Thus, this work will contribute to the advancement of an important industrial sector and the remediation of an environmental problem with high impact for our province and our country. Moreover, this proyect will contribute to the development of two doctoral tesis and one magister tesis which are vinculated with our study subject.

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.