Dinámica Cuántica de Sistemas Complejos: Fundamentos y Aplicaciones. Quantum Dynamics in Complex Systems: Fundamentals and Aplications.

El procedimiento de revertir la dinámica colectiva (diablillo de Loschmidt apresurado) mediante un pulso de radio frecuencia, permite generar un Eco de Loschmidt, es decir la refocalización de una excitación localizada. Alternativamente, en acústica es posible implementar un Espejo de Reversión Temporal, que consiste en la progresiva inyección de una débil excitación ultrasónica en la periferia de un sistema, para construir una excitación que se propaga "hacia atrás". Así, podemos afirmar que es posible revertir y controlar la dinámica. Sin embargo, aún no se posee una comprensión detallada de los mecanismos que gobiernan estos procedimientos. Este proyecto busca responder las preguntas que posibilitan esta comprensión.

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.

Mecanismo de interacción, calcio dependiente, entre Calcineurina y PERK, involucrado en el Estrés de Retículo Endoplásmico. Ca2+ -dependent mechanism of interaction between Calcineurin and PERK involved in Endoplasmic Reticulum Stress.

El Estrés de Retículo Endoplásmico (RE) es inducido por la acumulación de proteínas sin plegar en el lumen de la organela. Esto se puede observar en diversas situaciones fisio-patológicas como durante una infección viral o en proceso isquémico. Además, contribuye a la base molecular de numerosas enfermedades ya sea índole metabólico (Fibrosis quística o Diabetes Miellitus) o neurodegenerativas como mal de Alzheimer o Parkinson (Mutat Res, 2005, 569). Para restablecer la homeostasis en la organela se activa una señal de transducción (UPR), cuya respuesta inmediata es la atenuación de la síntesis de proteína debido a la fosforilación de subunidad alpha del factor eucariótico de iniciación de translación (eIF2α) vía PERK. Esta es una proteína de membrana de RE que detecta estrés. Bajo condiciones normales, PERK está inactiva debido a la asociación de su dominio luminar con la chaperona BIP (Nat Cell Biol, 2000, 2: 326). Frente a una situación de estrés, la chaperona se disocia causando desinhibición. Recientemente, (Plos One 5: e11925) se observó, bajo condiciones de estrés, un aumento de Ca2+ citosólico y un rápido incremento de la expresión de calcineurina (CN), una fosfatasa citosólica dependiente de calcio, heterodimérica formada por una subunidad catalítica (CN-A) y una regulatoria (CN-B). Además, CN interacciona, sin intermediarios, con el dominio citosólico de PERK favoreciendo su trans-autofosforilación. Resultados preliminares indican que, astrocitos CNAβ-/- exhibieron, en condiciones basales, un mayor número de células muertas y de niveles de eIF2α fosforilado que los astrocitos CNAα-/-. Hipótesis: CNAβ/B interacciona con PERK cuando el Ca2+ citosólico esta incrementado luego de haberse inducido Estrés de RE, lo cual promueve dimerización y auto-fosforilación de la quinasa, acentuándose así la fosforilación de eIF2α e inhibición de la síntesis de proteínas. Esta activación citosólica de PERK colaboraría con la ya descrita, desinhibición luminal llevada cabo por BIP. Cuando el Ca2+ citosólico retorna a los niveles basales, PERK fosforila a CN, reduciendo su afinidad de unión y disociándose el complejo CN/PERK. Objetivo general: Definir las condiciones por las cuales CN interacciona con PERK y regula la fosforilación de eIF2α e inhibición de la síntesis de proteína. Objetivos específicos: I-Estudiar la diferencia de afinidades y dependencia de Ca2+, de las dos isoformas de CN (α y β) en su asociación con PERK. Además verificar la posible participación de la subunidad B de CN en esta interacción. II-Determinar si la auto-fosforilación de PERK es diferencialmente regulada por las dos isoformas de CN. III-Discernir la relación del estado de fosforilación de CN con su unión a PERK. IV-Determinar efectos fisiológicos de la interacción de CN-PERK durante la respuesta de Estrés de RE. Para llevar a cabo este proyecto se realizarán experimentos de biología molecular, interacción proteína-proteína, ensayos de fosforilación in vitro y un perfil de polisoma con astrocitos CNAβ-/- , CNA-/- y astrocitos controles. Se espera encontrar una mayor afinidad de unión a PERK de la isoforma β de CN y en condiciones donde la concentración de Ca2+ sea del orden micromolar e imite niveles del ión durante un estrés. Con respecto al estado de fosforilación de CN, debido a los resultados preliminares, donde solo se la encontró fosforilada en condiciones basales, se piensa que CN podría interactuar con mayor afinidad con PERK cuando CN se encuentre desfosforilada. Por último, se espera encontrar un aumento de eIF2α fosforilado y una acentuación de la atenuación de la síntesis de proteína como consecuencia de la mayor activación de PERK por su asociación con la isoforma β de CN en astrocitos donde el Estrés de RE se indujo por privación de oxigeno y glucosa. Estos experimentos permitirán avanzar en el estudio de una nueva función citoprotectora de CN recientemente descrita por nuestro grupo de trabajo y sus implicancias en un modelo de isquemia. The accumulation of unfolded proteins into the Endoplasmic Reticulum (ER) activates a signal transduction cascade called Unfolding Protein Response (UPR), which attempts to restore homeostasis in the organelle. (PKR)-like-ER kinase (PERK) is an early stress response transmembrane protein that is generally inactive due to its association with the chaperone BIP. During ER stress, BIP is tritrated by the unfolded protein, leading PERK activation and phosphorylation of eukaryotic initiation factor-2 alpha (eIF2alpha), which attenuates protein síntesis. If ER damage is too great and homeostasis is not restored within a certain period of time, an apoptotic response is elicited. We recently demonstrated a cytosolic Ca2+ increase in Xenopus oocytes after induce ER stress. Moreover, calcineurin A/B, a an heterotrimeric Ca2+ dependent phosphatases (CN-A/B), associates with PERK increasing its auto-phosphorylation and significantly enhancing cell viability. Preliminary results suggest that, CN-Aβ-/- knockout astrocytes exhibit a significant higher eIF2α phosphorylated level compared to CN-Aα-/- astrocytes. Our working hypothesis establishes that: CN binds to PERK when cytosolic Ca2+ is initially increased by ER stress, promoting dimerization and autophosphorylation, which leads to phosphorylation of elF2α and subsequently attenuation of protein translation. When cytosolic Ca2+ returns to resting levels, PERK phosphorylates CN, reducing its binding affinity so that the CN/PERK complex dissociates. The goal of this project is to determine the conditions by which CN binding to PERK attenuates protein translation during the ER stress response and subsequently, to determine how the interaction of CN with PERK is terminated when stress is removed. To perform this project is planed to do molecular biology experiments, pull down assays, in vitro phosphorylations and assess overall mRNA translation efficiency doing a polisome profile.