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.

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.

Procesos adaptativos y dimensiones del comportamiento biosocial en cazadores recolectores del SW de la provincia de La Pampa.

Resumen del proyecto: Este resumen se incluirá en la base de datos de la Biblioteca Digital del Ministerio, por lo que se debe elaborar el mismo sobre la base de la siguiente estructura y completar todos los campos que se indican a continuación: identificación y caracterización del problema objeto del estudio, hipótesis, planteo de objetivos, materiales y métodos a utilizar, resultados esperados, importancia del proyecto (extensión del campo 4000 caracteres). Proyecto diseñado para aportar al conocimiento de los procesos adaptativos y la dinámica biosocial de las sociedades del pasado prehistórico argentino. Propone analizar y evaluar el potencial documental de los restos bioarqueológicos con fehaciente asociación contextual para posibilitar la realización de inferencias sobre procesos biosociales de naturaleza adaptativa o no adaptativa. Está centrado en el análisis osteológico y biocultural de materiales esqueletales (aproximadamente cien individuos) correspondientes a poblaciones aborígenes prehistóricas del actual territorio de la provincia de La Pampa (Médano Petroquímica, Departamento Puelén). Entre otros muchos aspectos, la importancia de estos materiales reside en que son asignables a sociedades con economía cazadora-recolectora y cuya cronología corresponde al Holoceno tardío final (Entierros datados en 393 ± 41 cal AP AMS.), una época particularmente interesante por la dinámica sucesión de eventos socioculturales y poblacionales que la caracterizan. La evidencia recuperada da cuenta de prácticas funerarias complejas que consisten en la realización de enterratorios colectivos, indirectos, secundarios, y presencia de eventos de violencia y/o tensión social. Los métodos y técnicas consisten en la descripción e identificación basados en observación y registro de marcadores esqueléticos conforme a prácticas estándares de nuestro laboratorio: Planillas de observación y registro durante excavaciones de la Archaeological Summer Field School (ASFS) de la Universidad de Chicago y planillas de los “Standards” de Buikstra y Ubelaker, modificadas y adaptadas por nuestro grupo de trabajo, entre otros). Los datos obtenidos serán empleados para graficación (estadística descriptiva) y también se realizará sobre ellos análisis multivariados y estadística no paramétrica (etapa inferencial). Se tendrán en cuenta aspectos descriptivos y analíticos vinculados con el reconocimiento de la edad y el sexo, hábitos dietarios (marcadores morfológicos y químicos de hueso y dientes), economía de subsistencia, patrones de diferenciación social, exploración de eventuales relaciones de parentesco, roles vinculados con el sexo, el uso del cuerpo, dieta, salud y enfermedad, en relación con la economía de subsistencia, etc. (Buikstra y Beck 2006, Larsen, 1997, White y Folkens 2000). Dado la naturaleza y complejidad de los hallazgos, caracterizados por la conformación de entierros colectivos secundarios e indirectos, un capítulo de interés lo constituye el análisis de las dimensiones sociales del comportamiento mortuorio y la discusión de los indicadores de violencia y/o tensión social asociados a los hallazgos (O´Shea 1984, Rakita et al. 2005, entre otros). Dado el hecho de que se cuenta con la disponibilidad de materiales adecuados para este tipo de estudios, la información relevante y los datos a analizar serán obtenidos mediante la aplicación de métodos y técnicas bioarqueológicas específicas antes mencionados, con la finalidad de observar y discutir tendencias y proponer modelos de interpretación sujetos a ulterior validación, particularmente toda vez que se cuente con una mayor representación numérica y casuística tanto a nivel de individuos como de sitios bioarqueológicos excavados. El proyecto se enmarca en la firma de un Convenio Específico de Trabajo entre la UNRC y el Gobierno de La Pampa. Palabras clave: Ingrese hasta 5 palabras clave, distintas de las utilizadas en el título del proyecto y que describan la naturaleza del objeto de estudio. bioarqueología economía cazadora-recolectora adaptación biosocial comportamiento mortuorio Violencia y tensión social. Abstract: Resumen del proyecto en inglés (extensión del campo 2000 caracteres). This project has been designed to improve the knoledge on adaptive processes and biosocial dynamics among aborigine past societies in Argentina. This research is focused on the analysis and evaluation of documentary potential of bioarchaeological skeletal remains with reliable contextual associations. It is specifically centered in the osteological as well as cultural analysis of more than one hundred skeletons from native prehistoric populations from a prehistoric collective burial site in La Pampa province. (Médano Petroquímica, Departamento Puelén). Among other aspects, the importance of the materials to be analyzed lies in the fact that they correspond to a subsistence economy based on hunting and gathering, and have been chronologically assigned to Late Holocene times (burials dated 393 ± 41 cal AP AMS), a period denoting particular interest due to the dynamic succession of sociocultural events that characterized it. Evidence so far recovered accounts for complex funerary practices consisting of indirect, secondary collective burials, as well as the presence of events of violence and/o social tension. Methods and techniques consist in the description and identification based on the observation, and recording of skeletal markers, according to laboratory as well as field work standards: The University of Chicago Archaeological Summer Field School (ASFS) forms, and the “Standards” forms from Buikstra y Ubelaker (1994), modified and adapted by our research team, among others. Data obtained shall be used for graphic (descriptive statistics) as well as multivariate analyses and non parametric statistics (inferential stage). Descriptive as well as analytical aspects such as those related to age and sex determination, feeding habits (morphological as well as chemical markers of bones and teeth), subsistence economy, patterns of social differentiation, kinship patterns, sex-linked roles, body use, diet, health and disease, all of them in close relationship with the hunter-gatherer subsistence economy (Buikstra y Beck 2006, Larsen, 1997, White y Folkens 2000). Given the nature and complexity of the burial disposals, characterized by complex collective burials, a core chapter of our interest is that of social dimensions of mortuary behavior as well as the discussion and interpretation of markers of violence and/or social tension. Given the amount of evidence gathered so far, relevant information as well as data to be analyzed will be obtained by specific bioarchaeological methods and techniques, trying to observe and discuss possible trends as well as to formulate interpretive models to be verified or rejected with the arrival of new, reliable data both at individual level as well as at the archaeological sites to be excavated. This project has been particularly considered in a bilateral agreement between UNRC and the Government of La Pampa Province.