Resonancia Magnética Nuclear aplicada al estudio de nuevos sistemas farmacéuticos y biológicos, complejos poliméricos y conjuntos de espines modelo. Nuclear Magnetic Resonance applied to the study of new pharmaceutical and biological systems, polymeric complexes and model spin clusters.

El presente proyecto plantea utilizar integralmente la técnica de Resonancia Magnética Nuclear en sólidos como un medio experimental que permite entender fenómenos de la física fundamental, como así también realizar aplicaciones de interés en el campo de la química, los desarrollos farmacéuticos y la biología. Novedosas técnicas experimentales serán empleadas, en conjunción con otras más tradicionales, en la caracterización de nuevas estructuras poliméricas acomplejadas a metales, membranas biológicas y compuestos de interés farmacéutico en vías de desarrollo, los cuales presentan el fenómeno de polimorfismo . Esto se llevará a cabo complementando los resultados de RMN en sólidos con técnicas tanto espectroscópicas como analíticas (Infrarrojo, Difracción de Rayos X, Calorimetría, RMN en solución) y trabajo interdisciplinario. Paralelamente al desarrollo de estos temas, profundizaremos mediante investigación básica, en la compresión de la dinámica cuántica y el surgimiento de la irreversibilidad en sistemas de espines nucleares. Observaremos en particular la generación, evolución y control de las coherencias cuánticas múltiples en sistemas cuánticos abiertos, lo cual nos da información sobre tamaño de clusters de espines. Esto permitirá la correcta implementación de secuencias de pulsos sofisticadas, como así también desarrollar nuevos métodos de medición aplicados a la caracterización estructural y a la dinámica molecular de sólidos complejos. Debemos resaltar que este proyecto está conectado con aspectos tanto básicos como aplicados de la RMN en sólidos como técnica experimental, la cual se desarrolla en el país únicamente en FaMAF-UNC. Se nutre además de trabajo multidisciplinario promoviendo la colaboración con investigadores y becarios de distintas áreas (física, química, farmacia, biología) provenientes de distintos puntos del país. Finalmente podemos afirmar que este plan impulsa la aplicación de la física básica proyectada a diferentes áreas del conocimiento, en el ámbito de la provincia de Córdoba. The aim of the present proyect is to use Nuclear Magnetic Resonance (NMR) as a complete techique that allows the understanding of fundamental physics phenomena and, at the same time, it leads to important applications in the fields of chemistry, pharmaceutical developments and biology. New experiments will be used together with traditional ones, in the characterization of new metal-polymer complexes, biological membranes and pharmaceutical compounds, some of them presenting polymorfism. NMR experiments will be complemented with diverse spectroscopic and analytical techniques: Infrared, X ray Diffraction, Thermal Analysis, solution NMR, as well as multidisciplinary investigation. Additionally, the present proyect plans to study in depth several aspects of quantum dynamics phenomena and decoherence in nuclear spin systems. The present proyect is connected with basic and applied aspects of the solid state NMR technique, developed in our country, only at FaMAF-UNC. It is is composed by multidisciplinary work and it promotes the collaboration with researchers and students coming from different fields (physics, chemistry, pharmaceutical developments, biology) and different points of our country.

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.

Evaluación de la degradación del suelo en agroecosistemas del centro-sur de Córdoba mediante indicadores e índices. Assessment of soil degradation in agroecosystems of central-southern Córdoba by means of indicators and indices

Las actividades agropecuarias ejercen diferentes presiones sobre los recursos naturales. Esto ha llevado, en algunas áreas, a un deterioro del suelo que provoca un impacto sobre la sustentabilidad en los sistemas agropecuarios. Para evaluar la degradación del suelo se han propuesto listas de indicadores, sin embargo, se carece de una herramienta metodológica robusta, adaptada a las condiciones edafoclimáticas regionales. Además, existe una demanda de productores e instituciones interesados en orientar acciones para preservar el suelo. El objetivo de este proyecto es evaluar la degradación física, química y biológica de los suelos en agroecosistemas del centro-sur de Córdoba. Por ello se propone desarrollar una herramienta metodológica que consiste en un set de indicadores físicos, químicos y biológicos, con valores umbrales, integrados en índices de degradación, que asistan a los agentes tomadores de decisiones y productores, en la toma de decisiones respecto de la degradación del suelo. El área de trabajo será una región agrícola del centro-sur de Córdoba con más de 100 años de agricultura. La metodología comienza con la caracterización del uso del territorio y sistemas de manejo, su clasificación y la obtención de mapas base de usos y manejos, mediante sensores remotos y encuestas. Se seleccionarán sitios de muestreo mediante una metodología semi-dirigida usando un SIG, asegurando un mínimo de un punto de muestreo por unidad de mapeo. Se elegirán sitios de referencia lo más cercano a una condición natural. Los indicadores a evaluar surgen de listas propuestas en trabajos previos del grupo, seleccionados en base a criterios internacionales y a adecuados a suelos de la región. Se usarán indicadores núcleo y complementarios. Para la obtención de umbrales, se usarán por un lado valores provenientes de la bibliografía y por otro, umbrales generados a partir de la distribución estadística del indicador en suelos de referencia. Para estandarizar cada indicador se definirá una función de transformación. Luego serán ponderarán mediante análisis estadísticos mulivariados e integrados en índices de degradación física, química y biológica, y un índice general de degradación. El abordaje concluirá con el desarrollo de dos instrumentos para la toma de decisiones: uno a escala regional, que consistirá en mapas de degradación en base a unidades cartográficas ambientales, de uso del territorio y de sistemas de manejo y otro a escala predial que informará sobre la degradación del suelo de un lote en particular, en comparación con suelos de referencia. Los actores interesados contarán con herramientas robustas para la toma de decisiones respecto de la degradación del suelo tanto a escala regional como local. Agricultural activities exert different pressures on natural resources. In some areas this has led to soil degradation and has an impact on agricultural sustainability. To assess soil degradation a robust methodological tool, adapted to regional soil and climatic conditions, is lacking. In addition, there is a demand from farmers and institutions interested in direct actions to preserve the soil. The objective of this project is to assess physical, chemical and biological soil degradation in agroecosystems of Córdoba. We propose to develop a tool that consists of a set of physical, chemical and biological indicators, with threshold values, integrated in soil degradation indices. The study area is a region with more than 100 years of agriculture. The methodology begins with the characterization of land use and management systems and the obtaining of base maps by means of remote sensing and survey. Sampling sites will be selected through a semi-directed methodology using GIS, ensuring at least one sampling point by mapping unit. Reference sites will be chosen as close to a natural condition. The proposed indicators emerge from previous works of the group, selected based on international standards and appropriate for the local soils. To obtain the thresholds, we will use, by one side, values from the literature, and by the other, values generated from the statistical distribution of the indicator in the reference soils. To standardize indicators transformation functions will be defined. Indicators will be weighted by mans of multivariate analysis and integrated in soil degradation indices. The approach concluded with the development of two instruments for decision making: a regional scale one, consisting in degradation maps based on environmental, land use and management systems mapping units; and an instrument at a plot level which will report on soil degradation of a particular plot compared to reference soils.