Técnicas Experimentales para Caracterizar Flujos Complejos. Experimental techniques for complex flows characterization.

En ambientes fluviales, la interacción del flujo con la geometría del cauce y con los sedimentos del lecho define una dinámica turbulenta compleja en permanente evolución. El nivel de complejidad del flujo aumenta ante la presencia de estructuras hidráulicas (pilas de puentes, protecciones contra erosión, etc.). La mayoría de los ríos, o canales naturales, presentan confluencias y bifurcaciones, en donde se genera una convergencia (o divergencia) del flujo con el resultado de un ambiente hidrodinámico complejo en la cercanía de las uniones (Kenworthy y Rhoads 1995). Bajo estas condiciones no es posible extrapolar las soluciones tradicionales básicas de las ecuaciones de gobierno desarrolladas para canales rectos y uniformes. Algunas investigaciones experimentales realizadas en estos sistemas son las de Best (1988), Rhoads y Sukhodolov (2001), Richardson et al. (1996); Richardson y Thorne (1998, 2001); Parsons et al. (2004); Szupiany et al. (2005).Por otro lado, la zona costera en ambientes marítimos se caracteriza por la existencia de diversos procesos dinámicos, entre los que se destacan la acción de olas, corrientes, interacción olas-corrientes, transporte de sedimentos y cambios batimétricos. Estos se manifiestan en una alteración morfodinámica de la playa generando superficies potenciales de erosión. Así, el diseño de las protecciones costeras (ya sean continuas, como escolleras o muros verticales; o discontinuas como espigones o diques externos) sometidas al clima marítimo bajo distintas condiciones de olas y mareas, alteran los patrones de circulación y de transporte afectando la morfodinámica en su zona de influencia y plantean, por ejemplo, la necesidad de ajustes de los coeficientes de estabilidad y pesos de los bloques de roca de las escolleras. Los problemas generados, son especialmente complejos ya que deben considerarse para su estudio, los niveles de turbulencia, la transmisión del oleaje sobre o a través de la estructura, difracción alrededor de la misma, refracción y shoaling sobre un fondo dinámico, reflexión en la estructura, etc. (Alsina et al., 2007) Revisiones bibliográficas previas muestran que, en ambos ambientes (fluvial y marítimo), es necesario optimizar las técnicas experimentales existentes para que ellas permitan caracterizar con precisión los flujos turbulentos complejos presentes. El objetivo general propuesto en esta investigación es contribuir a mejorar el conocimiento de los procesos hidrodinámicos de flujos turbulentos naturales con y sin la presencia de estructuras hidráulicas que den lugar a formaciones complejas (3D). Para alcanzar este objetivo se propone realizar una recopilación de antecedentes y un análisis crítico detallado de los equipos de ultima generación para mediciones de flujo con alta frecuencia y resolución disponibles en el Laboratorio de Hidráulica (LH) de la Universidad Nacional de Córdoba (UNC): ADV 3D (Acoustic Doppler Velocimeter de Sontek) y laser PIV 2D (Particle Image Velocimeter de Dantec). A estos equipamientos se le agrega un moderno equipo de generación bidimensional de oleaje con absorción dinámica (adquiridos a HR Ltd. en 2007 por el CAI 085 del FONTAR). Finalmente se prevé utilizar este equipamiento durante el desarrollo de experimentos y mediciones los cuales se realizarán sobre modelos físicos fluviales y costeros diseñados y construidos con y sin estructuras que interactúen con flujo turbulentos complejos. Los resultados obtenidos en este proyecto permitirá alcanzar una mejor comprensión de los procesos hidrodinámicos de los flujos turbulentos complejos, lo cual es necesario y de gran utilidad para realizar un manejo apropiado de los ambientes fluviales y marítimos, teniendo como campo directo de aplicación el correcto diseño de estructuras hidráulicas, asistiendo a la toma de medidas correctivas en sistemas naturales sometidos a procesos erosivos o de sedimentación, y contribuyendo de esta forma al manejo ambientalmente sustentable de los recursos.

Recuperación y conservación de material fílmico y sonoro de Córdoba, 1983 - 2001.

Los documentos audiovisuales contienen en un mismo soporte información visual y sonido; asimismo, se caracterizan por su opacidad, es decir requieren de un dispositivo tecnológico para su grabación, transmisión y comprensión. En la actualidad, constituyen un importante acervo cultural que merece ser resguardado y puesto a disposición de la comunidad científica y del público en general como expresión de la memoria colectiva y de la cultura de nuestra sociedad. Somos conscientes de la existencia de un cúmulo significativo de material audiovisual, hoy conservado en soportes tecnológicos que han caído en desuso, lo cual implica dos grandes riesgos: por un lado, la posibilidad de pérdida o deterioro de la información contenida en ellos; por otro, la creciente dificultad para acceder a su contenido debido a la obsolescencia de los equipos necesarios para reproducirlos. En consecuencia, este proyecto se propone recuperar y resguardar en un soporte tecnológico actual y seguro: 1) el material audiovisual producido en el marco del programa televisivo Encuentros, conducido por el periodista Kuroki Murúa, emitido entre 1990 y 1998 por los Servicios de Radio y Televisión de la Universidad Nacional de Córdoba, el cual consistía en la realización de entrevistas a historiadores, sociólogos, escritores, psicoanalistas y la emisión de informes sobre manifestaciones culturales de diversa índole; 2) los discursos emitidos por los gobernadores e intendentes de Córdoba, asi como de los principales dirigentes de la oposición, difundidos por radio y televisión desde la recuperación de la democracia hasta 2001. El primer conjunto está registrado en cassettes VHS, lo cual implica un serio riesgo para la seguridad de ese material porque es sabido que el simple paso del tiempo produce un deterioro irreparable en las cintas; además requiere de un dispositivo tecnológico para su reproducción que actualmente no está disponible en el mercado. El segundo conjunto está disperso en los archivos de las distintas emisoras de radio y televisión de la ciudad de Córdoba. Estos propósitos se insertan dentro de las actividades que desde 1998 se desarrollan en el Archivo de la Palabra del Centro de Estudios Avanzados de la Universidad Nacional de Córdoba. El Archivo de la Palabra fue creado como un espacio para la creación de fuentes orales producto de investigaciones referidas a la historia política de Córdoba, como también un lugar de reunión y resguardo de las entrevistas realizadas en el marco de investigaciones que contemplaran el uso de este tipo de fuente. En esta instancia, nos proponemos ampliar los objetivos planteados inicialmente incorporando al acervo documental del Archivo, material audiovisual como el correspondiente al programa Encuentros y los discursos políticos a los que hemos hecho referencia. A los propósitos mencionados anteriormente se suman fortalecer la vinculación con redes, archivos orales, asociaciones y centros de investigación que contemplen el uso de fuentes orales e impulsar la formación de recursos humanos en el tratamiento y conservación de fuentes documentales orales y audiovisuales. La realización de este proyecto implica la prosecución de la siguiente metodología: búsqueda y localización del material audiovisual, conservación en un formato adecuado, clasificación, catalogación, puesta a disposición del público. Consideramos que este proyecto contribuirá a la recuperación, resguardo, difusión y utilización de un importante acervo documental que actualmente, debido a las condiciones de mantenimiento en las que se encuentra y a los formatos en los que está registrado corre el riesgo de perderse. Además, el material aludido constituirá un aporte fundamental para el estudio, análisis y comprensión de nuestro pasado reciente como así también para la revalorización de la memoria colectiva de nuestra sociedad. El estudio tiene como límites temporales dos años claves en la historia política argentina: 1983 y 2001.

. VIGILANCIA EPIDEMIOLOGICA DE CHAGAS FAVORECIDA POR LAS TECNOLOGIAS DE LA INFORMACION Y COMUNICACIONES EN ARGENTINA

La enfermedad de Chagas representa uno de los graves problemas de salud pública en América Latina, con alto impacto socio-económico al afectar mayoritariamente a sectores vulnerables y a grupo poblacional en edad productiva. Es una enfermedad de vigilancia epidemiológica activa, a lo que se suma los retos que plantean las diferencias y falta de articulación entre los sistemas de vigilancia implementados en la región, como así también la incorporación de las Tecnologías de Información y Comunicación (TICs) como herramientas disponibles y cada vez más utilizadas en el ámbito de la salud Objetivo: Fortalecer, a través del uso de las TICs, la vigilancia epidemiológica de la enfermedad de Chagas con el objeto de mejorar el control de las mismas, acortando los tiempos entre la notificación y la toma de decisiones por parte de los responsables, mejorar el seguimiento y control del tratamiento de los infectados en zonas piloto de Argentina. Metodología: El presente proyecto tendrá cuatro etapas. Etapa 1: Diseño y desarrollo de bases y herramientas del Sistema de Vigilancia Epidemiológica para Chagas facilitado por TICs (SVEC-TICs), constituido por: 1-Componente “Sistema de Vigilancia para teléfonos móviles”: 2-Componente “Sistema de Vigilancia Online”. 3-Componente “Servicios Móviles”: 4-Componente “Portal Web”. Etapa 2. Implementación del SVEC-TICs Se realizará en zona piloto de la Provincia de Córdoba (Argentina) en el ámbito de las instituciones de salud pública (Centros de Atención Primaria, Hospitales, Área de epidemiología, Ministerio de Salud) trabajando en forma conjunta con los equipos de salud locales. Etapa 3. Medición de impacto del SVEC-TICs y comparación de resultados en los escenarios regionales. Se realizará con una estrategia complementaria de análisis cuantitativo y cualitativo. ANÁLISIS CUANTITATIVO: Al inicio de las actividades de implementación del proyecto, se realizará una línea de base mediante la cual se recopilará información de los sistemas de vigilancia actuales para Chagas: instrumentos de aplicación para vigilancia, utilización o no de TICs y niveles de desarrollo, flujos del sistema de vigilancia, toma de decisiones en los diferentes niveles, devolución de la información a los niveles locales y tiempos utilizados, calidad, integralidad y oportunidad de la información en los diferentes niveles del sistema de vigilancia. Con esta información se elaborará un documento de análisis con debilidades y fortalezas en los sistemas de vigilancia actuales. Se evaluará el impacto del SVEC-TICs, realizando análisis comparativo entre los resultados previos y posteriores a la implementación del proyecto teniendo en cuenta los indicadores planteados. En todos los casos descriptos los datos obtenidos serán analizados según la naturaleza de la variable aplicando ANOVA para las mensurables y datos categorizados para las variables categóricas. ANÁLISIS CUALITATIVO: Se propone analizar específicamente el uso, la apropiación y los procesos de implementación de la incorporación de un sistema de informatización en el sistema de vigilancia de la enfermedad de Chagas, con un enfoque complementario al análisis de las bases de datos digitales que proporciona este instrumento, a fin de poder integrar y complementar resultados de ambas fuentes. La propuesta metodológica cualitativa se sustentará en entrevistas en profundidad y grupos focales a los agentes de salud, directores de los centros de salud. La modalidad de análisis de la información obtenida será realizada a través del método comparativo constante (Strauss y Glaser). Etapa 4. Diseminación del proyecto y sus resultados. Se espera que los pacientes incluidos en el grupo de vigilancia favorecida por las TICS presentarán una mayor oportunidad en la notificación, mejor calidad en el diagnóstico y mejor calidad en la respuesta que los que fueron vigilados sin el apoyo de las mismas.

GESTIÓN INTEGRAL DE RESIDUOS Y SU VALORIZACIÓN COMO ESTRATEGIA DE DESARROLLO PARA REGIONES DE CÓRDOBA.

La gestión de los residuos sólidos urbanos presenta recurrentes problemas ambientales y sociosanitarios, con especial crudeza en el ámbito de municipios de pequeña escala. Esta problemática requiere del desarrollo de nuevas tecnologías y rediseño de la gestión de residuos. En la Provincia de Córdoba, la mayoría de las localidades, disponen sus residuos sólidos en sitios abiertos y en forma incontrolada. Estos basurales, son frecuentados por cirujas, trabajo no formal, quienes conjuntamente con otros integrantes de la familia, incluyendo niños, realizan las actividades de recupero de residuos en forma precaria, poniendo en riesgo la salud de dicha población. A su vez, estos lugares son muy propensos a incendios espontáneos ó provocados, lo que conduce a la generación de humos altamente tóxicos que alcanzan a las zonas urbanas. Esta problemática es compartida por todas las regiones con baja densidad poblacional (10 a 40 hab/Km2). A pesar de los incesantes esfuerzos, no se ha logrado aún alcanzar aproximaciones válidas para dar soluciones a esta problemática.La implementación de sistemas de gestión integral con la aportación de tecnologías de bajo costo y provistas por el mercado local, es la única manera que se pueda llegar a buen término con la gestión de residuos y lograr así un desarrollo sustentable de toda la provincia. Los objetivos que se proponen son lograr una solución al grave problema de contaminación para regiones de la provincia de Córdoba debido a la incorrecta disposición y manejo de los residuos sólidos mediante la implementación de un sistema de gestión integral de residuos acorde a las características particulares de cada región, utilizando nuevos indicadores de gestión. Dentro de los objetivos particulares, podemos citar la implementación de sistemas tecnológicos innovadores en el tratamiento de residuos para una correcta disposición final de tecnología sencilla y bajo costo, la implementación de microemprendimientos productivos de clasificación y recupero de materiales, la valoración de los residuos recuperados en función de Bonos de Carbono, disponer de justificativos técnicos y nuevos indicadores económicos para la gestión de subsidios, valorizar el trabajo del ciruja y su familia, capacitación y toma de conciencia a los sectores involucrados. Para el desarrollo del presente trabajo se plantea implementar un sistema de gestión y recupero de residuos regional e integral, que incluya microemprendimientos productivos para lograr la sustentabilidad y a las familias que actualmente trabajan en el recupero de residuos, diseñar y ensayar equipos con características innovadoras para la disposición final de residuos e implementar un proyecto de educación integral que aúne el conocimiento, capacitación y toma de conciencia. Para lograr los objetivos citados se proponen realizar actividades de relevamiento de indicadores facilitadores de vinculación para las localidades de la provincia, generar una logística de funcionamiento para los municipios, relevar las actividades económicas y sanitarias relacionadas a residuos y de las personas involucradas, desarrollar emprendimientos productivos locales, realizar y ensayar tecnologías para el recupero y disposición de residuos, implementar prototipos a escala piloto, implementar talleres de capacitación y material didáctico en las temáticas medio ambiente, desarrollo sustentable, gestión integral de residuos sólidos, reutilización de residuos, salud pública. El presente proyecto estará llevado a cabo por profesionales docentes y alumnos universitarios de distintas especialidades, como así también docentes y técnicos pertenecientes a un establecimiento de educación superior no universitaria, Itec Río Cuarto. Esto, motivado por el convencimiento y necesidad que los problemas ambientales deben ser abordados en forma interdisciplinaria, y las estrategias de intervención que se proponen deben estar integradas con los aportes de cada una de las disciplinas intervinientes.

Plataforma Framework distribuida para detección temprana de trastornos de déficit de atención en escuelas de nivel primario.

El desarrollo de dicho proyecto intenta dar solución a la problemática de la detección temprana y eficiente de los Trastornos de Déficit de Atención en las escuelas primarias, mediante la construcción de una plataforma informática framework segura, portable y con una interfaz simple y amigable, en entornos distribuídos para el armado de diferentes escenarios de evaluación, test y encuestas para el alumno, la familia y los educadores, que con un enfoque multidisciplinario recaba información permitiendo al profesional a cargo realizar una detección acertada, un diagnóstico eficaz y un tratamiento acorde a las deficiencias psicológicas y de aprendizaje. Proceso lento e imposible de llevar adelante en la actualidad. Modelo: el psicopedagogo genera los test en la plataforma y los activa para que cada alumno los realice en los laboratorios, sus padres y educadores completan las encuestas activas en internet o via mobile o acceden a los laboratorios del colegio. Psicopedagogos analizan resultados obtenidos y emiten conclusión sobre cada caso, para que padres pueden verlos por cualquier medio antes mencionado, siempre con acceso seguro, y a los sectores activados. Beneficios: sociales en la detección de problemas cognitivos en los niños en escuelas primarias, mejorando problemas de los grupos escolares en donde se encuentran niños con TDA, beneficiando la comunicación con las familias con todo lo referido a sus hijos. Las empresas serían otra posible implementación..

Optimización de Arquitecturas de Procesamiento Digital de Señales en Lógica Programable para Aplicaciones en Vuelos No Tripulados

En dispositivos electrónicos de última generación destinados a funciones de comunicación o control automático, los algoritmos de procesamiento digital de señales trasladados al hardware han ocupado un lugar fundamental. Es decir el estado de arte en el área de las comunicaciones y control puede resumirse en algoritmos basados en procesamiento digital de señales. Las implementaciones digitales de estos algoritmos han sido estudiadas en áreas de la informática desde hace tiempo. Sin embargo, aunque el incremento en la complejidad de los algoritmos modernos permite alcanzar desempeños atractivos en aplicaciones específicas, a su vez impone restricciones en la velocidad de operación que han motivado el diseño directamente en hardware de arquitecturas para alto rendimiento. En este contexto, los circuitos electrónicos basados en lógica programable, principalmente los basados en FPGA (Field-Programmable Gate Array), permiten obtener medidas de desempeño altamente confiables que proporcionan el acercamiento necesario hacia el diseño electrónico de circuitos para aplicaciones específicas “ASIC-VLSI” (Application Specific Integrated Circuit - Very Large Scale Integration). En este proyecto se analiza el diseño y la implementación de aquitecturas electrónicas para el procesamiento digital de señales, con el objeto de obtener medidas reales sobre el comportamiento del canal inalámbrico y su influencia sobre la estimación y el control de trayectoria en vehículos aéreos no tripulados (UAV, Unmanned Aerial Vehicle). Para esto se propone analizar un dispositivo híbrido basado en microcontroladores y circuitos FPGA y sobre este mismo dispositivo implementar mediante algoritmo un control de trayectoria que permita mantener un punto fijo en el centro del cuadro de una cámara de video a bordo de un UAV, que sea eficiente en términos de velocidad de operación, dimensiones y consumo de energía.

Mejoramiento del comportamiento térmico de sistemas de calentamiento de agua solares termosifónicos hechos con materiales no convencionales y con tanques de almacenamiento verticales y horizontales Performance improvement of solar thermosyphonic systems for water heating made of non conventional materials and using horizontal and vertical storage tanks

El objeto de estudio de este proyecto son los sistemas de calentamiento de agua mediante energía solar que funcionan termosifónicamente. En particular se tratará con dos diseños particulares generados por fabricantes de la Provincia de Córdoba y que han solicitado el asesoramiento del Grupo de Energía Solar (GES) para el mejoramiento de la performance térmica de dichos equipos. Se trata de dos sistemas que tienen materiales no tradicionales y se diferencian además por tener una distinta disposición del tanque de almacenamiento: uno es en forma vertical y el otro en forma horizontal. Basados en los resultados de un ensayo bajo norma internacional, donde se detectaron algunas puntos factibles de mejora, se propone en este proyecto el análisis en detalle de los equipos, para lo cual se les debe desarmar completos, para realizar un estudio analítico y experimental de los mismos con el objeto de hacer un planteo teórico-analítico del comportamiento de los mismos, con la implementación de propuestas de mejora y chequeo de los resultados. Se propone entonces como objetivo lograr un mejoramiento de la performance térmica de los citados equipos a partir de un estudio experimental y analítico. Asumiendo esta posibilidad de mejora, se plantea la hipótesis de que es posible representar el funcionamiento de estos equipos mediante modelos físico-matemáticos desarrollados a partir de ecuaciones y correlaciones conocidas y procesos a interpretar mediante resoluciones numéricas y softwares específicos de simulación. De esta manera, se plantea el despieze completo de los equipos para estudiar en detalle su estructura y conexiones internas y a partir de la geometría, dimensiones y propiedades termofísicas de materiales constructivos y fluidos de trabajo, realizar modelos físico-matemáticos que permitan realizar variaciones de propiedades y geometría y así buscar las mejores combinaciones que produzcan equipos más eficientes térmicamente. Los modelos físico-matemáticos serán codificados en lenguajes de alto nivel para poder luego de una validación de los modelos, correr simulaciones en un software de reconocimiento internacional que permite sumar dichos modelos mediante un protocolo de comunicación, haciendo que las poderosas prestaciones del software se puedan aplicar a nuestros modelos. Se complementará el estudio con un análisis exergético para identificar los puntos críticos en que se producen las pérdidas de oportunidad de aprovechar la energía disponible, para así analizar cómo solucionar los problemas en dichos puntos. Los materiales a utilizar serán los propios equipos provistos por los fabricantes, que serán modificados convenientemente para operarlos como prototipos Se espera obtener un conocimiento acabado de los procesos y principios de funcionamiento de los equipos, que permita plantear las mejoras, las cuales se implementarán en los prototipos, realizándose una medición mediante norma igual a la inicial para ver en que magnitud se logran las mejoras esperadas. Se pretende además que las mejoras a implementar, en la etapa de transferencia a las empresas involucradas, redunden no sólo en un beneficio técnico, sino que también los sea desde el punto de vista económico. Para ello se trabajará también sobre los procesos y métodos de fabricación para que los equipos mejorados no sean mas caros que los originales y de ser posible sean aún más económicos, todo esto apuntando a la difusión de la energía solar térmica y poner al alcance de todos estos equipos tan convenientes para la propagación de las energías limpias. El proyecto redundará también en un importante beneficio para el conocimiento de la comunidad científica en general, con el aporte de nuevos resultados en diseños novedosos y con nuevos materiales. Además, la institución se beneficiará con la formación que obtendrán los integrantes del proyecto, muchos de ellos en etapa de realización de sus estudios de posgrado y en una etapa importante de su vida como investigadores. The main goal of this project is the improvement of two thermosyphonic solar water heating systems, made of non conventional materials and with different arrangement of their storage tanks: one is vertical and the other one horizontal. The thermosyphonic systems are provided by manufacturers of the Córdoba Province, who came to the Solar Energy Group (GES) of the National University of Río Cuarto looking for help for the design of their products. In an agreement with these manufacturers, it was proposed this project in order to work analytically and experimentally in order to obtain physical-mathematical models of these two systems, which allow for changes to look by means of simulations the best changes to implement on the equipments for the improvement of their thermal performance. Then, the materials to be used are the proper systems provided by the manufacturers, which will be disarmed to be studied in detail. After the analytical study the proposals of improvement will be implemented in a high level language of programming to perform simulations in the environment of a well-known software for energy simulations (TRNSYS). After the simulations, the best modifications will be physically implemented in the prototypes to perform finally the same normalized test of the beginning and check the magnitude of the implemented improvements. The importance of this project is based on the offer of better systems the companies would make, which would benefit the deployment of the thermal solar energy. Another relevant point is to make the new equipments at the same cost of the previous ones or cheaper, in order to achieve a good deployment of the solar water heating systems; then, the manufacture processes and methods must be studied to obtain not only good technical solutions, but also economical equipments. In addition, this project will contribute to the increasing of the knowledge in the area of thermosyphonic solar systems and the training of postgraduate students.

Enfoques sobre la ciudadanía. Philosophical Perspectives on Citizenship.

La necesidad que da origen al presente proyecto se relaciona con la ausencia de un tratamiento de la cuestión de la ciudadanía que haga interactuar distintos enfoques filosóficos -el principal indicador de esta carencia es la ausencia de producciones académicas que den cuenta de la complejidad que adquiere la temática si se la aborda desde los problemas que nos proporcionan otras perspectivas filosóficas y políticas-. En este sentido, el problema general del proyecto apunta a hacer discutir diferentes abordajes conceptuales para pensar la ciudadanía. Específicamente, trabajamos a partir de dos enfoques: 1) la discusión entre liberales y comunitaristas y sus actuales derivas y 2) la cuestión de la biopolítica y su relación con la temática de la ciudadanía. Se procura revisar la discusión liberales-comunitaristas propia de las ciencias políticas, interpelándola a partir de conceptos como los de dominación, relaciones de poder, control sobre la vida, disciplina, entre otros provenientes de la filosofía práctica, la teoría social, las ciencias de la educación, etc. Nuestra investigación parte de la hipótesis de que hacer discutir las problemáticas que se disputan liberales-comunitaristas, con la Teoría Crítica de la Escuela de Frankfurt y con los recientes fenómenos biopolíticos, permite un abordaje que atiende a la efectiva complejidad de las prácticas de ciudadanía en nuestra vida en común en las sociedades democráticas contemporáneas. Esto permitirá complejizar los presupuestos con los que tradicionalmente se ha pensado la ciudadanía, a partir sobre todo de los fenómenos socio-políticos más recientes, como los nuevos movimientos sociales, las discusiones acerca de la legislación del aborto y la eutanasia, los esfuerzos de los estados nacionales por incrementar medidas de seguridad que van desde la imposición de fuertes barreras a la inmigración hasta la realización de guerras preventivas. Entendemos que estos, entre otros fenómenos, desafían la hermenéutica tradicional sobre la ciudadanía. Es de esta manera que se buscará comprender los límites y alcances de las ideas de ciudadanía, entendiéndola como un concepto histórico formador de subjetividades. La metodología se basa en una perspectiva interdisciplinaria que proporciona las herramientas para un análisis conceptual de la temática de la ciudadanía. Esta metodología está orientada al desarrollo de un marco teórico que resulte productivo para investigaciones de campo en las ciencias sociales, así como también para la elaboración de un material bibliográfico destinado a docentes abocados a la ciudadanía. Otro de los propósitos fundamentales es el de formar una red entre diferentes equipos de investigación a nivel nacional a partir de las “I Jornadas Nacionales sobre Ciudadanía” y de la organización de un seminario especializado con un profesor visitante. As far as the general topic of citizenship concerns philosophy, the theoretical problem of how to reconcile the different perspectives, assuming that this is an enterprise that can be done, remains an open question. Furthermore, the absence of academic material dealing with the problem seems to be a good indicator of this tendency. The main focus of the present Project aims at coping with some of the most notorious theoretical approaches to citizenship. More specifically, we will analyze the next two approaches: 1) the debate libertarians-communitarians and 2) the relationship between biopolitics and citizenship. Our purpose is to revise the discussion libertarians-communitarians incorporating concepts such as domination, power-relationships, life-control, among others that find their roots in practical philosophy, social theory, education and so on. To the extent that theories of citizenship are only provided with the usual conceptual machinery, some of the most remarkable phenomena of our democratic societies will stand for them out of reach: the existence of new social movements, abortion and euthanasia, inmigration, etc. Our hypothesis is that by making the debate libertarians-communitarians interact with the Critical Theory as well as with biopolitical concepts, we will be in a better position to try to understand these diverse phenomena. With the development of some sort of a new hermeneutics, we expect to criticize the old ideas related to citizenship and to re-elaborate them in a way that allows us to understand this concept in a less-fundamental, historical sense. Methodologically, we will adopt a multi-dimensional approach which expects to be fruitful to many other investigations in the area of social sciences. The Project pretends to be useful as a consultation resource for educators in a bibliographical index to design their curricula. At the same time,a seminar with a visiting profesor, the organization of a Congres will be our main objectives.

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.

Desarrollo de productos cárnicos funcionales que cuenten con atributos que garanticen la inocuidad alimentaria.

El consumidor actual demanda productos alimenticios que, además de satisfacer sus necesidades nutricionales, cubran sus espectativas de bienestar, placer y seguridad. El aumento de la disponibilidad de información por parte de la población, así como su mayor reflexión acerca del rol que juegan los alimentos en su salud y desarrollo, está llevando hacia una creciente demanda de productos con garantía de inocuidad y con propiedades funcionales benéficas para su salud. El objetivo del proyecto es diseñar y desarrollar productos cárnicos con funcionalidades y características relacionadas con los requisitos y necesidades del consumidor actual en términos de salud, nutrición, y bienestar. Para alcanzar estos atributos, se desarrollarán los productos utilizando diferentes estrategias y metodologías como ser: nuevas formulaciones, incorporación de prebióticos y probióticos, selección y desarrollo de inóculos específicos, sustitución de ingredientes y conservantes, diseño y aplicación de nuevos procesos, equipos, y metodologías de aseguramiento de la inocuidad, etc. En los productos cárnicos diseñados mediante estas estrategias y metodologías, se tendrán en consideración todas las características de calidad, en especial aquellas referidas a la vida útil y a la inocuidad de los mismos. Para tal fin se realizará una cuidadosa evaluación de los peligros potenciales asociados a estos nuevos productos mediante el análisis de riesgo asociado.

Modelos alternativos de fundamentación e intervención para una bioética pensada desde América Latina: el rol del bioeticista público.

El imperante modelo anglosajón de argumentación moral y comprensión de la bioética, y la reducción de la misma a cuestiones inherentes a las instituciones sanitarias y a la relación agente de salud-paciente, han significado una seria dificultad para abordar el tipo de dilemas que ingresan al campo bioético en América Latina, así como también una fuerte presión “normalizadora”de los modelos de argumentación e intervención. Estas dificultades pueden ubicarse bajo dos grandes categorías: los modos y modelos de argumentación bioética, y el rol de quienes abordan las cuestiones bioéticas. Esto ha conllevado un serio déficit para comprender, en un sentido amplio, los alcances de la labor bioética, sus temas, y los tipos de incidencia permitidos a quienes elaboran la reflexión bioética. Por otra parte, y en un sentido vincular más reducido, esto ha suscitado una serie de imposibilidades de recepción y comprensión de las demandas y exigencias formuladas a los equipos de salud por personas procedentes de sectores excluidos y generalmente hacinados en los márgenes urbanos (entendidos estos equipos de modo amplio, o sea, como todo actor social vinculado directa o indirectamente con la salud humana), así como de las tareas que competen a los/las bioeticistas. Se indagará por ello, en primera instancia, los modelos de fundamentación bioética que han devenido paradigmáticos, sus contextos de formulación, justificación y aplicación, así como también los límites que han mostrado en su utilización en América Latina. Desde las diversas tradiciones filosóficas y bioéticas surgidas en América Latina se ofrecerán modelos alternativos al paradigmático, que sean capaces de incluir las situaciones imperantes en nuestro continente, como lo son, por ejemplo, los autores de la tradición liberacionista latinoamericana, y en sentido estricto, los trabajos vinculados a una bioética social y políticamente incidente. Sin embargo, también se tomará de otras tradiciones intelectuales aquellos elementos que permitan comprender más efectivamente la situación propia, como lo son, en el campo amplio del pensamiento filosófico, los aportes de R. Van Potter para una bioética holistica, los de Ricoeur y Merleau Ponty para la construcción de una bioética social anclados en la materialidad de su naturaleza corporal, las teorías contemporáneas del reconocimiento, y finalmente de las tradiciones religiosas que han influido notablemente en las nociones de dignidad y valor de las personas.