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.

Análisis crítico de la formación y capacitación del profesional de la seguridad en la Provincia de Córdoba en los últimos diez años. A critical analysis of the formation and training of the professional in the area of security in the province of Córdoba in the last 10 years.

El problema que abordaremos es la transformación y la toma de decisiones en los procesos de formación y capacitación de las instituciones de seguridad, específicamente, los motivos y fundamentos de los cambios en los planes de estudios, en relación a los contenidos curriculares de los institutos de formación de los profesionales en seguridad. Esto sobre la hipótesis de que las organizaciones educativas policiales y penitenciarias han llevado a cabo transformaciones en su organización y gestión curricular para adecuarse a las nuevas demandas sociales y políticas. El objetivo del presente proyecto es analizar críticamente los contenidos curriculares de los institutos de formación y capacitación de la Policía y Servicio Penitenciario de la Provincia de Córdoba. Abordaremos el análisis de los planes de dichas instituciones en los últimos 10 años, sus modificaciones y criterios utilizados para responder a los nuevos escenarios sociales. Se hará una exploración de la información y la documentación existente en los ámbitos oficiales. Asimismo, la investigación contará con la realización de entrevistas y encuestas a directivos, docentes, alumnos y demás actores claves, con la finalidad de recabar la opinión de los mismos respecto de las transformaciones en la educación policial y penitenciaria. A partir del proyecto de investigación se pretende construir conocimiento acerca de las políticas educativas en el área de seguridad especialmente sobre la formación y capacitación de recursos profesionales específicos, dentro del ámbito local. De tal modo, se pretende aportar elementos teóricos de análisis al modo en que se han instituido la oferta educativa y las transformaciones en los planes de estudios en las instituciones de formación profesional de la seguridad y cómo éstos han sido implementados a la luz de los nuevos escenarios políticos y sociales. Esto nos permitirá aportar al incipiente campo de los estudios sobre la seguridad, específicamente sobre la formación de los profesionales en seguridad, poniendo a diposición de los responsables gubernamentales e institucionales un estudio que explora y sistematiza las transformaciones y fundamentos de la politica de educación en el campo de la seguridad provincial. Este desarrollo investigativo nos permitirá inagurar la actividad de producción de conocimiento dentro del ámbito académico de la Licenciatura en Seguridad de la Universidad Nacional de Villa María a través del presente proyecto que describirá el proceso de formación y capacitación policial y penitenciaria y los cambios que con el transcurso del tiempo se han verificado.

Análisis comparativo entre actividades de aprendizaje diseñadas con Estudio de Casos y Aprendizaje Basado en Problemas, y actividades de tipo tradicional, como dispositivos didácticos en Educación a Distancia. Comparative analysis of learning activities designed with Problem Based Learning and Case Study approaches, and activities designed with traditional methods, in Distance Education.

Identificación y caracterización del problema: El problema que guía este proyecto, pretende dar respuesta a interrogantes tales como: ¿De qué modo el tipo de actividades que se diseñan, se constituyen en dispositivos posibilitadores de la comprensión de los temas propios de cada asignatura, por parte de los alumnos? A partir de esta pregunta, surge la siguiente: Al momento de resolver las actividades, ¿qué estrategias cognitivas ponen en juego los estudiantes? y ¿cuáles de ellas favorecen procesos de construcción del conocimiento? Hipótesis: - Las asignaturas cuyas actividades están elaboradas bajo la metodología de Aprendizaje Basado en Problemas y Estudio de Casos, propician aprendizajes significativos por parte de los estudiantes. - Las actividades elaboradas bajo la metodología del Aprendizaje Basado en Problemas y el Estudio de Casos requieren de procesos cognitivos más complejos que los que se implementan en las de tipo tradicional. Objetivo: - Identificar el impacto que tienen las actividades de aprendizaje de tipo tradicional y las elaboradas bajo la metodología de Aprendizaje Basado en Problemas y Estudio de Casos, en el aprendizaje de los alumnos. Materiales y Métodos: a) Análisis de las actividades de aprendizaje del primero y segundo año de la carrera de Abogacía, bajo lamodalidad a Distancia. b) Entrevistas tanto a docentes contenidistas como así también a los tutores. c) Encuestas y entrevistas a los alumnos. Resultados esperados: Se pretende confirmar que las actividades de aprendizaje, diseñadas bajo la metodología del Aprendizaje Basado en Problemas y el Estudio de Casos, promueven aprendizajes significativos en los alumnos. Importancia del proyecto y pertinencia: La relevancia del presente proyecto se podría identificar a través de dos grandes variables vinculadas entre sí: la relacionada con el dispositivo didáctico (estrategias implementadas por los alumnos) y la referida a lo institucional (carácter innovador de la propuesta de enseñanza y posibilidad de extenderla a otras cátedras). El presente proyecto pretende implementar mejoras en el diseño de las actividades de aprendizaje, a fin de promover en los alumnos la generación de ideas y soluciones responsables y el desarrollo de su capacidad analítica y reflexiva.

Aprendizaje durante la ontogenia temprana: Estudio de la participación del sistema opioide en la modulación de aprendizajes mediados por el etanol. LEARNING AND EARLY ONTOGENY: ANALYSIS OF THE INVOLVEMENT OF OPIOID SYSTEM IN FETAL AND INFANTILE ETHANOL-MEDIATED EXPERIENCIES.

Este plan de trabajos es continuidad de una línea de investigación centrada en evaluar los mecanismos responsables de la adquisición, expresión y persistencia de experiencias con el etanol. A partir de ello, indagar acerca de los efectos de esta experiencia sobre comportamientos de búsqueda y autoadministración de etanol en neonatos e infantes de rata. Se pretende analizar la participación del sistema opiáceo en los mecanismos implicados en una memoria fetal y/o infantil, generada como consecuencia de la exposición etílica. En una primera etapa, nos proponemos establecer de qué manera experiencias prenatales con la droga modulan el patrón de auto-administración de alcohol y otros reforzadores, como sacarosa. En este primer bloque de experimentos realizaremos manipulaciones fetales para determinar con mayor grado de especificidad la posible acción del sistema opiáceo en los mecanismos de adquisición de una memoria etílica prenatal. Se realizarán administraciones de etanol y el antagonista opiáceo, directamente a nivel fetal, y se evaluará esta experiencia en un paradigma de condicionamiento neonatal positivo, mediado por la droga. De acuerdo a la evidencia previa, esperamos que la exposición prenatal con la droga facilite la expresión de conductas de consumo y búsqueda del etanol o hacia las claves que señalizan al psicotrópico, tanto durante la infancia como en el neonato. A su vez, cuando la droga es presentada bajo los efectos de un antagonista opiáceo esperamos que estas conductas muestren un perfil similar a las desplegadas por sujetos controles. El segundo bloque de experimentos ha sido ideado con el objeto de indagar acerca de la posible participación del sistema opiáceo en la modulación de los aspectos reforzantes de la droga, a través de un esquema de auto-administración etílica infantil. Se utilizará un paradigma de condicionamiento instrumental adaptado para ratas infantes que consta de dos instancias, una de adquisición de la conducta instrumental (DPs 14-17) en la cual los animales reciben un pulso de refuerzo, como consecuencia de la ejecución de la conducta operante. En una segunda fase se analiza el patrón de búsqueda del reforzador ya que se registra la respuesta instrumental, sin que ocurra el refuerzo por la misma. Para analizar la participación del sistema opiáceo, durante la fase de adquisición de la conducta operante (DPs 16 y 17) los animales serán re-expuestos a mínimas cantidades del reforzador, bajo los efectos de un antagonista opiáceo, momentos previos al ensayo instrumental correspondiente para cada uno de estos días (Exp. 3). Esperamos que el bloqueo del sistema opiáceo, durante esta re-exposición al etanol, sea suficiente para disminuir el patrón de respuesta instrumental hacia el refuerzo etílico. Un último experimento incorporará un tercer evento de re-exposición al etanol -bajo los efectos del antagonista- previo al ensayo de extinción de la conducta instrumental (DP 18). Este nuevo evento tiene por objeto analizar la participación de este sistema neurobiológico en los mecanismos de búsqueda de etanol. Si el sistema opiáceo participa en la modulación de patrones tanto de búsqueda como consumatorios del reforzamiento por etanol, se espera que la re-exposición a la droga bajo los efectos del antagonista, inhiba estas respuestas tanto durante la sesión de adquisición, como de extinción de la conducta operante. Este proyecto intenta profundizar en el conocimiento de los mecanismos que regulan reconocimiento, aceptación, búsqueda y consumo de etanol, como consecuencia de experiencias tempranas con la droga. A su vez, es importante identificar y estudiar los sistemas neurobiológicos involucrados en estos mecanismos. Es por ello que se intenta determinar el rol que ejerce el sistema opiáceo en la adquisición de estas experiencias etílicas a nivel fetal e infantil, que se conoce promueven la búsqueda y el consumo de la droga. Our work is directed to analyze the involvement of the opioid system in the generation of pre- and early postnatal ethanol-related memories. As a first step, maternal manipulations with ethanol will be done. Infants will be evaluated in a paradigm of infantile self-administration of different reinforcers (ethanol, sucrose or water), employing a model of operant conditioning adapted to infant rats. A second experiment will be conducted in order to analyze if a central administration of ethanol, directly to the fetus, modifies subsequent patterns of neonatal conditioned responses to an artificial nipple, mediated by ethanol reinforcing effects. Fetal presentation of ethanol will be accompanied with the injection of an opioid antagonist in order to analyze the involvement of this system in acquisition processes of a fetal ethanol-mediated memory. A second set of studies will be conducted to analyze appetitive and consummatory behaviors in an infant model of ethanol self-administration. Involvement of opioid system in the acquisition or expression of this experience will be also inquired. Infant rats (PDs14-17) have to display a target behavior (nose-poke) to gain access to 5% sucrose or 3.75% ethanol. On PD18 an extinction session will be included. At PDs16-17, 6-hr before training, pups will be re-exposed to ethanol under opioid antagonism effects (naloxone). In a follow up experiment, a re-exposure trial will be included at PD18. Prior extinction, pups will receive naloxone and will be re-exposed to ethanol. We aim to observe if opioid system is modulating etha¬nol reinforcing effects, in terms of both appetitive and consummatory behaviors.

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.

Sujeto y Política. La constitución de las identidades desde una perspectiva postfundacionalista: hacia la construcción de un marco teórico-metodológico para el análisis histórico-político. Subject and politics. The constitution of political identities from a posfoundational perspective: towards a construction of a theorethico-methodolocal framework for histórico-political analysis.

El proyecto de investigación se dirige a sistematizar un abordaje postfundacionalista de las identidades políticas en vistas a la construcción de un marco teórico-metodológico para el análisis histórico-político. Se parte de la creciente relevancia en las ciencias sociales de la cuestión de la “identidad” para indagar la singularidad del marco teórico adoptado en su estudio. Así, el postfundacionalismo da cuenta de una teoría de las subjetividades políticas que parte de procesos de identificación que suponen una articulación singular entre relativa estructuralidad y agencia. El sujeto emerge en un contexto nunca plenamente suturado ni plenamente abierto, sino a través de un anudamiento de diversas dimensiones reales, simbólicas e imaginarias. Esta visión es altamente productiva para generar conclusiones relevantes en el campo de la ciencia política y del análisis histórico político comparado. This research project seeks to systematise from a postfundationalist view of political identities a theoretico-methodological framework for historico political analysis. The project starts from the increasing relevance of the quistion of 'identity' for contremporary social sciences. Poststructuralism provides an insight of processes of identification that supposes a singular articulation between relative structurality and agency. The subject emerges in a neither fully structured nor fully opened context but through a knotting process of different registers: real, symblic and imaginary. This vision, we believe, is highly productive to generate meaningful conclusions in the field of political science and comparative political analysis.