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.

Programa de capacitación y de ejecución de acciones para favorecer el desarrollo del potencial exportador de las empresas pequeñas y medianas de Río Cuarto y región.Capacitation Programs to Encouraged Development of Rio Cuarto and Region Exports Potential.

Identificación: Programa de capacitación y de ejecución de acciones para favorecer el desarrollo del potencial exportador de las empresas pequeñas y medianas de Río Cuarto y región. Caracterización del problema objeto de estudio: La zona de influencia de la ciudad de Río Cuarto posee, por su ubicación y características naturales, un potencial exportador no explotado, considerando la actual dinámica de los mercados internacionales. La ciudad está en el cruce de rutas nacionales que la conecta a las principales ciudades del MERCOSUR, con salida al Pacífico y al Atlántico y conexión rápida a rutas que van hacia la frontera norte del país. A modo de presentación de situaciones favorables, en el caso de Bolivia es para aprovechar el prestigio de los productos argentinos en ese mercado y las ventajas que las empresas chicas y medianas pueden disponer al no existir barreras idiomáticas, razonables requisitos de calidad y una gran necesidad de productos elaborados que pueden ser ofertados por PYMES regionales.En el caso de Chile importan tres aspectos: primero, la cercanía geográfica a la zona de Río Cuarto, ya que se accede en forma directa por vía terrestre, con una distancia de sólo 900 Km. respecto a la zona metropolitana de ese país; segundo, es el mercado regional con mayores niveles de exigencia para acceder al mismo, constituyendo por lo tanto una buena plataforma de aprendizaje para lograr el acceso luego al mundo desarrollado; tercero, al tener Chile firmado acuerdos de libre comercio con mercados que suman 3500 millones de habitantes, con acceso directo al cinturón del Pacífico, que es la zona más dinámica del comercio mundial actual, ese país necesita complementarse con sus vecinos para poder aprovechar las demandas potenciales de esos mercados.Con el proyecto se pretende contribuir a acentuar la internacionalización económica de la ciudad de Río Cuarto y su región circundante. Hipótesis:Se puede generar un polo exportador pyme a partir de la actividad sistemática de un programa de difusión de conocimientos sobre el comercio exterior, lo que contribuirá a profundizar la sustentabilidad económica de Río Cuarto y su región circundante.Objetivos: -a) Crear, desde el programa, una oferta de capacitación y asesoramiento que satisfaga los interrogantes y necesidades de las empresas pequeñas y medianas que busquen iniciarse en la actividad de exportación. b) Promover la formación de consorcios y formas asociativas, sobre todo de pequeñas y medianas empresas, para expandir el comercio exterior regional. c) Difundir las posibilidades de inserción internacional de las pymes regionales y sus requerimientos en los aspectos productivos y de comercialización. Estos últimos suelen constituir puntos críticos en el desarrollo exportador de las firmas. d) Analizar las posibilidades competitivas en el comercio internacional, en especial en el área del MERCOSUR, de cluster Materiales y Métodos a Utilizar: - Elaboración de un Monitor de Expectativas Empresariales con el objetivo de cuantificar la actual y la potencial Oferta Exportadora Regional. - Desarrollo de Análisis Sectoriales para determinar las posibilidades de incrementar las ventas al exterior de productos regionales. - Creación de Informes Especiales sobre Productos Regionales, los cuales le permitirán a Pequeños y Medianos Productores conocer en detalle, las oportunidades y exigencias para ingresar a los mercados externos, especialmente al área del MERCOSUR. - Organización de Viajes y Rondas de Negocios con el fin de fortalecer los lazos comerciales y culturales del empresariado local y extranjero. Resultados Esperados: - Profundizar conocimientos sobre las posibilidades que poseen los productos regionales de ingresar a los mercados externos. - Lograr una difusión generalizada de conocimientos sobre el Comercio Exterior, brindándole a las Pymes las herramientas básicas y fundamentales para que puedan desarrollar su potencial exportador.

Ciudadanía y bien común en el marco de una ética pública. Citizenship and common good in the frame of a public ethics.

La investigación pretende hacer aportes para la reformulación ético-discursiva de las ideas de ciudadanía y bien común, que sea capaz de articular la libertad y la equidad con la corresponsabilidad solidaria en contextos post-neoliberales de globalización, interculturalidad y exclusión. En este sentido, una reconfiguración de la sociedad y de la ciudadanía implicará mostrar en qué sentido y de qué modo el espacio público tiene que estar abierto no sólo a la competencia y a los consumidores, sino a ciudadanos ilustrados, autónomos y críticos. La investigación parte del supuesto que, desde los presupuestos teóricos, conceptuales y metodológicos de la teoría del discurso y de la teoría de la democracia deliberativa es posible reformular un concepto de bien común apto para articular la integración social en contextos de interacción pluralista y conflictiva, como son las democracias actuales. Puede parecer extraño, y no sin razón, que el concepto de bien común pueda ser rehabilitado en el contexto de sociedades pluralistas y democráticas, e incorporada convincentemente en la estructura de una nueva ética cívica. La extrañeza puede ser aún mayor si se piensa que, en la actualidad, la formulación de una nueva ética cívica se ve enfrentada tanto a desafíos internos, estrictamente ético-filosóficos, como externos, provenientes de problemas y conflictos histórico-contextuales y culturales (Michelini, 1998, 2000). Finalmente, es posible que la supuesta extrañeza esté relacionada también con el hecho de que el concepto de bien común sea empleado no sólo de modo ambiguo, sino que, además, haya sido utilizado en prácticas muy diversas: desde la búsqueda filosófica de la ciudad perfecta y del Estado ideal -en la que Platón manifiesta que "las cosas de los amigos deben ser comunes" (Platón, 1974a, V, 424a, 449c; 1974b, 739a-e)-, hasta las múltiples instrumentalizaciones históricas en las que el concepto de bien común se utilizó para articular la religión con el patriotismo o la razón de Estado. En la historia más o menos reciente de muchos países latinoamericanos encontramos, en este respecto, ejemplos trágicos: en nombre de la razón de Estado y del bien común, no pocas veces se ha pretendido mantener el orden establecido o defender una determinada ideología, incluso vulnerando la legitimidad del Estado de Derecho y lesionando normas éticas fundamentales. El objetivo general de la investigación es fundamentar un sustento teórico coherente para una reelaboración de los conceptos de ciudadanía y bien común en vista de una ética pública de la corresponsabilidad solidaria en sociedades democráticas y en contextos de globalización, interculturalidad y exclusión, e indagar acerca de su aplicabilidad a los campos de la práctica política y educativa. Los resultados del proyecto tendrán un impacto no sólo teórico, sino también práctico en el ámbito de las ciencias humanas, particularmente en el ámbito de la filosofía práctica, la ética pública, la política y el sistema educativo. Además, se propone elaborar lineamientos de acción para las instituciones sociales, educativas y políticas locales, regionales y nacionales, ayudar a esclarecer aspectos centrales de una convivencia democrática y pluralista, y contribuir al esclarecimiento de los deberes, de los derechos y de la corresponsabilidad solidaria.

Sistemas de Tipos para Verificación de Programas Concurrentes. Type Systems for Concurrent Programs Verification.

La programación concurrente es una tarea difícil aún para los más experimentados programadores. Las investigaciones en concurrencia han dado como resultado una gran cantidad de mecanismos y herramientas para resolver problemas de condiciones de carrera de datos y deadlocks, problemas que surgen por el mal uso de los mecanismos de sincronización. La verificación de propiedades interesantes de programas concurrentes presenta dificultades extras a los programas secuenciales debido al no-determinismo de su ejecución, lo cual resulta en una explosión en el número de posibles estados de programa, haciendo casi imposible un tratamiento manual o aún con la ayuda de computadoras. Algunos enfoques se basan en la creación de lenguajes de programación con construcciones con un alto nivel de abstración para expresar concurrencia y sincronización. Otros enfoques tratan de desarrollar técnicas y métodos de razonamiento para demostrar propiedades, algunos usan demostradores de teoremas generales, model-checking o algortimos específicos sobre un determinado sistema de tipos. Los enfoques basados en análisis estático liviano utilizan técnicas como interpretación abstracta para detectar ciertos tipos de errores, de una manera conservativa. Estas técnicas generalmente escalan lo suficiente para aplicarse en grandes proyectos de software pero los tipos de errores que pueden detectar es limitada. Algunas propiedades interesantes están relacionadas a condiciones de carrera y deadlocks, mientras que otros están interesados en problemas relacionados con la seguridad de los sistemas, como confidencialidad e integridad de datos. Los principales objetivos de esta propuesta es identificar algunas propiedades de interés a verificar en sistemas concurrentes y desarrollar técnicas y herramientas para realizar la verificación en forma automática. Para lograr estos objetivos, se pondrá énfasis en el estudio y desarrollo de sistemas de tipos como tipos dependientes, sistema de tipos y efectos, y tipos de efectos sensibles al flujo de datos y control. Estos sistemas de tipos se aplicarán a algunos modelos de programación concurrente como por ejemplo, en Simple Concurrent Object-Oriented Programming (SCOOP) y Java. Además se abordarán propiedades de seguridad usando sistemas de tipos específicos. Concurrent programming has remained a dificult task even for very experienced programmers. Concurrency research has provided a rich set of tools and mechanisms for dealing with data races and deadlocks that arise of incorrect use of synchronization. Verification of most interesting properties of concurrent programs is a very dificult task due to intrinsic non-deterministic nature of concurrency, resulting in a state explosion which make it almost imposible to be manually treat and it is a serious challenge to do that even with help of computers. Some approaches attempts create programming languages with higher levels of abstraction for expressing concurrency and synchronization. Other approaches try to develop reasoning methods to prove properties, either using general theorem provers, model-checking or specific algorithms on some type systems. The light-weight static analysis approach apply techniques like abstract interpretation to find certain kind of bugs in a conservative way. This techniques scale well to be applied in large software projects but the kind of bugs they may find are limited. Some interesting properties are related to data races and deadlocks, while others are interested in some security problems like confidentiality and integrity of data. The main goals of this proposal is to identify some interesting properties to verify in concurrent systems and develop techniques and tools to do full automatic verification. The main approach will be the application of type systems, as dependent types, type and effect systems, and flow-efect types. Those type systems will be applied to some models for concurrent programming as Simple Concurrent Object-Oriented Programming (SCOOP) and Java. Other goals include the analysis of security properties also using specific type systems.

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.

Derechos de participación e información en programas dirigidos a adolescentes en escuelas secundarias de la Ciudad de Córdoba: cumplimiento progresivo y estrategias de promoción. Participation and information rights in programs for adolescents in secondary schools in Cordoba City: progressive implementation and promotion strategies.

Abordar la infancia desde el enfoque de derechos (ED) implica una lectura de los derechos de los cuales los niños, niñas y adolescentes (NNA) son titulares y de las acciones estatales que se implementan para viabilizar el ejercicio concreto de ellos. Esta perspectiva exige comprender los contenidos de las políticas púb,el grado de participación que se les asigna y los sentidos que ellas toman en términos de progresividad de los derechos. Los cambios de concepción de la infancia desde la Convención Internacional de los Derechos del Niño (CIDN) y los cambios legislativos interpelan al Estado y la sociedad a modificar la visión hegemónica. Nuestra hipótesis gira alrededor de las siguientes considerac.: se han producido algunas modificaciones en las políticas y acciones estatales, aún no se dan las transformaciones necesarias de las lógicas institucionales y de los operadores que estimulen la participación de NNA en el ámbito escolar. Esto se visualiza en la ausencia de análisis cuali de los contenidos de las acc. y la falta de ftes estadísticas específicas, que muestren la orientac.de los contenidos en los principios de la protecc.integral. Estos presupuestos plantean interrogantes que delimitan el problema de investigación: ¿cómo se construye y reconstruye el ejercicio de la ciudadanía a través de la participación de los NNA, en su paso por la escuela, y cuáles son las lógicas institucionales que habilitan u obstaculizan ese ejercicio? Y ¿cuáles son los recursos institucionales que permitan que los programas y acciones redunden en el ejercicio efectivo de los derechos?.Obj.gral: Describir, analizar e interpretar la progresividad en el ejercicio de los derechos de participación e informacióin que tienen los adolescentes en escuelas secundarias de la cd de Cba, durante 2005 / 2010, para promover espacios públicos de construcción de ciudadanía. Se analizarán tres escuelas de Córdoba, escuela pública provincial, púb. nacional y privada. Obj. Espec.: Analizar las prácticas participativas formales e informales en las escuelas seleccionadas.- Aplicar indicadores cuanti y cualitativos del “Sistema de Indicadores para los derechos de la Infancia” Describir y analizar los recursos materiales y humanos. Elaborar y proponer procedim. para la confec. de registros de datos estadísticos - Elaborar y proponer lineamientos para la elaborac.e implementac.de acciones. Diseñar herramientas de difusión sobre los ds de participación e información.Esta investigac. es de carácter descriptivo e interpretativo, analizará diferentes ftes de informac.con técnicas cuanti y cualitativas, durante período la promulgación de la Ley 26061/05 y la adhesión prov. 9396/07. Se tomarán del Sistema de Indicadores, el derecho a la educación, el tema transversal “Acceso a la información y participación”, y las categorías de análisis “Recepción del Derecho y Capacidades estatales”. Se trabajaran indicadores cuanti y señales de progreso (cualitativos): estructurales, proceso y resultados. Serán analizados los Programas implementados durante el período de estudio. Estrategias cuali observac. participante, entrevistas, grupos focales, talleres de sensibilización, etc .Otras ftes de info: doc. institucionales, registros, evaluac, contenidos de programas y campañas y de difusión, prensa escrita, legislaciones, etc. La info se analizará a través Programa Atlas Ti, y del análisis estadístico. Algunos resultados esperados: Evaluac.y ajuste del Sistema de indicadores, la sensibilizac. desde el EF de autorid. escol. para la formulac. de planes y programas para el monitoreo adecuado de los mismos y para la rendic. de ctas de su gestión. Estimular la participac. de NNA en la escuela. Realizac.de documental. Brindar herramientas al Edo para superv de la aplicación progresiva del ejercicio de los derechos de participación e información de NNA Promov la continua evaluac. de los programas y acc.desde el ED para estimular el reconoc. de la nec.de ajuste de la política. The issue of children from the rights focus implies a reading of the rights in which children and adolescents are the holders and the state actions that are implemented to enable the exercise of them. This perspective requires understanding the contents of the public policies, the participation level that is assigned, and the senses that they take in terms of rights progressivity of. The conception changes about children since the International Convention on the Rights of the Child and legislative changes challenge to the State and society to modify hegemony vision. Our hypothesis revolves around the following considerations: there have been some public policies and state actions changes, but they not turn out, yet, transformations in logical institutional and actors whose are encourages children participation in school. This could be reflects in the absence of qualitative analysis in the actions contents and the lack of sources specific statistics, that will be showing the control of the principal contents of integral protection. These, raise the questions that delimit our problem research: how is built citizenship exercise through children and adolescent’s participation in the school, and what are the institutional logical that empowers or turns difficult that exercise? And What are the institutional resources that make possible the effective exercise of the rights, through different programs and actions?. General Objective: To describe, analyze and interpret exercise progressivity participation and information rights that have the adolescents in secondary schools in Córdoba City during 2005 / 2010, in order to promote public spaces for the construction of citizenship. It will analyze three schools in Cordoba, provincial public school, national public school and private school. . Obj. Specifics: To analyze the formal and informal participative practices in the schools selected. - To apply quantitative and qualitative indicators of the “Indicators System for Infa