“DESARROLLO DE GEOINDICADORES Y VALORACIÓN DE VULNERABILIDAD DE RECURSOS HÍDRICOS ASOCIADOS A LA EVALUACIÓN DEL IMPACTO PRODUCIDO POR CAMBIOS EN EL USO DEL SUELO”

La zona no saturada del suelo tiene una gran importancia en el ciclo del agua, así como en el transporte y las transformaciones de compuestos químicos. El estudio de esta zona es importante pues es el nexo entre el agua superficial y el agua subterránea. El incremento de las actividades agrícolas en la región central del país ha provocado un uso extendido de agroquímicos que contaminan las reservas hídricas subterráneas. La predicción y estimación del nivel de concentración, degradación, adsorción, retardo biológico, transporte y deposición de estos compuestos dependen de condiciones geológicas y propiedades físico-químicas del suelo. Es fundamental en este aspecto resolver con la información obtenida las ecuaciones de transporte de contaminantes para lo cual resulta de interés la mineralogía, tortuosidad, relación de vacíos y composición granulométrica del suelo. El transporte de contaminantes afecta la calidad del agua superficial (ríos, lagunas o esteros) y subterránea (napa freática y acuíferos) que constituyen fuentes de agua dulce. En este proyecto se realizan estudios que evalúan aspectos que afectan la calidad del agua superficial y subterránea debido a actividades antrópicas. En particular se analizan aspectos fenomenológicos de interés para el transporte de contaminantes en suelos para entender los mecanismos de contaminación de las aguas subterráneas. Estos estudios se realizarán en base a experimentos de laboratorio y simulaciones numéricas mediante modelos computacionales. Por otro lado, se tomarán dos casos o zonas de estudios, la primera abarca los recursos hídricos del norte de la Provincia de Córdoba, dentro de los cuales se destaca la laguna Mar Chiquita, y la segunda consiste en el estudio de la influencia del cambio del uso del suelo en la zona periurbana de la ciudad de Córdoba y el efecto que esto produce en la calidad del agua subterránea. En los estudios relacionados con la calidad y cantidad de agua que llega a la Laguna Mar Chiquita se realizarán estudios para la obtención de datos que permitan definir criterios de manejo y políticas de gestión de la cuenca intermedia, compatibles con requerimientos ambientales y sociales. Estos criterios y políticas serán una consecuencia de la interpretación del comportamiento fluvial y la respuesta del sistema hídrico ante los distintos pulsos de caudal, el cual será parcialmente aforado mediante campañas, y su interrelación con el uso del suelo en zonas que puedan afectar los afluentes de la laguna. Esto permitirá definir el caudal real que llega a la laguna y, de este modo, estimar el volumen ecológico de la misma. Al mismo tiempo, los afluentes en su trayecto reciben múltiples descargas de tipo doméstico, de origen industrial y de origen agropecuario (e.g. Río Suquía). Sin embargo, los estudios existentes sobre la calidad del agua y las actividades antrópicas son muy escasos, por lo cual resulta necesario realizar un seguimiento que permita conocer sus características y planificar su manejo. Por otro lado, se estudiará cómo el uso del suelo y fundamentalmente los cambios no controlados del mismo resultan vitales para poder preservar los recursos hídricos subterráneos. Este aspecto resulta de fundamental importancia en nuestra provincia en el caso del crecimiento acelerado que sufre la ciudad de Córdoba desde hace varias décadas por lo que éste caso se tomará como prioritario. Los resultados obtenidos permitirán generar información de gran valor para la toma de decisiones y obtener nuevos conocimientos relacionados con las características hidrodinámicas (superficial y subterránea) y del suelo en las zonas de estudio. Esto permitirá en un futuro definir o delimitar zonas de riesgo, realizar una adecuada planificación del uso del suelo en relación con las actividades agropecuarias y crecimiento de zonas urbanas y desarrollar programas para la preservación de recursos hídricos superficiales u subterráneos de la Provincia de Córdoba.

INCIDENCIA DE LAS ACTIVIDADES AGROPECUARIAS EN LA CALIDAD DE PRODUCTOS APÍCOLAS Y EN LA DISTRIBUCIÓN DE APIS MELLIFERA. INDICADORES DE CONTAMINACIÓN AMBIENTAL.

Las actividades socioeconómicas en muchos casos generan residuos que afectan a la salud humana, la calidad de los ecosistemas y los procesos ecológicos. La acumulación de residuos de plaguicidas en el ambiente se ha puesto de manifiesto desde hace años y la incidencia de éstos en los ecosistemas supone un riesgo que es necesario conocer y reducir. La agricultura depende, en gran medida, de la utilización de pesticidas para controlar las plagas y las enfermedades que pueden ocasionar pérdidas en la calidad de las cosechas y disminuir su producción. En los últimos años, la contaminación de los alimentos y del medio ambiente por los pesticidas se ha convertido en objeto de gran interés y preocupación social debido a los posibles efectos adversos de una exposición prolongada a estos compuestos. La provincia de Córdoba, en particular la región sur, no es ajena a dicha problemática dado que la actividad más importante es la agropecuaria. Por tanto, resulta de sumo interés desarrollar métodos para diagnosticar y monitorear la contaminación del ambiente. En este sentido, los indicadores ambientales han tomado impulso con el propósito de estandarizar metodologías y procesos que nos permitan desarrollar la capacidad de analizar, evaluar y comparar el estado del ambiente y los recursos naturales. Las abejas melíferas y los productos de la colmena podrían muy bien cumplir con este rol ya que durante su pecoreo las abejas se ponen en contacto con prácticamente todos los sectores medioambientales (suelo, vegetación, aire y agua). Las abejas exploran áreas de unos 30 km2 para recolectar elementos para el desarrollo de su colonia y por consiguiente los productos de la colmena se pueden relacionar con la contaminación local. La presencia de plaguicidas de uso agrícola, tanto en miel como en cera, en cantidades suficientemente altas, también podría llevar a que la colmena se vea debilitada y las abejas tiendan a abandonarla. No obstante, el abandono de las colmenas no sólo puede deberse a la acumulación de compuestos químicos extraños, sino también a problemas de sanidad relacionados al mal manejo del apiario. La incidencia de este último factor puede estimarse determinando en miel y cera los residuos de medicamentos, sintéticos y/o naturales, utilizados por los apicultores para el tratamiento de enfermedades de la colmena. Por lo tanto, se propone utilizar el grado de contaminación de la miel y de la cera con plaguicidas de uso agrícola como indicadores ambientales y establecer la influencia de este factor y de los medicamentos de uso apícola sobre el síndrome de despoblamiento de las colmenas. Para ello se seleccionarán tres zonas de trabajo, todas pertenecientes al sur de la provincia de Córdoba, (una silvestre, una de agricultura en base a soja y maíz y una tambera) donde se esté desarrollando la actividad apícola, instalando también colmenas propias para el proyecto. Se realizarán encuesta a productores agropecuarios y apícolas. Para el diagnóstico de enfermedades se emplearán las siguientes técnicas: gota pendiente para Loque americana, método de Cantwell para Nosema y el método de David Jong modificado para Varroa. Para la cuantificación de residuos de plaguicidas y medicamentos se emplearán técnicas cromatográficas. Los resultados obtenidos permitirán evaluar el estado sanitario de las colmenas, la disminución o no de la población, determinar indirectamente la contaminación ambiental estableciendo las vinculaciones entre las causas que generan los cambios, las respuestas del medio y tendencias futuras y realizar transferencia a distintos niveles mediante, conferencias, cursos, material didáctico y prestación de servicios. Asimismo, los resultados podrían ser utilizados en el futuro en la implementación de políticas regulatorias de las actividades agroindustriales, mientras que el relevamiento del estado sanitario de las colmenas permitirá tomar decisiones respecto de las políticas sanitarias a aplicar en el manejo de los colmenare

PREVALENCIA DE INFECCION POR VIRUS HEPATITIS C, B Y VIH EN PACIENTES ALCOHOLISTAS DE LA CIUDAD DE CORDOBA

La Hepatitis C y B, junto al alcoholismo, continúan siendo un verdadero problema de Salud Pública. Sin embargo, actualmente no existen datos locales que nos permitan estimar la prevalencia de infección por virus hepatotropos en pacientes alcoholistas, sus genotipos, distrubución geográfica, ni su asociación con determinado tipo de alcoholismo. Además, la co-infección del virus de la inmunodeficiencia humana (VIH) con los virus de hepatitis supone un impacto muy importante desde el punto de vista sanitario y estadístico en nuestro país, ya que alrededor del 50 por ciento de los pacientes VIH positivos presentan dicha coinfección. Es así que, por ser de interés sanitario y por compartir vías de transmisión con el virus de hepatitis B y C, nos parece adecuado estudiar también la presencia de VIH-1 en esta población. Nuestro centro de atención pública (IPAD), atiende a pacientes con trastornos por el consumo de sustancias; deshabitúa y rehabilita alcoholistas y a otros trastornos por consumo. Dichos pacientes, que viven en la ciudad capital, serán evaluados serológicamente para la detección de virus hepatotropos C-B y el VIH. Considerando que en nuestra institución se atiende a un 70 % de Alcoholistas Puros (con un promedio de 7 pacientes nuevos por día), nos resulta importante pesquisar la prevalencia de Virus C, B y VIH en nuestra población de alcoholistas. Toda esta problemática, es la propuesta de mi tesis doctoral. Hipótesis: estimamos encontrar en nuestra población de estudio cifras superiores a la prevalencia de estos virus publicada en bancos de sangre, lo cual se toma como referencia. Objetivos: -Conocer la prevalencia de infección por Virus de Hepatitis C, B y VIH-1 en pacientes alcoholistas de la ciudad de Córdoba, determinar si existe asociación de estos virus con algún tipo de alcoholismo, e identificar genotipos prevalentes y su distribución geográfica en Córdoba. Se incluirán en forma prospectiva y aleatorea, pacientes que concurren por primera vez, de ambos sexos, mayores de 21 años, alcoholistas puros (Gama-Delta-Epsilon de Jellinek). Se confeccionará una ficha, previo consentimiento informado, que permitirá categorizar al "tipo de bebedor". Se les realizará Serología para HCV, Ag HBs (en caso de reactividad se adicionará el Anti HBcore) y VIH. En caso de la positividad serológica, se procederá al frisado de los mismos, para la Genotipificación correspondiente. La recolección, captura y procesamiento de los datos se realizarán en una planilla o ficha. Luego se reubicarán en una base electrónica de datos y se harán los análisis estadísticos de los mismos. Resultados esperados: estimamos encontrar, coincidiendo con la bibliografía, un aumento en la prevalencia de estos virus. Creemos que pueden existir diferencias en los distintos tipos de alcoholismo debido a las diversas situaciones de riesgo a las que se exponen (más exposición en el Gama de Jellineck). Por esto esperamos encontrar un aumento en la prevalencia del Virus C, especialmente en el tipo consuetudinario (delta de Jellineck) por los trastornos nutritivos derivados del modo de consumo. Posiblemente esto pueda ser la llave de otros estudios que puedan esclarecer una vía de transmisión desconocida para este virus. De la misma manera, identificar los distintos genotipos existentes en nuestra ciudad y su distribución, y que como sabemos tiene implicancia en la evolución, y en los costos por el tiempo de tratamiento. Esta información será un aporte para programar medidas de vigilancia epidemiológica adecuada, elaborar estrategias preventivas además de aplicar el tratamiento correspondiente a los pacientes infectados que se detecten como tal durante el desarrollo del proyecto.

INDICADORES NUTRICIONALES, CLÍNICOS Y BIOQUÍMICOS ASOCIADOS A ESTADOS INFLAMATORIOS Y PREDICTIVOS DE DIABETES MELLITUS TIPO 2 EN INDIVIDUOS EN RIESGO: PAPEL DE LÍPIDOS POLIINSATURADOS DIETARIOS

Diabetes mellitus tipo 2 y otras patologías relacionadas con un estado proinflamatorio crónico (hipertensión arterial, aterosclerosis, enfermedad de Alzheimer y cáncer ) se producen en ciertos individuos, debido a la acumulaciòn de alteraciones en el organismo, a través del tiempo. El propósito de este proyecto es elaborar índices confiables, clínicos y bioquímicos que podrían servir como marcadores de perturbaciones en el organismo que pueden ser indicadores fiables de la manifestación clínica de diabetes mellitus tipo 2 y si estos parámetros son modificables por hábitos dietarios saludables y práctica de ejercicios físicos. Estas medidas simples y económicas podrían ser empleadas efectivamente para evitar o posponer la aparición de diabetes mellitus tipo 2 en sujetos en riesgo.

EPIDEMIOLOGÍA GENÉTICA DEL HUÉSPED HUMANO ASOCIADA A LAS DIFERENTES PRESENTACIONES PATOLÓGICAS DE LA ENFERMEDAD CARDIOVASCULAR CHAGÁSICA

La enfermedad de Chagas (EC), es una infección parasitaria, causada por el parásito protozoarío Trypanosoma cruzi (T. cruzi), que afecta a millones de personas en América del Sur y Central. Después de la entrada en el huésped vertebrado, el parásito es capaz de infectar una amplia variedad de células. La fase inicial de la infección es llamada fase aguda y es caracterizada por alta parasitemia y parasitismo tisular. A continuación de la fase aguda, el paciente entra en una fase de curso clínico variable, ya que puede presentarse con ausencia de síntomas hasta severos daños cardíacos y gastrointestinales que pueden aparecen muchos años después de la primoinfección. La severidad y prevalencia de las diferentes formas clínicas de la EC varían entre diferentes regiones, las causas de la heterogeneidad epidemiológica y clínica entre los pacientes no están completamente dilucidadas. Es muy probable que, en estos diferentes fenotipos participen tanto la variabilidad genética del parásito como la del individuo infectado. La influencia de las características genéticas del parásito sobre las diversas manifestaciones clínicas ha sido abordada por distintos autores. Podemos especular que, las formas clínicas de la EC, pueden ser el producto de la combinación, de la composición genética del parasito y la del paciente. En la actualidad, pocos grupos estudian la participación de los factores genéticos de los pacientes chagásicos en el desarrollo de la EC. Las observaciones muestran gran disparidad de resultados, posiblemente debido a que los estudios comprenden un número pequeño de individuos y diferentes métodos utilizados para el análisis y clasificación de la patología. Polimorfismos genéticos de marcadores uniparentales: ADNmt (linaje materno) y cromosoma Y (herencia paterna), han demostrado gran utilidad para explorar tanto la variabilidad como las relaciones genéticas y son utilizados ya sea, para estudios de linaje o para investigar la asociación de diferentes haplogrupos con la susceptibilidad a desarrollar enfermedades. El objetivo de este proyecto es identificar una posible asociación entre determinados haplogrupos del ADNmt y del cromosoma Y (CY) con las diferentes presentaciones clínicas de la EC, a fin de detectar marcadores genéticos que contribuyan a describir el fenotipo del paciente chagásico cardiópata. Este trabajo se realizará con pacientes de un área endémica de la provincia de Córdoba (Dpto Cruz del Eje), no emparentados que posean serología positiva para dos o más pruebas de EC y con un seguimiento clínico completo durante varios años que permite clasificarlos en dos grandes grupos: I. Pacientes crónicos con patología cardíaca demostrada, (sintomáticos S). II. Pacientes crónicos sin patología cardiaca demostrada (asintomáticos A). Se analizará la seropositividad a T. cruzi en familias de áreas rurales y urbanas asociada a los grupos S y A. Se describirán los haplogrupos más frecuentes del ADNmt mediante la amplificación y secuenciación de los segmentos hipervariables de la región control. Las secuencias obtenidas serán alineadas y comparadas con las secuencias de Referencias de Cambridge. Se amplificarán 17 loci de secuencias cortas repetidas en tamden (Y-STR). Para el análisis de polimorfismo del CY. A fin de establecer, si existe una relación entre los haplogrupos del ADNmt y del CY en los grupos de las pacientes. Se analizará estaditicamente con que magnitud contribuyen los factores de riesgos clásicos para enfermedades cardiovasculares y el perfil genético del huésped a la variabilidad de la presentación de la EC. El diseño del proyecto es transversal y cuenta con la aprobación del comité de Bioética del Hospital Nacional de Clínicas UNC, y está de acuerdo con la declaración de Helsinski. Todos los pacientes firmaran el consentimiento informado. El material obtenido de cada paciente será utilizado exclusivamente para la determinación de los polimorfismos presentes

GESTIÓN INTEGRAL DE RESIDUOS Y SU VALORIZACIÓN COMO ESTRATEGIA DE DESARROLLO PARA REGIONES DE CÓRDOBA.

La gestión de los residuos sólidos urbanos presenta recurrentes problemas ambientales y sociosanitarios, con especial crudeza en el ámbito de municipios de pequeña escala. Esta problemática requiere del desarrollo de nuevas tecnologías y rediseño de la gestión de residuos. En la Provincia de Córdoba, la mayoría de las localidades, disponen sus residuos sólidos en sitios abiertos y en forma incontrolada. Estos basurales, son frecuentados por cirujas, trabajo no formal, quienes conjuntamente con otros integrantes de la familia, incluyendo niños, realizan las actividades de recupero de residuos en forma precaria, poniendo en riesgo la salud de dicha población. A su vez, estos lugares son muy propensos a incendios espontáneos ó provocados, lo que conduce a la generación de humos altamente tóxicos que alcanzan a las zonas urbanas. Esta problemática es compartida por todas las regiones con baja densidad poblacional (10 a 40 hab/Km2). A pesar de los incesantes esfuerzos, no se ha logrado aún alcanzar aproximaciones válidas para dar soluciones a esta problemática.La implementación de sistemas de gestión integral con la aportación de tecnologías de bajo costo y provistas por el mercado local, es la única manera que se pueda llegar a buen término con la gestión de residuos y lograr así un desarrollo sustentable de toda la provincia. Los objetivos que se proponen son lograr una solución al grave problema de contaminación para regiones de la provincia de Córdoba debido a la incorrecta disposición y manejo de los residuos sólidos mediante la implementación de un sistema de gestión integral de residuos acorde a las características particulares de cada región, utilizando nuevos indicadores de gestión. Dentro de los objetivos particulares, podemos citar la implementación de sistemas tecnológicos innovadores en el tratamiento de residuos para una correcta disposición final de tecnología sencilla y bajo costo, la implementación de microemprendimientos productivos de clasificación y recupero de materiales, la valoración de los residuos recuperados en función de Bonos de Carbono, disponer de justificativos técnicos y nuevos indicadores económicos para la gestión de subsidios, valorizar el trabajo del ciruja y su familia, capacitación y toma de conciencia a los sectores involucrados. Para el desarrollo del presente trabajo se plantea implementar un sistema de gestión y recupero de residuos regional e integral, que incluya microemprendimientos productivos para lograr la sustentabilidad y a las familias que actualmente trabajan en el recupero de residuos, diseñar y ensayar equipos con características innovadoras para la disposición final de residuos e implementar un proyecto de educación integral que aúne el conocimiento, capacitación y toma de conciencia. Para lograr los objetivos citados se proponen realizar actividades de relevamiento de indicadores facilitadores de vinculación para las localidades de la provincia, generar una logística de funcionamiento para los municipios, relevar las actividades económicas y sanitarias relacionadas a residuos y de las personas involucradas, desarrollar emprendimientos productivos locales, realizar y ensayar tecnologías para el recupero y disposición de residuos, implementar prototipos a escala piloto, implementar talleres de capacitación y material didáctico en las temáticas medio ambiente, desarrollo sustentable, gestión integral de residuos sólidos, reutilización de residuos, salud pública. El presente proyecto estará llevado a cabo por profesionales docentes y alumnos universitarios de distintas especialidades, como así también docentes y técnicos pertenecientes a un establecimiento de educación superior no universitaria, Itec Río Cuarto. Esto, motivado por el convencimiento y necesidad que los problemas ambientales deben ser abordados en forma interdisciplinaria, y las estrategias de intervención que se proponen deben estar integradas con los aportes de cada una de las disciplinas intervinientes.

EVALUACIÓN DE FITOREMEDIACIÓN DE SUELOS CONTAMINADOS CON PLOMO POR ACTIVIDAD INDUSTRIAL UTILIZANDO RYE GRASS EN DIVERSOS MEDIOS DE CULTIVO.

El desarrollo de actividades industriales, contribuye cada vez más a la generación de residuos con elementos potencialmente tóxicos que en concentraciones altas (fijadas por ley nacional 24051) pueden tener efectos nocivos a la salud de la población y afectaciones al equilibrio ecológico y el ambiente. Hoy existen estudios tendientes a resolver la contaminación originada por metales pesados en suelos, mediante estrategias basadas en el uso de plantas que tienen la propiedad de acumular metales pesados; proceso denominado “fitoremediación” que consiste en la remoción, transferencia, estabilización y/o degradación y neutralización de compuestos orgánicos, inorgánicos y radioactivos que resultan tóxicos en suelos y agua. Esta novedosa tecnología tiene como objetivo degradar y/o asimilar, los metales pesados, presentes en el suelo, lo cual tiene muchas ventajas con respecto a los métodos convencionales de tratamientos de lugares contaminados; en 1º lugar es una tecnología económica, de bajo costo, en 2º lugar posee un impacto regenerativo en lugares en donde se aplica y en 3º lugar su capacidad extractiva se mantiene debido al crecimiento vegetal (Harvey et al., 2002). La fitoremediación no es un remedio para todos los suelos contaminados y antes que esta tecnología pueda volverse técnicamente eficiente y económicamente viable, hay algunas limitaciones que necesitan ser superadas como por ejemplo la falta de pruebas a escala industrial (Freitas et al., 2004). Para la realización del trabajo se utilizarán las instalaciones de la empresa FACSA S.A ubicada en Avda. De las Quintas y De los Hornos de barrio villa Esquiú de Córdoba, empresa operadora de residuos de plomo autorizada por la Secretaría de Ambiente de la Provincia de Córdoba. Se utilizarán dos hectáreas de terreno de la empresa en la que se acumulará un máximo 1 metro cúbico por cada metro cuadrado de superficie. Previamente al deposito de suelo contaminado, el terreno será impermeabilizado con suelo cemento y cal para evitar lixiviaciones de plomo y luego se cercará para evitar ingreso de personal no autorizado. En las hectáreas preparadas se aplicarán capas sucesivas de suelo contaminado con suelo natural en la mitad del terreno y en la otra mitad capaz sucesivas de suelo contaminado y suelo fertilizado con lombricompuesto, ambos sectores serán sembrados con pasto Rye Grass. Durante el proceso se medirá la concentración de Pb por FRX cada tres meses, en tres profundidades para cada preparados de campo. Las muestras serán compuestas y se corresponderán a un mínimo de 5 puntos para cada profundidad. Lo mismo se realizará para medir la concentración de Pb en el pasto. Las cosechas o cortes de pasto serán trimestrales y el pasto cortado se recogerá, secará e incinerará en el propio horno de FACSA S.A. Se evaluarán las siguientes variables. Salinidad: Se realizará antes y al final del año, tomando muestras compuestas de 100g de suelo c/u a las cuales se le agregarán 100 ml de agua destilada, se deja reposar y luego se toma la lectura con la ayuda de un conductímetro calibrado. Acumulación de Pb en tejido vegetal: Se considerará como variable principal la acumulación de Pb en tejido vegetal, ya que integra tanto el grado de absorción del metal por las plantas, así como el efecto negativo que las concentraciones excesivas del metal sobre la producción de materia seca. Para el estudio de esta variable, se captarán y prepararán muestras trimestrales. Secado y protocolo para el análisis de Pb por FRX. Pb en Suelo:Esta variable se examinará trimestralmente, mediante mezcla compuesta de cada sector tomada como mínimo en cinco puntos. Se tomarán muestras a tres profundidades distintas. Ph en Suelo:Se tomarán partes de las muestras para análsis de ph. El experimento culminará a los dos años con análisis de las 9 tandas de mediciones (La 1º corresponde a la determinación de la línea de base). Se realizará la prospección para determinar el momento de perfecta recuperación del suelo.

Percepción y participación Ciudadana para una Cultura Científico-tecnológica en la Provincia de Córdoba, Argentina

En el marco del eje nacional para el Bicentenario, lograr un país independiente y soberano a través del desarrollo del conocimiento, la ciencia, la tecnología y la innovación (DNPyE/SECyT. (2006), así como de las acciones que se están desarrollando para el fomento de la ciencia y la tecnología, a las que se ha sumado el Gobierno de Córdoba y, particularmente el Ministerio de Educación y de Ciencia y Tecnológia, con el compromiso de contribuir con la mejora de la enseñanza y el aprendizaje de las Ciencias propiciando el acercamiento entre la escuela, los ámbitos de producción del conocimiento y la sociedad, se plantea el presente proyecto. Se parte del reconocimiento de la importancia del desarrollo y la apropiación del conocimiento científico-tecnológico en la sociedad y del valor de la educación científica, debido a que contribuyen al crecimiento individual y social fomentando la innovación y la competitividad productiva. En tal sentido, la percepción sobre la ciencia y la tecnología que posen los ciudadanos de una comunidad debe ser considerada y analizada, ya que es determinante en el diseño, ejecución y evaluación de las políticas científico-tecnológica y educativa. Por lo anterior, se pretende realizar la presente investigación en Córdoba, como un estudio de tipo descriptivo, con el fin de determinar cuál es la percepción social de la ciencia y la tecnología que tienen los agentes de los distintos ámbitos: educativo, empresarial, gubernamental, mediático y social. Esta investigación formará parte de un trabajo más amplio, dirigido al diseño de un modelo de participación ciudadana que estimule el uso de los resultados de la investigación científica y tecnológica en beneficio del desarrollo social y económico en Córdoba-Argentina, Jalisco-México, Región Sucre- Venezuela y Managua-Nicaragua. (Estudio comparado). Se pretende avanzar en determinación de indicadores regionales compartidos, a partir de metodologías ajustadas a las características sociales, políticas y económicas de los involucrados y obtener, a partir de allí, algunos lineamientos de política local y global. Es intención, articular un marco de análisis y evaluación acerca de cuán “científicamente orientada” se encuentra una sociedad en un momento histórico determinado, el cual permita evaluar el funcionamiento y desempeño científico-tecnológico en la dinámica cultural y productiva.

Avances en el desarrollo tecnológico de especies ornamentales nativas: los casos de Glandularia y Solidago

La incorporación de especies nativas al mercado ornamental es importante para aumentar la competitividad del mismo. Un número importante de éstas provienen de germoplasma de nuestro país, sin mayores beneficios para el mismo, dada su escasa explotación. El sector de plantas ornamentales depende de variedades desarrolladas en el exterior, lo que implica el pago de regalías inclusive para el caso de variedades derivadas de especies nativas argentinas. Las poblaciones naturales de Glandularia y Solidago poseen amplia variabilidad, la cual permite seleccionar individuos con caracteres de alto valor ornamental. Se ha avanzado en la puesta en marcha de un plan de mejoramiento, que permita disponer de clones adaptados a las distintas condiciones de nuestro país, y que posean las cualidades estéticas acordes al mercado consumidor. Los objetivos del presente proyecto serán lograr avances en la obtención de variedades ornamentales a partir de especies nativas a través de la selección de genotipos superiores, hibridaciones interpespecíficas y poliploidización en Glandularia y la caracterización y selección de clones superiores y/o noveles en Solidago. La metodología para lograr dichos objetivos será: recolección de germoplasma en zonas de distribución, identificación taxonómica, domesticación, caracterización y uso de técnicas de mejoramiento genético clásico. Los resultados obtenidos permitirán determinar la aptitud combinatoria de las especies del género Glandularia, como así también se podrá identificar las barreras a la hibridación interespecífica (pre o post cigóticas). Estos conocimientos resultan básicos e indispensables en el momento de establecer estrategias racionales para la superación de las barreras a la hibridación. En el género Solidago, los resultados obtenidos permitirán avanzar sobre la base genética existente como para establecer los lineamientos necesarios para el logro de nuevas variedades ornamentales.A partir de este proyecto se podrá disponer de material con distintos grados de desarrollo: colecciones de los géneros Glandularia y Solidago caracterizadas, domesticadas y materiales avanzados en el mejoramiento. Estos productos contribuirán al mayor conocimiento de la flora nativa ornamental, colaborarán con la sustentabilidad del sistema agroecológico, permitirán la formación de recursos humanos, y su vinculación e integración con el sector productivo.

Modelación hidrológica de cuencas y del impacto producido por los incendios en la zona serrana de la provincia de Córdoba.

En la zona central semiárida del país en general, y en particular en las sierras de Córdoba, resulta de vital importancia conocer el comportamiento de los caudales tanto en épocas de crecidas como en períodos de estiaje. Por otra parte, los incendios en la cobertura vegetal pueden considerarse como un factor de disturbio debido al fuerte impacto que ejercen sobre los componentes del sistema. En los últimos años esta problemática se ha convertido un escenario recurrente en el medio local. En este sentido, la modelación matemática hidrológica constituye una herramienta para la caracterización de los recursos hídricos, en crecidas y estiajes, y permite la evaluación objetiva de los cambios producidos en las respuestas del sistema ante distintos impactos. Se considera como objetivo principal la caracterización de los caudales en la zona serrana de la provincia, y la modelación numérica del impacto producido por los incendios en caudales de estiajes, de crecidas y en los procesos de erosión superficial. Para ello se plantean tres lineas de trabajo: •Desarrollo de un modelo hidrológico conceptual, distribuido, integrado (superficial y subterráneo) y continuo especialmente orientado a representar el comportamiento hidrológico de las cuencas de pequeña y mediana escala. •Implementación de un modelo hidrológico distribuido acoplado a un modelo de calidad de aguas y de producción de sedimentos, antes y después de la ocurrencia de un incendio hipotético. •Implementación de un modelo hidrológico continuo, desarrollado en el ámbito del Laboratorio de hidráulica, simulando el impacto de los incendios en el hidrograma de caudales diarios, en particular sobre los caudales de estiaje. Se espera obtener un software que permita la caracterización de los caudales en estiajes y en crecidas y considere integradamente los flujos superficiales y subterráneos. Se pretende evaluar objetivamente el impacto de los incendios en caudales de crecidas, en la producción de sedimentos y erosión superficial que ellos producen. Comparando la respuesta del hidrograma y el sedimentograma resultante a la distribución de las áreas incendiadas y generando mapas de riesgos en función de estos resultados para la cuenca de aplicación. También se espera adaptar el modelo continuo al caso de estudio seleccionado, y desarrollar una metodología para el ajuste de parámetros hidrológicos en base a la ocurrencia de incendios que pueda ser aplicada a las condiciones locales. Implementar dicho modelo e inferir el cambio en la recurrencia de los caudales extremos de estiaje. Resulta atractivo contar con una herramienta de desarrollo local adaptada a las condiciones hidrológicas de la región, dada la escasez relativa del recurso y su importancia estratégica en el desarrollo futuro. Además se considera que éste constituye un primer intento de modelar numéricamente el impacto producido por los incendios en la provincia de Córdoba. En el ámbito de este proyecto se realizarán tres tesis de maestría.

Biorremediación de cromo y fenol mediante la aplicación de microorganismos nativos de la Provincia de Córdoba Bioremediation of chromium and phenol by the application of native microorganisms from Córdoba Province

La contaminación ambiental por metales pesados como el cromo y por compuestos orgánicos como los fenoles es un grave problema a nivel mundial debido a su toxicidad y a sus efectos adversos sobre los seres humanos, la flora y la fauna, tanto por su acumulación en la cadena alimentaria como por su continua persistencia en el medio ambiente. En un estudio preliminar, efectuado por nuestro laboratorio, se han detectado elevados niveles de estos contaminantes en sedimentos y efluentes en zonas industriales del sur de la provincia de Córdoba, lo cual plantea la necesidad de removerlos. Entre las tecnologías disponibles, la biorremediación, que se basa en el uso de sistemas biológicos, como los microorganismos, para la detoxificación y la degradación de contaminantes, se presenta como una alternativa probablemente más efectiva y de menor costo que las técnicas convencionales. Sin embargo, la aplicación de esta tecnología depende en gran parte de la influencia de las características particulares y específicas de la zona a remediar. En consecuencia, en primer lugar se caracterizará la zona de muestreo y se aislarán e identificarán microorganismos nativos de la región, tolerantes a cromo y fenol, a partir de muestras de suelo, agua y sedimentos, ya que podrían constituir una adecuada herramienta biotecnológica, mejor adaptada al sitio a tratar. Posteriormente se estudiará la biorremediación de Cr y fenol utilizando dichos microorganismos, analizando su capacidad para biotransformar, bioacumular o bioadsorber a estos contaminantes, y se determinarán las condiciones óptimas para el tratamiento. Se analizarán los posibles mecanismos fisiológicos, bioquímicos y moleculares involucrados en la remediación, que constituye una etapa crucial para el diseño de una estrategia adecuada y eficiente. Finalmente, se aplicará esta tecnología a escala reactor, como una primera aproximación al tratamiento a mayor escala. De esta manera se espera reducir los niveles de estos contaminantes y así minimizar el impacto ambiental que ellos producen en suelos y acuíferos. A futuro, la utilización de los microorganismos seleccionados, de manera individual o formando consorcios, para el tratamiento de efluentes industriales previa liberación al medio ambiente, o su uso en bioaumento, constituirían posibles alternativas de aplicación. Los principales impactos científico-tecnológicos del proyecto serán: (a) la generación de una nueva tecnología biológica de decontaminación de cromo y fenol, intentando presentar soluciones frente a una problemática ambiental que afecta a nuestra región, pero que además es común a la mayoría de los países, (b) la formación de nuevos recursos humanos en el área y (c) el trabajo en colaboración con otros grupos de investigación que se destacan en el área de biotecnología ambiental. Environmental pollution produced by heavy metals, such as chromium and organic compounds like phenolics is a serious global problem due to their toxicity, their adverse effects on human life, plants and animals, their accumulation in the food chains and also by their persistance in the environment. In a previous study performed in our laboratory, high levels of these pollutants were detected in sediments and effluents from industrial zones of the south of Cordoba Province, which determine the need to remove them. Among various technologies, bioremediation which is based on the use of biological systems, such as microorganisms, to detoxify and to degrade contaminants, is probably the most effective alternative, and it is less expensive than other conventional technologies. However, the application of this technology depends on the influence of the particular and specific characteristics of the zone to be remediate. As a consecuence, at the first time, the zone of sampling will be characterized and then, native microorganisms, tolerant to chromium and phenol, will be isolated from soils, water and sediments and identificated. These microorganisms would be an adequate biotechnological tool, more adapted to the conditions of the site to be remediate than other ones. Then, the ability of these selected microorganisms to biotransform, bioaccumulate or biosorbe chromium and phenol will be studied and the optimal conditions for the treatment will be determined. The possible physiological, biochemical and molecular mechanisms involved in bioremediation will be also analized, because this is a crucial step in the design of an adequate and efficient remediation strategy. Finally, this technology will be applied in a reactor, as an approximation to the treatment at a major scale. A reduction in the levels of these pollutants will be expected, to minimize their environmental impact on soils and aquifers.

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.

Desarrollo sustentable de geoestructuras compuestas por suelo loéssico compactado mejorado con agregado de materiales estabilizantes. Sustainable development of compacted loess soil geo-structures with addition of stabilizing materials.

Los suelos estabilizados mediante compactación, permiten obtener materiales con ventajas ténicas y economicas en diferentes tipos de obras de ingeniería. Ejemplos de su uso se tiene en bases viales de autopistas, rutas o calles urbanas, pistas de aterrizaje, barreras de contención para enterramientos sanitarios o lagunas de estabilización, apoyos de plateas para fundación de edificios, losas industriales, entre otras aplicaciones. Las fallas en este tipo de construcciones pueden resultar en catástrofes ambientales, sociales y elevadas pérdidas económicas, por lo que resulta de gran importancia optimizar el diseño e incrementar la seguridad de este tipo de construcciones. Las obras con estas características involucran grandes volúmenes y/o superficies que requieren controles sistemáticos durante su desarrollo, a los fines de garantizar el cumplimiento de las propiedades de los materiales establecidos en la etapa de diseño. De esta forma, es necesario contar con ensayos de campo sencillos, confiables y eficientes que permitan identificar propiedades físicas, mecánicas e hidráulicas. Las geoestructuras generadas mediante la compactación del suelo próximo al sector de construcción pueden funcionar adecuadamente, con reducidos costos de material y transporte. Su estabilización puede ejecutarse en forma natural, o con la incorporación de agregados minerales como bentonita, cal o cemento. Estas incorporaciones mejoran las propiedades hidráulicas y mecánicas del material, optimizando el comportamiento requerido para la obra. Para establecer la forma en la que estos minerales modifican el comportamiento del suelo local compactado deben realizarse investigaciones especiales con los materiales involucrados. En el ámbito internacional existen numerosas investigaciones sobre comportamiento de suelos compactados, no obstante, si bien aportan antecedentes para la planificación de estudios locales, sus resultados no pueden trasladarse de manera directa. Las características propias del suelo local constituye la principal variable debido a la diversidad en las propiedades geotécnicas de cada Región. Esta investigación, se focaliza en el empleo de suelos limosos de la formación loéssica de la zona central de Argentina. Los suelos de la llanura cordobesa poseen comportamientos particulares, los cuales son contemplados en los diseños presentados como resutado de las investigaciones internacionales. Esta particularidad se relaciona con su inestabilidad, lo que los clasifica como suelos colapsables. Los resultados obtenidos en este trabajo podrán ser extendidos a una gran superficie de la Provincia de Córdoba y a la Región Pampeana en general, a los fines de establecer recomendaciones de diseño y construcción para la confección de Pliegos de Especificaciones Técnicas de diferentes tipos de obras públicas y privadas. El estudio contempla la ejecución de un plan experimental a escala de laboratorio y campo. Los materiales corresponden a suelo limosos puros, y diferentes agregados tales como bentonita, cal y cemento. Se planifican ensayos para evaluar el desempeño del material, a partir de la confección de muestras preparadas con diferentes condiciones de compactación (energía, humedad y método), y en forma de mezcla con los distintos tipos de agregados. Se realizarán ensayos de permeabilidad en celdas de pared rígida y flexible, junto a ensayos mecánicos de compresión confinada, simple y triaxial. Para el trabajo experimental de campo se prevé la ejecución de terraplenes de prueba instrumentados con tensiómetros e infiltrómetros para evaluar el comportamiento hidraúlico en el tiempo, junto con ensayos de penetración y plato de carga para la caracterización mecánica. En forma conjunta se propone el desarrollo de modelos numéricos de caracterización hidromecánica. Stabilized soils by compaction, produce materials technical and economic advantages in different types of engineering works. For example, road bases in highways, roads or city streets, containment barriers for sanitary landfill or stabilization ponds, foundation support of building, industrial flat, and other applications. Failures can result in environmental catastrophes, social, and economic loss, so it is important to optimize the design and increase the safety of such buildings. These works involve large surfaces that require systematic tests during construction, so it is necessary to have simple field tests, reliable and efficient to identify physical, mechanical and hydraulic properties. The geo-structures generated by local soil compaction have reduced material and transportation costs. Stabilization can be naturally, or with the addition of mineral aggregates as bentonite, lime and cement. These additions improve the hydraulic and mechanical properties of the material. So, special investigations should be conducted with the materials involved. There are many international studies on compacted soils behavior but their results can not be transferred directly due to the particularities of regional soils. For this research silty soils of central Argentina are the main focus. The soils of Córdoba plains are instability, so are classified as collapsible soils. The results obtained in this work may be extended to a large area of the Province of Cordoba and the Pampas region in general, in order to establish design and construction recommendations. The study includes laboratory and field tests. The materials are pure silty soil, and different aggregates such as bentonite, lime and cement. Tests are planned to evaluate the performance. Laboratory includes rigid and flexible wall cells, confined, triaxial and simple compression tests. For field experimental instrumented embankments will be constructed. A numerical hydromechanical model will be developed.

PARTICIPACIÓN DEL RECONOCIMIENTO INMUNE INNATO EN LA RESPUESTA DE CARDIOMIOCITOS DURANTE LA INFECCIÓN EXPERIMENTAL CON TRYPANOSOMA CRUZI. Characterization of the cardiac innate immune response during Trypanosoma cruzi experimental infection.

La enfermedad de Chagas, causada por Trypanosoma cruzi, constituye la principal miocarditis infecciosa a nivel mundial. Crecientes evidencias revelan que la respuesta inmune innata tendría un rol determinante en la fisiopatología de las enfermedades cardiovasculares. La inmunidad innata es la primera línea de defensa, no específica, preprogramada para combatir agentes infecciosos. Este sistema censa la presencia de antígenos extraños a través de los receptores tipo toll (TLR) produciendo citoquinas y activando mecanismos microbicidas. Sin embargo, los TLRs también se hayan distribuidos en las células parenquimales no inmunes, jugando un importante rol tanto en la defensa como en la homeostasis de cada tejido. Durante la etapa aguda de la infección, el T. cruzi invade y se replica dentro de una amplia variedad de células y tejidos. Pero posteriormente, los parásitos son efectivamente eliminados de la mayoría de los tejidos persistiendo durante toda la vida en las células del músculo cardíaco y esquelético de los pacientes infectados. Debido a que el mantenimiento de la célula cardíaca infectada es crítica para la patogénesis de la enfermedad, los mecanismos que participan en la sobrevida de los cardiomiocitos están siendo foco de nuestro estudio. Hemos demostrado, que la infección ejerce efectos antiapoptóticos sobre células cardíacas aisladas. Nuestra hipótesis es que la inmunidad innata cardíaca estaría involucrada en el mantenimiento de la sobrevida de los miocitos así como en la defensa contra el parásito. Objetivo general: determinar la participación de la respuesta inmune innata cardíaca en el desarrollo de la enfermedad de Chagas experimental murina. Objetivos específicos: 1) Analizar el compromiso de TLRs en la respuesta anti-apoptótica y de autofagia de cardiomiocitos aislados de ratones salvajes y de ratones deficientes en TLR4, TLR2 y en MyD88, molécula adaptadora de la señalización por TLRs, sometidos a la infección con el parásito. 2) Determinar la importancia de la actividad cisteín proteasa parasitaria en el grado de infectividad y la sobrevida de cultivos primarios de ratones salvajes infectados con parásitos transgénicos que poseen disminuída o nula actividad cisteín proteasa. 3) Establecer la cinética de expresión de TLR2/TLR6, TLR4 y TLR9, factores antiapoptóticos (Bcl-2, Bcl-xL, etc.), daño cardíaco y la carga parasitaria en el tejido cardíaco de ratones infectados salvajes y/o deficientes antes mencionados. Materiales y Métodos: Los animales serán infectados i.p. con 5x103 parásitos y se determinará la cinética de expresión de los mediadores mencionados por western blot e inmunofluorescencia, la carga parasitaria será determinada por qRT-PCR. Como controles se procesarán animales inyectados con solución salina. En cultivos primarios de cardiomiocitos de ratones neonatos salvajes y deficientes infectados se estudiará la carga parasitaria, la activación de los mecanismos microbicidas (producción de óxido nítrico, metabolitos reactivos del oxígeno y del nitrógeno, ciclooxigenasa, etc.), producción de citoquinas y expresión de moléculas anti-apoptóticas (Bcl-2, Bcl-xL, Bax, etc.). Se explorará la tasa de apoptosis en cultivos deprivados de suero. La autofagia se analizará por microscopia electrónica. Cultivos controles serán mantenidos en medio o tratados con ligandos de los diferentes TLRs. Resultados preliminares sugieren que tanto TLR2 como Bcl-2 se incrementan en tejido cardíaco infectado. Esto nos lleva a profundizar en los mecanismos observados en cultivos y estudiarlos en un modelo in vivo, analizando la posible importancia que tiene la inmunidad innata cardíaca en el control del establecimiento de la infección. La comprensión de los mecanismos que mantienen la sobrevida de los cardiomiocitos y su respuesta a la infección es importante ya que el conocimiento de las bases moleculares es fundamental para el desarrollo de nuevos agentes quimioterapéuticos. Chagas disease is endemic in Central and South America and causes the most common myocarditis worldwide. We have previously reported that the cardiotrophic parasite Trypanosoma cruzi, its etiological agent, protects cardiomyocytes against apoptosis induced by growth factor deprivation activating the PI3K/Akt and MEK1/ERK signaling pathways. Recent studies have shown that local innate immunity plays a key role in initiating and coordinating homeostatic as well as defense responses in the heart. One of the mechanisms by which the innate immune system senses the presence of foreign antigens is through TLRs. The stimulation of these receptors leads to the activation and nuclear translocation of NF-kB transcription factor and the production of cytokines. Proinflammatory cytokines, in turn, appear to play a central role in the orchestration and timing of the intrinsic cardiac stress response providing, under different situations, instantaneous anti-apoptotic cytoprotective signals, which allow tissue repair and/or remodeling. The aim of the present project is to study the cardiomyocyte innate immune responses to T. cruzi infection and its role in target cell protection from apoptosis. Specific objectives: 1) Study the mechanism triggered by TLR in the anti-apoptotic response and parasite load of infected cardiomyocyte primary cultures from wild type and mice deficient in TLR2, TLR4 or MyD88. 2) Determine the effect of parasite cisteín protease activity on primary cultures from wild type mice. 3) Determine the TLR signaling-involvement in parasite load and survival indicators in deficient mice. Preliminary results showed us that cardiac-TLR2 may be involved in the anti-apoptotic effect elicited by the parasite and prompted us to establish the mechanisms triggered by the innate immunity that mediate parasite persistence within the host cell.

Sistemas de Tipos para Verificación de Programas Concurrentes. Type Systems for Concurrent Programs Verification.

La programación concurrente es una tarea difícil aún para los más experimentados programadores. Las investigaciones en concurrencia han dado como resultado una gran cantidad de mecanismos y herramientas para resolver problemas de condiciones de carrera de datos y deadlocks, problemas que surgen por el mal uso de los mecanismos de sincronización. La verificación de propiedades interesantes de programas concurrentes presenta dificultades extras a los programas secuenciales debido al no-determinismo de su ejecución, lo cual resulta en una explosión en el número de posibles estados de programa, haciendo casi imposible un tratamiento manual o aún con la ayuda de computadoras. Algunos enfoques se basan en la creación de lenguajes de programación con construcciones con un alto nivel de abstración para expresar concurrencia y sincronización. Otros enfoques tratan de desarrollar técnicas y métodos de razonamiento para demostrar propiedades, algunos usan demostradores de teoremas generales, model-checking o algortimos específicos sobre un determinado sistema de tipos. Los enfoques basados en análisis estático liviano utilizan técnicas como interpretación abstracta para detectar ciertos tipos de errores, de una manera conservativa. Estas técnicas generalmente escalan lo suficiente para aplicarse en grandes proyectos de software pero los tipos de errores que pueden detectar es limitada. Algunas propiedades interesantes están relacionadas a condiciones de carrera y deadlocks, mientras que otros están interesados en problemas relacionados con la seguridad de los sistemas, como confidencialidad e integridad de datos. Los principales objetivos de esta propuesta es identificar algunas propiedades de interés a verificar en sistemas concurrentes y desarrollar técnicas y herramientas para realizar la verificación en forma automática. Para lograr estos objetivos, se pondrá énfasis en el estudio y desarrollo de sistemas de tipos como tipos dependientes, sistema de tipos y efectos, y tipos de efectos sensibles al flujo de datos y control. Estos sistemas de tipos se aplicarán a algunos modelos de programación concurrente como por ejemplo, en Simple Concurrent Object-Oriented Programming (SCOOP) y Java. Además se abordarán propiedades de seguridad usando sistemas de tipos específicos. Concurrent programming has remained a dificult task even for very experienced programmers. Concurrency research has provided a rich set of tools and mechanisms for dealing with data races and deadlocks that arise of incorrect use of synchronization. Verification of most interesting properties of concurrent programs is a very dificult task due to intrinsic non-deterministic nature of concurrency, resulting in a state explosion which make it almost imposible to be manually treat and it is a serious challenge to do that even with help of computers. Some approaches attempts create programming languages with higher levels of abstraction for expressing concurrency and synchronization. Other approaches try to develop reasoning methods to prove properties, either using general theorem provers, model-checking or specific algorithms on some type systems. The light-weight static analysis approach apply techniques like abstract interpretation to find certain kind of bugs in a conservative way. This techniques scale well to be applied in large software projects but the kind of bugs they may find are limited. Some interesting properties are related to data races and deadlocks, while others are interested in some security problems like confidentiality and integrity of data. The main goals of this proposal is to identify some interesting properties to verify in concurrent systems and develop techniques and tools to do full automatic verification. The main approach will be the application of type systems, as dependent types, type and effect systems, and flow-efect types. Those type systems will be applied to some models for concurrent programming as Simple Concurrent Object-Oriented Programming (SCOOP) and Java. Other goals include the analysis of security properties also using specific type systems.