Diseño de sistemas de comunicaciones de alta velocidad. Design of high-speed communication systems.

El crecimiento exponencial del tráfico de datos es uno de los mayores desafíos que enfrentan actualmente los sistemas de comunicaciones, debiendo los mismos ser capaces de soportar velocidades de procesamiento de datos cada vez mas altas. En particular, el consumo de potencia se ha transformado en uno de los parámetros de diseño más críticos, generando la necesidad de investigar el uso de nuevas arquitecturas y algoritmos para el procesamiento digital de la información. Por otro lado, el análisis y evaluación de nuevas técnicas de procesamiento presenta dificultades dadas las altas velocidades a las que deben operar, resultando frecuentemente ineficiente el uso de la simulación basada en software como método. En este contexto, el uso de electrónica programable ofrece una oportunidad a bajo costo donde no solo se evaluan nuevas técnicas de diseño de alta velocidad sino también se valida su implementación en desarrollos tecnológicos. El presente proyecto tiene como objetivo principal el estudio y desarrollo de nuevas arquitecturas y algoritmos en electrónica programable para el procesamiento de datos a alta velocidad. El método a utilizar será la programación en dispositivos FPGA (Field-Programmable Gate Array) que ofrecen una buena relación costo-beneficio y gran flexibilidad para integrarse con otros dispositivos de comunicaciones. Para la etapas de diseño, simulación y programación se utilizaran herramientas CAD (Computer-Aided Design) orientadas a sistemas electrónicos digitales. El proyecto beneficiara a estudiantes de grado y postgrado de carreras afines a la informática y las telecomunicaciones, contribuyendo al desarrollo de proyectos finales y tesis doctorales. Los resultados del proyecto serán publicados en conferencias y/o revistas nacionales e internacionales y divulgados a través de charlas de difusión y/o encuentros. El proyecto se enmarca dentro de un área de gran importancia para la Provincia de Córdoba, como lo es la informática y las telecomunicaciones, y promete generar conocimiento de gran valor agregado que pueda ser transferido a empresas tecnológicas de la Provincia de Córdoba a través de consultorias o desarrollos de productos.

Efecto de la incorporación de proteínas de origen vegetal sobre sistemas alimenticios basados en almidón. Effect of vegetal protein addition to gelled-starch food.

La soja y el maní son cultivos de gran importancia en la provincia de Córdoba y en la Argentina. La utilización de proteínas vegetales se ha incrementado notablemente debido a su alto valor nutricional y a sus atributos funcionales deseables. Las harinas de soja y de maní, subproductos de la extracción de aceite, presentan un alto contenido de proteínas vegetales de excelente calidad nutricional, de bajo precio y con escaso nivel de aprovechamiento en la industria alimenticia. Los concentrados de proteínas de soja son poco utilizados en la elaboración de alimentos, además el desarrollo de concentrados de proteínas de maní puede proveer a la industria de un nuevo ingrediente con alto contenido de proteínas para la formulación y fortificación de alimentos tradicionales. Los postres listos para consumir disponibles en el mercado, están formados por mezclas de almidón gelificado y derivados lácteos, sobre los que se agregan diversos aditivos alimentarios (como sacarosa, aromatizantes, espesantes, etc.). La incorporación de proteínas vegetales puede ser una eficaz forma de incrementar el nivel de proteínas y, en consecuencia, el valor nutricional de estos productos. Además de ser una alternativa a los alimentos elaborados con proteínas animales. Pese a que Córdoba es un gran productor de soja y maní, sus derivados no son empleados actualmente como ingredientes en este tipo de alimentos.El objetivo general de este proyecto es estudiar el efecto de la incorporación de proteínas de origen vegetal sobre las propiedades físico-químicas y funcionales de sistemas alimenticios basados en almidón gelatinizado, prestando fundamental atención a las interacciones que se establecen entre las diferentes moléculas. Se planifica obtener concentrados de proteínas a partir de harina desgrasada de soja y de maní y estudiar su composición y sus propiedades funcionales. Se elaborarán mezclas de los concentrados con almidones de maíz, mandioca y trigo. Se estudiará el comportamiento termo-mecánico de las mezclas y la calidad de los geles mediante la cantidad de agua liberada, el perfil reológico y el color. También se realizarán análisis sensoriales para la selección de los parámetros de calidad de los geles y se estudiarán la digestibilidad de las proteínas y del almidón. Al mismo tiempo se estudiarán las interacciones químicas y físicas entre los distintos componentes. Los resultados servirán para generar y difundir conocimientos sobre la relación entre las interacciones y la calidad de los productos, lo que facilitará la optimización de formulaciones y procesos.

Errores en sistemas de procesamiento de datos debido a eventos transitorios en interfaces analógicas: aportes a la mitigación de los mismos. Errors in data processing systems due to single transient events affecting analog interfaces: contributions to their mitigation.

Los eventos transitorios únicos analógicos (ASET, Analog Single Event Transient) se producen debido a la interacción de un ión pesado o un protón de alta energía con un dispositivo sensible de un circuito analógico. La interacción del ión con un transistor bipolar o de efecto de campo MOS induce pares electrón-hueco que provocan picos que pueden propagarse a la salida del componente analógico provocando transitorios que pueden inducir fallas en el nivel sistema. Los problemas más graves debido a este tipo de fenómeno se dan en el medioambiente espacial, muy rico en iones pesados. Casos típicos los constituyen las computadoras de a bordo de satélites y otros artefactos espaciales. Sin embargo, y debido a la continua contracción de dimensiones de los transistores (que trae aparejado un aumento de sensibilidad), este fenómeno ha comenzado a observarse a nivel del mar, provocado fundamentalmente por el impacto de neutrones atmosféricos. Estos efectos pueden provocar severos problemas a los sistemas informáticos con interfaces analógicas desde las que obtienen datos para el procesamiento y se han convertido en uno de los problemas más graves a los que tienen que hacer frente los diseñadores de sistemas de alta escala de integración. Casos típicos son los Sistemas en Chip que incluyen módulos de procesamiento de altas prestaciones como las interfaces analógicas.El proyecto persigue como objetivo general estudiar la susceptibilidad de sistemas informáticos a ASETs en sus secciones analógicas, proponiendo estrategias para la mitigación de los errores.Como objetivos específicos se pretende: -Proponer nuevos modelos de ASETs basados en simulaciones en el nivel dispositivo y resueltas por el método de elementos finitos.-Utilizar los modelos para identificar las secciones más propensas a producir errores y consecuentemente para ser candidatos a la aplicación de técnicas de endurecimiento a radiaciones.-Utilizar estos modelos para estudiar la naturaleza de los errores producidos en sistemas de procesamiento de datos.-Proponer soluciones novedosas para la mitigación de estos efectos en los mismos circuitos analógicos evitando su propagación a las secciones digitales.-Proponer soluciones para la mitigación de los efectos en el nivel sistema.Para llevar a cabo el proyecto se plantea un procedimiento ascendente para las investigaciones a realizar, comenzando por descripciones en el nivel físico para posteriormente aumentar el nivel de abstracción en el que se encuentra modelado el circuito. Se propone el modelado físico de los dispositivos MOS y su resolución mediante el Método de Elementos Finitos. La inyección de cargas en las zonas sensibles de los modelos permitirá determinar los perfiles de los pulsos de corriente que deben inyectarse en el nivel circuito para emular estos efectos. Estos procedimientos se realizarán para los distintos bloques constructivos de las interfaces analógicas, proponiendo estrategias de mitigación de errores en diferentes niveles.Los resultados esperados del presente proyecto incluyen hardware para detección de errores y tolerancia a este tipo de eventos que permitan aumentar la confiabilidad de sistemas de tratamiento de la información, así como también nuevos datos referentes a efectos de la radiación en semiconductores, nuevos modelos de fallas transitorias que permitan una simulación de estos eventos en el nivel circuito y la determinación de zonas sensibles de interfaces analógicas típicas que deben ser endurecidas para radiación.

Procesos de plasticidad sináptica en gyrus dentado hipocampal durante la administración crónica y el síndrome de abstinencia a cocaína. Synaptic plasticity in hippocampal dentate gyrus during chronic administration and withdrawal from cocaine.

Los procesos neuronales adaptativos que se observan como consecuencia de la administración crónica de drogas de abuso, son similares a los procesos plásticos que subyacen al aprendizaje y la memoria. Por otra parte, el hipocampo forma parte del circuito neuronal responsable de los cambios conductuales observados como consecuencia de la administración crónica de diferentes drogas de abuso. De acuerdo con esto, resultados previos de nuestro laboratorio demostraron que la plasticidad sináptica en el hipocampo y las claves contextuales relacionadas con la administración de la droga, son relevantes para el incremento de la plasticidad hipocampal por la administración crónica de diazepam. Específicamente en el gyrus dentado hipocampal se han descripto fenómenos plásticos relacionados con la exposición crónica a psicofármacos, tales como facilitación en la transmisión sináptica, disminución de la proliferación celular y el aumento del factor de transcripción ?Fos B. Debido a la correlación existente entre los mecanismos de plasticidad neuronal, los aprendizaje asociativos y formación de memorias y aquellos responsables de la adicción, el objetivo general de este trabajo es caracterizar los cambios inducidos por la exposición repetida de cocaína y durante el periodo de abstinencia, en la excitabilidad neuronal de las células del gyrus dentado hipocampal, los canales iónicos afectados y los posibles mecanismos bioquímicos involucrados en dichos cambios, que podrían explicar las alteraciones conductuales observadas después de dicho tratamiento. Con este propósito, se estudiará: 1) la plasticidad sináptica (potenciación a largo plazo, LTP y depotenciación a largo plazo, LTD) en el gyrus dentado, mediante registros electrofisiológios multiunitarios; 2)la excitabilidad de las células granulares del gyrus dentado y la actividad de los canales iónicos, utilizando la técnica de patch clamp; 3) las alteraciones en la neurotransmisión glutamatergica, midiendo los niveles del neurotransmisor in vivo, utilizando la técnica de microdiálisis; el tráfico de receptores glutamatérgicos, utilizando la técnica de western-blott, 4) la participación del óxido nítrico en los cambios adaptativos observados como consecuencia de la sensibilización a cocaína. Además, mediante la utilización de técnicas comportamentales (avoidance inhibitorio), se estudiarán las posibles alteraciones de conductas que se sabe dependen de la integridad funcional del hipocampo.En relación a los resultados del presente proyecto se espera obtener un incremento en la plasticidad sináptica, en la excitabilidad neuronal de las células granulares del gyrus dentado de la formación hipocámpica, en la liberación extracelular de glutamato in vivo, como así también en el tráfico de receptores glutamatérgicos. Además se espera obtener un aumento de las vías de señalización activadas por la acción de glutamato, como la de óxido nítrico/GMPc, como consecuencia de la administración crónica de cocaína. Con este aumento global de la plasticidad sináptica hipocampal, las conductas dependientes de esta estructura debieran estar facilitadas, demostrando así una participación activa del hipocampo en los procesos de sensibilización y posiblemente en la adicción a psicoestimulantes. La caracterización del impacto del desarrollo de sensibilización a cocaína en la excitabilidad neuronal en el hipocampo, sobre los sistemas de neurotransmisión y las vías de señalización involucradas contribuirían a dilucidar los mecanismos que contribuyen al desarrollo de sensibilización a cocaína, los cuales podrían representar potenciales blancos terapéuticos para el tratamiento de la adicción, considerando principalmente aspectos específicos de la actividad eléctrica neuronal y la plasticidad sináptica asociada con las diferentes fases del ciclo de la adicción.

Dinámica Cuántica de Sistemas Complejos: Fundamentos y Aplicaciones. Quantum Dynamics in Complex Systems: Fundamentals and Aplications.

El procedimiento de revertir la dinámica colectiva (diablillo de Loschmidt apresurado) mediante un pulso de radio frecuencia, permite generar un Eco de Loschmidt, es decir la refocalización de una excitación localizada. Alternativamente, en acústica es posible implementar un Espejo de Reversión Temporal, que consiste en la progresiva inyección de una débil excitación ultrasónica en la periferia de un sistema, para construir una excitación que se propaga "hacia atrás". Así, podemos afirmar que es posible revertir y controlar la dinámica. Sin embargo, aún no se posee una comprensión detallada de los mecanismos que gobiernan estos procedimientos. Este proyecto busca responder las preguntas que posibilitan esta comprensión.

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.

Efecto de la forestación con pináceas sobre la biodiversidad y el funcionamiento de sistemas fluviales serranos en pastizales de altura. Pine afforestation effects on ecosystem functioning and biodiversity in mountain pastureland fluvial systems.

Las acciones antrópicas han alterado los ecosistemas a escala global mediante cambios en la estructura y función de los sistemas terrestres y acuáticos. En este sentido, la deforestación de bosques ripariales impacta fuertemente sobre los sistemas lóticos como así también el proceso inverso, la conversión de pasturas naturales a bosques debido a forestaciones extensivas. Las nacientes de los arroyos de la provincia de Córdoba se ubican en pastizales dominados por gramíneas, muchos de los cuales han sido reemplazados por plantaciones de coníferas, con potenciales efectos sobre la estructura y el funcionamiento de los cursos de agua. En consecuencia, la evaluación de los efectos de esta actividad forestal sobre los arroyos es esencial para la implementación de adecuadas estrategias de manejo y conservación del recurso acuático. El objetivo de este proyecto es evaluar los efectos de la forestación con pináceas sobre la estructura y el funcionamiento de sistemas fluviales en pastizales de altura de las sierras de Córdoba. Se pretende analizar la dinámica de la biota acuática en arroyos de pastizales y en arroyos forestados. Se cuantificarán productores primarios y materia orgánica particulada y se medirán procesos ecológicos como la producción primaria y descomposición de materia orgánica gruesa. Se espera que la forestación con pináceas altere el ciclo de los nutrientes, disminuya el caudal y cambie el balance de temperatura al incrementar la sombra y el ingreso de materia orgánica particulada gruesa. En consecuencia, y debido a los cambios abióticos contrastantes generados por la implantación de pinos, podrían detectarse alteraciones drásticas en el ecosistema. Se seleccionarán seis arroyos de la subcuenca del arroyo Santa Rosa (Subcuenca Ctalamochita). Tres arroyos discurren en pastizales naturales y tres en áreas forestadas con pináceas. Se tomarán muestras de invertebrados y materia orgánica en el bentos en aguas altas y aguas bajas y se registrarán parámetros físico-químicos. Se colectarán muestras de perifiton para análisis de especies, biomasa y clorofila. Se realizarán experimentos de campo para medir la tasa de degradación de la materia orgánica y la producción primaria. La detección del grado de alteración de los sistemas naturales es el punto de partida para la implementación de apropiadas estragias de manejo del recurso. Entre los indicadores que permitirán verificar el efecto de las forestaciones estan los cambios en la biodiversidad, en la tasa de degradación de materia orgánica y en la producción primaria, como así también en la dinámica de los nutrientes y en los ciclos de caudales. Esta propuesta pretende generar lazos de interrelación entre distintos sectores para la implementación efectiva de planes de conservación y restauración y propiciar las relaciones necesarias para el logro de objetivos que beneficien a la sociedad como un todo.

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.

Programa de evaluación genética de caracteres productivos, adaptativos y de comportamiento, en bovinos de carne para áreas desfavorecidas.

La producción de carne bovina en áreas subtropical y templadas cálidas se ve afectada en cantidad y calidad debido a las condiciones de calor y humedad a lo largo del año o en determinados meses del año. Las razas tradicionales son las que más sufren esa condición climática y por otra parte, las razas y/o cruzas más adaptadas muestran problemas de calidad de carne, menor precocidad reproductiva y de temperamento. Buena parte de la producción bovina de carne de la provincia de Córdoba está incluida en áreas que sufren durante todo o parte del año de condiciones climáticas desfavorables. Además el fenómeno creciente del calentamiento global incrementará la extensión de esas áreas y agravará el problema en las actuales. Las razas bovinas de origén índico y africano muestran mayor adaptación al estrés térmico y las razas británicas son más susceptibles aunque existe variación individual. Los indicadores climáticos de estrés térmico son variados, aunque humedad relativa del ambiente y temperatura son los más importantes. Ambas variables se combinan en un índice de humedad y temperatura (THI) que es un indicador válido para predecir dicho estrés. En el animal se pueden realizar diversos ensayos que incluyen toma de información de temperatura corporal profunda y frecuencia respiratoria. Dichos ensayos permiten clasificar a los animales como resistentes o susceptibles al estrés térmico. Los trabajos que se han realizado en genética animal en otros países demuestran un importante componente genético aditivo en este comportamiento frente al calor y humedad, esto permitiría pensar en incluir en programas de mejoramiento de producción de carne variables de adaptación al estrés térmico. En general se argumenta que las razas más adaptadas son simultáneamente de menor productividad en las áreas subtropicales, pero esto no queda claro a qué es debido; una menor producitividad primaria de esas áreas o al menor desempeño animal. Una hipótesis similar se puede formular para la calidad de la carne y las dificultades de manejo de esas razas por su temperamento más agresivo. Si la respuesta incluye el desempeño, ésto estaría dado en buena parte por componentes genéticos. Se conocen relaciones positivas entre variables de productividad, adaptabilidad, calidad de carne y temperamento, aunque aún no se han estudiado en nuestra provincia. Una raza sanga de orígen africano (Tuli) y sus cruzas se están ensayando en la UCC como parte de la búsqueda de soluciones a los problemas planteados anteriormente. Se desconocen los mecanismos fisiológicos de adaptación al estrés térmico que son utilizados por estos animales y también se ignoran las consecuencias genéticas de las cruzas con otras razas sobre estos mecanismos. Tampoco se disponen de parámetros poblacionales (fenotípicos y genéticos) de esta raza y sus cruzas.Los animales a utilizar en este trabajo pertenecen a las razas Tuli puros, Aberdeen Angus, Hereford, cruzas F1, cruzas inter sé de las F1 (San Ignacio) y Bradford. De los resultados esperados se podrán extraer sugerencias y desarrollar estrategias para mejorar la producción de carne en el área subtropical de nuestra provincia.

Desarrollo de Sistemas Innovadores de Transporte y Liberación Destinados a la Optimización de la Actividad Terapéutica de Fármacos

Existen numerosos fármacos con atributos terapéuticos relevantes que presentan propiedades físicoquímicas o biológicas desfavorables, las que comprometen su eficacia o seguridad y en consecuencia requieren nuevas estrategias de formulación para superar tales deficiencias. Debido a lo expuesto, el objetivo general de este proyecto es diseñar, desarrollar y evaluar nuevos sistemas de transporte y liberación de fármacos que presentan baja biodisponibilidad cuando son administrados por vía oral, 4 debido a su escasa solubilidad y/o permeación a través del epitelio gastrointestinal. Como objetivos específicos se proponen: - Obtención de nuevos sistemas portadores que incidan sobre la efectividad del proceso de absorción de fármacos modelos, facilitando su disolución y/o permeación en el tracto gastrointesinal. - Evaluación de la eficacia de los sistemas obtenidos, en el transporte y pasaje de los fármacos a través de las mucosas del tracto gastrointestinal, mediante metodologías in situ e in vitro, que contribuyan a la determinación de los parámetros biofarmacéuticos de relevancia. La metodología de trabajo propuesta contempla la formación de complejos ternarios utilizando ciclodextrinas (ß-ciclodextrina, hidroxipropil-ß-ciclodextrina y metil- ß-ciclodextrina) y etanolaminas, aminoácidos o meglumina; la incorporación en microemulsiones de los complejos con ciclodextrina obtenidos; así como la obtención de pellets por extrusión-esferonización. Para los estudios biofarmacéuticos, de los principios activos en los sistemas de transporte y liberación desarrollados, se diseñarán estudios de permeación, in situ, a través del método de perfusión de paso simple en ratas e in vitro, utilizando membranas artificiales y cultivos de células Caco-2. Se desarrollarán y validarán procedimientos analíticos adecuado para las determinaciones de los fármacos en todos los estudios implementados.

Procesos adaptativos y dimensiones del comportamiento biosocial en cazadores recolectores del SW de la provincia de La Pampa.

Resumen del proyecto: Este resumen se incluirá en la base de datos de la Biblioteca Digital del Ministerio, por lo que se debe elaborar el mismo sobre la base de la siguiente estructura y completar todos los campos que se indican a continuación: identificación y caracterización del problema objeto del estudio, hipótesis, planteo de objetivos, materiales y métodos a utilizar, resultados esperados, importancia del proyecto (extensión del campo 4000 caracteres). Proyecto diseñado para aportar al conocimiento de los procesos adaptativos y la dinámica biosocial de las sociedades del pasado prehistórico argentino. Propone analizar y evaluar el potencial documental de los restos bioarqueológicos con fehaciente asociación contextual para posibilitar la realización de inferencias sobre procesos biosociales de naturaleza adaptativa o no adaptativa. Está centrado en el análisis osteológico y biocultural de materiales esqueletales (aproximadamente cien individuos) correspondientes a poblaciones aborígenes prehistóricas del actual territorio de la provincia de La Pampa (Médano Petroquímica, Departamento Puelén). Entre otros muchos aspectos, la importancia de estos materiales reside en que son asignables a sociedades con economía cazadora-recolectora y cuya cronología corresponde al Holoceno tardío final (Entierros datados en 393 ± 41 cal AP AMS.), una época particularmente interesante por la dinámica sucesión de eventos socioculturales y poblacionales que la caracterizan. La evidencia recuperada da cuenta de prácticas funerarias complejas que consisten en la realización de enterratorios colectivos, indirectos, secundarios, y presencia de eventos de violencia y/o tensión social. Los métodos y técnicas consisten en la descripción e identificación basados en observación y registro de marcadores esqueléticos conforme a prácticas estándares de nuestro laboratorio: Planillas de observación y registro durante excavaciones de la Archaeological Summer Field School (ASFS) de la Universidad de Chicago y planillas de los “Standards” de Buikstra y Ubelaker, modificadas y adaptadas por nuestro grupo de trabajo, entre otros). Los datos obtenidos serán empleados para graficación (estadística descriptiva) y también se realizará sobre ellos análisis multivariados y estadística no paramétrica (etapa inferencial). Se tendrán en cuenta aspectos descriptivos y analíticos vinculados con el reconocimiento de la edad y el sexo, hábitos dietarios (marcadores morfológicos y químicos de hueso y dientes), economía de subsistencia, patrones de diferenciación social, exploración de eventuales relaciones de parentesco, roles vinculados con el sexo, el uso del cuerpo, dieta, salud y enfermedad, en relación con la economía de subsistencia, etc. (Buikstra y Beck 2006, Larsen, 1997, White y Folkens 2000). Dado la naturaleza y complejidad de los hallazgos, caracterizados por la conformación de entierros colectivos secundarios e indirectos, un capítulo de interés lo constituye el análisis de las dimensiones sociales del comportamiento mortuorio y la discusión de los indicadores de violencia y/o tensión social asociados a los hallazgos (O´Shea 1984, Rakita et al. 2005, entre otros). Dado el hecho de que se cuenta con la disponibilidad de materiales adecuados para este tipo de estudios, la información relevante y los datos a analizar serán obtenidos mediante la aplicación de métodos y técnicas bioarqueológicas específicas antes mencionados, con la finalidad de observar y discutir tendencias y proponer modelos de interpretación sujetos a ulterior validación, particularmente toda vez que se cuente con una mayor representación numérica y casuística tanto a nivel de individuos como de sitios bioarqueológicos excavados. El proyecto se enmarca en la firma de un Convenio Específico de Trabajo entre la UNRC y el Gobierno de La Pampa. Palabras clave: Ingrese hasta 5 palabras clave, distintas de las utilizadas en el título del proyecto y que describan la naturaleza del objeto de estudio. bioarqueología economía cazadora-recolectora adaptación biosocial comportamiento mortuorio Violencia y tensión social. Abstract: Resumen del proyecto en inglés (extensión del campo 2000 caracteres). This project has been designed to improve the knoledge on adaptive processes and biosocial dynamics among aborigine past societies in Argentina. This research is focused on the analysis and evaluation of documentary potential of bioarchaeological skeletal remains with reliable contextual associations. It is specifically centered in the osteological as well as cultural analysis of more than one hundred skeletons from native prehistoric populations from a prehistoric collective burial site in La Pampa province. (Médano Petroquímica, Departamento Puelén). Among other aspects, the importance of the materials to be analyzed lies in the fact that they correspond to a subsistence economy based on hunting and gathering, and have been chronologically assigned to Late Holocene times (burials dated 393 ± 41 cal AP AMS), a period denoting particular interest due to the dynamic succession of sociocultural events that characterized it. Evidence so far recovered accounts for complex funerary practices consisting of indirect, secondary collective burials, as well as the presence of events of violence and/o social tension. Methods and techniques consist in the description and identification based on the observation, and recording of skeletal markers, according to laboratory as well as field work standards: The University of Chicago Archaeological Summer Field School (ASFS) forms, and the “Standards” forms from Buikstra y Ubelaker (1994), modified and adapted by our research team, among others. Data obtained shall be used for graphic (descriptive statistics) as well as multivariate analyses and non parametric statistics (inferential stage). Descriptive as well as analytical aspects such as those related to age and sex determination, feeding habits (morphological as well as chemical markers of bones and teeth), subsistence economy, patterns of social differentiation, kinship patterns, sex-linked roles, body use, diet, health and disease, all of them in close relationship with the hunter-gatherer subsistence economy (Buikstra y Beck 2006, Larsen, 1997, White y Folkens 2000). Given the nature and complexity of the burial disposals, characterized by complex collective burials, a core chapter of our interest is that of social dimensions of mortuary behavior as well as the discussion and interpretation of markers of violence and/or social tension. Given the amount of evidence gathered so far, relevant information as well as data to be analyzed will be obtained by specific bioarchaeological methods and techniques, trying to observe and discuss possible trends as well as to formulate interpretive models to be verified or rejected with the arrival of new, reliable data both at individual level as well as at the archaeological sites to be excavated. This project has been particularly considered in a bilateral agreement between UNRC and the Government of La Pampa Province.

PRODUCCIÓN DE BIOMASA FORESTAL, FORRAJERA Y CAPACIDAD SUSTENDORA ANIMAL EN SISTEMAS SILVOPASTORILES DE LA LLANURA ONDULADA Y SIERRA DE COMECHINGONES EN EL CENTRO DE ARGENTINA.

Identificación y caracterización del problema: En Córdoba la llanura ondulada y la sierra de comechingones los problemas ambientales y productivos han comenzado manifestarse. En la llanura ondulada, 700.000 has de tierras se encuentran sujetas a severos procesos de erosión hídrica, generando perdida de suelos y disminución de la producción en los sistemas agrícolo-ganaderos. En la Sierra de Comechingones (300.000 ha), las plantaciones de pinos sobre pastizales naturales presentan escaso o nulo manejo silvicultural con lo que se obtiene madera de baja calidad y baja capacidad sustentadora animal cuando el pastoreo se practica en estas plantaciones. Objetivos generales: Validar funciones de crecimiento para la especie forestal Pinus elliottii y especies forrajeras en sistemas silvopastoriles con diferentes tratamientos siviculturales ((densidad de plantación, podas y raleos) destinados a obtener alta calidad de madera y capacidad sustentadora animal en la llanura ondulada y sierra de comechingones del centro de Argentina. Materiales y métodos: Para el desarrollo del trabajo se utilizaran dos módulos, uno situado en la llanura ondulada y otro en la sierra de Comechingones. El módulo silvopastoril de la llanura ondulada se encuentra en el campo de docencia y experimentación Pozo del Carril, ubicado a los 32° 58’ LS y 64° 40’ LO, a 550 m.s.n.m, Las situaciones que se evaluaran en este modulo serán: Pastoreo en callejones de 21 m, Pastoreo en callejones de 12m y un testigo sin árboles. Se aplicaran tratamientos de poda y raleo con la intensidad que corresponda a cada caso. El modulo silvopastoril en el ambiente sierra de comechingones se encuentra en el campo de experimentación y docencia “Las Guindas” ubicado a los 32° 35´ 9.64” S y 64° 43´ 66” O, a 1063 msnm. Las situaciones que se evaluaran en este modulo serán: Pastoreo en plantaciones (3x3 m), Pastoreo en plantaciones (3x4 m) y un testigo de pastizal serrano sin árboles. Se aplicaran tratamientos de poda y raleo con la intensidad que corresponda a cada caso. Para el cumplimiento de los objetivos propuestos un conjunto de determinaciones se realizaran en cada uno de los módulos propuestos: a)Determinación de volumen anual (m3/ha) de la especie leñosa Pinus elliottii . b) Parametrización y validación de una función de crecimiento de la biomasa forestal (m3/ha).. C) Estimación de la dinámica de crecimiento de copa de Pinus elliottii d) Determinación del grado de sombreamiento de Pinus elliottii para cada año del crecimiento e) Determinación de la producción de biomasa forrajera para diferentes posiciones del sistema silvopastoril g) Parametrización y validación de una función de producción de biomasa forrajera según grado de sombreamiento. h)Estimación de la capacidad sustentadora animal para los sistemas silvopastoriles bajo estudio. Resultados esperados: Sobre la base información secundaria y de los datos que se obtengan durante los dos años del estudio permitiran modelar la dinamica de la produccion de madera de calidad, cantidad y calidad de forraje y la capacidad sustentadora animal en silvopastoriles adaptados a la región de llanura ondulada y sierras de Córdoba, los que podrán ser utilizados para la definición de la tecnología de implantación y manejo silvícola de sistemas silvopastoriles para las condiciones ambientales semejantes a las del ensayo. Importancia del proyecto: Los resultados del proyecto permitirán enriquecer el conocimiento de los profesionales dedicados al asesoramiento tecnico y productores que buscan alternativas técnicas amigables con el ambiente como asi tambien el enriquecimiento de las bases teoricas que reciben alumnosde de grado y posgrado en asignaturas que abordan esta temática.

Respuesta de los sistemas planta-fitófago-parasitoide a condiciones microambientales en hábitats naturales y urbanos

Uno de los mayores desafíos de la ecología será predecir las posibles consecuencias del cambio climático sobre los organismos biológicos y proponer medidas que las suavicen. Es de esperar que los cambios climáticos provoquen la extinción de especies sensibles, a través de la disminución de su éxito reproductivo, la reducción de la cantidad y accesibilidad a hábitats adecuados, y también indirectamente por la eliminación de los recursos esenciales para su supervivencia. En un contexto de cambio climático global, el objetivo general de este proyecto es comprender los efectos de las condiciones microambientales sobre sistemas planta-herbívoro-parasitoide, en ambientes naturales y urbanos. Para ello estudiaremos las relaciones entre plantas, minadores de hojas y sus parasitoides considerando las diversas condiciones microambientales en donde el sistema se desarrolla. En ambientes nativos se prevé el estudio de dichos sistemas en tres ubicaciones del bosque (interior, bordes con orientación norte y bordes con orientación sur), analizando la identidad y abundancia de las especies, y los niveles de herbivoría y parasitismo. También se realizarán experimentos de laboratorio para analizar los niveles de herbivoría que sufran hojas obtenidas en cada una de las ubicaciones, a fin de conocer si poseen diferencias que puedan ser detectadas por los insectos, y se analizarán también posibles diferencias en la dureza de las hojas y su contenido de nitrógeno y carbono. En ambientes urbanos se estudiará la ocurrencia y grado de herbivoría de un minador de hojas asociado al “jacarandá”, árbol común en veredas de la ciudad de Córdoba, asi como la incidencia de sus parasitoides. Se relacionarán las variables biológicas con variables ambientales a nivel de sitio, tales como temperatura, tráfico vehicular, distancia al centro geográfico e “índice verde”, tomado a partir de imágenes satelitales. Los datos obtenidos a partir de los muestreos de campo en ambientes nativos serán analizados mediante modelos lineales generalizados que contemplen la dependencia de los microhábitats por localidad. Las variables obtenidas en experimentos en laboratorio serán analizadas mediante ANOVA con medidas repetidas o Test de Kruskall-Wallis. Los datos provenientes de ambientes urbanos serán analizados mediante regresiones logísticas para determinar la probabilidad de ocurrencia del minador, asi como los niveles de herbivoría y parasitismo en los diversos árboles estudiados. Se incluirán en el modelo todas las variables de urbanización anteriormente mencionadas así como la densidad de árboles en el sitio.

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.

Sistemas de Tipos para Verificación de Programas Concurrentes. Type Systems for Concurrent Programs Verification.

La programación concurrente es una tarea difícil aún para los más experimentados programadores. Las investigaciones en concurrencia han dado como resultado una gran cantidad de mecanismos y herramientas para resolver problemas de condiciones de carrera de datos y deadlocks, problemas que surgen por el mal uso de los mecanismos de sincronización. La verificación de propiedades interesantes de programas concurrentes presenta dificultades extras a los programas secuenciales debido al no-determinismo de su ejecución, lo cual resulta en una explosión en el número de posibles estados de programa, haciendo casi imposible un tratamiento manual o aún con la ayuda de computadoras. Algunos enfoques se basan en la creación de lenguajes de programación con construcciones con un alto nivel de abstración para expresar concurrencia y sincronización. Otros enfoques tratan de desarrollar técnicas y métodos de razonamiento para demostrar propiedades, algunos usan demostradores de teoremas generales, model-checking o algortimos específicos sobre un determinado sistema de tipos. Los enfoques basados en análisis estático liviano utilizan técnicas como interpretación abstracta para detectar ciertos tipos de errores, de una manera conservativa. Estas técnicas generalmente escalan lo suficiente para aplicarse en grandes proyectos de software pero los tipos de errores que pueden detectar es limitada. Algunas propiedades interesantes están relacionadas a condiciones de carrera y deadlocks, mientras que otros están interesados en problemas relacionados con la seguridad de los sistemas, como confidencialidad e integridad de datos. Los principales objetivos de esta propuesta es identificar algunas propiedades de interés a verificar en sistemas concurrentes y desarrollar técnicas y herramientas para realizar la verificación en forma automática. Para lograr estos objetivos, se pondrá énfasis en el estudio y desarrollo de sistemas de tipos como tipos dependientes, sistema de tipos y efectos, y tipos de efectos sensibles al flujo de datos y control. Estos sistemas de tipos se aplicarán a algunos modelos de programación concurrente como por ejemplo, en Simple Concurrent Object-Oriented Programming (SCOOP) y Java. Además se abordarán propiedades de seguridad usando sistemas de tipos específicos. Concurrent programming has remained a dificult task even for very experienced programmers. Concurrency research has provided a rich set of tools and mechanisms for dealing with data races and deadlocks that arise of incorrect use of synchronization. Verification of most interesting properties of concurrent programs is a very dificult task due to intrinsic non-deterministic nature of concurrency, resulting in a state explosion which make it almost imposible to be manually treat and it is a serious challenge to do that even with help of computers. Some approaches attempts create programming languages with higher levels of abstraction for expressing concurrency and synchronization. Other approaches try to develop reasoning methods to prove properties, either using general theorem provers, model-checking or specific algorithms on some type systems. The light-weight static analysis approach apply techniques like abstract interpretation to find certain kind of bugs in a conservative way. This techniques scale well to be applied in large software projects but the kind of bugs they may find are limited. Some interesting properties are related to data races and deadlocks, while others are interested in some security problems like confidentiality and integrity of data. The main goals of this proposal is to identify some interesting properties to verify in concurrent systems and develop techniques and tools to do full automatic verification. The main approach will be the application of type systems, as dependent types, type and effect systems, and flow-efect types. Those type systems will be applied to some models for concurrent programming as Simple Concurrent Object-Oriented Programming (SCOOP) and Java. Other goals include the analysis of security properties also using specific type systems.