Catálogo de publicaciones

Para estudiar la complejidad intrínseca de un problema computacional siempre es posible dar y demostrar cotas inferiores de complejidad. Una cota inferior de complejidad es un teorema que establece la mínima complejidad que tiene cualquier algoritmo que intente resolver el problema que estamos considerando. Con esta definición, una cota posible es (1) que es una cota inferior trivial, cualquier algoritmo tarda al menos un paso. Lo difícil es obtener una cota inferior alta. Cuanto más alta es la cota inferior, es más difícil de demostrar, por ejemplo, aún es una pregunta abierta saber si existen o no cotas inferiores exponenciales para problemas en la clase de complejidad NP. En esta tesis se establece que la dificultad de encontrar tales cotas puede deberse a la naturaleza del modelo de cómputo utilizado que no debe ser general ni muy específico. Esta idea empezó con la noción de algoritmo programable (programmable algorithm) que distingue entre algoritmos en general y algoritmos producidos siguiendo una especificación (ver [HKRP13b]). De acuerdo con [Bor75], obtener una cota inferior de complejidad requiere la definición de dos ingredientes fundamentales: el modelo de cómputo que contiene los algoritmos que vamos a estudiar y una adecuada medida de complejidad computacional. Entonces, vamos a ser cuidadosos con la definición de estos ingredientes y vamos a definir un modelo de cómputo para algoritmos programables en el sentido de [HKRP13b]. En particular, en esta tesis introducimos un modelo de cómputo basado en conceptos de Ingeniería de Software. Esta característica permite demostrar cotas inferiores de complejidad no triviales para algoritmos de eliminación en geometría algebraica efectiva. Esta tesis esta basada en un proyecto de 20 años de investigación en complejidad algebraica y teoría del cálculo simbólico que fue iniciado en el trabajo J. Heintz, J. Morgenstern, On the Intrinsic Complexity of Elimination Theory, Journal of Complexity 9 471-498 (1993). El objetivo original del proyecto fue determinar la complejidad intrínseca de resolver sistemas de ecuaciones polinomiales (teoría de la eliminación), se quería demostrar su carácter de complejidad no polinomial. Este objetivo fue logrado en esencia en el trabajo J. Heintz, B. Kuijpers, A. Rojas Paredes, Software Engineering and Complexity in Effective Algebraic Geometry, Journal of Complexity 29 92-138 (2013), Journal of Complexity 2013 Best Paper Award, donde se fijó la estructura de datos que utilizaban los algoritmos de eliminación, esto se llamó modelo de circuitos (polinomios implementados en términos de circuitos aritméticos). Más tarde nos dimos cuenta de que el modelo de circuitos no era esencial y que nuestra argumentación también podía aplicarse a otras cuestiones de complejidad en el cálculo científico, por ejemplo, la interpolación polinomial (ver [GHMS11]). La observación principal fue que habíamos desarrollado en nuestro contexto un modelo matemático para ciertos aspectos de la Ingeniería de Software, en particular, habíamos desarrollado un modelo para el ocultamiento de la información y el requerimiento no funcional de la robustez, esto nos permitió sacar conclusiones sorprendentes sobre la complejidad de los algoritmos de eliminación, ver B. Bank, J. Heintz, G. Matera, J. L. Montaña, L. M. Pardo, A. Rojas Paredes, Quiz Games as a Model for Information Hiding, Journal of Complexity 34 1-29 (2016). Esta tesis describe un modelo de cómputo que se inspira en las nociones de ocultamiento de la información y requerimientos no funcionales, entre otros conceptos importantes en Ingeniería de Software como las nociones de abstracción y el diseño de software. Nuestro modelo de cómputo permite probar cotas inferiores de complejidad exponencial para los algoritmos de eliminación. Mostramos que cualquier implementación orientada a objetos (y robusta) de algoritmos de eliminación es necesariamente ineficiente. Este resultado muestra una sinergia existente entre Ingeniería del Software y Teoría de la Complejidad Algebraica.

Tesis para obtener el grado de Magister en Ordenamiento del Territorio con Orientación en Planificación Estratégica, de la Universidad Nacional de Cuyo, en 2008

Dos importantes distritos contiguos de Mendoza: Ugarteche y El Carrizal, ubicados al sur del Departamento de Luján de Cuyo constituyen el objeto de este estudio. Cuatro motivos son los que inspiraron la elección de estos espacios. Estas razones son las siguientes: a) Orientar los procesos de crecimiento de una zona “ganadora" y prevenir futuros desórdenes. b) La dimensión territorial del Plan Estratégico Vitivinícola (PEVI). c) El futuro de los oasis bajo riego. d) El Desarrollo Sustentable como marco valorativo.

A lo largo de su historia reciente, la economía argentina ha estado sujeta a shocks de diversas características, con efectos importantes sobre las variables macroeconómicas, el mercado de trabajo, y la distribución del ingreso. En consecuencia, tiene relevancia de política contar con una herramienta que brinde un marco consistente para cuantificar los efectos económicos que pueden tener distintas perturbaciones. El trabajo que aquí se presenta realiza una contribución metodológica en ese sentido. En los capítulos que siguen se presentan todos los componentes que permiten la implementación de un modelo de equilibrio general computado (CGE; del inglés, Computable General Equilibrium) dinámico recursivo para la Argentina. Luego, a fin de ejemplificar el potencial de la herramienta aquí desarrollada, se estudian varios escenarios contrafácticos, donde se analizan impactos tanto agregados como sectoriales, teniendo en cuenta las interrelaciones de equilibrio general. Como veremos, el modelo desarrollado permite hacer evaluaciones de los efectos macro y microeconómicos, de corto y largo plazo, dentro de un marco de consistencia analítica que no permiten enfoques alternativos de equilibrio parcial. La consistencia está asegurada al considerarse, de manera simultánea, los equilibrios macroeconómicos, los equilibrios sectoriales de oferta y demanda, y la igualdad entre ingresos y gastos de cada uno de los sectores institucionales (ver, entre otros, Shoven y Whalley (1984); Chisari et al. (2009). Así, la experimentación computacional que se realiza posibilita la consideración de distintos escenarios, tener en cuenta las reacciones de los agentes económicos, e identificar ganadores y perdedores.

Tesis (Doctorado en Ciencias Económicas) -- Universidad Nacional de Córdoba. Facultad de Ciencias Económicas ; Argentina, 2016.

El presente trabajo de tesis proporciona un enfoque para la evaluación de la calidad de aplicaciones Web en el ámbito específico de e-government. Los marcos, metodologías y estándares preexistentes en la industria no aportan aplicaciones particulares a este campo, pero sí pueden ser extendidos o configurados para este medio regido por dinámicas diversas y cambiantes que no siempre pueden asimilarse a experiencias de otros dominios. La gestión de la calidad va lentamente cobrando importancia, y se resalta el rol del usuario que a través de su percepción y opiniones, nos brinda información para realizar direccionamientos hacia un mejor producto, un producto más elegido. Es por ello que se ha llevado a cabo una exhaustiva revisión del estado del arte sobre el concepto general de calidad, y su visión particular desde la Ingeniería de Software. Posteriormente se han analizado los marcos metodológicos y estrategias de M&E preexistentes de los cuales se seleccionó GOCAME para llevar adelante un caso de prueba, basándose en su solidez y numerosos casos de aplicación. Debido a la ausencia de experiencias de medición de calidad en organismos de gobierno, se planteó la necesidad de proponer un modelo de requerimientos de calidad como prototipo para M&E. Como consecuencia se presentó un marco metodológico consistente en el cual desarrollar todas las tareas involucradas en el proceso de evaluación de la calidad, en este caso calidad externa a través de la visión de expertos del dominio, y calidad en uso desde la perspectiva de usuarios reales. El modelo diseñado fue validado conceptualmente a través de la instanciación de la metodología abordada utilizando como caso de estudio una aplicación Web del organismo. Conjuntamente con las mediciones técnicas se planteó la necesidad de caracterizar a los usuarios a través de sus rasgos de preferencias fuertes que fue cruzado con sus opiniones en busca de correlaciones que fundamenten algún patrón o tendencia. Los resultados de la ejecución del plan de evaluación mostraron el estado de situación de la gestión de la calidad desarrollada por el área de IT del organismo, el cual prevé un plan de mejoras, actuación y refinamiento del modelo propuesto para continuar las mediciones extendiéndolo incluso a otras áreas de IT de organismos gubernamentales, reutilizando de esta manera la experiencia adquirida e institucionalizando un proceso de aprendizaje continuo.

El objetivo de esta tesis es definir una metodología general y abarcativa para desarrollar proyectos con enfoque SOA y BPM. Además, esta tesis provee un modelo para la integración de aplicaciones, realizando un estudio evolutivo de las distintas estrategias destinadas a tal fin, buscando puntos de contacto entre ellas y eligiendo los elementos a componer para lograr una integración completa, segura y confiable de los sistemas de software existentes, optimizando su reusabilidad y minimizando los costos de mantenimiento, tanto técnicos como económicos.