Análisis no conmutativo y ecuaciones diferenciales

Se continuará desarrollando líneas de trabajo en análisis armónico no conmutativo. El problema a considerar consiste en obtener, sobre el grupo de Heisenberg, la descomposición espectral simultánea en el estudio de las funciones de cuadrado integrable, correspondientes a cierto operador diferencial de segundo orden y cierto operador de orden 1. Asimismo se continuará con el desarrollo en el área de ecuaciones diferenciales parabólicas con coeficientes periódicos en el tiempo (...) consistentes en : a) Problemas de autovalores con función de peso y valores en la frontera: en este caso se pretende mejorar resultados obtenidos sobre condiciones sobre el peso para existencia, unicidad de autofunciones positivas periódicas así como estudiar la dependencia de autovalore en términos del peso. b) Estudir el análogo parabólico periódico del espectro de Fusik elíptico, de interés por sus posibles aplicaciones a resultados de existencia y no existencia de soluciones de problemas no lineales. (...)

Análisis armónico real

Se continuarán desarrollando y fortaleciendo las líneas de trabajo del grupo de Ecuaciones Diferenciales y Análisis de la FaMAF (Facultad de Matemática, Astronomía y Física) de la Universidad Nacional de Córdoba. Entre los problemas más estudiados en Análisis Armónico Clásico están los de determinar cuándo un operador de evolución es acotado de un espacio Lp en otro Lq. En el origen de esta teoría están los operadores clásicos, como la función armónica conjugada, los potenciales fraccionarios y las transformadas de Riesz. En los últimos años se ha puesto la atención en operadores con núcleos más singulares, como aquellos relacionados con la ecuación de ondas. Tratándose de operadores de convolución con medidas singulares y de soporte compacto, se utilizan técnicas más refinadas. (...) Nos proponemos analizar operadores de este tipo en el caso de que el soporte de m esté contenido en la superficie SÌIRn . Cuando la curvatura gaussiana de S es no nula en cada punto y m es la medida sobre IRn inducida por el elemento de área de S, la respuesta es conocida. Nuestro propósito es estudiar este problema para ciertas superficies S cuya curvatura gaussiana se anula en algunos puntos. En la próxima etapa nos proponemos tratar de generalizar el problema a dimensiones mayores (...). Por otro lado, se estudiarán algunas propiedades de las clases de pesos laterales. (...)

Análisis de la sala de retratos del Museo Municipal Dr. Genaro Pérez

Existe en el Museo Municipal de Bellas Artes "Dr. Genaro Pérez" una galería de retratos que le confiere uno de sus rasgos distintivos. La galería ocupa dos salas ubicadas en la planta baja, abiertas al hall central, conectadas entre sí. La sala mayor cobija un total de diez pinturas al óleo, de las cuales ocho son retratos y dos paisajes. La sala menor contiene seis pinturas al óleo, todos retratos y dos esculturas de Luis Falcini. Todos los retratados son miembros de familias tradicionales de Córdoba y corresponden al período 1860-1880. (...) La galería supone un particular trabajo en el espacio, para que éste sea recorrido por un sujeto que se supone vertical, y cuyo sentido preponderante es la visión. La visión, que en la tradición de la moderna pintura al óleo se relaciona con el tacto, ofrece desde la modernidad un privilegiado lugar en la percepción de un mundo claro, palpable y por lo tanto apropiable. La galería es, desde su construcción en el Renacimiento Italiano, un espacio de exhibición del poder. Coleccionar y exhibir este poderío para ciertos y específicos espectadores, es un ritual que maneja el príncipe y sabrán heredar los burgueses. Como nos recuerda Clifford, el término inglés "collection" remite a nociones de "recopilación" y "recuerdo". (...) la noción de que esta recolección involucra es la acumulación de riquezas, que seguramente no es universal. La recolección en la modernidad puede verse como una estrategia para el despliegue de un sujeto, una cultura y una autenticidad posesivos, un ritual, una dramatización sobre apropiaciones del mundo recorridas por un gusto unificante, el del grupo recolector. Cuando la galería es pública, este gusto está en manos de ciertas instituciones artísticas, que no están aisladas(...). Por eso la historia de la galería y la del museo aparecen en diálogo con la historia de la ciudad, de la educación artística, de los salones y otros modos de sancionar dicho gusto(...). Objetivos: 1. Generales. * Aplicar marcos interpretativos interdisciplinarios a la producción artística local. * Colaborar en la historia de los movimientos culturales de Córdoba, indagando en el momento de la construcción de su escuela pictórica. 2. Específicos. * Relacionar los retratos expuestos, en especial los de Genaro Pérez, con fotografías contemporáneas. * Detectar y relacionar diferentes textos artísticos, periodísticos, literarios, históricos, jurídicos sobre Genaro Pérez y su obra.

Análisis cuantitativo de las importaciones de efectos europeos en Córdoba, 1816-1825. (Segunda Etapa)

A comienzos del siglo XIX se encuentra en sus inicios el proceso de incremento de las relaciones mercantiles con Europa por parte de todo el espacio económico colonial, lo que origina una interpretación historiográfica habitual que considera que, debido al consecuente aumento de las importaciones, se genera una frustración de los procesos de industrialización incipientes. Estos tendrían que haberse desarrollado en base a la supuesta transformación de la actividad artesanal o manufacturera textil que debería convertirse en producción industrial, siguiendo los pasos habituales del desarrollo del capitalismo en Inglaterra. Todos estos planteos, de posible veracidad general pero con escasas precisiones, se basan en fuentes con información general en tanto no se ha realizado aún una investigación que cuantifique el monto y la composición de las importaciones europeas y las contraste con los movimientos de las exportaciones del mismo tipo de efectos o de la materia prima relacionada con ellos. Nuestro proyecto pretende enfrentar este tipo de tarea para una región de reconocida especialización en la producción artesanal de textiles como es Córdoba, durante el período en que se enfrenta este problema y que las fuentes lo permitan. Objetivo general Registro y análisis de las importaciones de efectos europeos ingresados para el consumo de Córdoba desde 1808 a 1850, con el objeto de comparar sus resultados con el movimiento de las exportaciones y concluir sobre las relaciones entre ambos procesos. Objetivo específico Se ingresarán los datos y se realizará un primer proceso de la información sobre las importaciones de efectos europeos ingresados por el puerto de Buenos Aires para el consumo de la jurisdicción de Córdoba en el período de 1816 y 1825.

Recuperación y análisis de información de archivo fílmico documental (Noticias de Canal 10, 1973/76)

El propósito de este proyecto es continuar con el ordenamiento, recuperación y análisis de información de material fílmico (en 16 mismo) del archivo de noticias SRT-canal 10, para el período 1973/76. Se sistematizará principalmente el material originado en Córdoba procediéndose a la automatización y transferencia a video de 50 hs. de noticias. El material que se procese, sumando al ya disponible para el período 1966/72, posibilitará avanzar en el desarrollo de las investigaciones específicas encaradas por los participantes en este proyecto. El material a recuperar testimonia además diversos aspectos de la vida social y cultural de la época, constituyendo una materia prima de gran valor tanto para las investigaciones en las ciencias sociales y humanas como para la realización de otros productos audiovisuales. En este sentido, el trabajo a desarrollar adquiere particular relevancia dada la escasez de registros que se conservan sobre el período y la inexistencia de archivos fílmicos documentales organizados y accesibles por los medios planteados, que es una condición previa para su utilización sistemática. Al mismo tiempo, su recuperación y preservación tienen relevancia en un sentido amplio por formar parte del patrimonio cultural y la memoria histórica de Córdoba y el país. Objetivo generales: * Continuar con el programa de ordenamiento y conversación del archivo de noticias y el de generación de un centro de documentación audiovisual automatizado para su funcionamiento en el ámbito de la Facultad de Filosofía y Humanidades, que facilite el acceso a la información a la comunidad académica y otros posibles interesados. * Recuperar fuentes audiovisuales de alto valor documental sobre la realidad local y, en menor medida, nacional e internacional, del período 1973/76. * Disponer de información audiovisual sobre el período señalado, accesible a estudiantes, docentes e investigaciones del Departamento de Cine y TV. * Promover y desarrollar la realización de documentales y/o investigaciones históricas, y estudios en otros campos en base al tratamiento y explotación de imágenes en movimiento.

Análisis de la aplicabilidad de la técnica de disco-menisco rotante en el estudio de reacciones de transferencia de carga con reacciones químicas acopladas

El electrodo de disco rotante es una de las técnicas más útiles y más ampliamente empleada en el estudio de la cinética de reacciones de electrodo. Sin embargo, la construcción de electrodos de disco rotante convencionales, que involucra la inclusión del material de electrodo de una vaina de material aislante, no siempre es posible o conveniente. Por ejemplo, cuando es necesario utilizar materiales monocristalinos, se presentan numerosas dificultades debidas principalmente a su extrema fragilidad. (...) Objetivos generales * Se intenta establecer la aplicabilidad de la técnica del electrodo de disco-menisco rotante en el estudio de la cinética de reacciones de transferencia de carga con reacciones químicas acopladas. En particular, se estudiarán los mecanismos de reacción que involucran procesos catalíticos y ECE (electroquímico-químico-electroquímico). Objetivos específicos * Determinar las desviaciones que produce la presencia del menisco de electrolito en las curvas experimentales de corriente límite vs. raíz cuadrada de la velocidad de rotación, para cada uno de los dos mecanismos mencionados a partir de la comparación de datos obtenidos para meniscos de diferentes alturas y sobre electrodos convencionales. * Simular la respuesta electroquímica introduciendo los términos de corrección adecuados para tener en cuenta las variaciones en las condiciones hidrodinámicas que introduce la modificación de la geometría del sistema. * Establecer la metodología apropiada para el tratamiento de los datos experimentales a fin de posibilitar la obtención de los parámetros cinéticos de las reacciones. El plan de trabajo que se propone permitirá profundizar la caracterización del comportamiento hidrodinámico del disco-menisco rotante, incrementando las posibilidades de la utilización de esta técnica que es sumamente adecuada para estudios sobre electrodos monocristalinos, siendo estos últimos la clave para dilucidar la influencia que la estructura superficial del electrodo tiene sobre la cinética y los mecanismos de reacciones de transferencia de carga de interés práctico, como el desprendimiento de hidrógeno y la reducción de oxígeno. Las ventajas asociadas a la omisión de la vaina de material aislante posibilitan, a su vez, que el uso del DMR pueda extenderse a otros tipos de sistemas en los cuales el uso de electrodos rotantes convencionales presenta dificultades.

El ensayo argentino en la década de 1950: memoria y olvido de la variabilidad de un género en el espacio cultural argentino

La importancia del período señalado para la definición del género y para estudiar hitos decisivos de su puesta en práctica, radicaría en que se trata de una época de fluctuaciones entre formas de pensamiento aún no cristalizadas. Las oscilaciones entre los ensayos filosóficos, literarios y políticos, así como las relaciones de antinomia o de cercanía con las prácticas universitarias de esos mismos subgéneros, son constantes en ese momento y en los grupos significativos de autores a estudiar, aun en la obra de un mismo autor. De allí la riqueza histórico cultural de ese tiempo que luego, hacia el final de la década, se borraría por una absorción del pensamiento ensayístico dentro de marcos institucionales más rígidos y por una politización más evidente. El corpus a investigar estará definido de antemano por ciertos núcleos, focos de discusión o márgenes de recepción. Así, revisaríamos la producción ensayística de tres grupos de autores, sin prejuicio de ramificar luego sus diferencias específicas o agregar nuevas posibilidades de agrupamiento de conjunto. Dichos grupos se concentrarían: primero, en torno a la revista Sur (en autores como Martínez Estrada, Murena, Mallea, Rest, entre otros), cuya repercusión no puede descuidarse ya que promovería una ensayística polimorfa y extra-académica; luego, en torno a la revista Contorno (por ejemplo, Masotta, Jitrik, Viñas, etc.), que fundaría una forma de ensayo vinculada a los estudios universitarios y fuertemente politizada; y por último, algunos grupos de intelectuales o autores aislados de Córdoba (verbi gratia, Terzaga, Larrauiri, Revol, Fantini, Caracciolo), quienes mostrarían ejemplarmente el problema de los márgenes en la difusión del pensamiento y sus posibilidades de originalidad o de arcaísmo que habrían producido efectos en verdad nuevos aunque secretos. Por tratarse de un estudio exploratorio, la presente investigación se ocupará de rastrear nociones operativas en la bibliografía (por otra parte escasa) teórica e histórica, así como las producciones ensayísticas del período que no estén exhaustivamente consignadas. Se buscarán en una primera etapa abordajes teóricos que permitan definir aproximadamente la forma ensayística, no tanto para someter a contrastación dichas teorías sino más bien a fin de poder destacar y analizar las cualidades difernciales de os autores a estudiar. En una segunda etapa, procederemos a analizar y sistematizar los materiales que constituirán nuestro corpus, aunque éste se definirá más restrictivamente de acuerdo con los progresivos avances tanto de la exploración de los materiales como del análisis conceptual de éstos. Los pasos de la investigación serán: a) localización, análisis y confrontación de los problemas teóricos inherentes al ensayo e intentos de definición del género; b) rastreo, lectura y delimitación del ensayo relevado en el proyecto editor de Sur durante la década; c) análisis de las redes discursivas y de los saberes traducidos que darán lugar a la aparición del grupo de Contorno y a la reelaboración de dichos saberes; d) relevamiento y análisis de los ensayos producidos en Córdoba, como caso ejemplar de una práctica al margen de los núcleos de edición y difusión del saber, y estudio de sus relaciones con la cultura central.

Fenomenología de la Corporeidad: Análisis de la corporeidad a partir de la problematización del cuerpo y lo corpóreo

La investigación realizada constituye un intento de reflexión acerca del problema de la corporeidad en el marco teórico y conceptual heredado por la filosofía de la subjetividad que se origina en la modernidad y que conforma una clara influencia en las definiciones del sujeto en la contemporaneidad. La perspectiva de análisis escogida para evitar caer en cualquier forma de reducción del problema, ya sea materialista o espiritualista, es la fenomenología, en la particular versión del filósofo francés M. Merleau-Ponty. La fenomenología proporciona además una metodología de investigación descriptiva y pre-tética que permite abordar el problema de la corporeidad partiendo de las vivencias (Erlebnisse). Objetivo General: Destacar la importancia del problema de la corporeidad en el contexto de la filosofía contemporánea y desarrollar a partir del aporte de la fenomenología las herramientas teóricas para su análisis y discusión. Objetivos Particulares: 1) Circunscribir y definir el problema de la corporeidad dentro del contexto teórico proporcionado por el dualismo sustancialista. 2) Analizar y discutir algunas alternativas contemporáneas de solución al problema del dualismo. 3) Explicitar y sistematizar los principales aportes del pensamiento de Merleau-Ponty al tema objeto de la investigación. 4) Analizar y discutir las conclusiones merleau-pontyanas. 5) Considerar y evaluar críticamente el intento merleau-pontyano de superación del dualismo por medio de las nociones de "cuerpo fenomenal" y "carne". 6) Esbozar una fenomenología de la corporeidad que parta de las vivencias y se constituya en una reflexión crítica acerca de la importancia del cuerpo en la definición de la subjetividad.

Demografía genética y estructura poblacional en semiaislados humanos del valle de Traslasierra: Análisis de la población del Departamento Minas (Provincia de Córdoba)

El análisis de las poblaciones humanas desde el punto de vista antropológico-evolutivo persigue como finalidad última el establecimiento de un diagnóstico sobre el estado de equilibrio/desequilibrio genético de la población estudiada, y sobre los factores -tanto biológicos cuanto culturales- que al momento presente constituyen los principales condicionantes de la situación encontrada. Establecer tal diagnóstico implica llegar a: 1) una estimación fiable de la variabilidad genética del grupo, y 2) una medición de la influencia de los procesos evolutivos (mutación, selección, migración y deriva génica) sobre tal variabilidad. Sabido es que un empobrecimiento genético puede ser causado por diferentes procesos que disminuyesen el tamaño de los grupos, cruzamientos de tipo endógamo y elevada consanguinidad, falta de nuevos genes llegados por inmigración, o a causa de la actuación conjunta de dichos factores, con diferente intensidad según el momento histórico y el lugar geográfico considerado. El requisito previo imprescindible para que pueda llevarse a cabo el enfoque planteado es el conocimiento exhaustivo de la estructura de la población, que indefectiblemente debe realizarse desde una doble perspectiva: 1) el análisis de los procesos demográficos determinantes de la misma, con sus concomitantes condicionantes socio-culturales, y 2) las posibles consecuencias a nivel biológico que éstos traen aparejadas, y que se constituyen en factores conductores de la posterior evolución poblacional. El presente plan de investigación forma parte de un proyecto más amplio que ha tomado como zona de estudio el área del valle de Traslasierra. El mismo se lleva a cabo desde hace cinco años en la Cátedra de Antropología de la Facultad de Ciencias Naturales de la Universidad Nacional de Córdoba, contando con el apoyo financiero del CONICET y de la SECYT Córdoba.

Análisis del comportamiento migratorio de autoantígenos

Durante el envejecimiento se producen profundos y complejos cambios en el sistema inmune que se traducen en una mayor susceptibilidad a sufrir enfermedades infecciosas, enfermedades degenerativas y cáncer. Los estudios realizados durante el envejecimiento plantean el desafío de encontrar los cambios que afectan al sistema inmune permitiendo modular su comportamiento durante este período de la vida y a la vez avanzar en los conocimientos básicos del funcionalismo del mismo. En estudios realizados en nuestro laboratorio observamos que la inducción de una enfermedad autoinmune como es la Prostatitis Autoinmune Experimental en animales envejecidos producía una mayor respuesta inmune celular y una menor respuesta humoral. Con el objetivo de analizar si en la inducción de una menor respuesta inmune humoral tenían importancia las células involucradas en el transporte del antígeno desde la periferia hacia el ganglio linfático, en donde se desencadena la respuesta humoral, estudiamos cuantitativamente y cualitativamente el fenotipo de células accesorias involucradas en el transporte del autoantígeno. Para ello los animales autoinmunes fueron injyectados con el autoantígeno marcado con isotiocianato de fluoresceína en la planta de la pata derecha y a distintos tiempos se obtuvieron los órganos linfáticos que se analizaron por medio de microscopía de fluorescencia y por citometría de flujo. Además analizamos en animales jóvenes y envejecidos el efecto que la inmunización con distintos adyuvantes producía en las poblaciones celulares de los órganos linfáticos y el tipo de células involucradas en el transporte del antígeno desde la periferia hacia los órganos linfáticos. Además estudiamos particularmente el rol que ejercen los neutrófilos como células involucradas en el transporte de antígenos, especialmente en animales inmunizados con adyuvante de Freund's Completo lo que nos permitió establecer un nexo en la función de los mismos como células involucradas no sólo en la respuesta inmune innata sino también en el desarrollo de la respuesta inmune adaptativa.

Identificación de genotipos de aislamientos de Trypanosoma cruzi mediante análisis de ADN

El estudio mediante zimogramas electroforéticos de extractos de Trypanozoma cruzi /i> aislados de humanos, animales domésticos y selváticos y de vectores procedentes de toda el área endémica de Argentina, permitió reconocer la existencia de 12 zimodemos (z) o "cepas isoenzimáticas". De los zimodemos aislados de hospederos humanos, sólo dos Z1 y Z12 se encuentran con gran frecuencia y tienen amplia distribución geográfica. Se ha observado una correlación significativa entre el zimodemo del parásito infectante y el cuadro clínico. El compromiso cardíaco es significativamente mayor en pacientes con Z12 que en aquellos con Z1. Por esta razón, la tipificación de la cepa infectante puede ser útil con fines pronósticos. Sin embargo, la metodología utilizada para la determinación del zimodemo es muy laboriosa e insume mucho tiempo, lo que reduce las posibilidades de aplicación clínica. Dada la similitud del agrupamiento obtenido por el análisis de los zimodemos y del ADNk, los problemas de la caracterización isoenzimática de aislamientos pueden ser evitados mediante estudio del ADN del parásito. (...) Objetivo general Identificación de zimodemos de Trypanosoma cruzi mediante análisis de ADN. Objetivos específicos a) Aislamientos de T. cruzi de pacientes chagásicos crónicos con diferentes cuadros clínicos serán caracterizados utilizando isoenzimas como marcadores genéticos. b) Se establecerá la relación entre la sintomatología observada en cada caso y el zimodemo al cual pertenecen los parásitos aislados. c) A partir del ADN aislado se procederá a: 1. Amplificación de segmentos de ADN al azar dando lugar a fragmentos de ADN que permitan identificar los diferentes zimodemos. 2. Hibridización con sondas de ADN, lo que permitiría identificar el zimodemo al que pertenecen los parásitos de dicho aislamiento. 3. Amplificar, mediante PCR, la región HVRm de T. cruzi directamente en muestras biológicas y proceder a su tipificación con sondas específicas.

Desarrollos estadísticos para el procesamiento de información genómica masiva en agro-biotecnología. Statistical developments for processing massive genomic information in agro-biotechnology.

Nuevas biotecnologías, como los marcadores de la molécula de ADN, permiten caracterizar el genoma vegetal. El uso de la información genómica producida para cientos o miles de posiciones cromosómicas permite identificar genotipos superiores en menos tiempo que el requerido por la selección fenotípica tradicional. La mayoría de los caracteres de las especies vegetales cultivadas de importancia agronómica y económica, son controlados por poli-genes causantes de un fenotipo con variación continua, altamente afectados por el ambiente. Su herencia es compleja ya que resulta de la interacción entre genes, del mismo o distinto cromosoma, y de la interacción del genotipo con el ambiente, dificultando la selección. Estas biotecnologías producen bases de datos con gran cantidad de información y estructuras complejas de correlación que requieren de métodos y modelos biométricos específicos para su procesamiento. Los modelos estadísticos focalizados en explicar el fenotipo a partir de información genómica masiva requieren la estimación de un gran número de parámetros. No existen métodos, dentro de la estadística paramétrica capaces de abordar este problema eficientemente. Además los modelos deben contemplar no-aditividades (interacciones) entre efectos génicos y de éstos con el ambiente que son también dificiles de manejar desde la concepción paramétrica. Se hipotetiza que el análisis de la asociación entre caracteres fenotípicos y genotipos moleculares, caracterizados por abundante información genómica, podría realizarse eficientemente en el contexto de los modelos mixtos semiparamétricos y/o de métodos no-paramétricos basados en técnicas de aprendizaje automático. El objetivo de este proyecto es desarrollar nuevos métodos para análisis de datos que permitan el uso eficiente de información genómica masiva en evaluaciones genéticas de interés agro-biotecnológico. Los objetivos específicos incluyen la comparación, respecto a propiedades estadísticas y computacionales, de estrategias analíticas paramétricas con estrategias semiparamétricas y no-paramétricas. Se trabajará con aproximaciones por regresión del análisis de loci de caracteres cuantitativos bajo distintas estrategias y escenarios (reales y simulados) con distinto volúmenes de datos de marcadores moleculares. En el área paramétrica se pondrá especial énfasis en modelos mixtos, mientras que en el área no paramétrica se evaluarán algoritmos de redes neuronales, máquinas de soporte vectorial, filtros multivariados, suavizados del tipo LOESS y métodos basados en núcleos de reciente aparición. La propuesta semiparamétrica se basará en una estrategia de análisis en dos etapas orientadas a: 1) reducir la dimensionalidad de los datos genómicos y 2) modelar el fenotipo introduciendo sólo las señales moleculares más significativas. Con este trabajo se espera poner a disposición de investigadores de nuestro medio, nuevas herramientas y procedimientos de análisis que permitan maximizar la eficiencia en el uso de los recursos asignados a la masiva captura de datos genómicos y su aplicación en desarrollos agro-biotecnológicos.

Métodos para el análisis de programas probabilistas y no-deterministas utilizando probadores de teoremas. Methods for the analysis of probabilistic and nondeterministic programs using theorem provers.

La verificación y el análisis de programas con características probabilistas es una tarea necesaria del quehacer científico y tecnológico actual. El éxito y su posterior masificación de las implementaciones de protocolos de comunicación a nivel hardware y soluciones probabilistas a problemas distribuidos hacen más que interesante el uso de agentes estocásticos como elementos de programación. En muchos de estos casos el uso de agentes aleatorios produce soluciones mejores y más eficientes; en otros proveen soluciones donde es imposible encontrarlas por métodos tradicionales. Estos algoritmos se encuentran generalmente embebidos en múltiples mecanismos de hardware, por lo que un error en los mismos puede llegar a producir una multiplicación no deseada de sus efectos nocivos.Actualmente el mayor esfuerzo en el análisis de programas probabilísticos se lleva a cabo en el estudio y desarrollo de herramientas denominadas chequeadores de modelos probabilísticos. Las mismas, dado un modelo finito del sistema estocástico, obtienen de forma automática varias medidas de performance del mismo. Aunque esto puede ser bastante útil a la hora de verificar programas, para sistemas de uso general se hace necesario poder chequear especificaciones más completas que hacen a la corrección del algoritmo. Incluso sería interesante poder obtener automáticamente las propiedades del sistema, en forma de invariantes y contraejemplos.En este proyecto se pretende abordar el problema de análisis estático de programas probabilísticos mediante el uso de herramientas deductivas como probadores de teoremas y SMT solvers. Las mismas han mostrado su madurez y eficacia en atacar problemas de la programación tradicional. Con el fin de no perder automaticidad en los métodos, trabajaremos dentro del marco de "Interpretación Abstracta" el cual nos brinda un delineamiento para nuestro desarrollo teórico. Al mismo tiempo pondremos en práctica estos fundamentos mediante implementaciones concretas que utilicen aquellas herramientas.

Procesos de cambio en la cultura jurídica: análisis desde la experiencia del juicio por jurados. Processes of change in the Legal Culture: Analysis from the Experience of Jury Trials.

El presente proyecto de investigación se orienta a analizar la institución del juicio por jurados, considerada como un punto estratégico para la observación de los procesos de cambio que recorren la cultura jurídica en Argentina. Frente a las múltiples transformaciones y a los intensos procesos de reestructuración de las relaciones sociales observados en el contexto latinoamericano y especialmente en Argentina, la necesidad de reconstruir la legitimidad de los jueces ante la opinión pública se ha vuelto impostergable, y el recurso a la participación popular en el campo judicial aparece como un instrumento útil para ello. Analizar la efectividad de esta estrategia para la legitimación del poder judicial es uno de los objetivos del presente proyecto de investigación. Abordar dicho objetivo implica, indagar en la relación entre la administración de justicia y diferentes actores sociales, especialmente los miembros de la profesión jurídica y la opinión pública.Se explora igualmente la contradicción entre el hecho de que esta institución, nacida para atenuar la dureza de los castigos, se ha implementado recientemente en la provincia de Córdoba en la situación inversa. El modo en que la tensión entre el espíritu garantista de los jueces y la demanda de castigos de los ciudadanos comunes se manejará en la práctica de los juicios por jurado, y su incidencia en el éxito de las estrategias legitimadoras del poder judicial, aparece como una cuestión relevante para el análisis que se propone. Con la utilización de diferentes fuentes de información cuantitativas y cualitativas, se espera que el análisis de la implementación del juicio penal con jurados populares en la provincia de Córdoba propuesto en el presente proyecto, contribuya a documentar los niveles de articulación entre la cultura jurídica interna y externa.

Estrategias estadístico-computacionales avanzadas para análisis de expresión de proteínas/genes en cáncer. Advanced statistical and computational strategies for protein/gene expression analysis in cancer.

El objetivo de este proyecto, enmarcado en el área de metodología de análisis en bioingeniería-biotecnología aplicadas al estudio del cancer, es el análisis y caracterización a través modelos estadísticos con efectos mixtos y técnicas de aprendizaje automático, de perfiles de expresión de proteínas y genes de las vías metabolicas asociadas a progresión tumoral. Dicho estudio se llevará a cabo mediante la utilización de tecnologías de alto rendimiento. Las mismas permiten evaluar miles de genes/proteínas en forma simultánea, generando así una gran cantidad de datos de expresión. Se hipotetiza que para un análisis e interpretación de la información subyacente, caracterizada por su abundancia y complejidad, podría realizarse mediante técnicas estadístico-computacionales eficientes en el contexto de modelos mixtos y técnias de aprendizaje automático. Para que el análisis sea efectivo es necesario contemplar los efectos ocasionados por los diferentes factores experimentales ajenos al fenómeno biológico bajo estudio. Estos efectos pueden enmascarar la información subycente y así perder informacion relavante en el contexto de progresión tumoral. La identificación de estos efectos permitirá obtener, eficientemente, los perfiles de expresión molecular que podrían permitir el desarrollo de métodos de diagnóstico basados en ellos. Con este trabajo se espera poner a disposición de investigadores de nuestro medio, herramientas y procedimientos de análisis que maximicen la eficiencia en el uso de los recursos asignados a la masiva captura de datos genómicos/proteómicos que permitan extraer información biológica relevante pertinente al análisis, clasificación o predicción de cáncer, el diseño de tratamientos y terapias específicos y el mejoramiento de los métodos de detección como así tambien aportar al entendimieto de la progresión tumoral mediante análisis computacional intensivo.