Procesos de plasticidad sináptica en gyrus dentado hipocampal durante la administración crónica y el síndrome de abstinencia a cocaína. Synaptic plasticity in hippocampal dentate gyrus during chronic administration and withdrawal from cocaine.

Los procesos neuronales adaptativos que se observan como consecuencia de la administración crónica de drogas de abuso, son similares a los procesos plásticos que subyacen al aprendizaje y la memoria. Por otra parte, el hipocampo forma parte del circuito neuronal responsable de los cambios conductuales observados como consecuencia de la administración crónica de diferentes drogas de abuso. De acuerdo con esto, resultados previos de nuestro laboratorio demostraron que la plasticidad sináptica en el hipocampo y las claves contextuales relacionadas con la administración de la droga, son relevantes para el incremento de la plasticidad hipocampal por la administración crónica de diazepam. Específicamente en el gyrus dentado hipocampal se han descripto fenómenos plásticos relacionados con la exposición crónica a psicofármacos, tales como facilitación en la transmisión sináptica, disminución de la proliferación celular y el aumento del factor de transcripción ?Fos B. Debido a la correlación existente entre los mecanismos de plasticidad neuronal, los aprendizaje asociativos y formación de memorias y aquellos responsables de la adicción, el objetivo general de este trabajo es caracterizar los cambios inducidos por la exposición repetida de cocaína y durante el periodo de abstinencia, en la excitabilidad neuronal de las células del gyrus dentado hipocampal, los canales iónicos afectados y los posibles mecanismos bioquímicos involucrados en dichos cambios, que podrían explicar las alteraciones conductuales observadas después de dicho tratamiento. Con este propósito, se estudiará: 1) la plasticidad sináptica (potenciación a largo plazo, LTP y depotenciación a largo plazo, LTD) en el gyrus dentado, mediante registros electrofisiológios multiunitarios; 2)la excitabilidad de las células granulares del gyrus dentado y la actividad de los canales iónicos, utilizando la técnica de patch clamp; 3) las alteraciones en la neurotransmisión glutamatergica, midiendo los niveles del neurotransmisor in vivo, utilizando la técnica de microdiálisis; el tráfico de receptores glutamatérgicos, utilizando la técnica de western-blott, 4) la participación del óxido nítrico en los cambios adaptativos observados como consecuencia de la sensibilización a cocaína. Además, mediante la utilización de técnicas comportamentales (avoidance inhibitorio), se estudiarán las posibles alteraciones de conductas que se sabe dependen de la integridad funcional del hipocampo.En relación a los resultados del presente proyecto se espera obtener un incremento en la plasticidad sináptica, en la excitabilidad neuronal de las células granulares del gyrus dentado de la formación hipocámpica, en la liberación extracelular de glutamato in vivo, como así también en el tráfico de receptores glutamatérgicos. Además se espera obtener un aumento de las vías de señalización activadas por la acción de glutamato, como la de óxido nítrico/GMPc, como consecuencia de la administración crónica de cocaína. Con este aumento global de la plasticidad sináptica hipocampal, las conductas dependientes de esta estructura debieran estar facilitadas, demostrando así una participación activa del hipocampo en los procesos de sensibilización y posiblemente en la adicción a psicoestimulantes. La caracterización del impacto del desarrollo de sensibilización a cocaína en la excitabilidad neuronal en el hipocampo, sobre los sistemas de neurotransmisión y las vías de señalización involucradas contribuirían a dilucidar los mecanismos que contribuyen al desarrollo de sensibilización a cocaína, los cuales podrían representar potenciales blancos terapéuticos para el tratamiento de la adicción, considerando principalmente aspectos específicos de la actividad eléctrica neuronal y la plasticidad sináptica asociada con las diferentes fases del ciclo de la adicción.

Caracterización genética de la cepa Sinorhizobium meliloti 3DOh13 y evaluación de la capacidad fijadora de nitrógeno en alfalfa. Genetic characterization of the strain Sinorhizobium meliloti 3DOh13 and assessment of the capacity to fix nitrogen in alfalfa.

La provincia de Córdoba participa con aproximadamente el 23 por ciento del área total sembrada anualmente con alfalfa en nuestro país y, en los últimos años, se ha incrementado levemente, en contraste con las provincias de Buenos Aires, Santa Fe y Entre Ríos, donde ha decrecido. La inoculación de este cultivo con cepas del género Sinorhizobium ha permitido mejorar su rendimiento en los suelos de la región semiárida. La utilización para la siembra de semillas preinoculadas con microorganismos de origen extranjero, cuya eficiencia y adaptación a las condiciones locales no siempre se conocen, y con escasa capacidad de competencia ante las cepas naturalizadas, trae como consecuencia un bajo establecimiento de la nodulación y por consiguiente una escasa reposición del nitrógeno removido del suelo. Aún cuando la inoculación está relativamente difundida, en la actualidad no se ha determinado la proporción relativa de nitrógeno fijado por las cepas introducidas respecto de las nativas o naturalizadas, ni la competencia que se genera en el suelo por la ocupación de los sitios potenciales para la formación de nódulos. Nuestra hipótesis de trabajo es: "la inoculación con cepas de Sinorhizobium meliloti debidamente caracterizadas y eficientes en la fijación del nitrógeno atmosférico mejorará el rendimiento de alfalfa en la región centro-sur de Córdoba". Los objetivos de este estudio son caracterizar fenotípica y genotípica el aislamiento Sinorhizobium meliloti 3DOh13 y evaluar su eficiencia simbiótica en el cultivo de alfalfa, mediante ensayos de infectividad, eficiencia y competencia con cepas nativas. La evaluación de la infectividad de la cepa comprende estudios de cinética de la nodulación, número total de nódulos y ubicación de los mismos en experiencias donde las plantas crecen en condiciones de invernáculo sobre un soporte de tierra:arena:perlita (2:1:1). Se realizarán ensayos de competitividad, coinoculando semillas con la cepa DOh13 y otras nativas, en bolsas plásticas con medio mineral en los que se desafiarán los distintos aislamientos. Se inoculan las plantas con sólo dos aislamientos y los nódulos de la raíz principal serán extraídos a fin de aislar los microorganismos ocupantes, los que serán diferenciados por marca de resistencia a antibioticos. La eficiencia en la fijación de nitrógeno será cuantificada por las técnicas de reducción del acetileno en el nódulo y, en caso de ser necesario, se usará el método de Kjeldahl (N total) para la raíz, tejido aéreo o planta entera. La caracterización genotípica de S. meliloti 3DOh13 incluirá métodos de fingerprint de ADN por técnicas de PCR y secuenciamiento del ADNr 16S. Esta investigación permitirá obtener información precisa sobre la respuesta de alfalfa a la inoculación con la cepa de referencia. El producto que se espera obtener es un nuevo inoculante, formulado con una cepa efectiva en la fijación de nitrógeno, debidamente caracterizada y con probada capacidad de adaptación a los suelos de la región

Análisis molecular del virus sincitial respiratorio bovino cepa RC-98 aislado en Argentina. Molecular analisis of bovine respiratory syncytial virus RC-98 strain isolated in Argentina.

En la provincia de Córdoba, estudios serológicos demostraron una alta tasa de infección para el Virus Sincitial Respiratorio Bovino (VSRB). Paralelamente nuestro grupo de investigación aisló por primera vez en Argentina el VSRB (cepa RC-98) dando un paso importante en el reconocimiento de esta enfermedad. En los últimos años se ha incrementado la importancia de este agente debido a la intensificación de los sistemas ganaderos, impulsados y desplazados por la agriculturización. La detección viral en muestras clínicas aún es pobre por inadecuadas técnicas de laboratorio. Por estas razones es necesario optimizar otro método diagnóstico utilizado mundialmente, no desarrollado en nuestro país hasta el presente. Con el advenimiento de la biología molecular se introducen nuevas técnicas como la RT-PCR para el diagnóstico rápido del VSRB, siendo más sensible y específica que el ensayo de ELISA, Inmunofluorescencia, Inmunoperoxidasa y aislamiento viral, además permite detectar la eliminación viral por un período más prolongado en muestras clínicas. La glicoproteína G (Gp G) del VSRB es la proteína menos conservada entre los aislamientos de VSRB y es la que presenta la mayor variabilidad, tanto antigénica como genética. Por secuenciamiento de la Gp G se propusieron seis subgrupos genéticos. La importancia de esta glicoproteína esta representada en el rol que desempeña en la respuesta inmune. La generación de anticuerpos frente a esta es capaz de neutralizar la infección viral. La hipótesis de trabajo se basa en que pueden existir diferencias genómicas importantes de la cepa autóctona, respecto a cepas bovinas de referencia internacional. Se plantean como objetivos conocer las características moleculares (genómicas) de la Gp G de la cepa RC-98 para el futuro desarrollo de inmunógenos y estandarizar una técnica diagnóstica que complemente y enriquezca el diagnóstico de este virus. Se utilizará la cepa RC-98 la cuál se propagará en células MDBK. Para desarrollar la técnica de RT-PCR se extraerá el ARN viral con un kit comercial, a partir del mismo se obtendrá el ADNc y para la PCR se utilizarán 2 juegos de primers que amplifiquen un fragmento del gen de la Gp G. Una vez estandarizada la técnica se trabajará con muestras clínicas, hisopados nasales, lavados broncoalveolares y muestras pulmonares de animales necroipsiados. Al finalizar la investigación se espera conocer las características genómicas de la cepa RC-98. Se contará con una nueva herramienta diagnóstica para la detección rápida y sensible del VSRB. La misma será transferida a laboratorios de diagnostico. Adicionalmente se contará con el secuenciamiento de la Gp G, lo cuál permitirá clasificar la cepa en estudio dentro de los subgrupos genéticos. Este proyecto pretende sentar bases para investigaciones futuras ya que la técnica de PCR posibilita una nueva aproximación al estudio de la patogénesis de la infección viral y permite estudiar la epidemiología molecular de los aislamientos de campo.

Verificación de Sistemas Basada en Teoría de Tipos. System verification in type theory

Este proyecto se enmarca en la utlización de métodos formales (más precisamente, en la utilización de teoría de tipos) para garantizar la ausencia de errores en programas. Por un lado se plantea el diseño de nuevos algoritmos de chequeo de tipos. Para ello, se proponen nuevos algoritmos basados en la idea de normalización por evaluación que sean extensibles a otros sistemas de tipos. En el futuro próximo extenderemos resultados que hemos conseguido recientemente [16,17] para obtener: una simplificación de los trabajos realizados para sistemas sin regla eta (acá se estudiarán dos sistemas: a la Martin Löf y a la PTS), la formulación de estos chequeadores para sistemas con variables, generalizar la noción de categoría con familia utilizada para dar semántica a teoría de tipos, obtener una formulación categórica de la noción de normalización por evaluación y finalmente, aplicar estos algoritmos a sistemas con reescrituras. Para los primeros resultados esperados mencionados, nos proponemos como método adaptar las pruebas de [16,17] a los nuevos sistemas. La importancia radica en que permitirán tornar más automatizables (y por ello, más fácilmente utilizables) los asistentes de demostración basados en teoría de tipos. Por otro lado, se utilizará la teoría de tipos para certificar compiladores, intentando llevar adelante la propuesta nunca explorada de [22] de utilizar un enfoque abstracto basado en categorías funtoriales. El método consistirá en certificar el lenguaje "Peal" [29] y luego agregar sucesivamente funcionalidad hasta obtener Forsythe [23]. En este período esperamos poder agregar varias extensiones. La importancia de este proyecto radica en que sólo un compilador certificado garantiza que un programa fuente correcto se compile a un programa objeto correcto. Es por ello, crucial para todo proceso de verificación que se base en verificar código fuente. Finalmente, se abordará la formalización de sistemas con session types. Los mismos han demostrado tener fallas en sus formulaciones [30], por lo que parece conveniente su formalización. Durante la marcha de este proyecto, esperamos tener alguna formalización que dé lugar a un algoritmo de chequeo de tipos y a demostrar las propiedades usuales de los sistemas. La contribución es arrojar un poco de luz sobre estas formulaciones cuyos errores revelan que el tema no ha adquirido aún suficiente madurez o comprensión por parte de la comunidad. This project is about using type theory to garantee program correctness. It follows three different directions: 1) Finding new type-checking algorithms based on normalization by evaluation. First, we would show that recent results like [16,17] extend to other type systems like: Martin-Löf´s type theory without eta rule, PTSs, type systems with variables (in addition to systems in [16,17] which are a la de Bruijn), systems with rewrite rules. This will be done by adjusting the proofs in [16,17] so that they apply to such systems as well. We will also try to obtain a more general definition of categories with families and normalization by evaluation, formulated in categorical terms. We expect this may turn proof-assistants more automatic and useful. 2) Exploring the proposal in [22] to compiler construction for Algol-like languages using functorial categories. According to [22] such approach is suitable for verifying compiler correctness, claim which was never explored. First, the language Peal [29] will be certified in type theory and we will gradually add funtionality to it until a correct compiler for the language Forsythe [23] is obtained. 3) Formilizing systems for session types. Several proposals have shown to be faulty [30]. This means that a formalization of it may contribute to the general understanding of session types.