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.

DENSIFICACION URBANA: POTENCIAL DE DESARROLLO DE AREAS VACANTES.PROPUESTA DE NUEVAS HERRAMIENTAS VALORATIVAS. Acercamientos alternativos al fenómeno del crecimiento. Estudio de casos. Relevamiento y registro gráfico-conceptual.

La ciudad compacta, se ha dispersado en fragmentos deshilvanando el tejido social en fracciones desconectadas del sentido más profundo de lo urbano. Una realidad plena de contradicciones acumula experiencias ajenas a los modelos teóricos de profesionales y de la gestión pública. Los conflictos de la ciudad superan la planificación, siendo la renta del suelo el único paradigma del desarrollo urbano. La presente Investigación pretende reflexionar acerca de las metodologías de trabajo y los instrumentos posibilitantes de una urbanidad sustentable abordando una crítica al actual paradigma de desarrollo urbano. Se pretende el relevamiento de los sectores conpotencial de cambio (fragmentos urbanos, espacios vacantes, áreas degradadas, etc.) transfiriéndolos a una base de datos digitalizada, que pueda convertirse en un instrumento disciplinar y académico Hipótesis Las posibilidades de revisión del modelo de crecimiento extensivo de baja densidad se producen con mayor intensidad en las áreas vacantes de la ciudad. El potencial de los grandes espacios vacantes de la ciudad es definido por la especulación e intereses de los emprendedores que actúan en el mercado. El Código Normativo es el instrumento que consolida este modelo operativo Objetivos �Promover el análisis y crítica de la ciudad y su territorio, a los efectos de posibilitar un proyecto disciplinar con una urbanidad sustentable. �Proponer herramientas de análisis que permita operar de manera eficiente sobre la dinámica de crecimiento. �Elaborar una base digital de datos como instrumento operativo, que favorezca a la comprensión de fenómenos complejos Materiales y métodos a utilizar 1. Recopilación de datos y estudios bibliográficos para definir el marco conceptual y elaboración de metodos de análisis de espacios vacantes. 2. Estudio y análisis de las normativas vigentes 3. Identificación de espacios vacantes de la ciudad de Córdoba, identificando problemas de fragmentación y dispersión urbana y social: técnicas de muestreo. 4. Relevamiento y registro de campo. 5. Experiencia proyectual en la carrera Resultados esperados -Caracterización de fragmentos urbanos de la ciudad de Córdoba -Registro en base de datos identificando fragmentos urbanos de la Ciudad de Córdoba -Elaboración gráficos conceptuales y modelización en 3D -Resultados de experiencia piloto Importancia del proyecto Considerando el crecimiento de la ciudad de Córdoba, la crisis de las infraestructuras a la degradación de los espacios urbanos, la falta de una planificación sustentable y la desactualización de las Normativas Vigentes, se hace necesario la reflexión en el ámbito académico Pertinencia Contar con documentación real y confiable es prioritaria para la gestión de la ciudad, posibilitando articular problemas y oportunidades. Desde el campo metodológico brinda la posibilidad de formar una base teórica suceptible de relacionar la crítica y el proyecto.

Verificación Formal de Sistemas basada Formal Software Verification based on Automated Analysisen Análisis Automático.

Identificación y caracterización del problema. Uno de los problemas más importantes asociados con la construcción de software es la corrección del mismo. En busca de proveer garantías del correcto funcionamiento del software, han surgido una variedad de técnicas de desarrollo con sólidas bases matemáticas y lógicas conocidas como métodos formales. Debido a su naturaleza, la aplicación de métodos formales requiere gran experiencia y conocimientos, sobre todo en lo concerniente a matemáticas y lógica, por lo cual su aplicación resulta costosa en la práctica. Esto ha provocado que su principal aplicación se limite a sistemas críticos, es decir, sistemas cuyo mal funcionamiento puede causar daños de magnitud, aunque los beneficios que sus técnicas proveen son relevantes a todo tipo de software. Poder trasladar los beneficios de los métodos formales a contextos de desarrollo de software más amplios que los sistemas críticos tendría un alto impacto en la productividad en tales contextos. Hipótesis. Contar con herramientas de análisis automático es un elemento de gran importancia. Ejemplos de esto son varias herramientas potentes de análisis basadas en métodos formales, cuya aplicación apunta directamente a código fuente. En la amplia mayoría de estas herramientas, la brecha entre las nociones a las cuales están acostumbrados los desarrolladores y aquellas necesarias para la aplicación de estas herramientas de análisis formal sigue siendo demasiado amplia. Muchas herramientas utilizan lenguajes de aserciones que escapan a los conocimientos y las costumbres usuales de los desarrolladores. Además, en muchos casos la salida brindada por la herramienta de análisis requiere cierto manejo del método formal subyacente. Este problema puede aliviarse mediante la producción de herramientas adecuadas. Otro problema intrínseco a las técnicas automáticas de análisis es cómo se comportan las mismas a medida que el tamaño y complejidad de los elementos a analizar crece (escalabilidad). Esta limitación es ampliamente conocida y es considerada crítica en la aplicabilidad de métodos formales de análisis en la práctica. Una forma de atacar este problema es el aprovechamiento de información y características de dominios específicos de aplicación. Planteo de objetivos. Este proyecto apunta a la construcción de herramientas de análisis formal para contribuir a la calidad, en cuanto a su corrección funcional, de especificaciones, modelos o código, en el contexto del desarrollo de software. Más precisamente, se busca, por un lado, identificar ambientes específicos en los cuales ciertas técnicas de análisis automático, como el análisis basado en SMT o SAT solving, o el model checking, puedan llevarse a niveles de escalabilidad superiores a los conocidos para estas técnicas en ámbitos generales. Se intentará implementar las adaptaciones a las técnicas elegidas en herramientas que permitan su uso a desarrolladores familiarizados con el contexto de aplicación, pero no necesariamente conocedores de los métodos o técnicas subyacentes. Materiales y métodos a utilizar. Los materiales a emplear serán bibliografía relevante al área y equipamiento informático. Métodos. Se emplearán los métodos propios de la matemática discreta, la lógica y la ingeniería de software. Resultados esperados. Uno de los resultados esperados del proyecto es la individualización de ámbitos específicos de aplicación de métodos formales de análisis. Se espera que como resultado del desarrollo del proyecto surjan herramientas de análisis cuyo nivel de usabilidad sea adecuado para su aplicación por parte de desarrolladores sin formación específica en los métodos formales utilizados. Importancia del proyecto. El principal impacto de este proyecto será la contribución a la aplicación práctica de técnicas formales de análisis en diferentes etapas del desarrollo de software, con la finalidad de incrementar su calidad y confiabilidad. A crucial factor for software quality is correcteness. Traditionally, formal approaches to software development concentrate on functional correctness, and tackle this problem basically by being based on well defined notations founded on solid mathematical grounds. This makes formal methods better suited for analysis, due to their precise semantics, but they are usually more complex, and require familiarity and experience with the manipulation of mathematical definitions. So, their acceptance by software engineers is rather restricted, and formal methods applications have been confined to critical systems. Nevertheless, it is obvious that the advantages that formal methods provide apply to any kind of software system. It is accepted that appropriate software tool support for formal analysis is essential, if one seeks providing support for software development based on formal methods. Indeed, some of the relatively recent sucesses of formal methods are accompanied by good quality tools that automate powerful analysis mechanisms, and are even integrated in widely used development environments. Still, most of these tools either concentrate on code analysis, and in many cases are still far from being simple enough to be employed by software engineers without experience in formal methods. Another important problem for the adoption of tool support for formal methods is scalability. Automated software analysis is intrinsically complex, and thus techniques do not scale well in the general case. In this project, we will attempt to identify particular modelling, design, specification or coding activities in software development processes where to apply automated formal analysis techniques. By focusing in very specific application domains, we expect to find characteristics that might be exploited to increase the scalability of the corresponding analyses, compared to the general case.

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.

Caracterización de la vulnerabilidad de corredores comerciales a peligros naturales en el contexto de la Provincia de Córdoba

Los fenómenos naturales son parte de la realidad ambiental. Pueden convertirse en peligros naturales si resultan potencialmente perjudiciales para el hombre y sus actividades o en desastres naturales si finalmente se desencadenan. La ocurrencia de desastres naturales pone de manifiesto la importancia de las vías de comunicación: por un lado son parte de la infraestructura necesaria para operaciones de emergencia (lifelines) y por el otro, son actores condicionantes del desarrollo futuro. (...) Objetivos generales El proyecto tiene por finalidad la caracterización, en la provincia de Córdoba, de la vulnerabilidad a peligros naturales que afecta a la red vial principal; la determinación de perfiles de vulnerabilidad expresados en términos socio-económicos y discriminados por componentes de infraestructura tales como tramos de caminos, puentes, túneles, intersecciones a desnivel y otros; y el desarrollo y aplicación de metodologías y herramientas de análisis de información para la incorporación de estudios de vulnerabilidad en la planificación y gestión vial. (...) Esto permitirá generar "perfiles de vulnerabilidad" de la red; identificarán, mediante reportes y mapas temáticos, los componentes de la misma que son vulnerables en el corto y mediano plazo y que representan un riesgo elevado para el sector. Esto significará un importante aporte a los encargados de la planificación regional y gestión vial, para tomar mejores y más eficientes decisiones a la hora de estudiar la factibilidad de nuevos proyectos en el sector o evaluar las inversiones y estrategias necesarias para la mantención y rehabilitación de los componentes viales. Objetivos específicos * Caracterizar los peligros naturales que afectan a la red vial de Córdoba. * Obtener perfiles de vulnerabilidad de las carreteras frente a los peligros naturales. * Establecer metodologías de análisis y adaptación de las existentes a nuestro medio. * Establecer niveles de información para generar la participación interdisciplinaria de la temática.

Cambios en la productividad de la agricultura mundial y perspectivas para el desarrollo de las naciones

La investigación se inscribe en el marco del Proyecto de Cooperación Internacional que viene desarrollando, desde hace varios años, la Oficina de Estadísticas de las Naciones Unidas y el Banco Mundial. El objetivo de este proyecto es analizar los patrones de crecimiento de productividad de la agricultura en las distintas áreas del mundo, sus factores determinantes y su correlación con los niveles de bienestar de los distintos países. La metodología a utilizar consiste en el análisis estático comparativo de las productividades para cinco momentos del tiempo (1970-1975-1980 y 1990) y su correlación con una serie de indicadores económicos sociales de los distintos países y áreas del mundo. Los tests estadísticos del tipo de tablas de contingencia y otros más modernos contribuirán a comprobar las hipótesis propuestas. Los elementos estructurales que acompañarán el análisis de la productividad, en un contexto dinámico, se refieren al cambio tecnológico, las políticas de precios e ingresos, las estrategias de desarrollo y el papel de las instituciones del mercado como condicionantes de los resultados en el plano distributivo. En el caso de Argentina, se espera conocer las perspectivas de desarrollo agrícola en la próxima década, las posibilidades de acrecentar el excedente del sector y su impacto sobre el progreso económico. En ese contexto se enfatizará el papel del cambio tecnológico factible de ser incorporado al sector agropecuario en los próximos años y su impacto sobre la productividad y rentabilidad de las explotaciones.

Micro-empresa y capacidad empresarial en Córdoba: situación actual y perspectivas. Microenterprise and entrepreneurship in Córdoba: present situation and perpectives.

Las transformaciones del mercado laboral, tanto de los países desarrollados como en vías de desarrollo, han sido importantes en las últimas décadas. Una de sus manifestaciones es la creciente expansión del trabajo organizado en torno a los micro-emprendimientos. Las investigaciones existentes a nivel internacional indican que la capacidad empresarial que debe poseer el emprendedor es un factor que resulta crucial para el desarrollo y sostenimiento de estas formas de producción. Por tal razón, el estudio de este aspecto y de su relación con los micro-emprendimientos es un tema que está concitando creciente atención y sobre el que existe un cuerpo teórico de literatura específica que ha comenzado a transferirse a los países en vías de desarrollo, donde la discusión es aún incipiente. Los estudios han observado que los micro-emprendimientos están normalmente muy ligados a la familia, esto hace que su desenvolvimiento y evolución resulten afectados por las características particulares de cada hogar. Se trata de un complejo conjunto de situaciones sociales que se generan a partir de estas nuevas formas de organización del trabajo, donde resulta dificultoso distinguir entre el micro-emprendimiento y la figura del emprendedor, lo cual ha llevado a que muchas veces las políticas públicas, sensibles a la necesidad de apoyar a los grupos poblacionales vulnerables, adquirieran un sesgo pro-pobre, en detrimento de su objetivo principal de incentivar el desarrollo sustentable de pequeñas unidades productivas. El equipo de investigación autor del presente proyecto concluyó recientemente, en el marco de un proyecto PICTOR II, un primer estudio sobre la temática de los micro-emprendimientos en Córdoba, analizando los factores que ayudan a comprender mejor las razones por las que algunos emprendedores alcanzan un mayor éxito que otros, a partir del cual surgieron nuevos interrogantes sobre el rol de la política pública en esta materia, a los que se intentará dar respuesta en esta oportunidad. Más concretamente, en esta investigación se abordarán, ahora con profundidad, diversas cuestiones importantes que analizan el vínculo entre la figura del emprendedor con el micro-emprendimiento que posee y con el efecto general de las políticas públicas en el sector. Uno de los temas es determinar hasta qué punto el comentado sesgo "pro-pobre" estuvo presente en el caso de las políticas públicas aplicadas en Córdoba y qué consecuencias tuvo sobre los micro-emprendimientos y su sustentabilidad. Este aspecto está directamente ligado a la necesidad de discernir acerca de si el fundamento teórico de las políticas públicas diferencia adecuadamente entre el micro-emprendedor y la micro-empresa. Otra importante cuestión a abordar es la de indagar sobre la relación entre capacidad empresarial, capital humano y nivel socio-económico del emprendedor. Resultará de sumo interés identificar los factores que estimulan e inhiben las manifestaciones de capacidad empresarial individual, y establecer su relación con las posibilidades de sustentabilidad del micro-emprendimiento, lo cual debería ser tomado en cuenta por las políticas públicas. El caso de los individuos que se convirtieron en micro-emprendedores como una estrategia para superar la situación de desempleo en que se encontraban, es un tema que será examinado en especial y a la luz de la performance observada del emprendimiento. Serán fuentes primarias de información la Encuesta llevada a cabo en el proyecto PICTOR II arriba mencionado y una re-encuesta a los micro-emprendedores que fueron oportunamente entrevistados. A ello se agregará un estudio de casos de emprendimientos muy exitosos. Los datos de fuentes secundarias surgirán del INDEC, de organismos oficiales y de instituciones no gubernamentales. Los principales métodos y herramientas de análisis a utilizar son los que proporcionan la Estadística, la Econometría y la Micro-economía.

Desarrollo de metodología e instrumentación para el análisis de compuestos de interés biológico en sistemas de flujo continuo

La cromatogafía líquida de alta perfomance (HPLC) se ha transformado en una de las herramientas analíticas preferidas en el ámbito académico, tecnológico e industrial. Aunque la técnica data de fin de la década del ´60, no ha sido hasta mediado de los años '70 que la misma ganó popularidad, fundamentalmente por los avances logrados en la reproducibilidad de la fabricación de fases estacionarias, mejores bombas de alta presión y el desarrollo de detectores más sensibles. La cromatografía líquida de alta performance es en la actualidad una técnica de gran utilidad en la química clínica y en la bioquímica. Esta técnica resulta muy útil para el análisis de compuestos a nivel de trazas dentro de las complejas matrices biológicas. El objetivo principal del presente proyecto es realizar investigaciones en el área de la Química Analítica, específicamente química bioanalítica, a fin de desarrollar metodologías y detectores electroquímicos altamente sensibles y selectivos para el análisis de compuestos de interés biológico mediante cromatografía líquida de alta presión. El proyecto comprende tres líneas íntimamente relacionadas: A) Análisis de metabolitos de catecolaminas por HPLC con apareamiento iónico, en orina de ratas cuyas madres han sido sometidas a estrés por inmovilización; esto permitirá correlacionar el efecto del estrés prenatal en los niveles de catecolaminas presentes en las crías. Esta línea está comprendida en un objetivo más amplio que es correlacionar el efecto del estrés prenatal sobre la madurez sexual de las crías. B) Análisis de antibióticos del grupo de las fluoroquinolonas mediante técnicas electroquímicas y de HPLC. Se pretenden elucidar los procesos de electrodo que ocurren durante la electrorreducción de antibióticos del grupo de las fluoroquinolonas, para de esta manera desarrollar detectores electroquímicos para sistemas de flujo continuo. C) Desarrollo de un micropotenciostato computarizado para la detección en sistemas de flujo continuo. (...) También se pretende implementar el uso de un microelectrodo anular desarrollado en la Comisión Nacional de Energía Atómica.

Fenomenología de la Corporeidad: Análisis de la corporeidad a partir de la problematización del cuerpo y lo corpóreo

La investigación realizada constituye un intento de reflexión acerca del problema de la corporeidad en el marco teórico y conceptual heredado por la filosofía de la subjetividad que se origina en la modernidad y que conforma una clara influencia en las definiciones del sujeto en la contemporaneidad. La perspectiva de análisis escogida para evitar caer en cualquier forma de reducción del problema, ya sea materialista o espiritualista, es la fenomenología, en la particular versión del filósofo francés M. Merleau-Ponty. La fenomenología proporciona además una metodología de investigación descriptiva y pre-tética que permite abordar el problema de la corporeidad partiendo de las vivencias (Erlebnisse). Objetivo General: Destacar la importancia del problema de la corporeidad en el contexto de la filosofía contemporánea y desarrollar a partir del aporte de la fenomenología las herramientas teóricas para su análisis y discusión. Objetivos Particulares: 1) Circunscribir y definir el problema de la corporeidad dentro del contexto teórico proporcionado por el dualismo sustancialista. 2) Analizar y discutir algunas alternativas contemporáneas de solución al problema del dualismo. 3) Explicitar y sistematizar los principales aportes del pensamiento de Merleau-Ponty al tema objeto de la investigación. 4) Analizar y discutir las conclusiones merleau-pontyanas. 5) Considerar y evaluar críticamente el intento merleau-pontyano de superación del dualismo por medio de las nociones de "cuerpo fenomenal" y "carne". 6) Esbozar una fenomenología de la corporeidad que parta de las vivencias y se constituya en una reflexión crítica acerca de la importancia del cuerpo en la definición de la subjetividad.

Estrategias estadístico-computacionales avanzadas para análisis de expresión de proteínas/genes en cáncer. Advanced statistical and computational strategies for protein/gene expression analysis in cancer.

El objetivo de este proyecto, enmarcado en el área de metodología de análisis en bioingeniería-biotecnología aplicadas al estudio del cancer, es el análisis y caracterización a través modelos estadísticos con efectos mixtos y técnicas de aprendizaje automático, de perfiles de expresión de proteínas y genes de las vías metabolicas asociadas a progresión tumoral. Dicho estudio se llevará a cabo mediante la utilización de tecnologías de alto rendimiento. Las mismas permiten evaluar miles de genes/proteínas en forma simultánea, generando así una gran cantidad de datos de expresión. Se hipotetiza que para un análisis e interpretación de la información subyacente, caracterizada por su abundancia y complejidad, podría realizarse mediante técnicas estadístico-computacionales eficientes en el contexto de modelos mixtos y técnias de aprendizaje automático. Para que el análisis sea efectivo es necesario contemplar los efectos ocasionados por los diferentes factores experimentales ajenos al fenómeno biológico bajo estudio. Estos efectos pueden enmascarar la información subycente y así perder informacion relavante en el contexto de progresión tumoral. La identificación de estos efectos permitirá obtener, eficientemente, los perfiles de expresión molecular que podrían permitir el desarrollo de métodos de diagnóstico basados en ellos. Con este trabajo se espera poner a disposición de investigadores de nuestro medio, herramientas y procedimientos de análisis que maximicen la eficiencia en el uso de los recursos asignados a la masiva captura de datos genómicos/proteómicos que permitan extraer información biológica relevante pertinente al análisis, clasificación o predicción de cáncer, el diseño de tratamientos y terapias específicos y el mejoramiento de los métodos de detección como así tambien aportar al entendimieto de la progresión tumoral mediante análisis computacional intensivo.

Disposición final de residuos sólidos en el ejido municipal de la ciudad de Córdoba: una oportunidad para el desarrollo de herramientas de gestión ambiental municipal participativa.

Identificación y caracterización del problema objeto del estudio. La gestión ambiental es un proceso continuo y dinámico cuyo fin es la implementación de políticas ambientales. Es clave en un municipio la gestión de los residuos sólidos urbanos (RSU) ya que requiere que se consideren aspectos tales como su recolección, tratamiento, disposición final y la participación social. La insuficiencia de datos vinculados a su disposición final dificulta el diseño y establecimiento de planes y su seguimiento. Tampoco se considera prioritaria la incorporación de los vecinos en la construcción de estrategias de gestión lo que genera resistencia hacia las mismas. Hipótesis. La problemática de los RSU es una manifestación particular de la interacción entre el medio físico y los actores sociales que en él se asientan y desarrollan sus actividades. El estudio de conocimientos, percepciones y valoraciones sobre el ambiente es vital para conocer la implicación social en los temas ambientales. Objetivos. Desarrollar herramientas técnico-científicas que orienten la gestión ambiental participativa escala municipal. Como objetivos específicos: analizar la situación ambiental en el área afectada por la disposición final de residuos de la ciudad de Córdoba; valorar la perspectiva ambiental de los habitantes del sector en relación a los RSU; analizar y valorar las estrategias de gestión ambiental municipal asociadas a su disposición final; relacionar las estrategias ambientales aplicadas con las condiciones socio-ambientales identificadas. Materiales y Métodos. El área de estudio se localiza en el sector sur de la ciudad de Córdoba, donde se halla el actual enterramiento sanitario transitorio. Su caracterización socio-ambiental comprenderá: Análisis y Diagnóstico Ambiental. Se utilizará el esquema Presión-Estado-Respuesta para estructurar la aplicación de indicadores ambientales. Para la interpretación de la información ambiental y su expresión espacial se utilizará ArcGIS. Ésta se incorporará a un video documental que servirá como disparador de los grupos focales. Análisis de la Perspectiva Ambiental. Las fuentes secundarias permitirán contextualizar los procesos estudiados. Se consultarán censos nacionales y provinciales, y otros documentos e informes técnicos. La recolección de información primaria se realizará mediante grupos focales y entrevistas semi-estructuradas. Éstas se harán mediante la estratificación de los actores sociales según composición del ingreso, e identificando otros referentes que aporten a la comprensión del proceso. El número de entrevistas se determinará mediante la obtención del punto de saturación teórica. El instrumento para llevar adelante estas entrevistas será una Guía de Pautas. Resultados esperados. Se obtendrá un documento organizado en tres secciones. La primera presentará el diagnóstico, los indicadores y los instrumentos para la valoración ambiental de los vecinos. La segunda plasmará los resultados obtenidos a través de cartografía elaborada con los datos de campo relevados, el registro, sistematización y síntesis de los datos analizados. En la última sección se formularán propuestas desde el punto de vista de la gestión ambiental municipal participativa. Importancia del proyecto. La gestión de los RSU es de incumbencia municipal. Los avances en política ambiental generan la necesidad de identificar sitios para la localización de infraestructuras para su tratamiento y disposición final. Esta situación, sin un adecuado proceso de participación pública, puede desencadenar conflictos evitables, como el traslado del enterramiento sanitario de Bower a uno transitorio en el ejido de la ciudad de Córdoba. Allí se generó un proceso que evidenció los inconvenientes de la toma de decisiones sin participación ciudadana. En abril de 2011 éste se trasladará a una nueva localización, situación que se presenta como un caso de análisis válido de abordar detalladamente y ahondar en los procesos de gestión ambiental urbana.

Sistemas, herramientas y procesos de gestión económica, social y ambientalmente responsables en ámbitos locales y regionales.

La identificación, cuantificación y valoración de los factores críticos exógenos y endógenos del desarrollo local y regional sostenible, realizada en los años anteriores, ha permitido elaborar las bases conceptuales del problema, medir sus efectos, las causalidades y recomendaciones para la acción Básicamente, todas ellas se orientan a la necesidad de establecer organizaciones, modelos de gestión, sistemas de información, herramientas y procedimientos que promuevan la integración social, la adopción de valores y prácticas institucionales en todos los ámbitos, adecuadas a la minimización de la fuga de recursos –económicos, financieros y humanos- locales y la maximización del valor agregado y riqueza local generada, capitalizando localmente los recursos financieros, humanos, ambientales, sociales y de conocimiento. Esta investigación aplicada, prevé la elaboración de 1. Normas de reportes de sostenibilidad –para el sector público, privado y social-. 2. El análisis del sistema financiero –bancario y no bancario- y mercado de capitales desde una perspectiva local y regional. 3. Sistemas locales y regionales de información, planeación, ejecución y controles de gestiones económicas, social y ambientalmente responsables y sostenibles. 4. Modelos y prácticas en la gestión de vivienda y hábitat. A partir de ellas se avanzará en el diseño e implementación de Programas de Posgrado y Capacitación que permitan transferir las tecnologías desarrolladas a administradores públicos, empresas privadas y entidades sociales que son los protagonistas del proceso. Para ello, el proyecto pretende trabajar desde la Facultad de Ciencias Económicas y con otras unidades académicas de la UCC, para lo cual cuenta con un equipo multidisciplinario inserto en los procesos de responsabilidad socio-económica de diversas instituciones y relaciones con entidades sociales, empresarias y estatales. Además prevé el trabajo conjunto con entidades capaces de apoyar –logística y financieramente- los objetivos de la investigación –CEVE, Consejo Profesional de Ciencias Económicas de la Provincia de Córdoba, IARSE, Ministerios provinciales, Gobiernos locales y regionales, Red Ciudadana Nuestra Córdoba, ADEC, FEMUCOR, IPES, etc.-, con los que se ha avanzado y procurará firmar acuerdos de colaboración.

Guía de buenas prácticas para el análisis de la variabilidad espacial del rendimiento en lotes de producción agrícola.

En los últimos años se han difundido, en la región productora de granos de la Provincia de Córdoba, la utilización de tecnologías de agricultura de precisión (monitores de rendimiento, GPS, sensores geofísicos) que permiten medir y en consecuencia, manejar diferenciadamente la variabilidad espacial intralote, tanto de los rendimientos como de propiedades del sitio (suelo, terreno, nutrientes). Los mapas de rendimiento y de suelo a escala de lote (intralote) proveen indicadores de riesgos asociados con la producción y constituyen herramientas claves para implementar el manejo sitio-específico en agricultura de precisión. Estos mapas deben ser realizados desde los datos que producen las nuevas maquinarias. La identificación de zonas homogéneas, surge como una necesidad para el manejo de la variabilidad espacial del rendimiento; éstas se interpretan como conjuntos de sitios con una misma combinación de factores limitantes de la producción y por tanto con una misma demanda para maximizar la producción. La delimitación de zonas homogéneas se realiza utilizando los datos georreferenciados de rendimiento y/o de sitio, pero el óptimo uso de la información espacial disponible, demanda nuevos desarrollos estadístico-computacionales. Las dependencias espaciales de los rendimientos y de las propiedades del sitio son actualmente abordadas con modelos geoestadísticos clásicos, con métodos multivariados y con modelos estadísticos contemporáneos como los modelos mixtos de covarianza espacial. Cuando los datos de suelo se obtienen por sitio en varios años, la zonificación podría depender también de la variabilidad temporal de las mediciones. La variabilidad temporal en las propiedades de sitio impacta en las zonificaciones y consecuentemente en las predicciones de rendimientos. Nuestro grupo de investigación en Estadística y Biometría de la Facultad de Ciencias Agropecuarias, Universidad Nacional de Córdoba, ha desarrollado algoritmos computacionales para el análisis de la variabilidad espacial de los rendimientos intralote, contemplando simultáneamente la correlación espacial y la variabilidad temporal. A través del software de desarrollo nacional InfoStat y su interfase con el software R, se han implementado diversas técnicas para el análisis exploratorio de datos georeferenciados y el análisis de la variabilidad espacial así como para la delimitación de zonas homogéneas y funciones para la predicción del rendimiento utilizando variables regionalizadas de sitio como predictoras. InfoStat es utilizado en ámbitos estatales y privados (INTA, Universidades, Semilleros y Empresas de gestión de la producción agrícola). Numerosos grupos de técnicos, docentes y/o investigadores demandan capacitación y asesoramiento en el uso de nuevas aplicaciones y análisis que se pueden realizar con este software. La posibilidad de publicar nueva documentación para apoyar el análisis estadístico de información proveniente de lotes en producción de cultivos de grano es importante para la región central y sur de la Provincia de Córdoba, donde están ya instaladas las capacidades para captura intensiva de datos desde nuevas maquinarias precisas. El objetivo de la presente propuesta es difundir, a través de la edición de un libro, con ejemplos ilustrativos del paso a paso del análisis estadístico para el estudio de variabilidad espacial del rendimiento intralote.

Análisis computacional del comportamiento termo-mecánico de materiales con aplicación a la industria automotriz

Para la supervivencia de cualquier industria en un mercado cada vez más competitivo resulta esencial mejorar la calidad del producto y reducir costos. Como parte de esa tendencia, el proceso de diseño, tanto de bienes como de procesos de manufactura, debe ser confiable e insumir el menor tiempo posible para permitir agilidad y eficacia en los cambios y las innovaciones que requiere el mercado. Es necesario abandonar los procesos de desarrollo basados en largas y costosas secuencias de prueba y error y reemplazarlos por procedimientos más cortos y eficientes. Las herramientas informáticas y los modelos computacionales han contribuido en gran medida a lograr dicho objetivo. Estos métodos son cada vez más utilizados en industrias tan importantes como la automotriz o la de maquinaria y equipamiento agrícola, ambas de relevante importancia en la actividad económica de nuestra provincia. En las mencionadas industrias, con la intención de mejorar las prestaciones del producto, de reducir costos de mantenimiento para igual prestación y, sobre todo, con el objetivo de disminuir el peso total del vehículo, factor importante en relación con el ahorro de combustible, es habitual la sustitución de algunos materiales tradicionalmente utilizados por otros con mejor relación prestación/costo y prestación/peso. Dentro de este grupo de nuevos materiales que se emplean en la industria automotriz se encuentran los compuestos, las aleaciones ligeras y la fundición dúctil, los cuales han estado substituyendo al acero o a la fundición gris en algunas piezas. La meta de esta investigación es generar modelos computacionales multiescala de: a) el proceso de tratamiento térmico de austemperizado de la fundición dúctil, b) el comportamiento mecánico de elementos de fundición dúctil y c) el comportamiento mecánico de material compuesto de matriz epoxi y fibra de vidrio con daño higrotérmico. Se usarán simulaciones acopladas de meso y macromecánica. El principal postulado es que la representación de la mesomecánica del material acoplada a la macromecánica conduce a resultados que mejoran las predicciones con respecto a modelos planteados sólo a nivel macroscópico. El dominio macroscópico se representará con elementos finitos y en ese nivel se resolverán problemas térmicos y mecánicos. En la mesoescala se emplearán leyes fenomenológicas para el aspecto metalúrgico del austemperizado y elementos finitos para el análisis del comportamiento micromecánico de la fundición dúctil y del material compuesto. Los productos resultantes de la investigación serán software y metodologías que puedan ser utilizadas en la mejora del diseño de piezas de fundición dúctil y de materiales compuestos y en el ajuste del tratamiento de austemperizado de la fundición dúctil que permita obtener la microestructura requerida. Desde un punto de vista académico y en relación con la temática planteada en el proyecto, tres integrantes llevarán a cabo sus estudios doctorales y se publicarán resultados en revistas internacionales

Análisis de componentes del sistema inmune innato en la infección VIH/SIDA: Apoptosis y expresión de moléculas y receptores en Polimorfonucleares Neutrófilos

El Virus de la Inmunodeficiencia Humana (VIH) afecta principalmente a la respuesta inmune específica causando una pérdida progresiva de los linfocitos T CD4+. Este virus también puede afectar a células del sistema inmune innato, como los Polimorfonucleares Neutrófilos (PMN). Los objetivos propuestos para esta etapa del proyecto son: a) investigar el efecto de la infección por VIH sobre la apoptosis de PMN, b) analizar la expresión de moléculas y receptores de reconocimiento de patrones moleculares asociados a patógenos en estas células y c) evaluar el impacto de la terapia antirretroviral sobre la apoptosis y expresión de moléculas y receptores en PMN. Se incluirán individuos en distintos estadios de la infección con o sin tratamiento antirretroviral y se determinarán parámetros hematológicos, inmunológicos y virológicos a fin de correlacionar el nivel de apoptosis y expresión de moléculas y receptores con el nivel de linfocitos T CD4+ y carga viral. La importancia de los PMN en el control de la infección por el VIH es actualmente un área de mucho interés, ya pueden ejercer un efecto anti-VIH directo, y al mismo tiempo, ser blancos de la infección viral. Comprender los aspectos claves en la cascada de la apoptosis de estas células podría en un futuro aportar posibles blancos terapéuticos, que permitan restaurar la función de los PMN durante la infección VIH/SIDA.