Sistemas de comunicaciones digitales inalámbricos para servicios de voz, video y datos integrados

El proyecto está basado en la investigación y desarrollo de sistemas de comunicaciones digitales inalámbricos, dentro del campo de las telecomunicaciones, encarando como aspecto distintivo la prestación de servicios integrados es decir, la posibilidad de acceder a voz, video y datos a través de un solo medio. Este tipo de comunicaciones se denomina multimedio y es posible debido a adelantos tecnológicos en el área de integración de circuitos, la difusión en el uso de computadoras y el creciente avance de los servicios de las empresas prestadoras. Los sistemas inalámbricos de comunicaciones multimedio requieren frecuentemente la transmisión de señales codificadas, las cuales pueden representar audio, video, imágenes estáticas, datos, etc. (...) El desvanecimiento de Rayleigh y las multitrayectorias de la señal en un sistema inalámbrico de comunicaciones, causa la pérdida de componentes de esa señal. Técnicas tales como el uso de códigos de corrección de errores, requisición automática de repeticiones entrelazado y las múltiples formas de diversidad, pueden proveer protección contra los desvanecimientos de Rayleigh. Sin embargo, en muchos casos, en particular en la transmisión de imágenes o video, estas técnicas pueden no ser suficientemente eficaces, o bien pueden introducir un retardo excesivo que resulta altamente objetable. Durante el desarrollo del proyecto se investigarán y aplicarán estas técnicas de avanzada para llegar a una transmisión confiable de multimedios, en forma inalámbrica, perfeccionando métodos existentes o implementando nuevos. Objetivos Generales El objetivo a lograr en el presente proyecto será la evaluación exhaustiva de esquemas propuestos, utilizando como herramientas la simulación por computadora y el análisis teórico. Se buscará generalizar resultados previamente establecidos para el caso de canales Gaussianos en Teoría de la Información, al caso de canales con desvanecimiento de Rayleigh con las siguientes condiciones de contorno: 1) Retardo de transmisión limitado; 2) Uso de criterios perceptivos para juzgar la calidad de transmisión. (...)

Verificación de Sistemas Basada en Teoría de Tipos. System verification in type theory

Este proyecto se enmarca en la utlización de métodos formales (más precisamente, en la utilización de teoría de tipos) para garantizar la ausencia de errores en programas. Por un lado se plantea el diseño de nuevos algoritmos de chequeo de tipos. Para ello, se proponen nuevos algoritmos basados en la idea de normalización por evaluación que sean extensibles a otros sistemas de tipos. En el futuro próximo extenderemos resultados que hemos conseguido recientemente [16,17] para obtener: una simplificación de los trabajos realizados para sistemas sin regla eta (acá se estudiarán dos sistemas: a la Martin Löf y a la PTS), la formulación de estos chequeadores para sistemas con variables, generalizar la noción de categoría con familia utilizada para dar semántica a teoría de tipos, obtener una formulación categórica de la noción de normalización por evaluación y finalmente, aplicar estos algoritmos a sistemas con reescrituras. Para los primeros resultados esperados mencionados, nos proponemos como método adaptar las pruebas de [16,17] a los nuevos sistemas. La importancia radica en que permitirán tornar más automatizables (y por ello, más fácilmente utilizables) los asistentes de demostración basados en teoría de tipos. Por otro lado, se utilizará la teoría de tipos para certificar compiladores, intentando llevar adelante la propuesta nunca explorada de [22] de utilizar un enfoque abstracto basado en categorías funtoriales. El método consistirá en certificar el lenguaje "Peal" [29] y luego agregar sucesivamente funcionalidad hasta obtener Forsythe [23]. En este período esperamos poder agregar varias extensiones. La importancia de este proyecto radica en que sólo un compilador certificado garantiza que un programa fuente correcto se compile a un programa objeto correcto. Es por ello, crucial para todo proceso de verificación que se base en verificar código fuente. Finalmente, se abordará la formalización de sistemas con session types. Los mismos han demostrado tener fallas en sus formulaciones [30], por lo que parece conveniente su formalización. Durante la marcha de este proyecto, esperamos tener alguna formalización que dé lugar a un algoritmo de chequeo de tipos y a demostrar las propiedades usuales de los sistemas. La contribución es arrojar un poco de luz sobre estas formulaciones cuyos errores revelan que el tema no ha adquirido aún suficiente madurez o comprensión por parte de la comunidad. This project is about using type theory to garantee program correctness. It follows three different directions: 1) Finding new type-checking algorithms based on normalization by evaluation. First, we would show that recent results like [16,17] extend to other type systems like: Martin-Löf´s type theory without eta rule, PTSs, type systems with variables (in addition to systems in [16,17] which are a la de Bruijn), systems with rewrite rules. This will be done by adjusting the proofs in [16,17] so that they apply to such systems as well. We will also try to obtain a more general definition of categories with families and normalization by evaluation, formulated in categorical terms. We expect this may turn proof-assistants more automatic and useful. 2) Exploring the proposal in [22] to compiler construction for Algol-like languages using functorial categories. According to [22] such approach is suitable for verifying compiler correctness, claim which was never explored. First, the language Peal [29] will be certified in type theory and we will gradually add funtionality to it until a correct compiler for the language Forsythe [23] is obtained. 3) Formilizing systems for session types. Several proposals have shown to be faulty [30]. This means that a formalization of it may contribute to the general understanding of session types.

Observatorio de políticas públicas.

El observatorio de políticas públicas es una iniciativa interdisciplinaria en el marco de la experiencia docente, de investigación y de transferencia para el sector público del ICDA. El objetivo del proyecto es monitorear el ciclo de vida de las políticas públicas provinciales y municipales, identificando fallas y promoviendo reformas estratégicas. Se trabaja sobre la selección de casos específicos, sobre el desarrollo y la medición de indicadores de transparencia y evaluavilidad, sostenibilidad, impacto y apropiación ciudadana, y, finalmente, sobre el análisis de los resultados para la formulación de recomendaciones institucionales. Posteriormente se desarrollan estrategias de difusión y vinculación institucional universidad - gobierno para la aplicación efectiva de las recomendaciones formuladas.

Córdoba entre el primero y el segundo peronismo (1946-1976). Política, economía, sociedad y registro historiográfico

A partir de la hipótesis según la cual en muchos campos de la realidad cordobesa primaron accionares y resultados que, si bien se adecuaron a las correspondientes a nivel nacional, mostraron también un alto grado de originalidad, el objetivo fundamental de este proyecto es avanzar en el conocimiento de la evolución política, económica y social de la provincia de Córdoba entre 1946 y 1976 -tres décadas del pasado cordobés reciente de las cuales la historiografía sólo ha abordado algunos aspectos, potenciando el fenómeno peronista y descuidando, en general, etapas en que éste fue oposición o estuvo proscrito- y comprobar la originalidad o no de las políticas públicas locales estableciendo en qué medida replican las nacionales, o fueron rearticuladas y redescritas en función de la realidad local. Con ese fin y a través de una amplia compulsa de fuentes oficiales y privadas, éditas e inéditas, se analizarán las políticas públicas, su incidencia en los grupos sociales participantes y diferencias con los proyectos homogenizadores implementados por gobiernos nacionales democráticos o de facto y la cultura, prácticas políticas y legislación, con las interpretaciones y orientaciones que generaron, para conocer el grado de comprensión que de ellas tuvo el común de los actores sociales; la evolución del empleo industrial en las ramas que atrajeron los mayores contingentes de mano de obra, las condiciones de vida material y el papel del Estado en la determinación de las mismas; la política energética, en relación con la creación de organismos públicos, al avance del proceso de electrificación, al esfuerzo por crear una infraestructura en cuanto a generación y transmisión de energía y al papel de las cooperativas eléctricas en la distribución y comercialización, sobre todo en las áreas rurales; el desarrollo industrial en general y relacionando la demanda de fuerza motriz con la evolución de la oferta de energía eléctrica; los instrumentos utilizados por el Estado con fines de promoción tanto industrial como del cooperativismo eléctrico; y, finalmente, y como una cuestión de particular interés la escritura de la historia a través de las prácticas y de los discursos de los historiadores, centrando la atención en la producción referida a la provincia de Córdoba.

Proyecto Fortalecimiento de los Gobiernos Locales y de las ONG´s para el desarrollo Medio y Socioambiental en la Región de Punilla en la Provincia de Córdoba

El presente proyecto plantea la profundización de una línea de investigación ya existente en el ICDA que cuenta con apoyo del VRMU de la UCC y aval de la SECyT, sobre la identificación de problemas y necesidades de los gobiernos locales y las ONG´s de la Región de Punilla de la Provincia de Córdoba en torno a la problemática ambiental y la promoción de prácticas participativas para su abordaje y resolución. Este proyecto tiene como objetivo inmediato promover el fortalecimiento de los Gobiernos locales y de las ONGs, siguiendo las líneas de trabajo del ICDA a través de sus centros especializados CIPEAP–Profim y CIPAC–Compás respectivamente, en lo referido a gestión sustentable del medio ambiente y la utilización y/o conservación de los recursos naturales, principalemente el agua. La investigación procura identificar las áreas problema en el marco de la gestión socio-ambiental focalizada en la gestión estratégica del recurso hídrico con el fin de sistematizar los aspectos que facilitan u obstaculizan el acuerdo, la gestión asociada y la administración eficiente de los recursos naturales en la región. Entre las necesidades prioritarias vinculadas a la gestión socio – ambiental se delimitaron los núcleos del problema de la gestión estratégica del recurso hídrico, como principal eje de desarrollo de la región. En este sentido Punilla enfrenta diferentes niveles de problemáticas; en primer lugar, se encuentra la contaminación de la principal cuenca hídrica que provee agua potable para consumo humano a los mayores centros urbanos con consecuencias directas sobre la salud ambiental; de esta manera el saneamiento y las metodologías a aplicarse, representan un espacio de confrontación entre los actores tanto gubernamentales como no gubernamentales por implementar prácticas de saneamiento sin una visión de desarrollo integral. En segundo lugar la región enfrenta la amenaza de la escasez del recurso, como consecuencia de la creciente urbanización y de las barreras geográficas que en muchos casos impiden obras de infraestructura que garanticen el acceso igualitario al mismo. Finalmente las consecuencias y efectos desde el punto de vista de la salud de las personas junto a la disminución de oportunidades y los problemas del desarrollo socio-económico de la región, representan un tercer eje de investigación en consonancia con las Políticas y Estrategias de Investigación de la UCC (RR 492/07). Dada la complejidad del proyecto, resulta fundamental el apoyo que brinda la Escuela Andaluza de Salud Pública (EASP), como socia en la presentación a la convocatoria realizada para obtener el financiamento por parte de la Agencia Española de Cooperación Internacional para el Desarrollo (AECID).