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.

"POLÍTICAS HABITACIONALES Y SEGREGACIÓN RESIDENCIAL SOCIOECONÓMICA EN LA CIUDAD DE CÓRDOBA”

El objetivo principal de esta investigación es analizar la segregación residencial socioeconómica (en adelante SRS) en la ciudad de Córdoba (Argentina) y sus vinculaciones con los programas habitacionales llevados a cabo por el Gobierno de la Provincia de Córdoba durante los últimos diez años. Para la realización de la investigación proponemos un abordaje cuantitativo de las tres dimensiones constitutivas de la SRS identificadas por Sabatini (2006), a saber: (1) el grado de concentración espacial de los grupos sociales; (2) la homogeneidad social que presentan las distintas áreas internas de la ciudad; y (3) el prestigio social de las distintas áreas o barrios de cada ciudad. Las dos primeras dimensiones son definidas como las dimensiones objetivas de la segregación. Mientras que la primera analiza los grupos sociales en términos de su localización espacial, la segunda los analiza en términos de su composición social. La última dimensión es de carácter subjetivo y se refiere: por un lado, a la percepción que las personas tienen del hecho de pertenecer a un grupo social que tiene una forma particular de ocupar el espacio urbano, y, por otro lado, a la identidad y prestigio asignados a algunos barrios o zonas completas de la ciudad. Para el análisis de las dimensiones objetivas de la SRS proponemos la realización de mapas temáticos de la ciudad y el cálculo de índices estadísticos, basados en: los Censos Nacionales de Población y Vivienda de 1991 y 2001 (Instituto Nacional de Estadísticas y Censos - INDEC), y el Censo Provincial 2008 (Dirección General de Estadísticas y Censos – Provincia de Córdoba). Para el análisis de la dimensión subjetiva proponemos la realización de encuestas tanto a los beneficiarios directos de los programas habitacionales ejecutados por el Gobierno de la Provincia de Córdoba como a los habitantes de la ciudad que no viven en viviendas sociales. A través de las primeras exploraremos cómo los habitantes de las viviendas sociales se perciben a sí mismos en relación al resto de la sociedad y a través de las segundas cómo el resto de los cordobeses perciben a los barrios de viviendas sociales y a sus residentes. La conjunción de fuentes primarias y secundarias de información nos permitirá alcanzar una visión más integral y más completa de la SRS en la ciudad de Córdoba, ya que no sólo podremos describir y cuantificar dicho fenómeno, sino también explorar las diferentes percepciones de los habitantes de la ciudad en torno al mismo.

Aplicación de Técnicas innovadoras en la preparación de piezas óseas. Capacitación, Transferencia y Utilización en Museos de Ciencias Naturales.

Las piezas esqueléticas constituyen un producto original y despierta muchísimo interés como material científico ,didáctico o de exhibición, la idea de producirlas surge de un Taller de Biología Aplicada que se dicta desde hace trece años en la FCEFy N de la UNC. A partir de allí, la propuesta realizada en diferentes Congresos de Educación y Científicos dio lugar a una importante demanda de todos los niveles de educación para la producción de este material mediante cursos de capacitación. Algunos de ellos se realizaron en Córdoba para el nivel secundario y terciario y otros en Universidades del país, todos con excelentes resultados Posteriormente el subsidio otorgado por la Agencia para el desarrollo Económico de la Provincia de Córdoba (ADEC), permitió la adquisición del equipamiento necesario y se llevó a cabo el desarrollo de una propuesta para la aplicación de técnicas innnovadoras. Otro hito importante para la demanda del producto ofrecido lo constituyó la participación en la Feria de Ciencias Arte y Tecnología "Cuatrociencia" en la UNC, esta muestra científica,educativa,didáctica e interactiva dio lugar a que una gran cantidad de docentes y directivos se acercaran para informarse acerca de la manera de recrear la muestra en sus Escuelas. Desde la UNC y con el programa “Vamos a armar esqueletos para el Museo de tu escuela,” hoy vigente, se continuará con la preperación de esqueletos a través de la capacitación de alumnos de escuelas secundarias. En relación a los alumnos del IPEM Nº 103 Esteban Echeverría ( Ciencias Naturales) de la ciudad de Córdoba, el objetivo se orienta al adiestramiento para trabajar con las piezas esqueléticas de diferentes vertebrados encontrados muertos en la naturaleza. El producto de la capacitación se utilizará para distintos fines,1) podrá exhibirse como piezas de museo completas y articuladas, 2) las piezas desarticuladas como material didáctico fácil y accesible y 3) otro tipo de material óseo, se destinará para un juego lúdico e interactivo como rompecabezas y juegos de encastre, los alumnos podrán jugar y aprender no sólo la morfología sino también las adaptaciones de los animales al ambiente donde viven, esta actividad puede ser usada como un producto repicable a toda la comunidad educativa. Para que este material no quede desperdigado se lo incluirá en una colección biológica y se dará los primeros pasos en la la construcción del Museo escolar. Para tal fin se trabajará con conceptos básicos de Museología y Museografía, a los fines de aprender la manera de conservar y ubicar las piezas de manera armoniosa. De este modo, el Museo será un espacio agradable para estudiar, reflexionar, imaginar y también aprender jugando. En relación a la segunda propuesta, desde hace mucho tiempo, Profesores de Anatomía de la Facultad de Ciencias Médicas solicitan este curso, ya que los estudiantes universitarios también necesitan utilizar las piezas esqueléticas como material didáctico, en este caso serían esqueletos de mamíferos que le permitirán estudiar la morfología de los mismos y luego transferir el conocimiento a la Anatomía Humana. Esto pone a prueba la adaptación y flexibilidad de la técnica y la aplicación en todos los niveles educativos. También cabe destacar que en la tarea de preparar piezas esqueléticas no hay muchos profesionales formados (exceptuando aquellos que trabajan de los grandes Museos de Ciencias Naturales) y que no obstante aplican otras metodologías).