Modelo in vitro de ateroesclerosis: Efecto de la infección con Trypanosoma cruzi, lípidos y lipoproteínas sobre la expresión de receptores Toll-like y scavengers en la formación de células espumosas derivadas de macrófagos

Los receptores Toll-like (TLRs) son receptores ancestrales que reconocen modelos moleculares asociados a patógenos y nos defienden de los microorganismos. Su activación por vías de señalización que involucran al factor de transcripción NF-kB, estimula la producción de citoquinas inflamatorias, quimioquinas, moléculas de adhesión y procoagulantes. Recientemente se ha documentado la participación de TLR 2 y 4 en el desarrollo /progresión del ateroma en modelos experimentales in vivo, siendo postulados como nexo entre inflamación, infecciones y ateroesclerosis. Infecciones bacterianas y virales han demostrado jugar un papel en su desarrollo. Sin embargo, el rol de parásitos intracelulares obligados -Trypanosoma cruzi- ha sido escasamente explorado. Los macrófagos, células claves del sistema inmune innato, que pueden ser infectadas in vivo e in vitro por este parásito, expresan en su superficie receptores multiligando scavenger (SR) clase B. Entre ellos, CD 36, capta lipoproteínas de baja densidad (LDL) oxidadas y este mecanismo endocítico no controlado por feedback favorecería la formación de células espumosas, la lesión más temprana de ateroesclerosis. El objetivo general de este proyecto es contribuir a esclarecer el conocimiento de los mecanismos bioquímicos, celulares y moleculares que participan en la formación de células espumosas derivadas de macrófagos. Determinar el efecto de potenciales factores aterogénicos sobre receptores Toll-like and SR-CD 36, permitiría diseñar terapias alternativas tendientes a modular su actividad con la finalidad de disminuir la elevada morbilidad/mortalidad que ocasiona la ateroesclerosis en la sociedad occidental. En nuestro modelo proponemos los siguientes objetivos específicos: -Dilucidar el compromiso de TLRs y SR-clase B en el proceso de aterogenésis, específicamente en la formación de células espumosas.-Investigar la influencia de la infección por T. cruzi, ácidos grasos y LDL modificadas como factores aditivos en la formación de estas células. -Evaluar el efecto de ligandos agonistas de TLR2/4 y SR-CD 36. -Determinar el perfil de citoquinas inflamatorias liberadas en el sobrenadante de los cultivos celulares. -Estudiar el efecto metabólico de las hormonas insulina y adipoquinas en el proceso bioquímico y celular que permite la formación de células espumosas.

Efecto de la infección in vivo con Trypanosoma cruzi y una dieta rica en lípidos sobre receptores Toll-like en un modelo experimental de Aterosclerosis

Además de los factores de riesgos convencionales y mejor conocidos que predisponen a la aterosclerosis, entre ellos, la hiperlipemia, hipertensión y el hábito de fumar, recientemente se ha propuesto a las infecciones y la inflamación como factores de riesgo a tener en cuenta en el desarrollo de esta patología. Considerando que algunas infecciones bacterianas y / o virales pueden ejercer una acción pro-aterogénica, probablemente como consecuencia de inflamación sistémica o un efecto directo sobre la pared vascular, nos propusimos como objetivo principal, estudiar la influencia de la infección in vivo con Trypanosoma cruzi (parásito protozoario, agente etiológico de la Enfermedad de Chagas) más una dieta rica en lípidos sobre la expresión de los receptores de la inmunidad innata (Toll – like) en un modelo experimental desarrollado en ratones C57BL/6, propensos a la aterosclerosis. Por otra parte, nos interesa caracterizar los tipos celulares que infiltran el corazón y la aorta de los animales sometidos a tratamientos experimental (mediante estudios inmunohistoquímicos), el perfil de citoquinas inflamatorias séricas y moléculas de adhesión intercelular, así como también establecer una correlación con parámetros bioquímico – clínicos y endocrinológicos, en especial el perfil de lípidos, lipoproteínas y apolipoproteínas, marcadores de inflamación sistémica, peso corporal, glucemia, insulina e insulina resistencia

Efecto de la infección in vivo con trypanosoma cruzi y una dieta rica en lípidos sobre receptores toll-like en un modelo experimental de ateroesclerosis.

Ateroesclerosis es una enfermedad inflamatoria crónica de arterias de mediano y gran calibre, caracterizada por activación de células endoteliales, reclutamiento de monocitos en la pared de los vasos y diferenciación de macrófagos en células espumosas cargadas de colesterol. Además de los factores de riesgo convencionales y mejor conocidos que predisponen a la ateroesclerosis, como la hiperlipemia, hipertensión y el hábito de fumar, recientemente se ha propuesto a las infecciones y la inflamación como factores de riesgo a considerar en su desarrollo. Algunas infecciones bacterianas o virales pueden ejercer una acción pro-aterogénica, probablemente como consecuencia de inflamación sistémica o un efecto directo sobre la pared vascular. Sin embargo, el papel del Trypanosoma cruzi ha sido escasamente explorado. Como objetivo principal nos propusimos, estudiar la influencia de la infección in vivo con Trypanosoma. cruzi (parásito protozoario, agente etiológico de la Enfermedad de Chagas ) más una dieta rica en lípidos sobre la expresión de los receptores tipo Toll de la inmunidad innata en un modelo experimental en ratones C57BL/6 salvajes, propensos al desarrollo de ateroesclerosis. Especifícamente, nos interesa caracterizar que tipos celulares infiltran el corazón y aorta de los animales sometidos a tratamiento experimental, el perfil de citoquinas inflamatorias séricas, quimioquinas y moléculas de adhesión intercelular, así como también establecer una correlación con parámetros bioquímicos-clínicos y endocrinológicos, en especial el perfil de lípidos, lipoproteínas y apolipoproteínas, marcadores de inflamación sistémica, peso corporal, glucemia, insulina e insulino-resistencia.

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.