Métodos de mecánica estadística en materia condensada

El proyecto de investigación propuesto tiene como principal objetivo profundizar en el estudio de la Mecánica Estadística y su aplicación a la resolución de problemas en esta área. Los temas de interés son los siguientes: 1. Estudio de la influencia del desorden en las propiedades dinámicas y termodinámicas de sistemas clásicos y cuánticos. 2. Reacciones controladas por difusión; influencia de campos externos aplicados. 3. Estudio de la influencia de la autocorrelación temporal finita sobre un sistema excitado por un ruido (ruido coloreado). 4. Resonancia Estocástica analizada a través de la función de Estructura Dinámica. 5. Estudio de procesos de quimiorrecepción de sistemas biológicos. 6. Cálculo del operador de evolución temporal para sistemas con Hamiltonianos dependientes del tiempo (Fase de Berry). 7. Influencia del desorden en la estadística del tiempo del primer pasaje en sistemas finitos. 8. Estudio del modelo de "Tight Binding" con desorden estático. Objetivos específicos * Se continuará con el estudio de la evolución temporal para sistemas Hamiltonianos dependientes del tiempo (Fase de Berry). * Se estudiará de las propiedades termodinámicas de sistemas Hamiltonianos clásicos y cuánticos con desorden estático. * Se estudiará la probabilidad de supervivencia y los momentos de desplazamientos para partículas que difunden en un sistema unidimensional con trampas estáticas. En particular se tratará el caso de campo fuerte, extendiendo los resultados ya obtenidos en el caso de campo débil; se analizará la conexión con la estadística del tiempo del primer pasaje. * Se continuará con el estudio analítico de los exponentes críticos para Modelos de la Mayoría. (...) * Se realizará un estudio detallado de las propiedades de la función de estructura dinámica asociada con el movimiento uni-dimensional de partículas sometidas a potenciales anarmónicos con múltiples pozos y fricción débil. Se estudiará el fenómeno de resonancia estocástica a través de la función de estructura dinámica. * Se estudiará la estadística del tiempo del primer pasaje en sistemas finitos homogéneos y desordenados con diversas condiciones de entorno.

Factores críticos de desarrollo de comunidades locales y regionales de la zona pampeana de la Provincia de Córdoba

El proyecto es la primera de tres etapas previstas para determinar factores críticos que inciden en el desarrollo local y regional integrado en la Provincia de Córdoba. Las poblaciones del interior de la Provincia de Córdoba, con exclusión de la Capital y de las principales ciudades del interior, han padecido los procesos de concentración geográfica del ingreso, la riqueza, los presupuestos oficiales y las migraciones. Muchas veces librada a su suerte, la sociedad civil de estas comunidades desarrolló y capitalizó una red de instituciones que prestan los servicios que el Estado no cubrió. Los gobiernos locales, a la vez, intentan, con éxitos limitados, detener el procesos de descapitalización social -financiera y humana de sus comunidades. Las empresas, con ciclos recurrentes de crecimiento y decrecimiento vinculados a los mercados, se debaten en la búsqueda de los escasos recursos, financieros y humanos, que les permitan consolidar un desarrollo a mediano y largo plazo. Juntos tienen, especialmente en la región pampeana de la Provincia, una nueva oportunidad de hacerlo. Según nuestra hipótesis, incidirían en estos procesos como factores críticos: 1. Aspectos exógenos que descapitalizan las comunidades como los tributarios (impuestos y gasto geográfico), financieros (colocaciones y préstamos), educativos (migración de los miembros más capacitados), sanitarios (por la concentración de las prestaciones de mayor complejidad), y de prestación de servicios públicos (por las mayores tarifas y menores prestaciones) de las empresas de capital concentrado. 2. Aspectos endógenos que producen des-economías, ineficiencias y desaprovechamiento de los recursos (humanos, productivos, tecnológicos, organizativos y financieros) locales y regionales, como: la falta de un proyecto local y/o regional común; dinámicas no participativas; insuficiencia, dispersión y desconocimiento de información clave para la planeación; diferencias personales y conflictos de roles; carencia de cadenas productivas integradas verticalmente El proyecto propone como objetivos: 1. Identificar y, en la medida de lo posible, cuantificar los factores críticos exógenos y endógenos para el desarrollo local y regional integrado; 2. elaborar sobre esta base modelos de desarrollo, proyectos interinstitucionales y propuestas de cadenas productivas que disminuyan los problemas y potencien las oportunidades de las comunidades regionales estudiadas

Formación en competencias generales para la empleabilidad en las carreras de Abogacía y Ciencia Política en la Provincia de Córdoba

Este proyecto constituye la primera etapa exploratoria de un programa que pretende abordar la problemática de la formación en competencias de las carreras de Ciencias Sociales. Para la ejecución del proyecto se prevén las siguientes etapas: revisión bibliográfica, construcción de las herramientas de recolección de datos, trabajo de campo y análisis de datos. La estrategia será la de triangulación entre métodos. Se trabajará con un enfoque de investigación cuantitativo y cualitativo, lo que conduce a un diseño proyectado en el primer caso y emergente en el segundo. El contexto es la provincia de Córdoba. Los casos seleccionados son las carreras de Abogacía y Ciencia Política que se dictan en la Universidad Nacional de Río Cuarto y la Universidad Católica de Córdoba. La población en estudio serán los alumnos del último año de las mencionadas carreras y los graduados a partir del 2001, realizando este corte debido a la incidencia de la crisis que vivió el país con impacto en el mercado laboral. Se prevé relevamiento de todos los alumnos y la selección por muestreo de técnica de bola de nieve de los egresados. De los resultados de esta primera etapa se seleccionarán los casos representativos de los perfiles definidos según el grado de desarrollo de las competencias generales, conforme a la percepción de los entrevistados, los que participarán de las entrevistas de incidentes críticos y en profundidad.

Métodos estadístico-computacionales para la caracterización de patrones de expresión de proteínas en 2D-DIGE

El volumen de datos provenientes de experimentos basados en genómica y poteómica es grande y de estructura compleja. Solo a través de un análisis bioinformático/bioestadístico eficiente es posible identificar y caracterizar perfiles de expresión de genes y proteínas que se expresan en forma diferencial bajo distintas condiciones experimentales (CE). El objetivo principal es extender las capacidades computacionales y analíticos de los softwares disponibles de análisis de este tipo de datos, en especial para aquellos aplicables a datos de electroforésis bidimensional diferencial (2D-DIGE). En DIGE el método estadístico más usado es la prueba t de Student cuya aplicación presupone una única fuente de variación y el cumplimiento de ciertos supuestos distribucionales de los datos (como independencia y homogeneidad de varianzas), los cuales no siempre se cumplen en la práctica, pudiendo conllevar a errores en las estimaciones e inferencias de los efectos de interés. Los modelos Generalizados lineales mixtos (GLMM) permiten no solo incorporar los efectos que, se asume, afectan la variación de la respuesta sino que también modelan estructuras de covarianzas y de correlaciones más afines a las que se presentan en la realidad, liberando del supuesto de independencia y de normalidad. Estos modelos, más complejos en esencia, simplificará el análisis debido a la modelización directa de los datos crudos sin la aplicación de transformaciones para lograr distribuciones más simétricas. Produciendo también a una estimación estadísticamente más eficiente de los efectos presentes y por tanto a una detección más certera de los genes/ proteínas involucrados en procesos biológicos de interés. La característica relevante de esta tecnología es que no se conoce a priori cuáles son las proteínas presentes. Estas son identificadas mediante otras técnicas más costosas una vez que se detectó un conjunto de manchas diferenciales sobre los geles 2DE. Por ende disminuir los falsos positivos es fundamental en la identificación de tales manchas ya que inducen a resultados erróneas y asociaciones biológica ficticias. Esto no solo se logrará mediante el desarrollo de técnicas de normalización que incorporen explícitamente las CE, sino también con el desarrollo de métodos que permitan salirse del supuesto de gaussianidad y evaluar otros supuestos distribucionales más adecuados para este tipo de datos. También, se desarrollarán técnicas de aprendizaje automática que mediante optimización de funciones de costo específicas nos permitan identificar el subconjunto de proteínas con mayor potencialidad diagnóstica. Este proyecto tiene una alta componente estadístico/bioinformática, pero creemos que es el campo de aplicación, es decir la genómica y la proteómica, los que mas se beneficiarán con los resultados esperados. Para tal fin se utilizarán diversas bases de datos de distintos experimentos provistos por distintos centros de investigación nacionales e internacionales

Desarrollo y validación de métodos analíticos aplicables a estudios de Preformulación y Control de Calidad de Formas Farmacéuticas Multicomponentes

La etapa de optimización de una droga denominada "Preformulación" está dirigida a definir el perfil de una droga desde el punto de vista de su identidad, pureza y potencia. Mediante la determinación de las propiedades físico-químicas que son relevantes en la formulación de un agente terapéutico es posible realizar una evaluación preliminar sobre las características de absorción del principio activo, por parte del organismo. (...) En la actualidad se elaboran en la Oficina de Farmacia "Formas Farmacéuticas" de cierta complejidad, que no pueden ser analizadas por los clásicos métodos químicos, sino que requieren de técnicas de instrumental modernas altamente selectivas y sensibles. Este tipo de estudio no puede realizarse fuera de los laboratorios oficiales de Control o del ámbito universitario, en razón del costo del equipamiento y las condiciones necesarias para su correcto funcionamiento. El análisis de los principios activos y de los productos farmacéuticos con ellos elaborados es responsabilidad tanto de la autoridad reguladora como el propio farmacéuticas que serán administradas al paciente. Es por ello que esta propuesta involucra el desarrollo de metodologías analíticas específicas y sensibles que permitan, en forma rápida, determinar la composición de las formas farmacéuticas que se comercializan, para "garantizar", dentro de los límites admisibles, la "calidad", requisito previo para una terapéutica medicamentosa eficaz y racional. Estudios realizados en diferentes países, demuestran el desarrollo significativo que ha tenido la Cromatografía Líquida de Alta Presión (HPLC) y la Espectrofotometría de Derivadas en el campo farmacéutico, permitiendo el análisis de drogas en presencia de sus productos de degradación o bien en mezclas de multicomponentes, aplicando distintas técnicas Espectroscópicas, como IR, RMN y EM en la determinación de estructuras. Por tal motivo, este proyecto apunta a desarrollar metodologías analíticas aplicables al análisis y determinación simultánea de los principios activos contenidos en formulaciones farmacéuticas. En este caso particular se propone el estudio de preparaciones galénicas (comprimidos) utilizadas como complemento en regímenes alimenticios, debido a la acción farmacológica de los ingredientes activos, al uso intensivo de las mismas en la Provincia de Córdoba y a la falta de Control de Calidad.

Estudios funcionales del Sistema Nervioso Central del recién nacido (Aprendizaje No Asociativo): Nuevos métodos

Desde hace ya tres décadas se conoce que el neonato, aún desde los primeros minutos de vida, puede responder a una gran variedad de olores, entre los cuales se encuentra el alcohol, con reacciones comportamentales y neurovegetativas específicas y que es capaz también de diferenciarlo de otros estímulos, lo que se puso de manifiesto a través de un proceso de habituación. La habituación, que es un proceso de aprendizaje no asociativo, se ha transformado en un parámetro valioso en el estudio del desarrollo de la plasticidad neurocomportamental en distintas especies, tanto en períodos perinatales como prenatales. En la esfera humana, se ha comprobado que el recién nacido puede habituar o sensitizar una respuesta refleja y responder de manera compleja a estimulación sensorial específica. Estudios realizados con claves olfatorias, tanto nóveles como biológicas, demuestran que el neonato puede reconocer y distinguir distintos olores y que la manera en que éste responde varía de acuerdo ala experiencia previa con el estímulo, manifestando preferencia por el olor que le resulta familiar, sin que necesariamente sea éste un olor materno. Estas tempranas capacidades de aprendizaje han sido útiles para evaluar la integridad del SNC fetal y neonatal, utilizando, por ejemplo, índices de habituación hacia distintos estímulos. Basándose en los resultados de estas investigaciones surge el objetivo general del proyecto: realizar un relevamiento de las capacidades de aprendizaje y memoria neonatales utilizando paradigmas de aprendizaje no asociativo como la habituación a claves olfativas nóveles (alcohol y limón), analizando la respuesta a los olores a través de patrones comportamentales y neurovegetativos presentes en el neonato a término. Este objetivo se irá desarrollando a lo largo de etapas experimentales consecutivas. En la primera de ellas, actualmente en ejecución, el propósito es evaluar respuestas habituatorias y de recuperación espontánea frente a la presentación secuencial de los aromas. En las etapas subsiguientes se pretenderá detectar también deshabituación y habituación ala deshabituación. Este proyecto forma parte de un plan de actividades mayor referido a reconocimiento, retención y discriminación de claves olfativas a nivel neonatológico. A largo plazo se procura diseñar, valiéndose de las tempranas capacidades de aprendizaje presentes en neonatos normales, pruebas que se utilicen para evaluar el desempeño neurocomportamental de recién nacidos donde se sospeche un Sistema Nervioso Central dañado por efectos de la exposición prenatal de alcohol y/o por episodios hipóxicos pre o perinatales.

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.

Programa de capacitación y de ejecución de acciones para favorecer el desarrollo del potencial exportador de las empresas pequeñas y medianas de Río Cuarto y región.Capacitation Programs to Encouraged Development of Rio Cuarto and Region Exports Potential.

Identificación: Programa de capacitación y de ejecución de acciones para favorecer el desarrollo del potencial exportador de las empresas pequeñas y medianas de Río Cuarto y región. Caracterización del problema objeto de estudio: La zona de influencia de la ciudad de Río Cuarto posee, por su ubicación y características naturales, un potencial exportador no explotado, considerando la actual dinámica de los mercados internacionales. La ciudad está en el cruce de rutas nacionales que la conecta a las principales ciudades del MERCOSUR, con salida al Pacífico y al Atlántico y conexión rápida a rutas que van hacia la frontera norte del país. A modo de presentación de situaciones favorables, en el caso de Bolivia es para aprovechar el prestigio de los productos argentinos en ese mercado y las ventajas que las empresas chicas y medianas pueden disponer al no existir barreras idiomáticas, razonables requisitos de calidad y una gran necesidad de productos elaborados que pueden ser ofertados por PYMES regionales.En el caso de Chile importan tres aspectos: primero, la cercanía geográfica a la zona de Río Cuarto, ya que se accede en forma directa por vía terrestre, con una distancia de sólo 900 Km. respecto a la zona metropolitana de ese país; segundo, es el mercado regional con mayores niveles de exigencia para acceder al mismo, constituyendo por lo tanto una buena plataforma de aprendizaje para lograr el acceso luego al mundo desarrollado; tercero, al tener Chile firmado acuerdos de libre comercio con mercados que suman 3500 millones de habitantes, con acceso directo al cinturón del Pacífico, que es la zona más dinámica del comercio mundial actual, ese país necesita complementarse con sus vecinos para poder aprovechar las demandas potenciales de esos mercados.Con el proyecto se pretende contribuir a acentuar la internacionalización económica de la ciudad de Río Cuarto y su región circundante. Hipótesis:Se puede generar un polo exportador pyme a partir de la actividad sistemática de un programa de difusión de conocimientos sobre el comercio exterior, lo que contribuirá a profundizar la sustentabilidad económica de Río Cuarto y su región circundante.Objetivos: -a) Crear, desde el programa, una oferta de capacitación y asesoramiento que satisfaga los interrogantes y necesidades de las empresas pequeñas y medianas que busquen iniciarse en la actividad de exportación. b) Promover la formación de consorcios y formas asociativas, sobre todo de pequeñas y medianas empresas, para expandir el comercio exterior regional. c) Difundir las posibilidades de inserción internacional de las pymes regionales y sus requerimientos en los aspectos productivos y de comercialización. Estos últimos suelen constituir puntos críticos en el desarrollo exportador de las firmas. d) Analizar las posibilidades competitivas en el comercio internacional, en especial en el área del MERCOSUR, de cluster Materiales y Métodos a Utilizar: - Elaboración de un Monitor de Expectativas Empresariales con el objetivo de cuantificar la actual y la potencial Oferta Exportadora Regional. - Desarrollo de Análisis Sectoriales para determinar las posibilidades de incrementar las ventas al exterior de productos regionales. - Creación de Informes Especiales sobre Productos Regionales, los cuales le permitirán a Pequeños y Medianos Productores conocer en detalle, las oportunidades y exigencias para ingresar a los mercados externos, especialmente al área del MERCOSUR. - Organización de Viajes y Rondas de Negocios con el fin de fortalecer los lazos comerciales y culturales del empresariado local y extranjero. Resultados Esperados: - Profundizar conocimientos sobre las posibilidades que poseen los productos regionales de ingresar a los mercados externos. - Lograr una difusión generalizada de conocimientos sobre el Comercio Exterior, brindándole a las Pymes las herramientas básicas y fundamentales para que puedan desarrollar su potencial exportador.

Criterios y métodos para la enseñanza del diseño estructural en el contexto de la arquitectura actual. Compromiso para una arquitectura sustentable.

Las estrategias en el diseño de estructuras estuvieron históricamente limitadas por condicionantes como la eficiencia estructural, la lectura de la estructura explicitando su función, o la estructura planteada a partir de materiales o recursos disponibles. Actualmente, el desarrollo de nuevas tecnologías informáticas, nuevos materiales y la aparición de nuevos paradigmas en cuanto a tecnología sustentable, ha generando una situación de libertad arquitectónica prácticamente total en la que casi cualquier planteo formal puede ser resuelto y construido. Es consecuencia de este proceso la aparición de formas estructurales fracturadas, angulosas, grandes voladizos, y la utilización de materiales y sistemas tecnológicos no convencionales, que requieren de nuevas técnicas auxiliares de proyecto, ejecución y representación, y para las cuales es necesario un nuevo planteamiento y adecuación de estrategias de diseño estructural en relación a la propuesta arquitectónica. Este nuevo escenario proyectual, no está contemplado en los métodos de enseñanza del diseño de estructuras, produciendo un vacío conceptual sobre los futuros profesionales que deberán incursionar en el mundo actual. Es por ello que se propone indagar en diferentes estrategias de diseño para la elaboración de una metodología didáctica que permita descubrir el concepto del proyecto arquitectónico y generar un sistema estructural que se relacione adecuadamente con él, desde una visión integral de la arquitectura como producto cultural complejo.

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

Juventud vulnerable y escuela media: representaciones y experiencias sobre la autoridad escolar. Vulnerable youth and high school: representation and experiences on scholastic authority.

La investigación busca responder cómo experimentan, se representan y caracterizan grupos juveniles en situación de vulnerabilidad social de la ciudad de Córdoba, la autoridad en la escuela media considerada en tres actores institucionales claves: docentes, preceptores y directores. Se propone indagar acerca de la autoridad desde dos dimensiones: las representaciones juveniles de la autoridad pedagógica (ligada al desempeño de los profesores) y la autoridad en términos de límites que reconocen en los directivos y preceptores vinculándola con el espacio institucional de la escuela. Objetivos Explorar las relaciones con la autoridad escolar vivenciadas en su tránsito por la escuela secundaria por jóvenes en condiciones de vulnerabilidad social de la ciudad de Córdoba. Indagar como vivencian los jóvenes las leyes y normativas escolares atendiendo a la cercanía o distancia con las prácticas que ellos ponen en juego en el seno de sus grupos de referencia. Identificar desde las voces de adolescentes de sectores populares los problemas de convivencia escolar más frecuentes, apuntando a reconocer qué posiciones advierten ante tales situaciones en los adultos que se desempeñan en diferentes roles en la escuela. Explorar en las interacciones y conflictos que se plantean en sus relaciones con docentes, directivos y preceptores. Conocer las valoraciones que los jóvenes efectúan sobre las estrategias de autoridad puestas en juego por profesores (vinculándolas con el desempeño cotidiano en sus asignaturas), preceptores y directivos. Materiales y métodos: Se seguirán dos etapas: a) Realización de grupos focales con adolescentes de 15-17 en situación de vulnerabilidad social que asisten a la escuela media. Se prevé la utilización de muestras intencionales. b) Aplicación de un cuestionario estandarizado a jóvenes de escuelas secundarias en situación de vulnerabilidad. Las preguntas del cuestionario serán elaboradas en forma de escalas de tipo Likert construidas a partir de la información obtenida en la primera etapa Resultados: La investigación producirá conocimientos acerca de: - formas de legitimación de la autoridad escolar por parte de jóvenes socialmente vulnerables - características de la autoridad escolar en docentes, preceptores y directores - modelos institucionales de autoridad escolar Importancia: La significatividad de los resultados se vincula con el marco de las discusiones que se vienen desarrollando en torno a las transformaciones de la educación secundaria, dentro de las cuales la recreación del vínculo docente-alumno y la redefinición de los marcos de autoridad institucionales resultan sustantivos de cara a la mejora. Pertinencia: El trabajo ayudará a identificar núcleos críticos ligados con la gestión de convivencia y de la autoridad escolar, lo que servirá para identificar aspectos de los formatos institucionales que deberían ser revisados y aquellos que podrían ser objeto de afianzamiento y multiplicación.

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.

Métodos estadístico-computacionales para la caracterización de patrones de expresión de proteínas en 2D-DIGE.

El volumen de datos provenientes de experimentos basados en genómica y poteómica es grande y de estructura compleja. Solo a través de un análisis bioinformático/bioestadístico eficiente es posible identificar y caracterizar perfiles de expresión de genes y proteínas que se expresan en forma diferencial bajo distintas condiciones experimentales (CE). El objetivo principal es extender las capacidades computacionales y analíticos de los softwares disponibles de análisis de este tipo de datos, en especial para aquellos aplicables a datos de electroforésis bidimensional diferencial (2D-DIGE). En DIGE el método estadístico más usado es la prueba t de Student cuya aplicación presupone una única fuente de variación y el cumplimiento de ciertos supuestos distribucionales de los datos (como independencia y homogeneidad de varianzas), los cuales no siempre se cumplen en la práctica, pudiendo conllevar a errores en las estimaciones e inferencias de los efectos de interés. Los modelos Generalizados lineales mixtos (GLMM) permiten no solo incorporar los efectos que, se asume, afectan la variación de la respuesta sino que también modelan estructuras de covarianzas y de correlaciones más afines a las que se presentan en la realidad, liberando del supuesto de independencia y de normalidad. Estos modelos, más complejos en esencia, simplificarán el análisis debido a la modelización directa de los datos crudos sin la aplicación de transformaciones para lograr distribuciones más simétricas,produciendo también a una estimación estadísticamente más eficiente de los efectos presentes y por tanto a una detección más certera de los genes/proteínas involucrados en procesos biológicos de interés. La característica relevante de esta tecnología es que no se conoce a priori cuáles son las proteínas presentes. Estas son identificadas mediante otras técnicas más costosas una vez que se detectó un conjunto de manchas diferenciales sobre los geles 2DE. Por ende disminuir los falsos positivos es fundamental en la identificación de tales manchas ya que inducen a resultados erróneas y asociaciones biológica ficticias. Esto no solo se logrará mediante el desarrollo de técnicas de normalización que incorporen explícitamente las CE, sino también con el desarrollo de métodos que permitan salirse del supuesto de gaussianidad y evaluar otros supuestos distribucionales más adecuados para este tipo de datos. También, se desarrollarán técnicas de aprendizaje automática que mediante optimización de funciones de costo específicas nos permitan identificar el subconjunto de proteínas con mayor potencialidad diagnóstica. Este proyecto tiene un alto componente estadístico/bioinformática, pero creemos que es el campo de aplicación, es decir la genómica y la proteómica, los que más se beneficiarán con los resultados esperados. Para tal fin se utilizarán diversas bases de datos de distintos experimentos provistos por distintos centros de investigación nacionales e internacionales.

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.

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.