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.

Ciclos económicos en economías abiertas y menos desarrolladas: el papel de los "shocks" en los términos de intercambio.The business cycle in open and less developed economies: the rol of terms-of-trade shocks.

Nuestra preocupación reside en estudiar empíricamente el mecanismo de transmisión internacional de ciclos económicos a economías pequeñas y menos desarrolladas (LDC), evaluando el impacto de los shocks en los términos de intercambio en países dónde existen imperfecciones en el mercado crediticio que imponen severas restricciones en el financiamiento de la inversión doméstica y al crecimiento económico. Primero, analizamos si la cuenta corriente responde de manera asimétrica a movimientos de largo plazo en los términos de intercambio. La hipótesis es que “en los buenos tiempos” cuando se produce una mejora permanente en términos de intercambio (y con ello el nivel de ingreso) los individuos no elevan su consumo en un monto acorde con la mejora de su ingreso (permanente) sino que ahorran una fracción del aumento en su dotación para hacer frente a una reversión en la mejora en los términos de intercambios (aunque ésta sea transitoria) en el futuro. En consecuencia, la cuenta corriente (diferencia entre ingreso y absorción) responde de manera positiva a un shock permanente en los términos de intercambio, ya que el individuo ahorra de manera cautelosa –debido a que sabe que no le prestarán para suavizar consumo - aún suponiendo que en el futuro tendrá una reversión transitoria de su ingreso. Segundo, estudiamos la relación dinámica entre los términos de intercambio y la tasa de interés en la economía pequeña abierta y con imperfecciones en el mercado crediticio (información asimétrica). La hipótesis es que la economía doméstica tiene que soportar una prima de riesgo que eleva el costo de la inversión y retarda el crecimiento (Gertler y Rogoff; 1990). Esta prima de riesgo depende, además, en forma negativa del nivel del colateral que tenga la economía. El colateral es la dotación de recursos naturales, por ejemplo, que la economía posee a los fines garantizar el cumplimiento de las obligaciones contraídas (en el modelo presentado las actividades dónde se invierten son independientes del colateral). La hipótesis establecida indica que los cambios en los términos de intercambio generan un aumento del colateral de la economía y una reducción del riesgo país: aumentos en los términos de intercambio reducen la prima de riesgo de la economía que opera en mercados de capitales con asimetrías de información, y como consecuencia aumentarían los ingresos de capitales. De esta forma, se estaría encontrando una explicación a la denominada “Paradoja de Lucas”. Finalmente, el proyecto estudia la conexión entre dos variables “clave” en la economía de los países emergentes: la relación entre los términos de intercambio y el tipo de cambio real. Argumentamos que los efectos de las mejoras de los términos de intercambio sobre los flujos de capitales externos tienden a ser sobreestimadas si no se consideran los efectos “secundarios” de éstas sobre el tipo de cambio real de la economía pequeña menos desarrollada. En este proyecto se controlan estadísticamente esta relación. La estrategia empírica elegida resulta en aplicar a un panel (constituido por dieciocho países de Latinoamérica) el método generalizado de momentos (GMM) a dos modelos de regresión estadística a los fines de abordar de manera eficiente el problema de la endogeneidad de la variable dependiente que actúa como regresor rezagado. La estrategia de estimación elegida enfatiza el análisis de la relación dinámica de las variables económicas incluidas en el análisis. The paper analyzes the general problem related to the transmission of economic cycles to Small Open Economies. The analysis focuses on terms-of-trade shocks, which are considered one of the major sources of income volatility in developing economies. Specifically, we tackle the problem related to the impact of terms-of-trade shocks in Less Developed SOEs. ‘Less Developed SOEs’ are understood as those countries who have borrowing constraints. First, we put to a test the hypothesis of asymmetric response of current account to terms-of-trade shocks (the impact of the shock on current account differs depending whether it is positive or negative), which originates from considering binding restrictions in international capital markets (Agénor and Aizenman; 2004). Second, we investigate about the main determinants of External Capital Flows (ECF) directed to Developing Countries. We put to a test the Gertler and Rogoff (1990) hypothesis that a “risky rate” arises in that markets because the economy has not sufficient amount of wealth to “collateralize” the capital she needs to borrow to take advantage of the investment opportunities she has and additionally because the lender does not have the chance of observing what the borrowed does with the funds (that is information asymmetry arises because the lender can check the realized output of investment but he can not observe if he really invest in the project or secretly lend abroad). Finally, Following Prasad, E. S., Rajan and R. Subramanian, A (2007) we measure the relationship between external capital flows and domestic currency overvaluation. We run a panel GMM estimation for a set of 18 Latin American Countries during the period 1973-2008.