Hábitat urbano: accesibilidad para todos. El sistema de movimiento para una mejor calidad de vida en el espacio público. Estudio de casos internacionales aplicables a nuestra realidad.

La finalidad de esta investigación es aportar premisas para el diseño y reestructuración de los sistemas de movilidad que lleve a la cualificación del hábitat urbano. Buscaremos identificar factores problemas que son comunes en distintas ciudades de Latinoamérica. La investigación se estructurará en 3 etapas: 1) La primera consiste en el estudio y análisis de casos paradigmáticos en el ámbito nacional e internacional para la conformación de la plataforma teórica de trabajo. 2)La segunda, tomando como caso de estudio un sector en particular, será vista desde dos miradas: La actual sumada a una futura de carácter propositivo. 3)La tercera, de síntesis, permitirá establecer pautas para la elaboración de lineamientos para ser aplicables a un sistema de movilidad urbana desde parámetros ambientales.

Sentidos e indicios de vida de las prácticas religiosas urbanas de las mujeres laicas. Estudio de casos: parroquia santa maría de la paz y parroquia San Nicolás de Bari pastoral urbana, 2011-2012.

La investigación enfoca los sentidos e indicios de vida de las prácticas religiosas de las mujeres que asisten a dos parroquias de la ciudad: Santa María de la Paz, ubicada en los barrios del noroeste, y San Nicolás de Bari, emplazada en la zona periférica noreste de la Ciudad de Córdoba. A modo de hipótesis se plantea la emergencia de nuevos modos de vinculación y de pertenencia a la institución parroquial de los actores sociales laicos que concurren a las mismas, mayoritariamente mujeres con niveles de instrucción medio, que presumible-mente han modificado sus modos de vivir la fe y de practicar la religión a partir de las condiciones de transformación de la cultura urbana experimentada en la Ciudad en los últimos 20 años y que dan origen, a su vez, a nuevos sentidos de la religiosidad urbana y de la construcción de las subjetividades femeninas a partir de las nuevas referencias urbanas e identitarias. El objetivo principal pretende desarrollar un trabajo interdisciplinario de análisis e interpretación de los sentidos de las prácticas de espiritualidad de los crono-topos urbanos de los laicos, particularmente de las mujeres, que asisten a estas parroquias. Se espera obtener un exhaustivo conocimiento de la realidad urbana religiosa-cultural y de las prácticas espirituales de estas dos parroquias. La realización del proyecto de investigación supone un abordaje interdisciplinario bajo una metodología hermenéutica-cualitativa que implica dos momentos: empírico (sociológico: estudio de caso)y crítico hermenéutico (teológico y filosófico).

Factores críticos endógenos del desarrollo local sustentable. Sistemas y procesos de participación y control democrático en pequeñas comunidades, empresas, y organizaciones de la sociedad civil.

La democracia –y en especial la participación y su control- se han consolidado en el campo teórico -económico y social-, como la única forma de avanzar en el desarrollo sustentable y sostenible de las comunidades. Su ejercicio efectivo y cotidiano, depende de la existencia y operación de sistemas de información –para la toma de decisiones y difusión- en las entidades públicas, privadas y de la sociedad civil, que sostengan los principios democráticos de libertad, igualdad, derechos políticos, económicos y sociales, que a lo largo de la historia se han incorporado a su definición. La identificación realizada en los últimos 4 años, de los factores críticos externos del desarrollo local como la concentración y las externalidades, permiten construir sistemas de información estratégica para avanzar en la elaboración de planes y proyectos de desarrollo. Por su parte, los factores endógenos de las comunidades y organizaciones plantean el desafío de desarrollar formas de organización y gestión, que permitan superar el voluntarismo, los conflictos personales o sectoriales y avanzar sobre bases objetivas en los procesos de negociación, obtención de consensos y conducción en busca del bien común, sobre bases democráticas. El proyecto mediante un método comparativo, identifica los comportamientos, las prácticas institucionales y los mecanismos utilizados en comunidades, empresas y OSC en relación con ese “bien común”, de modo de diseñar instrumentos de planeación, toma de decisiones, ejecución y control –sistemas de autodiagnóstico, Balance social, Paneles de Comando, Balanced Scorecad, etc.- cuya adopción en las organizaciones mencionadas haría realidad su gestión responsable, desarrollo sostenible y democrático.

Avances en el desarrollo tecnológico de especies ornamentales nativas: los casos de glandularia y solidago.

La incorporación de especies nativas al mercado ornamental es importante para aumentar la competitividad del mismo. Un número importante de éstas provienen de germoplasma de nuestro país, sin mayores beneficios para el mismo, dada su escasa explotación. El sector de plantas ornamentales depende de variedades desarrolladas en el exterior, lo que implica el pago de regalías inclusive para el caso de variedades derivadas de especies nativas argentinas. Las poblaciones naturales de Glandularia y Solidago poseen amplia variabilidad, la cual permite seleccionar individuos con caracteres de alto valor ornamental. Se ha avanzado en la puesta en marcha de un plan de mejoramiento, que permita disponer de clones adaptados a las distintas condiciones de nuestro país, y que posean las cualidades estéticas acordes al mercado consumidor. Los objetivos del presente proyecto serán lograr avances en la obtención de variedades ornamentales a partir de especies nativas a través de la selección de genotipos superiores, hibridaciones interespecíficas y poliploidización en Glandularia y la caracterización y selección de clones superiores y/o noveles en Solidago. La metodología para lograr dichos objetivos será: recolección de germoplasma en zonas de distribución, identificación taxonómica, domesticación, caracterización y uso de técnicas de mejoramiento genético clásico. Los resultados obtenidos permitirán determinar la aptitud combinatoria de las especies del género Glandularia, como así también se podrán identificar las barreras a la hibridación interespecífica (pre o post cigóticas). Estos conocimientos resultan básicos e indispensables en el momento de establecer estrategias racionales para la superación de las barreras a la hibridación. En el género Solidago, los resultados obtenidos permitirán avanzar sobre la base genética existente como para establecer los lineamientos necesarios para el logro de nuevas variedades ornamentales.A partir de este proyecto, se podrá disponer de material con distintos grados de desarrollo: colecciones de los géneros Glandularia y Solidago caracterizadas, domesticadas y materiales avanzados en el mejoramiento. Estos productos contribuirán al mayor conocimiento de la flora nativa ornamental, colaborarán con la sustentabilidad del sistema agroecológico, permitirán la formación de recursos humanos y su vinculación e integración con el sector productivo.

Avances en el desarrollo tecnológico de especies ornamentales nativas: los casos de Glandularia y Solidago

La incorporación de especies nativas al mercado ornamental es importante para aumentar la competitividad del mismo. Un número importante de éstas provienen de germoplasma de nuestro país, sin mayores beneficios para el mismo, dada su escasa explotación. El sector de plantas ornamentales depende de variedades desarrolladas en el exterior, lo que implica el pago de regalías inclusive para el caso de variedades derivadas de especies nativas argentinas. Las poblaciones naturales de Glandularia y Solidago poseen amplia variabilidad, la cual permite seleccionar individuos con caracteres de alto valor ornamental. Se ha avanzado en la puesta en marcha de un plan de mejoramiento, que permita disponer de clones adaptados a las distintas condiciones de nuestro país, y que posean las cualidades estéticas acordes al mercado consumidor. Los objetivos del presente proyecto serán lograr avances en la obtención de variedades ornamentales a partir de especies nativas a través de la selección de genotipos superiores, hibridaciones interpespecíficas y poliploidización en Glandularia y la caracterización y selección de clones superiores y/o noveles en Solidago. La metodología para lograr dichos objetivos será: recolección de germoplasma en zonas de distribución, identificación taxonómica, domesticación, caracterización y uso de técnicas de mejoramiento genético clásico. Los resultados obtenidos permitirán determinar la aptitud combinatoria de las especies del género Glandularia, como así también se podrá identificar las barreras a la hibridación interespecífica (pre o post cigóticas). Estos conocimientos resultan básicos e indispensables en el momento de establecer estrategias racionales para la superación de las barreras a la hibridación. En el género Solidago, los resultados obtenidos permitirán avanzar sobre la base genética existente como para establecer los lineamientos necesarios para el logro de nuevas variedades ornamentales.A partir de este proyecto se podrá disponer de material con distintos grados de desarrollo: colecciones de los géneros Glandularia y Solidago caracterizadas, domesticadas y materiales avanzados en el mejoramiento. Estos productos contribuirán al mayor conocimiento de la flora nativa ornamental, colaborarán con la sustentabilidad del sistema agroecológico, permitirán la formación de recursos humanos, y su vinculación e integración con el sector productivo.

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.

DESARROLLO DE UN MODELO DE NEGOCIO BASADO EN ESTUDIOS OPTIMIZACIÓN Y CONTROL EN PLANTA PILOTO PARA LA PRODUCCIÓN DE GÍRGOLAS.

La organización de la producción, procesamiento, comercialización, y financiamiento de las operaciones involucradas en la oferta de hongos comestibles se caracterizan por tener Puntos de Equilibrio (PE) diferentes. El PE más alto se constituye en la restricción a salvar al momento de considerar la inversión en un emprendimiento nuevo. En la mayoría de las situaciones estos PE críticos terminan por desalentar la inversión. Se dice que el cultivo de hongos representa una industria biotecnológica importante que se ha ampliado considerablemente en todo el mundo en las últimas décadas; se enfatiza que los hongos sirven como delicias para el consumo humano y como nutracéuticos (alimentos que curan), que los cuerpos fructíferos de los hongos contienen sustancias de varios reinos muy valoradas por sus propiedades medicinales, sabores y perfumes. Sin embargo, el potencial económico de los hongos está lejos de ser aprovechado. El problema hasta ahora es que solo algunas especies pueden ser inducidas a fructificar en cultivos, y si bien el cultivo de las setas es una tecnología adaptable a diferentes condiciones que van desde una escala comercial de importancia hasta una forma rústica de traspatio en comunidades rurales, con substratos agroindustriales o bien con solo material vegetal, cada uno de estos casos presenta dificultades cuando son traspasados a nuestra región; o bien no son rentables porque la escala de producción manejable está mas allá de las capacidades de pequeños y medianos productores o bien porque las inversiones iniciales exceden las posibilidades del mercado. Si analizamos las causas que ha llevado al fracaso de emprendimientos productivos de hongos encontraremos las mismas que se esgrimen al comienzo. Lo que puede hacer que sea un cultivo sustentable es la búsqueda de nuevas alternativas tecnológicas y de trabajo. Este Proyecto de Investigación Orientado (PIO) plantea como objetivo general estudiar un Modelo de Negocio que sirva para salvar las restricciones impuestas por la existencias de PE mínimos en producción, comercialización, financiamiento, investigación y desarrollo para la diversificación, y entrepreneurship optimizando la disponibilidad de recursos existentes. Para alcanzar este cometido el PIO propuesto busca articular en red las áreas de Economía de los Negocios y las Organizaciones (ENO), la Ingeniería Química (IQ), la Ingeniería en Telecomunicaciones (IT), y la Microbiología (Mic). Cada una de ellas se concentraría en la búsqueda de alternativas técnicas para bajar los PE implicados en este tipo de negocios. Retomando el objetivo general de este PIO podemos afirmar que el objetivo particular de este PIO es elaborar y divulgar un modelo de negocio para la producción y comercialización de hongos comestibles a pequeña escala y para la coordinación de pequeños productores, a partir de la optimización de los diversos procesos y actividades económicas internas de producción, de manera tal que se minimice el punto de equilibrio con el fin que pequeños inversores puedan iniciarse en la producción de en forma rentable y sustentable generando mayor riqueza para la región incrementando el ingreso y creando oportunidades de empleo.