Síntesis, caracterización y aplicaciones específicas de metalosilicatos cristalinos micro y mesoporosos con incorporación de nanoestructuras. Synthesis, characterization and specific aplications of crystalline micro and mesoporous metallosilicates with nanostructures.

La síntesis de materiales cristalinos micro y mesoporosos con incorporación de micro/nano partículas/clusters de especies formadas con entidades propias interaccionando con las redes, como óxidos de metales, cationes de neutralización, especies metálicas, etc., pueden potencialmente ser utilizados como "materiales hospedaje" en óptica, electrónica, sensores, como materiales magnéticos, en estrategias ambientales de control de la contaminación, catálisis en general y procesos de separación. Se sintetizaran y caracterizaran por diversas técnicas fisicoquímicas, zeolitas microporosas de poro medio (ZSM) y poro grande (Y), y materiales mesoporosos (MCM-41). La aplicación de los mismos se orientara, por una parte, a procesos catalíticos tecnológicamente innovadores relacionados con los siguientes campos: a)catálisis ambiental: transformación de desechos plásticos (polietileno, polipropileno, poliestireno o mezclas de los mismos) a hidrocarburos de mayor valor agregado (gasolinas, gasoil, gases licuados de petróleo, hidrocarburos aromáticos); b)química fina: oxidación parcial de hidrocarburos aromáticos hacia la obtención de commodities, fármacos, etc. Por otra parte, se evaluaran las propiedades magnéticas (ferromagnetismo, paramagnetismo, superparamagnetismo, diamagnetismo) que algunos de estos materiales presentan, en busca de su correlación con sus propiedades catalíticas, cuando sea factible. Se estudiaran las condiciones óptimas de síntesis de los materiales, aplicando técnicas hidrotermicas o sol gel, controlando variables como temperaturas y tiempos de síntesis, pH de geles iniciales-intermedios-finales, tipo de fuentes precursoras, etc. La modificación de las matrices con Co, Cr, Mn, H, o Zn, se realizara mediante diversos tratamientos químicos (intercambio, impregnación) a partir de las sales correspondientes, con el objeto de incorporar elementos activos al estado iónico, metálico, clusters, etc.; y la influencia de distintos tratamientos térmicos (oxidantes, inertes o reductores; atmósferas dinámicas o estáticas; temperaturas). La caracterización estructural de los materiales será por: AA (cuantificación elemental de bulk); XRD (determinacion de presencia de especies oxidos o metalicas de Zn, Co, Cr, o Mn; determinacion de cristalinidad y estructura); BET (determinacion de area superficial); DSC-TG-DTA (determinacion de estabilidad de las matrices sintetizadas); FTIR de piridina (determinacion de tipo-fuerza-cantidad de sitios activos); Raman y UV-reflectancia difusa (determinacion de especies ionicas interacturando o depositadas sobre las matrices); TPR (identificacion de especies reducibles); SEM-EDAX (determinacion de tamaño de particulas de especies activas y de las matrices y cuanfiticacion superficial); Magnetómetros SQUID y de muestra vibrante (medición de magnetización y susceptibilidad magnética a temperatura ambiente con variación de campo externo aplicado, y variación de temperaturas (4 a 300 K) con campo externo fijo). En síntesis, se plantean tres grandes áreas de trabajo: No1)Síntesis y caracterización de materiales micro y mesoporosos nanoestructurados; No2) Evaluación de las propiedades catalíticas; No3) Evaluación de las propiedades magnéticas. Estos lineamientos nos permitirán generar nuevos conocimientos científicos-tecnológicos, formando recursos humanos (dos becarios posdoctorales; un becario doctoral; tres becarios alumnos de investigación; aproximadamente 15 pasantes de grado al año) aptos para emprender tales desafíos. Los conocimientos originados son constantemente trabajados en las actividades docentes de grado y posgrado que los integrantes del proyecto poseen. Finalmente serán transmitidos y puestos a consideración de pares evaluadores en presentaciones a congresos nacionales e internacionales y revistas especializadas.

Investigación de defectos genéticos en el sistema de la fosforilasa hepática en pacientes argentinos. Definición nosológica mediante una estrategia de análisis molecular. Investigation of genetic defects in the hepatic phosphorylase system in Argentinean patients. Nosological definition by molecular analysis strategy.

Las Enfermedades de Atesoramiento de Glucógeno (EAGs) también llamadas Glucogenosis comprenden un grupo de entidades causadas por una deficiencia enzimática específica relacionada con la vía de síntesis o degradación de esta macromolécula. La heterogeneidad fenotípica de los pacientes afectados dificulta la identificación de las diferentes variantes de EAG y por ende la correcta definición nosológica. En el Centro de Estudio de las Metabolopatías Congénitas, CEMECO, se fueron definiendo los diferentes tipos de Glucogenosis a través de una estrategia multidisciplinaria que integra distintos niveles de investigación clínica y complementaria, laboratorio metabólico especializado, enzimático, histomorfológico y de análisis molecular. Sin embargo, en algunos enfermos, entre los que se encuentran aquellos con defectos en el sistema de la fosforilasa hepática (EAG-VI y EAG-IX), la exacta definición nosológica aún no está resulta. La EAG-VI se refiere a un defecto en la fosforilasa hepática, enzima codificada por el gen PYGL, mientras que la EAG-IX es causada por un defecto genético en una de las subunidades de la fosforilasa b quinasa hepática codicadas por los genes PHKA2, PHKB y PHKG2, respectivamente. El objetivo del presente trabajo es propender a la definición nosológica de pacientes con defectos en el sistema de la fosforilasa mediante una estrategia de análisis molecular investigando los genes PYGL, PHKA2, PHKB y PHKG2. Los pacientes incluidos en este estudio deberán ser compatibles de padecer una EAG-VI o EAG-IX sobre la base de síntomas clínicos y hallazgos bioquímicos. La metodología incluirá la determinación de la enzima fosforilasa b quinasa en glóbulos rojos y dentro del análisis molecular la extracción de DNA genómico a partir de sangre entera para la amplificación por PCR de los exones más las uniones exon/intron de los genes PHKG2 y PYGL y la extracción de RNA total y obtención de cDNA para posterior amplificación de los cDNA PHKA2 y PHKB. Todos los fragmentos amplificados serán sometidos a análisis de secuencia de nucleótidos. Resultados esperados. Este trabajo, primero en Argentina, permitirá establecer las bases moleculares de los defectos del sistema de la fosforilasa hepática (EAG-VI y EAG-IX). El poder lograr este nivel de investigación traerá aparejado, una oferta integrativa en el vasto capítulo de las glucogenosis hepáticas, con extraordinaria significación en la práctica asistencial para el manejo, pronóstico y correspondiente asesoramiento genético. Hepatic glycogen storage diseases (GSDs) are a group of disorders produced by a deficiency in a specific protein involved in the metabolism of glycogen causing different types of GSDs. Phenotypic heterogeneity of affected patients difficult to identify the different GSD variants and therefore the correct definition of the disease. In the “Centro de Estudio de las Metabolopatías Congénitas”, CEMECO, were defined the different GSD types by a protocol which included complex gradual levels of clinical, biochemical, enzymatic and morphological investigation. However, in some patients, like those one with defects in the hepatic phosphorylase system (GSD-VI and GSD-IX) the exact definition of the disease has not yet been resolved. The GSD-VI is produced by a defect in the PYGL gen that encode the liver phosphorylase, while the GSD-IX is caused by a genetic defect in one of the Phosphorylase b kinase subunits, encoded by the PHKA2, PHKB and PHKG2 genes, respectively. The aim of the present study is to define the phosphorylase system defects in argentinian patients through a molecular strategy that involve the investigation of PYGL, PHKA2, PHKB and PHKG2 genes. Patients included in the present study must be compatible with a GSD-VI or GSD-IX on the bases of clinical symptoms and biochemical findings. The phosphorylase b kinase activity will be assay on in blood red cells. The molecular study will include genomic DNA extraction for the amplification of PHKG2 and PYGL genes and the total RNA extraction for amplification of the PHKA2 and PHKB cDNA by PCR. All PCR-amplified fragments will be subjected to direct nucleotide sequencing. This work, first in Argentina, will make possible to establish the molecular basis of the defects on the hepatic phosphorylase system (GSD-VI and GSD IX). To achieve this level of research will entail advance in the study of the hepatic glycogen storage disease, with extraordinary significance in the treatment, prognosis and the genetic counselling.

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.