EVALUACIÓN DE FITOREMEDIACIÓN DE SUELOS CONTAMINADOS CON PLOMO POR ACTIVIDAD INDUSTRIAL UTILIZANDO RYE GRASS EN DIVERSOS MEDIOS DE CULTIVO.

El desarrollo de actividades industriales, contribuye cada vez más a la generación de residuos con elementos potencialmente tóxicos que en concentraciones altas (fijadas por ley nacional 24051) pueden tener efectos nocivos a la salud de la población y afectaciones al equilibrio ecológico y el ambiente. Hoy existen estudios tendientes a resolver la contaminación originada por metales pesados en suelos, mediante estrategias basadas en el uso de plantas que tienen la propiedad de acumular metales pesados; proceso denominado “fitoremediación” que consiste en la remoción, transferencia, estabilización y/o degradación y neutralización de compuestos orgánicos, inorgánicos y radioactivos que resultan tóxicos en suelos y agua. Esta novedosa tecnología tiene como objetivo degradar y/o asimilar, los metales pesados, presentes en el suelo, lo cual tiene muchas ventajas con respecto a los métodos convencionales de tratamientos de lugares contaminados; en 1º lugar es una tecnología económica, de bajo costo, en 2º lugar posee un impacto regenerativo en lugares en donde se aplica y en 3º lugar su capacidad extractiva se mantiene debido al crecimiento vegetal (Harvey et al., 2002). La fitoremediación no es un remedio para todos los suelos contaminados y antes que esta tecnología pueda volverse técnicamente eficiente y económicamente viable, hay algunas limitaciones que necesitan ser superadas como por ejemplo la falta de pruebas a escala industrial (Freitas et al., 2004). Para la realización del trabajo se utilizarán las instalaciones de la empresa FACSA S.A ubicada en Avda. De las Quintas y De los Hornos de barrio villa Esquiú de Córdoba, empresa operadora de residuos de plomo autorizada por la Secretaría de Ambiente de la Provincia de Córdoba. Se utilizarán dos hectáreas de terreno de la empresa en la que se acumulará un máximo 1 metro cúbico por cada metro cuadrado de superficie. Previamente al deposito de suelo contaminado, el terreno será impermeabilizado con suelo cemento y cal para evitar lixiviaciones de plomo y luego se cercará para evitar ingreso de personal no autorizado. En las hectáreas preparadas se aplicarán capas sucesivas de suelo contaminado con suelo natural en la mitad del terreno y en la otra mitad capaz sucesivas de suelo contaminado y suelo fertilizado con lombricompuesto, ambos sectores serán sembrados con pasto Rye Grass. Durante el proceso se medirá la concentración de Pb por FRX cada tres meses, en tres profundidades para cada preparados de campo. Las muestras serán compuestas y se corresponderán a un mínimo de 5 puntos para cada profundidad. Lo mismo se realizará para medir la concentración de Pb en el pasto. Las cosechas o cortes de pasto serán trimestrales y el pasto cortado se recogerá, secará e incinerará en el propio horno de FACSA S.A. Se evaluarán las siguientes variables. Salinidad: Se realizará antes y al final del año, tomando muestras compuestas de 100g de suelo c/u a las cuales se le agregarán 100 ml de agua destilada, se deja reposar y luego se toma la lectura con la ayuda de un conductímetro calibrado. Acumulación de Pb en tejido vegetal: Se considerará como variable principal la acumulación de Pb en tejido vegetal, ya que integra tanto el grado de absorción del metal por las plantas, así como el efecto negativo que las concentraciones excesivas del metal sobre la producción de materia seca. Para el estudio de esta variable, se captarán y prepararán muestras trimestrales. Secado y protocolo para el análisis de Pb por FRX. Pb en Suelo:Esta variable se examinará trimestralmente, mediante mezcla compuesta de cada sector tomada como mínimo en cinco puntos. Se tomarán muestras a tres profundidades distintas. Ph en Suelo:Se tomarán partes de las muestras para análsis de ph. El experimento culminará a los dos años con análisis de las 9 tandas de mediciones (La 1º corresponde a la determinación de la línea de base). Se realizará la prospección para determinar el momento de perfecta recuperación del suelo.

Plataforma Framework distribuida para detección temprana de trastornos de déficit de atención en escuelas de nivel primario.

El desarrollo de dicho proyecto intenta dar solución a la problemática de la detección temprana y eficiente de los Trastornos de Déficit de Atención en las escuelas primarias, mediante la construcción de una plataforma informática framework segura, portable y con una interfaz simple y amigable, en entornos distribuídos para el armado de diferentes escenarios de evaluación, test y encuestas para el alumno, la familia y los educadores, que con un enfoque multidisciplinario recaba información permitiendo al profesional a cargo realizar una detección acertada, un diagnóstico eficaz y un tratamiento acorde a las deficiencias psicológicas y de aprendizaje. Proceso lento e imposible de llevar adelante en la actualidad. Modelo: el psicopedagogo genera los test en la plataforma y los activa para que cada alumno los realice en los laboratorios, sus padres y educadores completan las encuestas activas en internet o via mobile o acceden a los laboratorios del colegio. Psicopedagogos analizan resultados obtenidos y emiten conclusión sobre cada caso, para que padres pueden verlos por cualquier medio antes mencionado, siempre con acceso seguro, y a los sectores activados. Beneficios: sociales en la detección de problemas cognitivos en los niños en escuelas primarias, mejorando problemas de los grupos escolares en donde se encuentran niños con TDA, beneficiando la comunicación con las familias con todo lo referido a sus hijos. Las empresas serían otra posible implementación..

Evaluación integral de la contaminación estrogénica de las aguas superficiales de la Cuenca del Río Suquia

Los compuestos estrogénicos son una clase de productos farmacéuticos nocivos para los animales y una de las causas de los daños ambientales. La actividad biológica de estos compuestos es elevada, pues han sido diseñados para actuar en bajas concentraciones. Por lo tanto, incluso a las bajas concentraciones en el medio ambiente, pueden producir efectos nocivos sobre los organismos acuáticos, así como en los humanos, que pudieran estar contaminados en un número de maneras (a través de agua potable o alimentos contaminados, por ejemplo). Estudios realizados en cursos superficiales de agua han demostrado una elevada concentración de estrógenos, esto se debe a que el tratamiento estándar del agua a menudo falla en eliminar el estrógeno y componentes sintéticos químicamente emparentados con el mismo, o bien el manejo inadecuado de residuos biológicos determina que se viertan a la cuenca fluvial alterando el sistema natural. En este trabajo se estudiará la presencia, origen y concentración de las tres principales hormonas estrogénicas Esatrona (E1), 17 beta-estradiol (E2) y estriol (E3) en la cuenca del Río Suquia. El objetivo principal del proyecto es determinar la presencia, concentración y origen de Estrona (E1), 17 beta-estradiol (E2) y Estriol (E3) en la cuenca del río Suquia. Sus objetivos específicos son-. Recopilar información sobre la presencia y origen de los estrógenos en cuencas hídricas y sus efectos en el ecosistema. Analizar la presencia de estrógenos en la cuenca de Río Suquia y su variación estacional. Determinar el posible origen de los estrógenos que estén presentes en la cuenca del Río Suquía Para cumplimentar con el proyecto se realizaran dos campañas de muestreo durante los peridos más secos y húmedos de la misma en 15 puntos estratégicamente seleccionados, las mismas serán analizadas en laboratorio para determinar la presencia y concentración de las hormonas estrogénicas Asimismo se realizarán 150 encuestas a mujeres de la ciudad de Córdoba y otras localidades de la cuenca del Río Suquía a fin de conocer el consumo de píldoras anticonceptivas o la utilización de parches anticonceptivos. Se llevaran adelante estudios ambientales que permitan determinar el posible origen en los estrógenos. Se extraerán conclusiones que permitan tener un conocimiento de la presencia, concentración, origen y variación estacional de las hormonas estrogénicas, estrona (E1), 17 beta-estradiol (E2) y estriol (E3) en la cuenca del río Suquia. Los resultados que se esperan es poder determinar la presencia y origen de los tres tipos de estrógenos E1, E2 y E3 en la cuenca del Río Suquía y poder general información que permita a los gobiernos tomar medidas para reducir la contaminacion. HIPOTESIS: "La cuenca del Río Suquía presenta contaminación de hormonas estrogénicas"

Optimización de Arquitecturas de Procesamiento Digital de Señales en Lógica Programable para Aplicaciones en Vuelos No Tripulados

En dispositivos electrónicos de última generación destinados a funciones de comunicación o control automático, los algoritmos de procesamiento digital de señales trasladados al hardware han ocupado un lugar fundamental. Es decir el estado de arte en el área de las comunicaciones y control puede resumirse en algoritmos basados en procesamiento digital de señales. Las implementaciones digitales de estos algoritmos han sido estudiadas en áreas de la informática desde hace tiempo. Sin embargo, aunque el incremento en la complejidad de los algoritmos modernos permite alcanzar desempeños atractivos en aplicaciones específicas, a su vez impone restricciones en la velocidad de operación que han motivado el diseño directamente en hardware de arquitecturas para alto rendimiento. En este contexto, los circuitos electrónicos basados en lógica programable, principalmente los basados en FPGA (Field-Programmable Gate Array), permiten obtener medidas de desempeño altamente confiables que proporcionan el acercamiento necesario hacia el diseño electrónico de circuitos para aplicaciones específicas “ASIC-VLSI” (Application Specific Integrated Circuit - Very Large Scale Integration). En este proyecto se analiza el diseño y la implementación de aquitecturas electrónicas para el procesamiento digital de señales, con el objeto de obtener medidas reales sobre el comportamiento del canal inalámbrico y su influencia sobre la estimación y el control de trayectoria en vehículos aéreos no tripulados (UAV, Unmanned Aerial Vehicle). Para esto se propone analizar un dispositivo híbrido basado en microcontroladores y circuitos FPGA y sobre este mismo dispositivo implementar mediante algoritmo un control de trayectoria que permita mantener un punto fijo en el centro del cuadro de una cámara de video a bordo de un UAV, que sea eficiente en términos de velocidad de operación, dimensiones y consumo de energía.

Elaboración de una metodología que permita la obtención de un sustrato de uso ornamental en las condiciones de la provincia de Córdoba

La realidad de los sistemas productivos de plantas ornamentales en maceta la provincia de Cordoba, nos da serios indicios de que el sustrato utilizado en los envasesdonde se desarrollan las plantas es uno de los principales limitantes de la actividad. Hoy el sistema productivo no es sustentable, dependiendo de un insumo de alto costo economico para el cultivo y alto costo ambiental para toda la sociedad. Se usa mantillo de monte serrano y Tierra negra zarandeada, extraídas de actividades mineras no reguladas. Esta informalidad lleva a una escasez cada vez mayor del insumo y a la imposibilidad de mantener calidad, es decir un insumo fundamental es cada vez mas caro , sin garantia de calidad. A esto se le suma que, los lugares donde se extrae, como por ejemplo las Sierras de nuestra Provincia, son de origen calcareo, este material tiene pH muy superiores a los recomendados para el cultivo de plantas ornamentales. El presente proyecto tiene por objetivo encontrar, mediante distintos ensayos, una metodología de disminución de pH aplicable a los sistemas productivos de Córdoba, que por su bajo costo y facilidad de aplicación( como es el caso del azufre micronizado) pueda adaptarse por parte de los productores sin dificultad. Esta corrección llevaría a un mejor aprovechamiento del sustrato base usado, mediante la disponibilidad de nutrientes que hoy se encuentran inmovilizados. Esto nos abre la posibilidad de trabajar sobre la composición del sustrato en el envase, probando distintos sustitutos, inertes o no, que otorgen mejores condiciones físicas al contenido del envase. Con una mejor estructura y disponibilidad de nutrientes en la maceta, mejorará la nutrición de la planta y por consiguiente su sanidad, su velocidad de crecimiento y la calidad de producto terminado. Se realizaran ensayos de acidificación mediante azufre micronizado, monitoreando tiempos de acción, dosificación y modificación de pH con sustratos base promedio usado por los productores y con sustratos formulados en base a sustitutos alternativos de facíl accesibilidad y bajo costo ( se intenta incluir como componente de sustrato a los residuos agropecuarios debidamente acondicionados) según la posibilidad de los distintos productores de acceso a los mismos.

Aproximación al diseño de sistemas de bio-reactores para la delignificación de materiales lignocelulósicos y para la decontaminación de suelos y efluentes. Approximation to the design of bio-reactors systems for the delignificación of lignocellulosic materials and for the decontamination of soil and effluents

Los materiales lignocelulósicos residuales de las actividades agroindustriales pueden ser aprovechados como fuente de lignina, hemicelulosa y celulosa. El tratamiento químico del material lignocelulósico se debe enfrentar al hecho de que dicho material es bastante recalcitrante a tal ataque, fundamentalmente debido a la presencia del polímero lignina. Esto se puede lograr también utilizando hongos de la podredumbre blanca de la madera. Estos producen enzimas lignolíticas extracelulares fundamentalmente Lacasa, que oxida la lignina a CO2. Tambien oxida un amplio rango de sustratos ( fenoles, polifenoles, anilinas, aril-diaminas, fenoles metoxi-sustituídos, y otros), lo cual es una buena razón de su atracción para aplicaciones biotecnológicas. La enzima tiene potencial aplicación en procesos tales como en la delignificación de materiales lignocelulósicos y en el bioblanqueado de pulpas para papel, en el tratamiento de aguas residuales de plantas industriales, en la modificación de fibras y decoloración en industrias textiles y de colorantes, en el mejoramiento de alimentos para animales, en la detoxificación de polutantes y en bioremediación de suelos contaminados. También se la ha utilizado en Q.Orgánica para la oxidación de grupos funcionales, en la formación de enlaces carbono- nitrógeno y en la síntesis de productos naturales complejos. HIPOTESIS: Los hongos de podredumbre blanca, y en condiciones óptimas de cultivo producen distintos tipos de enzimas oxidasas, siendo las lacasas las más adecuadas para explorarlas como catalizadores en los siguientes procesos:  Delignificación de residuos de la industria forestal con el fin de aprovechar tales desechos en la alimentación animal.  Decontaminación/remediación de suelos y/o efluentes industriales. Se realizarán los estudios para el diseño de bio-reactores que permitan responder a las dos cuestiones planteadas en la hipótesis. Para el proceso de delignificación de material lignocelulósico se proponen dos estrategias: 1- tratar el material con el micelio del hongo adecuando la provisión de nutrientes para un desarrollo sostenido y favorecer la liberación de la enzima. 2- Utilizar la enzima lacasa parcialmente purificada acoplada a un sistema mediador para oxidar los compuestos polifenólicos. Para el proceso de decontaminación/remediación de suelos y/o efluentes industriales se trabajará también en dos frentes: 3) por un lado, se ha descripto que existe una correlación positiva entre la actividad de algunas enzimas presentes en el suelo y la fertilidad. En este sentido se conoce que un sistema enzimático, tentativamente identificado como una lacasa de origen microbiano es responsable de la transformación de compuestos orgánicos en el suelo. La enzima protege al suelo de la acumulación de compuestos orgánicos peligrosos catalizando reacciones que involucran degradación, polimerización e incorporación a complejos del ácido húmico. Se utilizarán suelos incorporados con distintos polutantes(por ej. policlorofenoles ó cloroanilinas.) 4) Se trabajará con efluentes industriales contaminantes (alpechínes y/o el efluente líquido del proceso de desamargado de las aceitunas). The lignocellulosic raw materials of the agroindustrial activities can be taken advantage as source of lignin, hemicellulose and cellulose. The chemical treatment of this material is not easy because the above mentioned material is recalcitrant enough to such an assault, due to the presence of the lignin. This can be achieved also using the white-rot fungi of the wood. It produces extracellular ligninolitic enzymes, fundamentally Laccase, which oxidizes the lignin to CO2. The enzyme has application in such processes as in the delignification of lignocellulosic materials and in the biobleaching of fibers for paper industry, in the treatment of waste water of industrial plants, in the discoloration in textile industries, in the improvement of food for ruminants, in the detoxification of polutants and in bioremediation of contaminated soils. HYPOTHESIS: The white-rot fungi produce different types of enzymes, being the laccases the most adapted to explore them as catalysts in the following processes:  Delignification of residues of the forest industry in order to take advantage of such waste in the animal feed.  Decontamination of soils and / or waste waters. The studies will be conducted for the design of bio reactors that allow to answer to both questions raised in the hypothesis. For the delignification process of lignocellulosic material they propose two strategies: 1- to treat the material with the fungi 2-to use the partially purified enzyme to oxidize the polyphenolic compounds. For the soil and/or waste water decontamination process, we have: 3- Is know that the enzyme protects to the soil of the accumulation of organic dangerous compounds catalyzing reactions that involve degradation, polymerization and incorporation to complexes of the humic acid. There will be use soils incorporated into different pollutants. 4- We will work with waste waters (alpechins or the green olive debittering effluents.

Desarrollo de sistemas nano/micro-particulados con aplicación en la fotodegradación selectiva de contaminantes orgánicos en solución. Development of nano / micro-particles systems with application to selective photodegradation of organic pollutants in solution.

IDENTIFICACIÓN DEL PROBLEMA DE ESTUDIO. Las sustancias orgánicas solubles en agua no biodegradables tales como ciertos herbicidas, colorantes industriales y metabolitos de fármacos de uso masivo son una de las principales fuentes de contaminación en aguas subterráneas de zonas agrícolas y en efluentes industriales y domésticos. Las reacciones fotocatalizadas por irradiación UV-visible y sensitizadores orgánicos e inorgánicos son uno de los métodos más económicos y convenientes para la descomposición de contaminantes en subproductos inocuos y/o biodegradables. En muchas aplicaciones es deseable un alto grado de especificidad, efectividad y velocidad de degradación de un dado agente contaminante que se encuentra presente en una mezcla compleja de sustancias orgánicas en solución. En particular son altamente deseables sistemas nano/micro -particulados que formen suspensiones acuosas estables debido a que estas permiten una fácil aplicación y una eficaz acción descontaminante en grandes volúmenes de fluidos. HIPÓTESIS Y PLANTEO DE LOS OBJETIVOS. El objetivo general de este proyecto es desarrollar sistemas nano/micro particulados formados por polímeros de impresión molecular (PIMs) y foto-sensibilizadores (FS). Un PIMs es un polímero especialmente sintetizado para que sea capaz de reconocer específicamente un analito (molécula plantilla) determinado. La actividad de unión específica de los PIMs en conjunto con la capacidad fotocatalizadora de los sensibilizadores pueden ser usadas para lograr la fotodescomposición específica de moléculas “plantilla” (en este caso un dado contaminante) en soluciones conteniendo mezclas complejas de sustancias orgánicas. MATERIALES Y MÉTODOS A UTILIZAR. Se utilizaran técnicas de polimerización en mini-emulsión para sintetizar los sistemas nano/micro PIM-FS para buscar la degradación de ciertos compuestos de interés. Para caracterizar eficiencias, mecanismos y especificidad de foto-degradación en dichos sistemas se utilizan diversas técnicas espectroscópicas (estacionarias y resueltas en el tiempo) y de cromatografía (HPLC y GC). Así mismo, para medir directamente distribuciones de afinidades de unión y eficiencia de foto-degradación se utilizaran técnicas de fluorescencia de molécula/partícula individual. Estas determinaciones permitirán obtener resultados importantes al momento de analizar los factores que afectan la eficiencia de foto-degradación (nano/micro escala), tales como cantidad y ubicación de foto- sensibilizadores en las matrices poliméricas y eficiencia de unión de la plantilla y los productos de degradación al PIM. RESULTADOS ESPERADOS. Los estudios propuestos apuntan a un mejor entendimiento de procesos foto-iniciados en entornos nano/micro-particulados para aplicar dichos conocimientos al diseño de sistemas optimizados para la foto-destrucción selectiva de contaminantes acuosos de relevancia social; tales como herbicidas, residuos industriales, metabolitos de fármacos de uso masivo, etc. IMPORTANCIA DEL PROYECTO. Los sistemas nano/micro-particulados PIM-FS que se propone desarrollar en este proyecto se presentan como candidatos ideales para tratamientos específicos de efluentes industriales y domésticos en los cuales se desea lograr la degradación selectiva de compuestos orgánicos. Los conocimientos adquiridos serán indispensables para construir una plataforma versátil de sistemas foto-catalíticos específicos para la degradación de diversos contaminantes orgánicos de interés social. En lo referente a la formación de recursos humanos, el proyecto propuesto contribuirá en forma directa a la formación de 3 estudiantes de postgrado y 2 estudiantes de grado. En las capacidades institucionales se contribuirá al acondicionamiento del Laboratorio para Microscopía Óptica Avanzada (LMOA) en el Dpto. de Química de la UNRC y al montaje de un sistema de microscopio de fluorescencia que permitirá la aplicación de técnicas avanzadas de espectroscopia de fluorescencia de molecula individual. Water-soluble organic molecules such as certain non-biodegradable herbicides, industrial dyes and metabolites of widespread use drugs are a major source of pollution in groundwater from agricultural areas and in industrial and domestic effluents. Photo-catalytic reactions by UV-visible irradiation and organic sensitizers are one of the most economical and convenient methods for the decomposition of pollutants into harmless byproducts. In many applications it is highly desirable a high degree of specificity, effectiveness and speed of degradation of specific pollutants present in a complex mixture. In particular nano/micro-particles systems that form stable aqueous suspensions are highly desirable because they allow for easy application and effective decontamination of large volumes of fluids. Herein we propose the development of nano/micro particles composed by molecularly imprinted polymers (MIP) and photo-sensitizers (PS). The specific binding of MIP and the photo-catalytic ability of the sensitizers are used to achieve the photo-decomposition of specific "template" molecules in complex mixtures. Mini-emulsion polymerization techniques will be used to synthesize nano/micro MIP-FS systems. Spectroscopy (steady-state and time resolved) and chromatography (GC and HPLC) will be used to characterize efficiency, mechanisms and specificity of photo-degradation in these systems. In addition single molecule/particle fluorescence spectroscopy techniques will be used to directly measure distributions of binding affinities and photo-degradation efficiency in individual particles. The proposed studies point to a more detailed understanding of the factors affecting the photo-degradation efficiency in nano/micro-particles and to apply that knowledge in the design of optimized systems for photo-selective destruction of socially relevant aqueous pollutants.

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.

GANADERÍA DE PRECISIÓN. DESARROLLO DE UN SISTEMA ELECTRÓNICO PARA CONSTRUIR MATRICES GENEALÓGICAS APLICABLES AL MEJORAMIENTO ANIMAL EN DIVERSAS ESPECIES.

El mejoramiento animal tiene como función modificar genéticamente una población animal con un fin económico determinado. Las herramientas que se utilizan son: evaluación genética, selección y/o esquemas de apareamiento. La evaluación genética se realiza obteniendo información (marcadores) que predice el genotipo del animal que no es registrable directamente. Estos marcadores son el fenotipo o información física del animal y algún predictor del genotipo que puede ser un marcador químico o la relación de parentesco con otro animal. El uso de los marcadores genéticos para determinar la genealogía está en desarrollo actualmente pero resulta extremadamente costoso para ciertos niveles de producción. Los dispositivos electrónicos ensayados hasta el momento no han resultado muy eficientes, por lo tanto se propone para este proyecto desarrollar un sistema electrónico de identificación animal que permita construir matrices de genealogía para la evaluación genética de reproductores de las diferentes especies en condiciones de producción extensivas. El proyecto se desarrollará entre especialistas en mejoramiento animal e ingenieros electrónicos, en un aporte multidisciplinario a la solución del problema de establecer la filiación a través del armado del para macho-hembra durante el servicio natural de las distintas especies y el par madre-cría en algún momento luego del parto. La solución propuesta consiste en la implementación de dispositivos electrónicos activos (microcontrolador y tranceptor de radiofrecuencia alimentados a batería) dispuestos como nodos de una red de sensores inalambricos. Estos dispositivos serán colocados en los animales tomados como objeto de estudio, y mediante el continuo intercambio de informacion entre ellos se genera una matriz de datos que permita a posterior establecer la relación que existe entre ellos a traves de la determinacion de la periodicidad de sus cercanias relativas.

Desórdenes congénitos de la glicosilación (cdg).

Los Desórdenes Congénitos de la Glicosilación (CDG), son un grupo creciente de enfermedades metabólicas hereditarias de herencia autosómica recesiva, salvo dos clases de CDG autosómicas dominantes, causadas por defectos en la síntesis o la remodelación de N-u O-glicanos, de glicoesfingolípidos o en anclajes de glycosylphosphatidylinositol. La formación de la porción glicano, se produce a través de etapas secuenciales y comienza la ruta biosintetica en citoplasma, pasando por retículo endoplasmático y posterior modificación del glicoconjugado en el aparato de Golgi. Los glicanos constituyen compuestos formados por diversos residuos de carbohidratos y han sido seleccionados en la evolución para transmitirle a las macromoléculas a las cuales se encuentran unidos, propiedades estructurales y funcionales, razón por la cual la síntesis correcta de los mismos y de sus glicoconjugados son esenciales para el funcionamiento normal. La caracterización molecular y clínica de más de 70 clases diferentes de CDG ha contribuido enormemente a comprender las funciones fisiológicas de los mecanismos de glicosilación y la importancia de los glicoconjugados en la célula. Mutaciones en genes de esta vía metabólica, ocasionan fenotipos multisistémicos con afectación neurológica severa y muerte temprana. Incluso algunos CDG tienen probabilidad de malignización por ej. osteocondromatosis múltiple (EXT1/EXT2-CDG). Respecto a las estrategias para el diagnóstico de CDG, debido a la gran heterogeneidad fenotípica de estos pacientes, hemos debido implementar el diagnóstico de los trastornos genéticos de N-glicosilación, basado en los cambios bioquímicos y estructurales que se expresan en las glicoproteínas anómalas, demostrados por diferentes metodologías. Existen técnicas de gran sensibilidad utilizadas para la búsqueda de pacientes CDG como electroforesis capilar, ionización por electrospray-espectrometría de masa y cromatografía líquida de alta resolución (HPLC), sin embargo, el isoelectroenfocado (IEF) es la metodología mayormente utilizada para su diagnóstico.

Los repositorios como componentes esenciales de las bibliotecas. 3ª Jornada sobre la Biblioteca Digital Universitaria, Córdoba (Argentina), 27-28 de octubre del 2005

Los consorcios han sido una de las novedades más influyentes en la realidad bibliotecaria mundial de los últimos cinco años. Su expansión territorial y en actividades los ha convertido en un fenómeno que ha cambiado profundamente las formas tradicionales de definir los servicios bibliotecarios. El examen atento de las actividades que ha desarrollado el Consorcio de Bibliotecas Universitarias de Cataluña (CBUC) en el ámbito de las bibliotecas digitales es una muestra de las posibilidades de cooperación existentes en estos inicios del Siglo XXI. El CBUC inició sus actividades de contratación de contenidos digitales en el 1998. Los productos y servicios licenciados se agruparon bajo el nombre de Biblioteca Digital de Catalunya (BDC). La BDC contiene actualmente unas 6.800 revistas-e, 58 BBDD y 4.100 libros-e. De forma bastante paralela en el tiempo nacieron un servidor de sumarios electrónicos de revistas y un servidor de tesis doctorales a texto completo. La evolución de las necesidades de las bibliotecas ha comportado que hoy en el CBUC se tenga la visión de la BDC como un servicio formado de dos grandes partes: a) los productos exteriores sujetos a contratación y accesibles remotamente a través de servicios comerciales, y, b) servidores de aquellos objetos digitales generados en el ámbito del CBUC y que solo pueden ser puestos en la red por nosotros mismos. Para gestionar esta segunda parte de la BDC debemos constituir almacenes o repositorios digitales. Entre las diferentes posibilidades, el CBUC ha optado por crear repositorios institucionales colectivos de diferente tipo según los materiales que contienen. Hasta el momento se han creado tres repositorios: uno para tesis, uno para revistas y uno para literatura gris de investigación. Está previsto crear un cuarto repositorio para imágenes. La ponencia finaliza con los aprendizajes del CBUC en materia de repositorios. El principal es que la mayor dificultad para crearlos no son los elementos tecnológicos sino establecer mecanismos de relación con el profesorado y la universidad para que los diferentes documentos creados de forma electrónica pasen a formar parte de los repositorios institucionales correspondientes.

Nature et faune : revue internationale pour la conservation de la nature en Afrique = Wildlife and nature : international journal on nature conservation in Africa.

2.3-4

Nature et faune : revue internationale pour la conservation de la nature en Afrique = Wildlife and nature : international journal on nature conservation in Africa.

6.4

Nature et faune : revue internationale pour la conservation de la nature en Afrique = Wildlife and nature : international journal on nature conservation in Africa.

21.2

Use and users of electronic journals at Catalan universities: the results of a survey

Es presenten els resultats d’una enquesta sobre l’ús de revistes electròniques realitzada al professorat de les universitats que formen el Consorci de Biblioteques Universitàries de Catalunya (CBUC). Els resultats mostren un elevat grau de coneixement de la col·lecció de revistes electròniques entre el personal docent i investigador i una creixent preferència pel format electrònic en detriment de l’imprès. L’alt grau de coneixement i d’ús dels títols electrònics, i la preferència per aquest suport, comporten una elevada valoració de la col·lecció de revistes electròniques. Al mateix temps, la major part dels usuaris preveu un increment de l’ús dels títols electrònics durant els propers anys. Els resultats també confirmen la importància de la disciplina i de l’edat com a factors explicatius de l’ús de les revistes electròniques.