Mecanización de semántica de lenguajes de programación: teoría, implementación y desarrollo.

El presente proyecto se enmarca en el área de métodos formales para computación; el objetivo de los métodos formales es asegurar, a través de herramientas lógicas y matemáticas, que sistemas computacionales satisfacen ciertas propiedades. El campo de semántica de lenguajes de programación trata justamente de construir modelos matemáticos que den cuenta de las diferentes características de cada lenguaje (estado mutable, mecanismos de paso de parámetros, órdenes de ejecución, etc.); permitiendo razonar de una manera abstracta, en vez de lidiar con las peculiaridades de implementaciones o las vaguezas de descripciones informales. Como las pruebas formales de corrección son demasiado intrincadas, es muy conveniente realizar estos desarrollos teóricos con la ayuda de asistentes de prueba. Este proceso de formalizar y corrobar aspectos semánticos a través de un asistente se denomina mecanización de semántica. Este proyecto – articulado en tres líneas: semántica de teoría de tipos, implementación de un lenguaje con tipos dependientes y semántica de lenguajes imperativos con alto orden - se propone realizar avances en el estudio semántico de lenguajes de programación, mecanizar dichos resultados, e implementar un lenguaje con tipos dependientes con la intención de que se convierta, en un mediano plazo, en un asistente de pruebas. En la línea de semántica de teoría de tipos los objetivos son: (a) extender el método de normalización por evaluación para construcciones no contempladas aun en la literatura, (b) probar la adecuación de la implementación en Haskell de dicho método de normalización, y (c) construir nuevos modelos categóricos de teoría de tipos. El objetivo de la segunda línea es el diseño e implementación de un lenguaje con tipos dependientes con la intención de que el mismo se convierta en un asistente de pruebas. Una novedad de esta implementación es que el algoritmo de chequeo de tipos es correcto y completo respecto al sistema formal, gracias a resultados ya obtenidos; además la implementación en Haskell del algoritmo de normalización (fundamental para el type-checking) también tendrá su prueba de corrección. El foco de la tercera línea está en el estudio de lenguajes de programación que combinan aspectos imperativos (estado mutable) con características de lenguajes funcionales (procedimientos y funciones). Por un lado se avanzará en la mecanización de pruebas de corrección de compiladores para lenguajes Algollike. El segundo aspecto de esta línea será la definición de semánticas operacional y denotacional del lenguaje de programación Lua y la posterior caracterización del mismo a partir de ellas. Para lograr dichos objetivos hemos dividido las tareas en actividades con metas graduales y que constituyen en sí mismas aportes al estado del arte de cada una de las líneas. La importancia académica de este proyecto radica en los avances teóricos que se propone en la línea de semántica de teoría de tipos, en las contribución para la construcción de pruebas mecanizadas de corrección de compiladores, en el aporte que constituye la definición de una semántica formal para el lenguaje Lua, y en el desarrollo de un lenguaje con tipos dependientes cuyos algoritmos más importantes están respaldados por pruebas de corrección. Además, a nivel local, este proyecto permitirá incorporar cuatro integrantes al grupo de “Semántica de la programación”.

Estudio fisicoquímico de superficies sólidas en medio acuoso: Aplicaciones electroanalíticas y electrocatalíticas

De acuerdo a los objetivos y al plan de trabajo presentados, las actividades a realizar en el período de tres años que comprende este proyecto pueden ser resumidas en dos líneas de trabajo principales. En primera medida, en lo que a estudios fisicoquímicos de sistemas coloidales se refiere, los trabajos se centralizarán en la caracterización de la estructura y propiedades reactivas de la interfaz óxido metálico-solución acuosa. Es de particular interés la caracterización de la superficie de estos materiales, la individualización de los sitios superficiales y el efecto que la reactividad posee en el desarrollo de cargas y potencial eléctrico a través de la interfaz, en la disolución y corrosión de los mismos, en la capacidad adsortiva de la superficie y en los fenómenos que controlan la estabilidad, floculación y agregación de partículas tanto en sistemas sintéticos como naturales (suelos). Así mismo, se realizarán estudios de mecanismos de precipitación, envejecimiento y disolución de diferentes óxidos metálicos con el objeto de predecir y controlar sus propiedades. Además de la utilización de diversas técnicas experimentales de caracterización de sólidos, interfaces y suspensiones, se plantea describir los fenómenos a través de modelos matemáticos con el objeto de lograr un mejor "manejo" de los diferentes sistemas. Por otra parte, se analizará el comportamiento de celdas para baterías con electrodos de Ni (OH)2 y plomo con el objeto de mejorar su rendimiento. Se estudiará además la influencia de los distintos parámetros experimentales, tales como electrolito, aditivos, etc. Finalmente, con respecto a los electrodos químicamente modificados, se continuará con el estudio de diversas condiciones experimentales para la obtención de sensores electroquímicos. Paralelamente se comenzará con el desarrollo de biosensores electroquímicos, así como con el estudio de las propiedades electroquímicas de los electrodos antes mencionados.

Modificaciones de fosfatasa alcalina placentaria en plasma y placenta de embarazadas chagásicas in vivo e in vitro

Se ha demostrado que enzimas de placentas humanas asociadas a membranas y a lisosomas experimentan modificaciones por acción del Trypanosoma cruzi . La fosfatasa alcalina placentaria (FAP) es genéticamente muy polimórfica en la población humana y esto ha sido establecido por diversos autores. (...) Trabajos preliminares permiten postular que la actividad de la FAP disminuye en el plasma de pacientes chagásicos en el tercer mes de gestación y que esta disminución se asocia con el nacimiento de niños chagásicos. En placentas de madres chagásicas se demuestra mediante microscopía electrónica una disminución de la FAP en el sinciciotrofoblasto. También se detecta una disminución de la actividad de la enzima en infección placentaria con el Trypanosoma cruzi "in vitro". No existen estudios analíticos ni sistemáticos de la actividad de la fosfatasa alcalina placentaria plasmática, ni en placenta, en la enfermedad de Chagas y durante el transcurso del embarazo que permitan dilucidar el rol de la enzima en la interacción placenta-parásito-feto a través de las formas moleculares características y funciones que se le atribuyen a la enzima en condiciones normales. Objetivo general: Determinar si la enfermedad de Chagas-Mazza induce cambios significativos y específicos de la fosfatasa alcalina placentaria en plasma y placenta durante el transcurso del embarazo en relación con la infección de la placenta y el feto y caracterizar la fosfatasa alcalina placentaria de las placentas normales cultivadas e infectadas con T. cruzi y del medio de cultivo en la infección "in vitro" con el objeto de dilucidar los posibles mecanismos de la infección placentaria en la enfermedad de Chagas congénita.

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.

Condicionantes de la calidad de vida relacionada con la salud en niños de 8 a 11 años asistentes a escuelas públicas de la ciudad de Córdoba en el año 2011

Problema. La calidad de vida relacionada con la salud (CVRS) es una medida de salud que permite captar la capacidad para realizar actividades y funciones importantes para el individuo a partir de su propia percepción y permiten estudiar el impacto de problemas de salud, tratamientos o determinantes socioeconómicos. Los instrumentos para medir CVRS en población infantil recientemente desarrollados tienen la característica de recolectar datos a partir de la declaración directa de los propios niños y niñas sobre dimensiones de la salud específicamente relevantes a esta edad. Entre los problemas epidemiológicos y clínicos emergentes en las últimas décadas, presente ya en la infancia, el exceso de peso es un importante factor de riesgo de enfermedades crónicas en la adultez y aún no ha sido suficientemente abordado en el ámbito local. Hipótesis. La CVRS declarada por niños y niñas escolares de la ciudad de Córdoba mostrará niveles más bajos que los valores internacionales de referencia. En la comparación por sexo, los niños mostrarán peor puntuación en la dimensión de entorno escolar, mientras que las niñas lo harán en la de bienestar físico. Se manifestarán desigualdades sociales en salud y efecto del exceso de peso en los cambios anuales de la CVRS. Objetivos generales. 1) Describir la CVRS en niños y niñas de 8 a 11 años asistentes a escuelas municipales de la ciudad de Córdoba y su asociación a factores socioeconómicos y sanitarios. 2) Estimar la frecuencia de sobrepeso y obesidad y su impacto en la CVRS, teniendo en cuenta la influencia de factores socioeconómicos, sanitarios y del ambiente escolar. Material y métodos. Diseño observacional longitudinal en el ámbito de las escuelas primarias municipales de la ciudad de Córdoba, entre agosto de 2011 (inicio 1ª medición) y noviembre de 2012 (fin 2ª medición). Se realizará un muestreo aleatorio bietápico de 20 escuelas y 60 cursos (uno por cada grado de 4º a 6º por escuela) alcanzando un tamaño muestral de 1.500 niños/as. La CVRS se medirá con el cuestionario KIDSCREEN que permite obtener datos para 10 dimensiones: bienestar físico, bienestar psicológico, estado de ánimo y emociones, autopercepción, autonomía, relación con los padres y vida familiar, relación con los amigos y apoyo social, entorno escolar, rechazo social (bullying) y recursos económicos. El cuestionario infantil incluirá también preguntas sobre actividad física, frecuencia de consumo de alimentos y recursos materiales de su hogar. Se medirá el peso y la talla para calcular el índice de masa corporal (IMC) y establecer las categorías de exceso de peso. Se pedirá a personas cuidadoras que informen su salud percibida, nivel de escolaridad y experiencia con la atención primaria de la salud infantil. También se relevarán datos ambientales mediante observación directa y solicitud a docentes. Se calcularán promedios y evolución anual de la CVRS y del IMC, por sexo y variables socioeconómicas y sanitarias, usando pruebas de asociación y modelos de medidas repetidas. Se estimará el impacto del sobrepeso y otras variables en la CVRS mediante la diferencia de medias estandarizadas (tamaño del efecto). La variabilidad dentro y entre grupos se controlará mediante modelos de análisis multinivel. Resultados esperados. Se obtendrán valores puntuales y de cambio en 10 dimensiones de la CVRS en niños de edad escolar y sus diferencias por sexo y factores socioeconómicos. Se conocerá la frecuencia del exceso de peso en esta población, factores asociados al problema y su impacto en la CVRS. Importancia del proyecto. Los valores de cambio de la CVRS no se han estudiado aún suficientemente en el concierto internacional y tienen gran utilidad como referencia para la evaluación longitudinal de intervenciones. A nivel local, se contará con un diagnóstico de situación de la CVRS y sus condicionantes en un sector importante de la población infantil que constituirán una base para el diseño de actividades preventivas.

Fragmentos de bosque nativo como nodo para la restauración, conservación dinámica de la biodiversidad y educación para el desarrollo sostenible de la región centro.

El proyecto se asienta en la Estrategia Mundial para la Conservación de las Especies Vegetales (GSPC), asumido por el gobierno como un programa más dentro del Convenio de Diversidad Biológica (CDB); la cual incluye 5 objetivos y 16 metas para lograr la conservación vegetal hacia el 2020. En este contexto se propone trabajar en los objetivos II, IV y V referentes al % de conservación in-situ de flora nativa y al % de material disponible para restauración y recuperación. En la faz educativa re refiere a las acciones para promover la educación y la concienciación sobre la diversidad de las especies vegetales, su papel en los medios de vida sostenible y su importancia para el mantenimiento de la vida en la Tierra; así como el último objetivo apunta a incrementar la cantidad de personas dedicadas al estudio y conservación de la flora regional. En este contexto se realizará investigación, restauración, valorización y cuidado de fragmentos de bosque nativo, ubicados en el Campus universitarios, entendidos como nodos de conservación dinámica de la biodiversidad tanto como al intercambio y utilización de nuevos conocimientos, basados en la educación ambiental. Con respecto a los fragmentos se realizarán acciones tendientes a unificarlos para estabilizar el sistema. Se relevará la presencia de avifauna a fin de determinar la importancia de la preservación de estos relictos en el mantenimiento de la biodiversidad y se estudiará la expansión del bosque en el área de clausura. Por otra parte se relevará el efecto del fuego en una forestación de algarrobos de 7 años vecino a los fragmentos. Por último, el diálogo sobre la ciencia y la tecnología se plantea hoy como una necesidad ligada a los procesos de democratización, la ciencia no tiene sentido si no llega a los ciudadanos por lo que se realizarán visitas educativas destinadas a alumnos de nivel primario y medio. Por otra parte, el proyecto se basa en el trabajo de los educadores extraescolares, cuyo papel resulta esencial para vitalizar a unas sociedades necesitadas de permanente reflexión acerca de los objetivos que persiguen, la sustentabilidad de las estrategias que utilizan para conseguirlos, y la equidad en su reparto y utilización.