Creación de un test neuropsicológico de denominación confrontacional

La evaluación de la capacidad de denominar (encontrar las palabras adecuadas para nombrar objetos) tiene una importancia decisiva en el diagnóstico temprano de la enfermedad de Alzheimer ya que la anomia (pérdida de esta capacidad) es uno de los signos más tempranos de la enfermedad. Dicha evaluación también adquiere importancia en el diagnóstico de otras patologías tales como la demencia semántica o la afasia. Por lo tanto es importante contar con un test de denominación que sea adecuadamente diseñado para nuestro contexto cultural. Debido a que las pruebas de denominación creadas en otros contextos culturales no funcionan adecuadamente al aplicarse transculturalmente es que se comenzó, hace algunos años, a construir el Test de Denominación Córdoba. Éste es un test neuropsicológico para evaluar la capacidad de denominación confrontacional (implica la producción de los nombres correctos de figuras que se le presentan al individuo). Se diseñaron las láminas, y se realizó un estudio piloto para determinar el orden correcto de las mismas y eliminar láminas técnicamente inadecuadas. Luego se comenzaron los estudios de validez y la estandarización del test. En este proyecto se propone finalizar con los estudios de validez, confiabilidad y los baremos. Para ello se propone administrar alrededor de 200 tests a personas cognitivamente sanas para completar el baremo y alrededor de 20 a 25 personas con Enfermedad de Alzheimer para el estudio de validez

Estudio longitudinal sobre los efectos de la música a altos niveles sonoros en adolescentes

Se plantea la realización de un estudio longitudinal, asimilable a un experimento de laboratorio, con el máximo control de variables independientes, a los fines de constituirse en modelo referencial con validez nacional e internacional en el campo de la normatización dentro de la temática pertinente. Se trabaja con dos grupos de adolescentes -de varones uno y de niñas el otro-, de dos escuelas de la ciudad de Córdoba a lo largo de cuatro años. Se plantea como finalidad conocer con precisión efectos auditivos de la exposición a altos niveles sonoros de música en discotecas durante el período de la adolescencia y su relación con variables físicas, psicosociales y ambientales, como moderadores. En la primera etapa se llevó a cabo el diseño y construcción de ambientes acústicamente apropiadas para los estudios audiológicos -cabinas audiométricas que cumplimentan requisitos de normas nacionales e internacionales para realizar estudios audimétricos en los rangos de frecuencias convencionales y extendido de altas frecuencias. La segunda parte, que se encuentra en desarrollo, se inició con la toma de pruebas a los adolescentes que cursaron en el Ciclo Lectivo 1998 el Tercer Año del CBU. Las pruebas son estudios audiométricos y pruebas psicosociales. En este período -año 1999- se continuará trabajando con el mismo grupo de jóvenes, quienes cursarán el Cuarto Año de estudios (primero del Ciclo de Especialización). A las pruebas antes mencionadas se incluirán estudios de inmisión sonora por dosimetría y monitoreo de niveles reales en el conducto auditivo externo por el uso de walkman y discman. Los objetivos planteados son: a) detectar problemas auditivos y su relación con variables moderadoreas de carácter físico, psicosocial y ambiental; b) obtener información temprana acerca de la sensibilidad auditiva de los grupos de adolescentes estudiados; c) comprobar si la audimetría en altas frecuencias es válida como predictora de los problemas auditivos inducidos por ruido; d) conocer los niveles de inmisión sonora y espectro de la música a que están expuestos los adolescentes en su asistencia a discotecas del medio; e) conocer niveles sonoros reales a que están expuestos los adolescentes que escuchan música con walkman o discman; f) desarrollar para el análisis de los niveles sonoros reales técnicas de medición objetivas as hoc; g) determinar desde los objetivos parciales anteriores en cuanto conjunto, la influencia que ejercen sobre la salud auditiva del grupo de adolescentes.

Desarrollo de un test de detección temprana de trastornos de aprendizaje- test de velocidad de denominación.

La evaluación de la velocidad de denominación permite la identificación temprana de niños en riesgo de desarrollar dislexia. Por lo tanto es importante contar con un test de velocidad de denominación que sea adecuadamente diseñado para nuestro contexto cultural. Debido a que las pruebas de denominación creadas en otros contextos culturales no funcionan adecuadamente al aplicarse transculturalmente, es que se propone construir el Test de Velocidad de Denominación. Éste es un test neuropsicológico para evaluar la velocidad de denominación (implica cronometrar el tiempo necesario para la producción de los nombres correctos de figuras que se le presentan al individuo). Se diseñarán las láminas y se realizará un estudio piloto para determinar las figuras más adecuadas a incluir. Luego se realizará un estudio de validez del test. Para completar ambos estudios se propone administrar alrededor de cincuenta tests a niños en edad pre-escolar (cuatro y cinco años) para el estudio de diseño de las láminas; y a alrededor de cien niños de primer a tercer grado se les administrará el Test de Velocidad de Denominación y dos subtests de la batería de lectura LEE, para el estudio de validez.

EFECTO DEL ALMIDÓN DAÑADO SOBRE LAS PROPIEDADES DE LAS MASAS PANARIAS Y LA CALIDAD DE LOS PANIFICADOS

Argentina procesó en los últimos años alrededor de 5 millones de toneladas de trigo pan anualmente, y obtuvo poco menos de 4 millones de toneladas de harina de trigo. El 86% de la producción de harina de trigo tuvo como destino el mercado interno. El producto se industrializó de diferente manera: 71,3% para elaborar pan de panadería, 8,6% para pastas, 8,1% para consumo como harina fraccionada y otros, 7,3% para galletitas y bizcochos y 4,7% para pan industrial (SAGPyA). Las semillas de los cereales necesitan almacenar energía para el desarrollo posterior del embrión, la principal molécula de reserva es el almidón. Durante la molturación de los granos de cereales, en la obtención de harinas, una fracción de los gránulos es lesionada, produciendo así lo que se denomina almidón dañado. El almidón dañado afecta las propiedades de las harinas, fundamentalmente, provoca un aumento en la capacidad de absorción de agua, lo que produce masas de difícil manipulación y, en ciertos productos, como galletitas, afecta los tiempos de cocción de los productos debido a que se deben eliminar excedentes de agua. En productos con mayor contenido de agua y con largos períodos de fermentación, como el pan, el incremento en el contenido de gránulos dañados de almidón disminuye la consistencia de las masas. Pese al avance en el conocimiento de las modificaciones en las propiedades de las harinas que produce la presencia de almidón dañado, no se ha establecido claramente su incidencia sobre la calidad panadera de las harinas independientemente del papel que juegan los demás componentes. Además, poco se conoce hasta el momento sobre las posibles acciones que puedan contribuir a compensar los efectos del almidón dañado sobre los productos de panificación, y las modificaciones que podrían llegar a generarse, sobre los parámetros reológicos de las masas y la calidad del pan, a causa de los efectos de una posible mitigación. En el presente proyecto se plantea como objetivo general estudiar la influencia del contenido de almidón dañado sobre la calidad de las harinas para elaborar productos de panificación y analizar los efectos ocasionados por el uso de enzimas en la atenuación de los inconvenientes provocados por el almidón dañado. Se plantea los objetivos específicos: (i) Evaluar el efecto del contenido de almidón dañado sobre las pruebas fisicoquímicas utilizadas para predecir la calidad de las harinas. (ii) Analizar el efecto del contenido de almidón dañado sobre el comportamiento reológico, la microestructura de las masas y las transiciones de fase sufridas por el almidón. (iii) Estudiar el impacto del almidón dañado sobre la calidad de los productos de panificación. (iv) Investigar el efecto del contenido del almidón dañado sobre el envejecimiento del pan. (v) Estudiar el posible efecto mitigante de diferentes enzimas sobre los problemas de calidad derivados de harinas con niveles elevados de almidón dañado.

Estandarización y confiabilidad del test de velocidad de denominación para la detección temprana de dislexia.

La evaluación de la velocidad de denominación permite la identificación temprana de niños en riesgo de desarrollar dislexia. Por lo tanto es importante contar con un test de velocidad de denominación que sea adecuadamente diseñado para nuestro contexto cultural. Debido a que las pruebas de denominación creadas en otros contextos culturales no funcionan adecuadamente al aplicarse transculturalmente es que se construyó el Test de Velocidad de Denominación. Éste es un test neuropsicológico para evaluar la velocidad de denominación (implica cronometrar el tiempo necesario para la producción de los nombres correctos de figuras que se le presentan al individuo). El test consta con satisfactorios estudios de validez. Para la presente etapa se propone administrar el test a doscientos niños de 4 a 8 años para la construcción del baremo. A una submuestra de sesenta niños del grupo de baremación se les readministrará el test a los fines de evaluar la confiabilidad (estabilidad) de la prueba.

ESTANDARIZACIÓN Y CONFIABILIDAD DEL TEST DE VELOCIDAD DE DENOMINACIÓN PARA LA DETECCIÓN TEMPRANA DE DISLEXIA

La evaluación de la velocidad de denominación permite la identificación temprana de niños en riesgo de desarrollar dislexia. Por lo tanto es importante contar con un test de velocidad de denominación que sea adecuadamente diseñado para nuestro contexto cultural. Debido a que las pruebas de denominación creadas en otros contextos culturales no funcionan adecuadamente al aplicarse transculturalmente es que se construyó el Test de Velocidad de Denominación. Éste es un test neuropsicológico para evaluar la velocidad de denominación (implica cronometrar el tiempo necesario para la producción de los nombres correctos de figuras que se le presentan al individuo). El test consta con satisfactorios estudios de validez. Para la presente etapa se propone administrar el test a doscientos niños de 4 a 8 años para la construcción del baremo. A una submuestra de cincuenta niños del grupo de baremación se les readministrará el test a los fines de evaluar la confiabilidad (estabilidad) de la prueba.

Uso racional de antimicrobianos en Mastitis caprina

La producción de leche de cabra es considerada en nuestro país, y en la provincia de Córdoba, una alternativa productiva para el desarrollo sustentable y socio – económico de la población. Por otra parte, existe una mayor demanda del mercado nacional e internacional de esta leche, por lo que los productores deben garantizar la seguridad y calidad de la misma de acuerdo a las normas vigentes. Es por ello que el control y tratamiento de las diferentes enfermedades es de vital importancia tanto para maximizar la producción del hato como para cumplir con los cánones de seguridad exigidos. En este contexto la mastitis caprina es una de las enfermedades que afecta la productividad del sector, y para controlarla una de las medidas a emplear es la terapéutica con antimicrobianos. En este proyecto se trabaja con agentes antimicrobianos resultantes de las pruebas de susceptibilidad bacteriana, de patógenos aislados de cabras en lactancia, con mastitis y procedentes del norte de la provincia de Córdoba. Se utilizan indicadores de eficacia y seguridad terapéutica establecidos por parámetros integrados de farmacocinética (FC) y farmacodinamia (FD). Estos últimos (FD) son establecidos a través de la determinación de concentraciones inhibitorias mínimas de cepas bacterianas regionales. Para los estudios de FC, se administran los fármacos por las vías intravenosa, intramuscular e intramamaria a cabras en lactancia de raza Anglo Nubian. Se extraen muestras de sangre y leche en tiempos predefinidos, y se determinan sus concentraciones por métodos microbiológicos y/o cromatográficos. Los resultados FC / FD se comparan con parámetros recomendados por expertos para cada tipo de antimicrobiano y se utilizan como medida para recomendar una terapéutica racional, fundamental para optimizar la posología, garantizar la eficacia clínica, y reducir al mínimo la selección y propagación de cepas resistentes de agentes patógenos, favoreciéndose de este modo no sólo la producción, sino también la calidad e inocuidad de los alimentos.

Evaluación y Gestión de los riesgos relacionados con la inocuidad de los alimentos, asociados al rol del consumidor, en familias con niños en edad escolar primaria de la ciudad de Córdoba

El proyecto de investigación, desde un enfoque científico, multidisciplinario y regional, tiene por objetivo general identificar, evaluar y gestionar los riesgos asociados al rol de consumidor, que atentan contra la inocuidad de los alimentos en niños que cursan el nivel primario de escolaridad de la ciudad de Córdoba. La cadena agroalimentaria se extiende desde los productores primarios hasta los consumidores. La tarea de asegurar i) una disponibilidad suficiente, ii) la idoneidad nutricional y iii) la inocuidad de los alimentos suministrados es cada vez más compleja y requiere esfuerzos considerables. La ciencia y la tecnología han avanzado, para identificar, evaluar y gestionar los riesgos relacionados con los suministros de alimentos. Sin embargo, las enfermedades transmitidas por alimentos siguen siendo un motivo de grave preocupación para los consumidores. La distribución de los brotes según el origen en la Argentina para los casos relevados desde 1993 a 2002, indica que entre los comedores y la vivienda, se concentra el 95 % de los casos. (Sistema Regional de Vigilancia Epidemiológica de las ETA del Instituto Panamericano de Protección de Alimentos y Zoonosis) Todas las partes interesadas en la cadena agroalimentaria, comparten la responsabilidad de asegurar alimentos inocuos y nutritivos, desempeñando los consumidores una función decisiva, durante su preparación, almacenamiento y consumo. Como hipótesis del presente trabajo nos planteamos que la evaluación de los riesgos asociados al rol del consumidor en la ciudad de Córdoba, permitirá identificar la prevalencia y la incidencia de las prácticas que atentan contra la preservación de la inocuidad de un alimento y contribuirá en el desarrollo de actividades de gestión de riesgos acorde a las necesidades detectadas en la población de estudio. La realización de análisis del riesgo utilizando datos locales con el fin de abordar los riesgos de interés para la región, constituye una de las recomendaciones dadas por la FAO para América Latina. Abarca tres componentes importantes (evaluación del riesgo, gestión del riesgo y comunicación del riesgo), proporcionando un enfoque sistemático y disciplinado para la adopción de medidas apropiadas en materia de inocuidad de los alimentos. Proporciona la información y las pruebas que se necesitan para adoptar decisiones eficaces, contribuyendo a la obtención de mejores resultados en materia de inocuidad de los alimentos y a la mejora de la salud pública. (FAO 2008)

Brazo Humano Robotizado

El proyecto es el desarrollo de un manipulador de 8 grados de libertad, su optimización para lograr mayor similitud al brazo humano y poder estudiar su comportamiento y factibilidad de imitar el comportamiento del brazo humano. Con el diseño optimizado en CATIA y la construcción del prototipo se iniciará el modelado de las ecuaciones de movimiento y su simulación en la computadora, se iniciará con la simulación del modelo 3D en tiempo real que contará con un ambiente virtual desarrollado en CATIA de donde será obtenida la información de los movimientos a realizar por el brazo para ser aplicadas luego en un ambiente real similar. Finalmente se procederá al ensamblado de todos los componentes mecánicos y electrónicos para el inicio de las pruebas de laboratorio y sus ensayos de funcionamiento y testeos de acuerdo a los requerimientos previstos. El brazo humano estará diseñado con una mano de dos dedos que pueda tomar objetos.

Manipulador Robótico (Similar a brazo Humano)

El proyecto ROBOT-01 propone la construcción de un manipulador de 7 grados de libertad, aplicando las mas modernas técnicas de Simulación, diseño, CAD-3D, materiales compuestos, construcción de micro-mecánica, electrónica y software. Con el diseño detallado finalizado en CATIA se iniciará el modelado de las ecuaciones de movimiento y su simulación en la computadora, la construcción de los componentes mecánicos que serán realizados en empresas locales, se iniciara con las pruebas de los componentes electrónicos drivers de motores y de sistemas de control con sensores y de la interface con una PC que será la que controlará los componentes electrónicos y de simulación del modelo 3D en tiempo real. Finalmente se procederá al ensamblado de todos los componentes mecánicos y electrónicos para el inicio de las pruebas de laboratorio y sus ensayos de funcionamiento y testeos de acuerdo a los requerimientos previstos. El brazo manipulador estará diseñado para ser continuado o asociado con una mano robótica y con una base móvil autónoma, las que serán encaradas en proyectos futuros, o con interacción con otros grupos de investigación similares de otras Universidades.

Fotoquímica y fotofísica: Procesos de fotooxidación

Este proyecto comprende diferentes áreas o tópicos del saber los cuales se enumerarán divididos en los siguientes subtemas: A) Fotoquímica de compuestos carbonílicos perhalogenaso, fotooxidación en fase gaseosa; B) Fotoquímica y fotofísica láser de compuestos de coordinación; C) Reacciones de moléculas excitadas con especies de interés biológico. Subtema A: En nuestro laboratorio se ha estudiado la fotólisis de compuestos perhalogenados en fase gaseosa tales como CF3COF (fluoruro de perfluoroacetilo), CF3COCl (cloruro de perfluoroacetilo). Particularmente, se han determinado rendimientos cuánticos de descomposición, como así también se han propuesto probables mecanismos de reacción para cada una de ellas. Como próximo objetivo pretendemos continuar tales estudios y para esto se procederá al estudio de la fotooxidación de halogenuros de perfluoroacilo con el fin de aportar datos concretos sobre el mecanismo de tales reacciones. Subtema B: Este proyecto se orienta al estudio de procesos fotoquímicos y fotofísicos en fase condensada de compuestos de coordinación de metales de transición. Estos compuestos presentan un amplio campo de estudio desde dos puntos de vista: 1) desde el práctico, se orienta al desarrollo de posibles esquemas para la conversión y almacenamiento de la energía solar y 2) desde el teórico, nos permite chequear la validez de las teorías de transferencia de electrones de esfera externa sobre un amplio rango de cambios de energías libres como para obtener parámetros cinéticos confiables. En tal sentido se continuará con el estudio del efecto del medio: solvente, temperatura, pH, fuerza iónica, etc., sobre las reacciones de quenching del estado excitado de las especies Cr(phen)33+, Cr (bpy)+ 33+ y sus homólogos sustituidos por distintos fenoles desactivantes. También se estudiará a partir de compuestos minerales de interés regional tales como los derivados del U(VI) (U3O8 2+, (UO2)2 (OH)22+, etc.) cuyo mecanismo de desactivación permanece incierto. Subtema C: Las moléculas electrónicamente excitadas cumplen un importante rol en los sistemas biológicos al estar involucradas en mecanismos de transferencia electrónica y procesos oxidativos. En nuestro laboratorio, se han realizado estudios de procesos de fotooxidación de indoles por oxígeno singlete en medios no acuosos y nuestro objetivo es continuar el estudio de estos procesos en complejos entre ciclodextrinas y derivados indólicos y fenólicos y posteriormente se estudiará el efecto del medio: solvente, temperatura, pH, etc. y las reacciones de fotooxidación de los derivados indólicos y fenólicos en presencia de ciclodextrinas. Paralelamente, se continuará estudiando la interacción del oxígeno singlete con derivados indólicos utilizando los métodos MINDO/3, MNDO, AMI y PM3. Los objetivos del proyecto apuntan a consolidar grupos de investigación en área de la investigación básica con la finalidad de generar recursos humanos, nuevos conocimientos y su posible transferencia a otras áreas del conocimiento.

Estudio de procesos fisicoquímicos que afectan a la dinámica y composición de la tropósfera

El proyecto tiene como objetivo principal alcanzar una mejor comprensión de los mecanismos que influyen en la capa inferior de la atmósfera o tropósfera, tanto desde el punto de vista teórico como experimental. (...) Se utilizarán modelos radioactivos para evaluar en forma cuantitativa el flujo de radiación que llega a la superficie terrestre en nuestra ciudad en las distintas estaciones como función de la concentración de especies absorbentes, dispersión y/o absorción por particulados y aerosoles, concentración de vapor de agua y factores meteorológicos. (...) Se espera además realizar estudios de sensibilidad con el objetivo de analizar el efecto de cambios en las condiciones fisicoquímicas del ambiente y su influencia en la velocidad de las reacciones químicas que tienen lugar en la atmósfera. El énfasis mayor se pondrá en aquellas reacciones iniciadas por la absorción de radiación proveniente del sol, en las cuales participan especies que absorben en la región del espectro electromagnético conocido como UV cercano. Este análisis es fundamental a la hora de optar por combustibles alternativos con el propósito de mejorar la calidad del aire en una región. En este período del proyecto se finalizará con el desarrollo y se harán las pruebas necesarias de un modelo matemático que permite la simulación de la dispersión y procesos de transporte producidos por una chimenea o escape industrial, teniendo en cuenta las reacciones químicas que ocurrirán (fuentes y sumideros) poniendo especial énfasis en la cuantificación de las concentraciones que recibirán los seres humanos y la vegetación en sitios críticos de la región. Este trabajo es de gran importancia ya que permitirá prever el impacto que tendrán las emisiones gaseosas reactivas de una industria, incinerador, etc. en la salud de la población. El uso de estos modelos es una pieza fundamental de lo que se conoce como "Estudios de impacto ambiental".

Sensores basados en nanocavidades de sistemas supramoleculares. Sensors based on nanocavities of supramolecular systems.

Uno de los grandes desafíos analíticos es resolver la complejidad del análisis de cantidades trazas de compuestos orgánicos debido a la baja sensibilidad analítica de las técnicas usuales que permiten una determinación específica como IR o RMN. El uso de espectrofotometría UV-Visible y espectroluminiscencia, técnicas que presentan mayor sensibilidad, se ve dificultada en muchos casos por el efecto matriz producido en el tratamiento de muestras reales y complejas o pérdida de la selectividad debido a la superposición de bandas.La interacción por formación de complejos entre determinados sustratos y receptores macrocíclicos que presentan poros o cavidades nanométricas, puede afectar las propiedades espectroscópicas de los sustratos. La respuesta de técnicas sensibles puede traducirse así en un análisis selectivo debido al reconocimiento molecular que se establece entre un dado receptor y el sustrato de interés. Por otra parte puede mejorar la sensibilidad debido a efectos de micropolaridad del medio, a efectos de restricciones de grados de libertad, por compartamentalización o protección de los estados excitados de los sustratos incluidos. El uso analítico de receptores selectivos es un área actualmente en desarrollo, que permite una rápida determinación de especies químicas, disminuyendo el efecto de interferentes, mejorando la sensibilidad y disminuyendo el tratamiento de la muestra.Se estudiarán los mecanismos involucrados en las interacciones y los factores que los modifican por técnicas espectroscópicas como UV-visible, RMN y luminiscencia. Se determinarán los parámetros analíticos por luminiscencia en los medios y condiciones en que la sensibilidad analítica muestre el mayor incremento. Se realizarán las pruebas de validación en las mejores condiciones para cada uno y mezclas de analitos relacionados en muestras reales.

EVALUACIÓN FUNCIONAL DEL CEREBRO: EL VALOR PREDICTIVO DE LA HABITUACIÓN COMO INDICADOR TEMPRANO DE LA INTEGRIDAD DEL SNC EN RECIÉN NACIDOS DE ALTO RIESGO NEUROLÓGICO POR HIPOXIA PERINATAL

La hipoxia perinatal se considera hoy una de las causas de mayor morbimortalidad en el recién nacido estando altamente asociada con déficits de orden neuro-psico-sensorial. Un adecuado tratamiento y rehabilitación implica la detección temprana de los déficits apuntando a la prevención. La neonatología actual se está orientando hacia técnicas no invasivas que valoran la respuesta hacia estímulos de diferentes cualidades sensoriales y permiten indagar capacidades tempranas de aprendizaje y memoria. La precoz madurez del sistema olfativo facilita el trabajo con estas claves brindando asímismo un panorama de la integración cortical. Hipótesis: Las capacidades de habituación-deshabituación olfativa reflejan el estado del SNC neonatal y se convierten en un indicador temprano de la funcionalidad cerebral en niños con alto riesgo neurológico. Objetivos: Evaluar la integridad funcional del cerebro de recién nacidos con riesgo neurológico mediante técnicas no invasivas de habituación-deshabituación. Estas téncicas se tomarán como indicadores del estado del SNC neonatal comparando sus resultados con los arrojados por el test de Bayley durante el primer año de vida. Asímismo, se relacionarán los resultados con las valoraciones clínicas y de imágenes (ecografía y RMN) obtendias. El objetivo último implica determinar la sensibilidad, especificidad y valor predictivo del test de Habituación-Deshabituación para el daño cerebral . Materiales y Métodos: Se evaluarán pacientes con antecedentes perinatales de hipoxia pertenecientes al Servicio del Neonatología del HUMN y al Hospital Materno Neonatal (Pcia de Córdoba) caracterizados por apgar < 3 a los 5 minutos ó < 5 a los 5 minutos, Ph de cordón < 7 ó entre 7 y 7,10 ó >7,10 con alguno de los criterios anteriores presentes y niños con manifestaciones sistémicas de asfixia o déficit de base en gas arterial superior a -15 Meq/L. De manera posterior a la firma del consentimiento informado se aplicará un esquema olfativo de habituación-deshabituación antes y después de las 6 horas de vida consistente en 10 presentaciones consecutivas de olor a limón o vainilla seguidos de 5 presentaciones consecutivas de olor a vainilla o limón que actúan como estímulos deshabituatorios. Se filmará la conducta motriz que será considerada como variable dependiente. Asímismo se evaluarán parámetros fisiológicos como presión areterial, saturación de oxígeno, frecuencia cardíaca y ritmo respiratorio. La evaluación de la habituación se complementará con estudios clínicos y ecografía cerebral antes de las 48 hs y 1 vez por semana. Todos estos bebés serán seguidos por el equipo de Seguimiento del Recién Nacido de Alto Riesgo. A los 6 meses y al año de vida se evaluará el desarrollo integral con el Test de Bayley . Resultados Esperados: Se espera encontrar diferencias en los patrones habituacionales en función del estado cerebral del bebé. Aquellos bebés con riesgo leve tenderán a mostrar patrones habituatorios que se acercan a los normales mientras que los que presenten riesgo moderado o grave exhibiran patrones habituacionales defectuosos. Estos resultados se correlacionarán con los estudios de seguimiento realizados y con los indices de desarrollo mental y motor arrojados por el test de Bayley durante el año de vida. Importancia del Proyecto: Definir precozmente al niño con riesgo neurológico permite intervenir a tiempo con la estimulación y rehabilitación adecuada. Teniendo en cuenta la valoración del examen clínico, los antecedentes perinatales y los estudios de imágenes que se realizan en el bebé junto a los resultados obtenidos en las pruebas habituacionales, el proyecto brinda la posibilidad de la construcción de un score de riesgo neurológico sencillo y de fácil utilización.

Verificación de Sistemas Basada en Teoría de Tipos. System verification in type theory

Este proyecto se enmarca en la utlización de métodos formales (más precisamente, en la utilización de teoría de tipos) para garantizar la ausencia de errores en programas. Por un lado se plantea el diseño de nuevos algoritmos de chequeo de tipos. Para ello, se proponen nuevos algoritmos basados en la idea de normalización por evaluación que sean extensibles a otros sistemas de tipos. En el futuro próximo extenderemos resultados que hemos conseguido recientemente [16,17] para obtener: una simplificación de los trabajos realizados para sistemas sin regla eta (acá se estudiarán dos sistemas: a la Martin Löf y a la PTS), la formulación de estos chequeadores para sistemas con variables, generalizar la noción de categoría con familia utilizada para dar semántica a teoría de tipos, obtener una formulación categórica de la noción de normalización por evaluación y finalmente, aplicar estos algoritmos a sistemas con reescrituras. Para los primeros resultados esperados mencionados, nos proponemos como método adaptar las pruebas de [16,17] a los nuevos sistemas. La importancia radica en que permitirán tornar más automatizables (y por ello, más fácilmente utilizables) los asistentes de demostración basados en teoría de tipos. Por otro lado, se utilizará la teoría de tipos para certificar compiladores, intentando llevar adelante la propuesta nunca explorada de [22] de utilizar un enfoque abstracto basado en categorías funtoriales. El método consistirá en certificar el lenguaje "Peal" [29] y luego agregar sucesivamente funcionalidad hasta obtener Forsythe [23]. En este período esperamos poder agregar varias extensiones. La importancia de este proyecto radica en que sólo un compilador certificado garantiza que un programa fuente correcto se compile a un programa objeto correcto. Es por ello, crucial para todo proceso de verificación que se base en verificar código fuente. Finalmente, se abordará la formalización de sistemas con session types. Los mismos han demostrado tener fallas en sus formulaciones [30], por lo que parece conveniente su formalización. Durante la marcha de este proyecto, esperamos tener alguna formalización que dé lugar a un algoritmo de chequeo de tipos y a demostrar las propiedades usuales de los sistemas. La contribución es arrojar un poco de luz sobre estas formulaciones cuyos errores revelan que el tema no ha adquirido aún suficiente madurez o comprensión por parte de la comunidad. This project is about using type theory to garantee program correctness. It follows three different directions: 1) Finding new type-checking algorithms based on normalization by evaluation. First, we would show that recent results like [16,17] extend to other type systems like: Martin-Löf´s type theory without eta rule, PTSs, type systems with variables (in addition to systems in [16,17] which are a la de Bruijn), systems with rewrite rules. This will be done by adjusting the proofs in [16,17] so that they apply to such systems as well. We will also try to obtain a more general definition of categories with families and normalization by evaluation, formulated in categorical terms. We expect this may turn proof-assistants more automatic and useful. 2) Exploring the proposal in [22] to compiler construction for Algol-like languages using functorial categories. According to [22] such approach is suitable for verifying compiler correctness, claim which was never explored. First, the language Peal [29] will be certified in type theory and we will gradually add funtionality to it until a correct compiler for the language Forsythe [23] is obtained. 3) Formilizing systems for session types. Several proposals have shown to be faulty [30]. This means that a formalization of it may contribute to the general understanding of session types.