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.

Vacunación en la Enfermedad de Chagas experimental: estudio de mediadores involucrados en la protección en ratones y aplicación de la vacuna en perros. Vaccination in experimental Chagas'disease: study of intermediates involved in the protection of mice and application of the vaccine in dogs.

La Enfermedad de Chagas es una de las principales endemias de América Latina donde existen cerca de 18 millones de infectados y 90 millones en riesgo. Entre el 25 y el 30 por ciento desarrolla patología cardíaca o digestiva en el período crónico. Se ha postulado que mecanismos autoinmunes, sumados a la acción directa del parásito, podrían estar involucrados en la patogenia de la enfermedad. El desarrollo de vacunas tradicionales en Enfermedad de Chagas es una meta difícil de alcanzar, por lo cual parece más factible abordar estrategias basadas en la inmunomodulación, para disminuir la carga parasitaria, minimizar las acciones deletéreas en el periodo agudo y prevenir el desarrollo de patología en la etapa crónica. Para ello es necesario avanzar en el conocimiento de los mecanismos involucrados en la protección y en la patogenia. Si se acepta la hipótesis autoinmune, una estrategia de vacunación con un tripanosoma antigénicamente similar al T. cruzi pero no patógeno podría evitar posibles mecanismos autoagresivos. En nuestro Laboratorio se ha empleado un modelo de vacunación en ratones utilizando como inmunógeno el Trypanosoma rangeli, no patógeno en humanos. Los ratones vacunados, infectados con T. cruzi, mostraron buena respuesta inmune celular y humoral, bajas parasitemias, ausencia de lesiones histológicas, y sobrevida cercana al 100 por ciento. Los controles no vacunados tuvieron una elevada mortalidad. Debido al ciclo biológico del parásito, la defensa efectiva contra el T. cruzi requiere una potente respuesta de anticuerpos contra las formas extracelulares y una eficaz respuesta celular contra los amastigotes intracelulares. En el modelo desarrollado en nuestro laboratorio la protección se asocia con un adecuado equilibrio entre respuesta TH1 y TH2, con leve predominio TH1, disminución de citoquinas (Ck) proinflamatorias e incremento de receptores solubles de Ck. El esquema de inmunización demostró asimismo su eficacia en cobayos y en perros mantenidos en el Laboratorio. Hipótesis de trabajo: - La vacunación con T. rangeli desencadena mecanismos inmunomodulatorios que protegen de la infección con T. cruzi, entre los cuales se encuentran eventos que actúan tempranamente en el sitio de inoculación y en los que están involucradas células y moléculas del sistema inmune innato. - La vacunación a perros constituye una nueva herramienta en la lucha contra la Enfermedad de Chagas. Objetivos: i) profundizar el estudio tendiente a dilucidar los mecanismos involucrados en la resistencia inducida por la inmunización con T. rangeli en ratones; ii) estudiar el efecto que tiene el estrés físico de los ratones sobre la eficacia de la vacunación y iii) analizar la inmunogenicidad de la vacuna en perros de zonas endémicas para Enfermedad de Chagas. Material y metodos: Los ratones y perros serán vacunados con tres dosis de epimastigotes de T. rangeli, fijados con glutaraldehido y los controles solo recibirán PBS. Los ratones seran desafiados con T. cruzi. Se estudiará en liquido peritoneal: a) poblaciones celulares por Citometria de flujo; b) cuantificación de los distintos tipos de inmunoglobulinas, de citoquinas y sus receptores solubles, por ELISA, c) ON y arginasa, por técnicas colorimetricas; d) est.udio de la interacción macrófago-parásito y de receptores celulares por Inmunofluorescencia. e) En perros, se realizarán estudios parasitológicos (xenodiagnostico) y serológicos en vacunados y controles, 12 y 24 meses post vacunación. Resultados esperados e importancia del proyecto: se espera conocer los principales eventos tempranos que participan en la eliminación de los parásitos en los animales vacunados, el efecto del stress sobre la vacunación y asimismo, la inmunogenicidad de la vacuna en perros de campo. Todo ello permitirá obtener información sobre la eficacia de la vacunación experimental y podría aportar una herramienta adicional contra la Enfermedad de Chagas, interfiriendo en la cadena epidemiológica en áreas endémicas.

Modelos Mixtos-Aditivos Generalizados para el Estudio de Fenómenos Biológicos y Sociales Descriptos por Datos Agregados y/o Longitudinales. Generalized Mixed Additive Models for the Study of Biological and Social Phenomenons from Longitudinal and/or Aggregated Data.

Este proyecto propone extender y generalizar los procesos de estimación e inferencia de modelos aditivos generalizados multivariados para variables aleatorias no gaussianas, que describen comportamientos de fenómenos biológicos y sociales y cuyas representaciones originan series longitudinales y datos agregados (clusters). Se genera teniendo como objeto para las aplicaciones inmediatas, el desarrollo de metodología de modelación para la comprensión de procesos biológicos, ambientales y sociales de las áreas de Salud y las Ciencias Sociales, la condicionan la presencia de fenómenos específicos, como el de las enfermedades.Es así que el plan que se propone intenta estrechar la relación entre la Matemática Aplicada, desde un enfoque bajo incertidumbre y las Ciencias Biológicas y Sociales, en general, generando nuevas herramientas para poder analizar y explicar muchos problemas sobre los cuales tienen cada vez mas información experimental y/o observacional.Se propone, en forma secuencial, comenzando por variables aleatorias discretas (Yi, con función de varianza menor que una potencia par del valor esperado E(Y)) generar una clase unificada de modelos aditivos (paramétricos y no paramétricos) generalizados, la cual contenga como casos particulares a los modelos lineales generalizados, no lineales generalizados, los aditivos generalizados, los de media marginales generalizados (enfoques GEE1 -Liang y Zeger, 1986- y GEE2 -Zhao y Prentice, 1990; Zeger y Qaqish, 1992; Yan y Fine, 2004), iniciando una conexión con los modelos lineales mixtos generalizados para variables latentes (GLLAMM, Skrondal y Rabe-Hesketh, 2004), partiendo de estructuras de datos correlacionados. Esto permitirá definir distribuciones condicionales de las respuestas, dadas las covariables y las variables latentes y estimar ecuaciones estructurales para las VL, incluyendo regresiones de VL sobre las covariables y regresiones de VL sobre otras VL y modelos específicos para considerar jerarquías de variación ya reconocidas. Cómo definir modelos que consideren estructuras espaciales o temporales, de manera tal que permitan la presencia de factores jerárquicos, fijos o aleatorios, medidos con error como es el caso de las situaciones que se presentan en las Ciencias Sociales y en Epidemiología, es un desafío a nivel estadístico. Se proyecta esa forma secuencial para la construcción de metodología tanto de estimación como de inferencia, comenzando con variables aleatorias Poisson y Bernoulli, incluyendo los existentes MLG, hasta los actuales modelos generalizados jerárquicos, conextando con los GLLAMM, partiendo de estructuras de datos correlacionados. Esta familia de modelos se generará para estructuras de variables/vectores, covariables y componentes aleatorios jerárquicos que describan fenómenos de las Ciencias Sociales y la Epidemiología.

Evaluación del efecto del láser y magnetoterapia en miopatía experimental valorando biomarcadores de estrés oxidativo, histomorfometría y actividad enzimática mitocondrial. Evaluation of the effect of laser and magnetic therapy in experimental myopathy assessing oxidative stress biomarkers, histomorphometry and mitochondrial enzyme activity

El láser de baja y media energía y la magnetoterapia son utilizados en desórdenes osteomioarticulares por sus efectos analgésico, antiinflamatorio y trófico, entre los más destacados. Sin embargo, son insuficientes las investigaciones sobre su mecanismo de acción y antecedentes científicos que avalen sus efectos. Es por ello, que la determinación de acontecimientos celulares y moleculares que ocurren durante la interacción de estos tipos de energía con el sistema muscular, sería relevante para el conocimiento y optimización de tales terapias en las ciencias biomédicas. En las miopatías inflamatorias idiopáticas, se encuentra afectada la estructura, morfología y bioquímica del tejido muscular. La energía que éste requiere para el normal funcionamiento es generada en la mitocondria. Esta organela también es la responsable de la generación de especies oxidantes provocando estrés oxidativo y el inicio de los procesos de apoptosis. Por lo antes dicho, consideramos que la determinación de los biomarcadores inflamatorios asociados a estrés oxidativo, realizando el análisis histomorfométrico ultraestructural y valorando la actividad de los complejos enzimáticos mitocondriales, permitiría una evaluación de la acción terapéutica del láser y la magnetoterapia en un modelo experimental de miopatía. Para ello se propone evaluar el efecto de la magnetoterapia y del láser de baja energía (He-Ne y As.Ga) en miopatía experimental determinando indicadores inflamatorios asociados a estrés oxidativo, análisis histomorfométrico y valoración de la actividad enzimática mitocondrial. Específicamente: -Determinar indicadores inflamatorios y de estrés oxidativo: Oxido Nítrico, Grupos carbonilos, L-citrulina, Fibrinógeno, Superóxido dismutasa, Glutation peroxidasa y Catalasa por espectrofotometría. -Identificar los cambios anatomopatológicos del músculo esquelético por microscopía óptica (MO): cuantificación del infiltrado inflamatorio; MO de alta resolución (MOAR) y por microscopía electrónica: histomorfometría de la ultraestructura miofibrilar y mitocondrial. -Valorar las actividades enzimáticas de la citrato sintasa y de los complejos: I (NADH-ubiquinona reductasa), II (succinato-ubiquinona-reductasa) III (ubiquinona-citocromo c-reductasa) y IV (citocromo c-oxidasa); en mitocondrias de tejido muscular por espectrofotometría. -Evaluar la actividad apoptótica en las fibras musculares de los diferentes grupos por ténica de T.U.N.E.L. Las mediciones mitocondriales (por ME) y de infiltrado inflamatorio (por MO) se realizarán en un total de 5 fotos de aumentos similares en forma aleatoria por grupo estudiado (n=10). Los cambios estructurales observados se analizarán en el programa Axiovision 4.8, para cuantificar el área total ocupada, número total y grado de alteración de las mitocondrias y el porcentaje de infiltrado inflamatorio determinando el grado de inflamación. Los resultados de los datos cuantitativos se analizarán aplicando ANAVA (test de Fisher para comparaciones múltiples); y para los datos categóricos se utilizará Chi cuadrado (test de Pearson), estableciéndose un nivel de significación de p < 0.05 para todos los casos. Importancia del Proyecto: La salud y el bienestar del hombre son los logros perseguidos por las ciencias de la salud. La obtención de terapias curativas o paliativas con un mínimo de efectos colaterales para el enfermo se incluye en estos logros. Por esto y todo lo anteriormente expuesto es que consideramos de gran importancia poder esclarecer desde las ciencias básicas los efectos celulares y moleculares en modelos experimentales la acción de la terapia con láser y magnetoterapia para una aplicación clínica con base científica en todas las áreas de las Ciencias Médicas. In the idiopathic inflammatory myopathies, is affected the structure, morphology and biochemistry of muscle tissue. The mitochondria is responsible for the generation of oxidizing species leading to oxidative stress and the beginning of the process of apoptosis. As said before, we consider the determination of inflammatory biomarkers related to oxidative stress, by ultrastructural morphometric analysis and assessing the activity of mitochondrial enzyme complexes, permit an evaluation of the therapeutic action of laser and magnetic therapy in an experimental model myopathy. We propose to evaluate the effect of the treatment identifying indicators in experimental inflammatory myopathy associated with oxidative stress, histomorphometric analysis and assessment of mitochondrial enzyme activity. Specifically -determining: Nitric oxide, carbonyl groups, L-citrulline, fibrinogen, superoxide dismutase, glutathione peroxidase and catalase by spectrophotometry. -Identify the pathological changes in skeletal muscle by optical microscopy (OM): quantification of the inflammatory infiltrate, OM high resolution (MOAR) and electron microscopy, histomorphometry of myofibrillar and mitochondrial ultrastructure. -Evaluate the enzymatic activity of citrate synthase and complexes: I, II, III and IV in mitochondria muscle tissue by spectrophotometry. -Evaluate apoptotic activity in muscle fibers by TUNEL technique of Mitochondrial measurements and inflammatory infiltration (by OM) was performed in a total of 5 photos of similar increases in random by the study group (n = 10). The structural changes observed are discussed in the program Axiovision 4.8, to quantify number, degree of alteration of mitochondria and the percentage of inflammatory infiltrate determining the degree of inflammation. The results of the quantitative data were analyzed using ANOVA (Fisher test), and categorical data with Chi-square (Pearson test), establishing a significance level of p <0.05.

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

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