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.

Democracia Deliberativa en Córdoba: análisis de los alcances y limitaciones de algunas experiencias participativas, contribuciones para su factibilidad. Deliberative Democracy in Córdoba: scope and limitations of participatory experiences.

En el debate académico y social los críticos de la democracia deliberativa coinciden en sostener la imposibilidad de realización de este ideal, fundamentando dicha afirmación en hechos sociales relevantes como el pluralismo, la desigualdad, la complejidad, poderosas instituciones y una esfera pública polarizada en extremo. En atención a las mencionadas críticas algunos autores han destacado que la viabilidad de una forma deliberativa de democracia depende de la creación de condiciones sociales y arreglos institucionales que propicien el uso público de la razón. La deliberación es pública en la medida en que estos arreglos permitan el diálogo abierto entre ciudadanos capaces de formular juicios informados y razonados en torno a las formas de resolver situaciones problemáticas. La factibilidad y eficacia de la deliberación pública reside, a su vez, en la posibilidad de sostener no sólo un diálogo abierto y continuo entre ciudadanos, sino también de éstos con las instituciones políticas. En esta discusión se inserta el presente proyecto con el fin de estudiar los problemas de justificación e institucionalización, como así también los obstáculos y constreñimientos empíricos con los que se enfrenta la democracia deliberativa. Para ello se toman diversas experiencias en la Provincia de Córdoba: El Acta de Compromiso Público de la Ciudad de Córdoba, Los Observatorios de Servicios Públicos de la Asociación Civil el Ágora, Concertación en Espacios Locales de la Asociación Civil el Ágora y las Juntas de Participación Vecinal de la Municipalidad de Córdoba. Todos estos procesos se caracterizan por constituir iniciativas que procuran la creación, fortalecimiento e institucionalización de espacios de participación ciudadana y de interacción dialógica de los ciudadanos entre sí y de éstos con el estado. Estos espacios son espacios situados y, en cuanto tales, implican contigencias devenidas de las particularidades territoriales, temáticas y de los diferentes horizontes temporales sobre los que se proponen actuar. El proyecto se propone analizar los alcances y dificultades (políticas, sociales, organizativas, informacionales) que se presentan en estas experiencias deliberativas, atendiendo tanto a los requisitos de factibilidad de las propias experiencias como a la necesidad de fortalecer los planteamientos teóricos de la teoría de la deliberación pública a partir de la consideración de los problemas empíricos con los que la misma se enfrenta. Se prevé el desarrollo e implementación de indicadores de seguimiento y monitoreo de las experiencias que den cuenta de las dimensiones y presupuestos de la democracia deliberativa, la construcción de modelos procedimentales y tecnologías comunicativas que contribuyan a la factibilidad de los presupuestos comunicativos y la contribuición al desarrollo de proposiciones teóricas vinculadas con la preocupación académica referida a los procesos deliberativos y participativos en las sociedades contemporáneas.

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.