Catálogo de publicaciones

La búsqueda de genes relacionados con la patogenicidad de Beauveria bassiana, se llevó a cabo siguiendo la estrategia de estudiar la expresión de una cepa virulenta del hongo, cultivada in vitro, en condiciones nutricionales similares a las que este patógeno se encuentra sometido durante la penetración del hospedante. Para ello se utilizó como única fuente orgánica de crecimiento, una preparación de la cutícula del insecto Diatraea saccharalis, el sustrato natural cuya degradación es requerida para el establecimiento de la infección. Se aplicó la técnica de Differential display para la detección de genes que se expresaran en forma diferencial bajo esta condición. Por comparación entre los productos de amplificación de ADNc, obtenidos por RT-PCR del ARN extraído del hongo cultivado con cutícula, o sin ella, se detectaron fragmentos únicamente presentes en el primer caso. Los patrones de bandas se obtuvieron utilizando un primer oligo-dT, en combinación con decámeros de secuencia arbitraria. Se desarrolló una metodologia que consistió en la marcación de los productos de PCR con grupos fluorescentes, y su análisis en un sistema de secuenciación automática. Los fragmentos amplificados diferencialmente fueron utilizados como sondas, para estudiar el nivel de expresión de los transcriptos correspondientes, por la técnica de northern. Paralelamente, se determinó el número de copias de los genes respectivos, en el genoma de B. bassiana, mediante la técnica de southern. Se construyó una genoteca de ADN genómico de B. bassiana en un vector de sustitución derivado del fago λ. El screening de la misma con una sonda de expresión diferencial, permitió identificar un gen que codifica para una proteína deducida de 495 aminoácidos. La secuencia de la misma, presentó homología con una familia de proteínas de transporte a través de membrana, de especificidades diversas. Adyacente a dicho gen, en posición aguas arriba de la secuencia genómica, se identificó otro gen de copia única y de expresión concertada con el anterior, que codifica para la enzima quitosanasa. Con la secuencia del ADNc se comprobó la existencia de dos intrones en la estructura primaria del gen. La proteína deducida, de 232 aminoácidos, presenta 74% de identidad de secuencia con la misma enzima de otro hongo entomopatógeno, Metarhizium anisopliae. Otras tres secuencias fúngicas completan el grupo de quitosanasas eucariotas conocidas, separado de las enzimas de origen bacteriano, por análisis de agrupamiento en base a similitud de secuencia. Se propone la participación de esta enzima en la degradación de la cutícula de los insectos, por parte de los hongos entomopatógenos.

Frente a los planteos historiográficos del surgimiento de los estados en el Río de la Plata, se analizan las constituciones federales y unitarias desde la perspectiva de la subjetividad y la psicologia de la historia.

Pattern matching es una herramienta fundamental de la programación funcional. Permite describir conjuntos de datos que tienen una misma forma (a través de una expresión llamada \\patrón"). Esta facilidad ha comenzado a adoptarse también en otros paradigmas, y ha demostrado su utilidad para analizar datos en diversos formatos, como por ejemplo datos semiestructurados. Los cálculos de patrones son lenguajes minimales basados en cálculo lambda en los que se introducen formas sofisticadas de pattern matching para estudiar sus fundamentos formales. La primera parte de esta tesis propone una contribución a este campo, desarrollando una lógica combinatoria para λP, un cálculo de patrones donde cualquier término puede ser un patrón. La lógica combinatoria carece de variables ligadas. Nos encontramos ante dos desafíos. Por un lado, tratar con las variables ligadas en los patrones, ya que una abstracción es un patrón válido en λP. Para esto contamos con la guía de la lógica combinatoria estándar. El segundo desafío consiste en computar, en un escenario combinatorio, la contraparte de la sustitución obtenida ante un matching exitoso. Esto requiere la introducción de reglas capaces de descomponer las aplicaciones. Proponemos una lógica combinatoria que logra este propósito, y estudiamos sus propiedades salientes y extensiones, incluyendo una presentación tipada y la representación de estructuras de datos. La segunda parte de esta tesis se centra en la interpretación computacional de la Lógica de Pruebas, o LP, via el isomorfismo de Curry-Howard. LP, dada a conocer por Artemov en 1995, es un refinamiento de la lógica modal en la cual la modalidad 2A es revisitada como [[t]]A, donde t es una expresión que testifica sobre la validez de A. Es aritméticamente correcta y completa, puede realizar todos los teoremas de S4 y posee la capacidad de versar sobre sus propias pruebas (` A implica ` [[t]]A, para algún t). Nuestra contribución principal es una formulación en Deducción Natural con buen comportamiento, desarrollada con el fin de develar las metáforas computacionales que surgen de esta capacidad de reflexión de LP. Esta es la primera formulación en Deducción Natural capaz de capturar a LP en su totalidad. Para esto, adoptamos la Deducción Natural Clásica de Parigot y la unimos al razonamiento hipotético. Como resultado, obtenemos una presentación en Deducción Natural de LP proposicional, para la cual se demuestran ciertas propiedades claves. Luego extendemos nuestro análisis al caso de primer orden, presentando FOHLP, una extensión de primer orden de HLP. Nuestro punto de partida es una reciente formulación de primer orden de LP, llamada FOLP, que goza de corrección aritmética y tiene una semántica de demostrabilidad exacta (la completitud es inalcanzable dado que no es finitamente axiomatizable). Presentamos una formulación en Deducción Natural llamada FOHLP, traducciones desde y hacia FOLP, una asignación de términos (cálculo lambda) y una prueba de terminación del proceso de normalización de derivaciones.

Fil:Pedreira, María Eugenia. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.

Fil:Keszler, Inés. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.

Se ha estudiado empleando el método Carr y Price y el método espectrofotométrico, al contenido en vitamina A del aceite de hígado de los siguientes pescados: merluza, corvina, pescadilla, sábalo, dorado, brótola, lenguado, tiburoncito y raya, conocida esta última, entra los pescadores, con el nombre de chucho.

Fil:Lambardi, Horacio Alberto. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.

Fil:Beguet, Adolfo J. L.. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.