Poéticas y políticas de los cuerpos juveniles. Tres estudios en caso en Córdoba. The poetics and politics of youths' bodies.Three cases studies.

¿Qué formas adquieren los cuerpos de los jóvenes bajo las actuales condiciones de producción? ¿Cuáles son sus poéticas? ¿Qué relaciones de fuerza se realizan en estas formas? ¿Cómo se inscriben en los cuerpos las relaciones de dominación, el "ethos" y la cosmovisión de un grupo social? Estas son algunas de las cuestiones que orientan el presente proyecto, interesado en explorar y describir sistemáticamente los procesos sociales del devenir "joven" en Córdoba. La investigación aborda algunas de las problemáticas propias de los jóvenes en tanto grupo social heterogéneo y diferenciado a partir del análisis de las prácticas de producción, consumo, interpretación y circulación de bienes culturales asociados con la diversión y el tiempo libre. Los tres objetos empíricos, localizados en la ciudad de Córdoba, son:o las salidas nocturnas de jóvenes estudiantes universitarios o la formación y el entrenamiento de los bailarines clásicos en el Teatro del Libertador Gral. San Martín. o las prácticas de entretenimiento y socialización lúdica entre los jóvenes de la comunidad de sordos de Córdoba.La hipótesis central de la investigación sostiene que la música y el baile tienen la capacidad de producir las identidades que nombran. Esta producción de cuerpos y subjetividades se realizaría en las performances sociales ("las salidas nocturnas" y "fiestas de la comunidad sorda") y las performances artísticas (clases, ensayos y funciones de ballet) donde se da la interacción entre las identidades actuadas por los sujetos y las ofrecidas por las diferentes músicas, bailes y movimientos corporales. En este sentido, proponemos que las performances articulan una particular identidad cuando quienes la protagonizan experimentan que la música y el baile se "ajusta" a la trama argumental que organiza sus narrativas identitarias.ObjetivosGENERAL:o Describir, de modo denso, las prácticas y representaciones implicadas en el proceso de materialización de los cuerpos y relacionarlas con los procesos de subjetivación y formación de identidades juveniles. ESPECÍFICOS.o Explorar la relación entre las diversas formas de consumo cultural en la formación de un estilo de vida y en la formación de identidades colectivas. o Describir los procesos de entrenamiento de los bailarines de música clásica.o Analizar los procesos de comunicación no verbal entre jóvenes de la comunidad sorda.Materiales y métodos.Para realizar esta investigación se construirá por medio de técnicas cuali y cuantitativas un corpus heterogéneo de materiales textuales, gráficos y audiovisuales, así como de entrevistas en profundidad, de experiencias etnográficas de observación participante y de investigación cuantitativa. Dicho corpus recibirá un tratamiento diferencial según el soporte y género, pero en todos los casos trabajando desde una matriz de análisis que considere los procesos de construcción de sentido y las relaciones entre cuerpo, subjetividad e identidad. En el análisis de los datos se pondrán en juego herramientas conceptuales tomadas de la Antropología Simbólica, la Antropología de la Danza, el Análisis del Discurso, la Sociología del Arte y los Estudios de la Performance. Resultados esperados.Se espera elaborar indicadores para medir la producción, circulación y consumo de bienes simbólicos. El desenvolvimiento del proyecto permitirá también la formación de recursos humanos en investigación y se contempla presentaciones a reuniones científicas, publicación en revistas nacionales e internacionales y la elaboración de dos libros. Por último se implementarán actividades de capacitación y asesoramiento para instituciones relacionados con los jóvenes. Importancia del ProyectoLos resultados de la investigación permitirán una interpretación más comprehensiva de los sentidos que poseen para jóvenes cordobeses problemáticas sociales como las adicciones, el alcoholismo, la salud sexual y reproductiva, las prácticas discriminatorias o los usos de las nuevas tecnologías.

Desarrollo tecnológico de germoplasma a partir de plantas nativas ornamentales: los casos de Glandularia y Solidago. Technological development of native ornamental germoplasm: the cases of Solidago and Glandularia genera.

Un importante número de especies ornamentales que se cultivan en el mundo derivan de germoplasma Sudamericano. El uso de Recursos Genéticos nativos para el desarrollo de plantas ornamentales ha sido escasamente explotado en Argentina, por lo que el país no ha tenido beneficio alguno. El sector 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 (distintas especies de Glandularia, distintos ecotipos de Solidago) presentan, una considerable variabilidad en distintos caracteres vegetativos y reproductivos que les permiten sobrevivir en ambientes con distintas condiciones climáticas, edáficas, bióticas, etc. Es por ello que, a partir de dicha variabilidad existente en las poblaciones naturales, será posible seleccionar individuos con caracteres de alto valor ornamental. Si bien el valor ornamental de los géneros Glandularia y Solidago es reconocido, no se han realizado avances en el conocimiento de su biología floral o su potencialidad para generar variabilidad en el país, aunque se conoce el éxito económico de las variedades comerciales desarrolladas en el exterior. Los objetivos del presente proyecto serán lograr avances en la obtención de variedades ornamentales o clones noveles a partir de especies nativas a través de la selección de genotipos superiores e hibridaciones interespecíficas en Glandularia y la domesticación, 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 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 aportar elementos científicos básicos para encarar futuros trabajos de mejoramiento, entre ellos, se deberá poder 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 son permitirán establecer una base genética lo suficientemente amplia como para establecer los lineamientos necesario 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, el fortalecimiento del grupo y su integración con el sector productivo.

Factores Críticos del Desarrollo Local y Regional Integrado zona serrana y Norte de la Provincia de Córdoba-. Validación causal estadística de Modelos de Ecuaciones Estructurales. Identificación de problemas normativos de las OSC.Critical Factors of Local and Regional Development in north of the Province of Córdoba. Causal validation with Structural Equation Modeling. Legal regulations of civil society.

En la investigación anterior -en la zona pampeana de la Provincia de Córdoba- se demostró teórica y empíricamente, que el desarrollo de la Sociedad Civil muchas veces libradas a su suerte y con limitaciones legales apoyan decididamente el desarrollo local, sin embargo han logrado solo parcialmente sus objetivos, por lo que es necesario comenzar un camino de fortalecimiento en los nuevos roles que deben asumir. Los gobiernos locales, a la vez, intentan trabajosamente con contados éxitos detener el procesos de descapitalización social -financiera y humana- de sus comunidades locales y regionales, peregrinando con escaso éxito a los centros concentrados del poder político y económico, para procurar los recursos financieros y humanos necesarios que no alcanzan a reponer los que se fugan desde hace décadas de sus localidades. Las empresas, con ciclos recurrentes de crecimiento y decrecimiento vinculados a los mercados en que colocan sus productos, también se debaten en la búsqueda de los escasos recursos, financieros y humanos, que les permitan consolidar un desarrollo a mediano y largo plazo. El desarrollo alcanzado en Sistemas de información, instrumentos de relevamiento, análisis y elaboración de propuestas para el Desarrollo Local, nos permite avanzar en: 1. La confirmación empírica de las hipótesis iniciales - factores exógenos y endógenos - en la zona Norte y Serrana de la provincia 2. La validación científica -mediante el Análisis de ecuaciones estructurales. de tales supuestos, para el conjunto de las poblaciones analizadas en ambas etapas. 3. La identificación de los problemas normativos que afectan el desarrollo de las Organizaciones de la Sociedad Civil (OSC). METODOLOGÍA Respecto la validación empírica en la zona norte y serrana 1. Selección de las 4 localidades a relevar de acuerdo a las categorías definidas 2. Elaboración de acuerdos con autoridades e instituciones locales. 3. Relevamiento cualitativo con líderes locales y fuentes de datos secundarias. 4. Adaptación de instrumentos de relevamiento a las realidades locales y estudios previos 5. Relevamiento cuantitativo de campo, capacitación de encuestadores y supervisores. 6. Procesamiento y elaboración de informes finales locales. Respecto de la construcción de modelos de desarrollo 1. Desarrollar las dimensiones especificas y las variables (items) de cada factor crítico. 2. Revisar el instrumento con expertos de cada una de las dimensiones. 3. Validar a nivel exploratorio por medio de un Análisis de Componentes Principales 4. Someter a los expertos la evaluación de una serie de localidades que representan cada uno. Respecto de la identificación de las normas legales que afectan a la Sociedad Civil 1.Relevamiento documental de normas 2. Relevamiento con líderes de instituciones de la Sociedad Civil 3. Análisis de las normas vigentes 4. Elaboración de Informes Finales y Transferencia a líderes e instituciones

Análisis crítico de la formación y capacitación del profesional de la seguridad en la Provincia de Córdoba en los últimos diez años. A critical analysis of the formation and training of the professional in the area of security in the province of Córdoba in the last 10 years.

El problema que abordaremos es la transformación y la toma de decisiones en los procesos de formación y capacitación de las instituciones de seguridad, específicamente, los motivos y fundamentos de los cambios en los planes de estudios, en relación a los contenidos curriculares de los institutos de formación de los profesionales en seguridad. Esto sobre la hipótesis de que las organizaciones educativas policiales y penitenciarias han llevado a cabo transformaciones en su organización y gestión curricular para adecuarse a las nuevas demandas sociales y políticas. El objetivo del presente proyecto es analizar críticamente los contenidos curriculares de los institutos de formación y capacitación de la Policía y Servicio Penitenciario de la Provincia de Córdoba. Abordaremos el análisis de los planes de dichas instituciones en los últimos 10 años, sus modificaciones y criterios utilizados para responder a los nuevos escenarios sociales. Se hará una exploración de la información y la documentación existente en los ámbitos oficiales. Asimismo, la investigación contará con la realización de entrevistas y encuestas a directivos, docentes, alumnos y demás actores claves, con la finalidad de recabar la opinión de los mismos respecto de las transformaciones en la educación policial y penitenciaria. A partir del proyecto de investigación se pretende construir conocimiento acerca de las políticas educativas en el área de seguridad especialmente sobre la formación y capacitación de recursos profesionales específicos, dentro del ámbito local. De tal modo, se pretende aportar elementos teóricos de análisis al modo en que se han instituido la oferta educativa y las transformaciones en los planes de estudios en las instituciones de formación profesional de la seguridad y cómo éstos han sido implementados a la luz de los nuevos escenarios políticos y sociales. Esto nos permitirá aportar al incipiente campo de los estudios sobre la seguridad, específicamente sobre la formación de los profesionales en seguridad, poniendo a diposición de los responsables gubernamentales e institucionales un estudio que explora y sistematiza las transformaciones y fundamentos de la politica de educación en el campo de la seguridad provincial. Este desarrollo investigativo nos permitirá inagurar la actividad de producción de conocimiento dentro del ámbito académico de la Licenciatura en Seguridad de la Universidad Nacional de Villa María a través del presente proyecto que describirá el proceso de formación y capacitación policial y penitenciaria y los cambios que con el transcurso del tiempo se han verificado.

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.