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.

Aplicación de materiales zeolíticos en el reciclado químico de residuos plásticos

La utilización de los plásticos ha crecido dramáticamente durante los últimos 30 años y en forma paralela también se ha incrementado el volumen de desperdicios provenientes de los mismos. La distribución individual de los mismos en los residuos domiciliarios varía de acuerdo al origen socioeconómico de los grupos sociales, oscilando entre 39-47% de polietileno PE, 27-41% de polietilentereftalato PET, 5-12% de poliestireno PS, 10-15% de polipropileno PP, entre otros; ocupando entre 9-12% de los desperdicios en rellenos sanitarios (expresado en porcentajes en peso). Para el aprovechamiento de los residuos plásticos existen diferentes opciones, de las cuales el reciclado químico aparece como la alternativa más prometedora tanto ambiental como económica. Dentro del reciclado químico de los desechos plásticos, se encuentra el craqueo catalítico, que es un proceso a partir del cual se pueden obtener hidrocarburos líquidos y gaseosos de gran valor agregado, a partir de la adición de catalizadores, lo cual mejora la tecnología puramente térmica, ya que el espectro en la distribución de productos es mucho más reducido, permitiendo alcanzar mayor selectividad hacia ciertos productos en función de las características del catalizador utilizado, reduciendo los tiempos de reacción y las temperaturas del proceso a 350-550°C. En la presente investigación se propone la síntesis de materiales catalíticos a medida con base en materiales microporosos (Zeolitas), para la transformación de residuos plásticos en hidrocarburos de interés para la industria petroquímica o combustibles. Los materiales catalíticos (del tipo ZSM-11, BETA) se prepararán por técnicas hidrotérmicas, a los cuales se les incorporarán funciones activas (H, Zn, Co, Cr, Ni, Mn) empleando tratamientos químicos y térmicos. Se caracterizarán mediante el empleo de diversas técnicas fisicoquímicas, tales como Difracción de rayos X, Absorción Atómica, Análisis Térmicos, Espectroscopía Infrarrojo con transformada de Fourier, BET, Microscopía de barrido electrónico con microsonda y Mediciones de propiedades magnéticas ( a temperatura ambiente con variación de campo y a campo constante con variación de temperatura). Finalmente estos materiales se emplearán en la transformación de residuos plásticos (PEBD, PEAD y mezclas de los mismos) a hidrocarburos aromáticos y cortes de combustibles. Se estudiará de las influencia de condiciones operativas (reactor de lecho fijo a presión atmosférica, temperaturas de reacción, tiempos de reacción, relación polímero/catalizador, etc.), a los fines de optimizar el sistema catalítico. Aquellos catalizadores que presenten mejor comportamiento para el proceso, serán evaluados a bajos tiempos de contacto en un reactor discontinuo de lecho fluidizado, denominado Simulador de Riser.

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.

Aplicación de materiales zeolíticos en el reciclado químico de residuos plásticos

La utilización de los plásticos ha crecido dramáticamente durante los últimos 30 años y en forma paralela también se ha incrementado el volumen de desperdicios provenientes de los mismos. La distribución individual de los mismos en los residuos domiciliarios varía de acuerdo al origen socioeconómico de los grupos sociales, oscilando entre 39-47% de polietileno PE, 27-41% de polietilentereftalato PET, 5-12% de poliestireno PS, 10-15% de polipropileno PP, entre otros; ocupando entre 9-12% de los desperdicios en rellenos sanitarios (expresado en porcentajes en peso). Para el aprovechamiento de los residuos plásticos existen diferentes opciones, de las cuales el reciclado químico aparece como la alternativa más prometedora tanto ambiental como económica. Dentro del reciclado químico de los desechos plásticos, se encuentra el craqueo catalítico, que es un proceso a partir del cual se pueden obtener hidrocarburos líquidos y gaseosos de gran valor agregado, a partir de la adición de catalizadores, lo cual mejora la tecnología puramente térmica, ya que el espectro en la distribución de productos es mucho más reducido, permitiendo alcanzar mayor selectividad hacia ciertos productos en función de las características del catalizador utilizado, reduciendo los tiempos de reacción y las temperaturas del proceso a 350-550°C. En la presente investigación se propone la síntesis de materiales catalíticos a medida con base en materiales microporosos (Zeolitas), para la transformación de residuos plásticos en hidrocarburos de interés para la industria petroquímica o combustibles. Los materiales catalíticos (del tipo ZSM-11, BETA) se prepararán por técnicas hidrotérmicas, a los cuales se les incorporarán funciones activas (H, Zn, Co, Cr, Ni, Mn) empleando tratamientos químicos y térmicos. Se caracterizarán mediante el empleo de diversas técnicas fisicoquímicas, tales como Difracción de rayos X, Absorción Atómica, Análisis Térmicos, Espectroscopía Infrarrojo con transformada de Fourier, BET, Microscopía de barrido electrónico con microsonda y Mediciones de propiedades magnéticas ( a temperatura ambiente con variación de campo y a campo constante con variación de temperatura). Finalmente estos materiales se emplearán en la transformación de residuos plásticos (PEBD, PEAD y mezclas de los mismos) a hidrocarburos aromáticos y cortes de combustibles. Se estudiará de las influencia de condiciones operativas (reactor de lecho fijo a presión atmosférica, temperaturas de reacción, tiempos de reacción, relación polímero/catalizador, etc.), a los fines de optimizar el sistema catalítico. Aquellos catalizadores que presenten mejor comportamiento para el proceso, serán evaluados a bajos tiempos de contacto en un reactor discontinuo de lecho fluidizado, denominado Simulador de Riser.

Producción in vitro de Embriones Bovinos Transgénicos mediante Inyección Intracitoplasmática de Espermatozoides (ICSI) con Enzimas de Restricción. In vitro Production of Transgenic Bovine Embryos using Intracitoplasmic Sperm Injection (ICSI) and Restriction Enzymes

La ingeniería genética y la reprogramación de organismos vivos representan las nuevas fronteras biotecnológicas que permitirán generar animales con modificaciones precisas en sus genomas para un sinnúmero de aplicaciones biomédicas y agropecuarias. Las técnicas para inducir modificaciones génicas intencionales en animales, especialmente en especies mayores de interés agropecuario, se encuentran rezagadas si se compara con los avances significativos que se han producido en el área de la transgénesis de roedores de laboratorio, especialmente el ratón. Es así que, el presente proyecto persigue desarrollar y optimizar protocolos para generar embriones bovinos transgénicos para aplicaciones biotecnológicas. La estrategia propuesta, se basa en conseguir la presencia simultánea en el interior celular de una enzima de restricción (I-SceI) más un transgén (formado por casetes de expresión de una proteína fluorescente -ZsGreen1- y neomicina fosfotransferasa). Específicamente, proyectamos estudiar una vía alternativa para generar embriones bovinos transgénicos mediante la incorporación del transgén (casetes ZsGreen1 y neo) flanqueado por sitios I-SceI más la enzima I-SceI al interior del ovocito junto con el espermatozoide durante la técnica conocida como inyección intracitoplasmática de espermatozoides (ICSI). Los embriones así generados se cultivarán in vitro, inspeccionándolos diariamente para detectar la emisión de fluorescencia, indicativa de la expresión de la proteína ZsGreen1. Los embriones que alcancen el estado de blastocisto y expresen el transgén se transferirán quirúrgicamente al útero de ovejas sincronizadas y se mantendrán durante 7 días. Al cabo de este período, los embriones se recolectarán quirúrgicamente del útero ovino y se transportarán al laboratorio para determinar el número de sitios de integración y número de copias del transgén mediante el análisis de su ADN por Southern blot. Se prevé que los resultados de esta investigación permitirán sentar las bases para el desarrollo de métodos eficientes para obtener modificaciones precisas en el genoma de los animales domésticos para futuras aplicaciones biotecnológicas. Genetic engineering and reprogrammed organisms represent the new biotechnological frontiers which will make possible to generate animals with precise genetic modifications for agricultural and biomedical applications. Current methods used to generate genetically modified large animals, lay behind those used in laboratory animals, specially the mouse. Therefore, we seek to develop and optimize protocols to produce transgenic bovine embryos through the use of a non-viral vector. The strategy involves the simultaneous presence inside the cell of a restriction enzyme (I-SceI) and a transgene (carrying cassettes for a fluorescent protein -ZsGreen1- and neomycin phosphotransferase) flanked by restriction sites for the endonuclease. We plan to develop an alternative approach to generate transgenic bovine embryos by coinjecting the transgene flanked by I-SceI restriction sites plus the enzyme I-SceI along with the spermatozoon during the technique known as intracytoplasmic sperm injection (ICSI). Embryos will be cultured in vitro and inspected daily with a fluorescence microscope to characterize transgene expression. Embryos that reach the blastocyst stage and express the transgene will be surgically transfer to the uterus of a synchronized ewe. After 7 days, the embryos will be flushed out the ovine uterus and transported to the laboratory to determine the number of integration sites and transgene copies by Southern blot. We anticipate that results from this research will set the stage for the development of efficient strategies to achieve precise genetic modifications in large domestic animals for future biotechnological applications.

Ciclos económicos en economías abiertas y menos desarrolladas: el papel de los "shocks" en los términos de intercambio.The business cycle in open and less developed economies: the rol of terms-of-trade shocks.

Nuestra preocupación reside en estudiar empíricamente el mecanismo de transmisión internacional de ciclos económicos a economías pequeñas y menos desarrolladas (LDC), evaluando el impacto de los shocks en los términos de intercambio en países dónde existen imperfecciones en el mercado crediticio que imponen severas restricciones en el financiamiento de la inversión doméstica y al crecimiento económico. Primero, analizamos si la cuenta corriente responde de manera asimétrica a movimientos de largo plazo en los términos de intercambio. La hipótesis es que “en los buenos tiempos” cuando se produce una mejora permanente en términos de intercambio (y con ello el nivel de ingreso) los individuos no elevan su consumo en un monto acorde con la mejora de su ingreso (permanente) sino que ahorran una fracción del aumento en su dotación para hacer frente a una reversión en la mejora en los términos de intercambios (aunque ésta sea transitoria) en el futuro. En consecuencia, la cuenta corriente (diferencia entre ingreso y absorción) responde de manera positiva a un shock permanente en los términos de intercambio, ya que el individuo ahorra de manera cautelosa –debido a que sabe que no le prestarán para suavizar consumo - aún suponiendo que en el futuro tendrá una reversión transitoria de su ingreso. Segundo, estudiamos la relación dinámica entre los términos de intercambio y la tasa de interés en la economía pequeña abierta y con imperfecciones en el mercado crediticio (información asimétrica). La hipótesis es que la economía doméstica tiene que soportar una prima de riesgo que eleva el costo de la inversión y retarda el crecimiento (Gertler y Rogoff; 1990). Esta prima de riesgo depende, además, en forma negativa del nivel del colateral que tenga la economía. El colateral es la dotación de recursos naturales, por ejemplo, que la economía posee a los fines garantizar el cumplimiento de las obligaciones contraídas (en el modelo presentado las actividades dónde se invierten son independientes del colateral). La hipótesis establecida indica que los cambios en los términos de intercambio generan un aumento del colateral de la economía y una reducción del riesgo país: aumentos en los términos de intercambio reducen la prima de riesgo de la economía que opera en mercados de capitales con asimetrías de información, y como consecuencia aumentarían los ingresos de capitales. De esta forma, se estaría encontrando una explicación a la denominada “Paradoja de Lucas”. Finalmente, el proyecto estudia la conexión entre dos variables “clave” en la economía de los países emergentes: la relación entre los términos de intercambio y el tipo de cambio real. Argumentamos que los efectos de las mejoras de los términos de intercambio sobre los flujos de capitales externos tienden a ser sobreestimadas si no se consideran los efectos “secundarios” de éstas sobre el tipo de cambio real de la economía pequeña menos desarrollada. En este proyecto se controlan estadísticamente esta relación. La estrategia empírica elegida resulta en aplicar a un panel (constituido por dieciocho países de Latinoamérica) el método generalizado de momentos (GMM) a dos modelos de regresión estadística a los fines de abordar de manera eficiente el problema de la endogeneidad de la variable dependiente que actúa como regresor rezagado. La estrategia de estimación elegida enfatiza el análisis de la relación dinámica de las variables económicas incluidas en el análisis. The paper analyzes the general problem related to the transmission of economic cycles to Small Open Economies. The analysis focuses on terms-of-trade shocks, which are considered one of the major sources of income volatility in developing economies. Specifically, we tackle the problem related to the impact of terms-of-trade shocks in Less Developed SOEs. ‘Less Developed SOEs’ are understood as those countries who have borrowing constraints. First, we put to a test the hypothesis of asymmetric response of current account to terms-of-trade shocks (the impact of the shock on current account differs depending whether it is positive or negative), which originates from considering binding restrictions in international capital markets (Agénor and Aizenman; 2004). Second, we investigate about the main determinants of External Capital Flows (ECF) directed to Developing Countries. We put to a test the Gertler and Rogoff (1990) hypothesis that a “risky rate” arises in that markets because the economy has not sufficient amount of wealth to “collateralize” the capital she needs to borrow to take advantage of the investment opportunities she has and additionally because the lender does not have the chance of observing what the borrowed does with the funds (that is information asymmetry arises because the lender can check the realized output of investment but he can not observe if he really invest in the project or secretly lend abroad). Finally, Following Prasad, E. S., Rajan and R. Subramanian, A (2007) we measure the relationship between external capital flows and domestic currency overvaluation. We run a panel GMM estimation for a set of 18 Latin American Countries during the period 1973-2008.

Electroquímica de sustancias de interés en los sistemas agroalimentario y de sanidad animal. Desarrollo de biosensores electroquímicos. Aplicaciones analíticas.Electrochemistry of substances of interest in agroalimentary and animal health systems. Development of electrochemical biosensors. Analytical applications.

Se estudiarán los mecanismos de reacción electroquímica de las micotoxinas (metabolitos tóxicos generados por hongos) citrinina (CIT), patulina (PAT) y moniliformina (MON), de los antioxidantes naturales alfa, beta, gama y delta tocoferoles, de los flavonoides fisetina (FIS), morina (MOR), luteolina (LUT), rutina (RUT), buteina (BUT), naringenina (NAR) y miricetina (MIR) y de las hormonas esteroides estradiol (EDIOL), estrona (EONA) y estriol (ETRIOL). Por otra parte, se implementarán técnicas electroanalíticas para la detección y cuantificación de estos sustratos en muestras de matrices naturales que los contengan. Se realizará el diseño y caracterización de biosensores enzimáticos a partir de peroxidasas y/o fosfatasa alcalina para la determinación de la micotoxina CIT y de los flavonoides y, por otro, de inmunosensores para las micotoxinas ocratoxina A (OTA) y PAT y hormonas. Para el anclaje de enzimas y/o anticuerpos, se estudiarán las propiedades de electrodos modificados por monocapas autoensambladas, nanotubos de carbono y partículas magnéticas. Se usarán las técnicas de voltamperometría cíclica, de onda cuadrada y de redisolución con acumulación adsortiva, espectroscopías de impedancia electroquímica, electrólisis a potencial controlado, uv-vis e IR, microbalanza de cristal de cuarzo y microscopías de alta resolución (SEM, TEM, AFM). La importancia de este proyecto apunta a la obtención de nuevos datos electroquímicos de los sustratos indicados y conocimientos relacionados con la aplicación de electrodos modificados en la preparación de biosensores y en el desarrollo de técnicas alternativas para la determinación de los analitos mencionados precedentemente. Electrochemical reaction mechanisms of mycotoxins (toxic metabolites generated by fungi) citrinin (CIT), Patulin (PAT) and moniliformin (MON), natural antioxidants alpha, beta, gamma and delta tocopherols, flavonoids fisetin (FIS), morin (MOR), luteolin (LUT), rutin (RUT), butein (BUT), naringenin (NAR), miricetin (MIR) and steroid hormones estradiol (EDIOL), estrone (EONA) and estriole (ETRIOL) will be explored. On the other hand, electroanalytical techniques for the detection and quantification of these substrates in samples of natural matrices will be implemented. The design and characterization of enzymatic biosensors from peroxidases and/or from alkaline phosphatase for the determination of CIT and flavonoids, and also of inmunosensors for ochratoxin A (OTA) and PAT and hormones will be performed. For the anchor of enzymes and/or antibody, properties of electrodes modified by self assembled monolayers, carbon nanotubes and magnetic particles will be explored. Cyclic, square wave and adsorptive stripping voltammetries, electrochemical impedance spectroscopy, controlled potential electrolysis, uv-vis and IR, quartz crystal microbalance and high-resolution microcopies (SEM, TEM, AFM) will be used. The importance of this project is aimed at obtaining new electrochemical data for the indicated substrates and knowledge on the application of modified electrodes in preparation of biosensors and in the development of alternative techniques for the determination of the above-mentioned analytes.

Movilidad social en barrios de Córdoba: Villa La Tela y áreas colindantes. Social Mobility in Neighborhoods of Cordoba: Villa La Tela and Adjacent Areas.

Esta investigación propone aproximarse al conocimiento y comprensión de los diversos mecanismos de movilidad social en Villa La Tela barrios adyacentes (ciudad de Córdoba). Si bien las poblaciones objetivo poseen diferentes niveles de vida, este proyecto no se propone la comparación entre ambos sectores urbanos, sino la identificación de diversos patrones de movilidad social vigentes. Se intenta también aproximarse indirectamente al esquema de estratificación social vigente en la ciudad de Córdoba. El equipo se propone avanzar en la definición de una estrategia metodológica que permita comprender de una manera integral los diversos mecanismos de movilidad social. Se propone articular una triangulación de métodos cuantitativos y cualitativos que aproveche las fortalezas de cada enfoque para efectuar una mirada multidisciplinaria de las condiciones de vida de la población en estudio. Se intenta también aprovechar la inserción que ya tienen algunos de los investigadores del equipo en los barrios, a fin de aportar conocimientos útiles a las organizaciones que realizan actividades de intervención social. El trabajo se propone en tres fases constituidas por tres instancias que no necesariamente se corresponden con tiempos cronológicos: análisis de información secundaria (censos de población, relevamientos de organismos gubernamentales y civiles) y de resultados de investigaciones previas; en otra fase se generará un espacio recreativo en la comunidad que permita identificar las percepciones subjetivas de los actores locales en relación a las condiciones de vida y la experiencia de movilidad social (etnodrama, etnografía fotográfica); finalmente se realizará una fase de trabajo de encuestas y entrevistas en profundidad a partir de los insumos producidos en las dos fases antes mencionadas. Se tomará para ello, como unidad de análisis socio-económica a los hogares, considerados como el espacio físico y social desde el cual se diseñan e implementan las estrategias familiares de vida de sus miembros. Se considera que el proyecto puede transferir los resultados -parciales y finales- alcanzados a las instituciones intervinientes en los barrios considerados. Esta transferencia constituye una actividad de extensión concreta, dado que las intervenciones en marcha están destinadas a mejorar las condiciones de vida de la población en términos materiales y culturales. La acción sinérgica entre las diversas instituciones que intervienen o investigan sobre estas comunidades es un compromiso, ya que de ello depende la calidad del impacto en las propias comunidades. En este sentido, la descripción de las experiencias intergeneracionales de movilidad social de los hogares y su significación subjetiva, puede considerarse de interés tanto para las instituciones como para la comunidad misma. De esta manera se espera devolver a las comunidades lo que éstas le ofrezcan al equipo de investigación, como flujo de intercambio recíproco de conocimiento y desarrollo humano. Desde el punto de vista metodológico, el equipo espera realizar una evaluación de los distintos abordajes cuantitativos y cualitativos a escala microsocial, a fin de realizar propuestas válidas para nuevas investigaciones en ámbitos locales. This research proposes to approach the knowledge and understanding of the various mechanisms of social mobility in adjacent neighborhoods of Villa La Tela (Cordoba, Argentina). Although the target populations have different levels of life, this project does not intend to compare urban areas, but the identification of different patterns of social mobility nowadays. Indirect approach is also intended to outline the existing social stratification in Cordoba city. We plan to define a methodological approach based on triangulation of quantitative and qualitative methods, exploiting the strengths of each approach to make a multidisciplinary vision of the population living conditions. Project proposes phases consisting of three instances, that do not necessarily correspond with chronological time: 1) secondary data analysis (population censuses, surveys of government agencies and civilian organizations) and previous research results; 2) promotion of a recreation space in the community to identify the subjective perceptions of local actors in relation to living conditions and experience of social mobility; 3) finally there will be a phase of survey work and deep interviews from inputs produced in the two phases mentioned above. Households will be taken as socio-economic unit, also considered as social and physical space where family strategies of life are designed and implemented by its members. We considere this project can transfer the obtained results to the institutions involved in the concerned districts. This transfer is a specific outreach activity, since the interventions in place are aimed to improving the living conditions of population in material and cultural terms.

Sujeto y Política. La constitución de las identidades desde una perspectiva postfundacionalista: hacia la construcción de un marco teórico-metodológico para el análisis histórico-político. Subject and politics. The constitution of political identities from a posfoundational perspective: towards a construction of a theorethico-methodolocal framework for histórico-political analysis.

El proyecto de investigación se dirige a sistematizar un abordaje postfundacionalista de las identidades políticas en vistas a la construcción de un marco teórico-metodológico para el análisis histórico-político. Se parte de la creciente relevancia en las ciencias sociales de la cuestión de la “identidad” para indagar la singularidad del marco teórico adoptado en su estudio. Así, el postfundacionalismo da cuenta de una teoría de las subjetividades políticas que parte de procesos de identificación que suponen una articulación singular entre relativa estructuralidad y agencia. El sujeto emerge en un contexto nunca plenamente suturado ni plenamente abierto, sino a través de un anudamiento de diversas dimensiones reales, simbólicas e imaginarias. Esta visión es altamente productiva para generar conclusiones relevantes en el campo de la ciencia política y del análisis histórico político comparado. This research project seeks to systematise from a postfundationalist view of political identities a theoretico-methodological framework for historico political analysis. The project starts from the increasing relevance of the quistion of 'identity' for contremporary social sciences. Poststructuralism provides an insight of processes of identification that supposes a singular articulation between relative structurality and agency. The subject emerges in a neither fully structured nor fully opened context but through a knotting process of different registers: real, symblic and imaginary. This vision, we believe, is highly productive to generate meaningful conclusions in the field of political science and comparative political analysis.

Detección de genotixicidad en cerdos inducida por la ingesta de Aflatoxina B1

En cerdos la micotoxicosis representa uno de los problemas de contaminación ambiental más frecuente. La aflatoxina B1 (AFB1) producida por ciertas cepas de A. flavus y A. parasiticus, es un agente genotóxico, ya que al ingerir alimento contaminado, los metabolitos de AFB1 inducen daño cromosómico. En función de este problema se plantean las siguientes hipótesis de trabajo: 1. La ingesta de alimentos contaminados con AFB1 inducen daño cromosómico en cerdos. 2. La inducción, frecuencia y tipo de daño cromosómico es dependiente del tiempo de ingesta de AFB1. En este trabajo se evalúa el potencial genotóxico in vivo de la AFB1, mediante tres métodos distintos: Análisis de aberraciones cromosómicas, Ensayo de micronúcleos y Electroforesis en gel de células individuales. Se evaluarán dos grupos de cerdos en etapa postdestete, uno control y otro alimentado con pienso ad líbitum, con AFB1 a una determinada concentración. Se tomarán muestras de sangre a los 15, 30, 45 y 60 días. En concordancia con los antecedentes bibliográficos, se espera detectar la ocurrencia de daño cromosómico inducido por la ingesta de AFB1 a una determinada dosis. El efecto genotóxico debería ser detectado desde las tres técnicas elegidas para su estudio. Se espera poder establecer el tipo preponderante de daño inducido por la ingesta de AFB1 en cerdos posdestete, la sensibilidad de las diferentes técnicas empleadas para su detección y determinar si existe relación entre el tipo e intensidad de daño cromosómico y el tiempo de ingesta de AFB1. En virtud que Río Cuarto y la región es una zona agrícola-ganadera, donde la explotación porcina es de interés económico y la ocurrencia reiterada de brotes de micotoxicosis, plantea la necesidad de evaluar el potencial genotóxico de las micotoxinas. Considerando que gran parte de la información publicada sobre la toxicidad se refiere a estudios en animales experimentales de laboratorio, que pueden no reflejar sus efectos en seres humanos y en animales de granja, se considera relevante evaluar la toxicidad, particularmente la genotoxicidad en animales a campo y sus posibles consecuencias para la salud y producción porcina. El abordaje de la evaluación del daño genotóxico inducido por AFB1 desde tres ensayos distintos permitirá establecer cuál de éstos métodos reúne las condiciones más ventajosas en cuento a: sensibilidad, tiempo requerido, validez estadística, sencillez y economía, para ser el método de elección en posteriores estudios.

TERRITORIOS EN DISPUTA. UN ESTUDIO SOBRE LOS CONFLICTOS TERRITORIALES URBANOS Y RURALES EN LA PROVINCIA DE CÓRDOBA

El territorio es el resultado de un conjunto de dispositivos –políticos, económicos, culturales- y de disposiciones sociales que, en su concurrencia y/o contradicción, configuran tanto identidades y campos de comportamiento posibles; como un particular modo de producir y relacionamiento con la naturaleza. Entendido así, el territorio y sus posibilidades son el resultado de relaciones de fuerza desplegadas en torno al control y posesión de recursos sociales, económicos, naturales, etc. Estas fuerzas condensan en una específica –es decir histórica– partición del territorio y en formas también específicas de distribución y jerarquización de los elementos y sujetos dispuestos en él. Esto implica pensar el territorio no solamente como dominio del Estado que lo administra, ordena y controla, sino también como resultante de los imperativos del capital, y como espacio de conflictos y resistencias. Se trata de una mirada que, sin descuidar esas dos dimensiones -accionar estatal y accionar del capital- privilegia enfocar el análisis del territorio a partir de conflictos que en él se desatan, entre los modos y prácticas de intervención del Estado, las intervenciones del capital y las resistencias y luchas que la población residente entabla frente o a partir de ellos. En este marco, el interés de este proyecto es analizar los distintos conflictos en torno a la tierra, sus usos y disposición en la provincia de Córdoba, a fin de conocer: la configuración de los conflictos; la confluencia de políticas; los proyectos, intereses, y obstáculos de desarrollo territorial. Su concreción nos permitirá acceder a una última instancia de observación y elaboración propuestas de gestión e intervención sobre los territorios que tengan en cuenta la participación y los intereses de las comunidades involucradas. La hipótesis que orienta nuestra propuesta de estudio sostiene que los modos de intervención del Estado y el capital tienen fuerte contenido performativo de los espacios sociales, en tanto la conflictividad desatada en los territorios no es otra cosa que la conformación de subjetividades colectivas que denuncian un modo específico de configuración del espacio en tensión con las racionalidades socio-locales.

Análisis comparativo de la pérdida de tejido dentinario radicular en distintos procedimientos para el retiro de postes de fibra (in-vitro). Parte 2.

El retiro de postes del interior de un conducto, puede ser un obstáculo importante en el retratamiento endodóntico y conducir a menudo a la solución quirúrgica o extracción de la pieza por la dificultad del procedimiento, sin debilitar, perforar o fracturar la raíz, por este motivo, para la remoción de un postes el clínico debe pensar en riesgos y beneficios antes de comenzar a trabajar. En relación a la bibliografía consultada sobre retiro de postes del interior del conducto radicular, coincidimos con distintos autores, que si se accede a la cámara pulpar, se elimina todo el muñón coronario y se logra exponer el postes, existe una variedad de técnicas que podrían retirar el postes de manera exitosa y segura para las estructuras dentinarias remanentes. En el caso de los postes de fibra, motivo de nuestro estudio, la similitud de estos en cuanto a la densidad como el color con el tejido dentinario, dificulta la remoción del muñón coronario con la consecuente exposición de postes. Este proyecto, desea establecer pautas de proyección precisas, que el odontólogo general pueda poner en práctica.

Análisis sobre la adaptación, ajuste y su consecuente retención en postes intraradiculares pre-formados no metálicos y en postes post-formados metálicos. Estudio comparativo.

Uno de los objetivos concretos de los remanentes radiculares tratados endodonticamente, es de servir como elemento de anclaje para una futura restauración protética. Si bien, todo tratamiento con pernos trae aparejado un cierto grado de debilitamiento tisular, es vital que este tipo de prótesis adapten y ajusten correctamente, ya que de ellas depende la estabilidad y la permanencia de la consecuente corona en boca. Son muchas las causas que nos pueden llevar a la falta de ajuste y adaptación de nuestras restauraciones, pero la técnica elegida para la preparación de la cavidad radicular, además del momento y el material con el que esta hecho el poste son 2 items fundamentales, para estudiar esta problemática. Actualmente existe un interesante debate a cerca de las ventajas de uno u otro sistema, en general esa discusión se centra en el análisis de las propiedades de uno u otro sistema, por ejemplo su modulo de elasticidad, su radiopacidad, su resistencia a la fractura, a la fatiga, su ventaja estética, etc. Pero hay un detalle, que por lo menos para nosotros es vital, la retención. En cuanto al diseño metodológico elegido para llevar a cabo este trabajo, se utilizaran 40 porciones radiculares a las que se les practicarán (con el mismo instrumento) cavidades con la finalidad de albergar postes intraradiculares. A las primeras 20 (codificadas) se le tomarán impresiones sectorizadas siguiendo posteriormente el protocolo correspondiente para la confección de postes post formados metálicos (colados) por método indirecto (Método COPISMY), luego de ser obtenidos, estos postes colados serán cementados a presión controlada sobre sus respectivas porciones radiculares. A las segundas 20 porciones (codificadas) se le cementarán también a presión controlada, postes prefabricados no metálicos, siguiendo los mismos pasos que para los colados. Posteriormente todas las muestras serán incluidas en cubos de resina transparente con la finalidad de practicarles cortes transversales para su posterior observación, medición y captura de imagen. Luego todos los valores numéricos obtenidos, serán sometidos a un estricto estudio estadístico para tratar de determinar si existen entre ambos grupos diferencias que puedan ser consideradas estadísticamente significativas.

Meta-requisitos, instituciones y prácticas de la democracia local.

n el desarrollo contemporáneo de propuestas normativas de democracia es posible identificar una recuperación de la dimensión territorial de los procesos sociopolíticos, un redescubrimiento de lo local dado por el interés de explicar y proponer soluciones a los nuevos desafíos que la inequidad, las crisis del régimen de acumulación y las crisis en los modos de coordinación social presentan a las sociedades contemporáneas. En este contexto lo local no sólo adquiere un nuevo protagonismo en relación a las preocupaciones concernientes al desarrollo sostenible, sino también como ámbito que por cuestiones de “proximidad” constituye el espacio “natural” para la realización de la democracia. La relación estado y sociedad, las posibilidades de hacer efectiva la participación y de generar condiciones que hacen factible el control del poder político por parte de los ciudadanos parecieran encontrar en lo local mejores condiciones de realización. Sin embargo y a pesar de los avances descriptos, son escasos los intentos por profundizar la especificidad de la democracia local que aborden y articulen reflexiones teórico-conceptuales que permitan identificar principios normativos básicos contrastables empíricamente con las instituciones y prácticas locales concretas. Las bondades de la democracia local son por lo general dadas por sentadas, sin problematizar sus particularidades, su relación con una teoría general de la democracia, su relación con el territorio a diferentes escalas y sus manifestaciones en instituciones y prácticas de los actores sociales. Desde el proyecto se sostiene que a partir de la reconstrucción y problematización de los orígenes filosóficos conceptuales que sustentan la Teoría de la Democracia Local es posible identificar un marco teórico normativo que le es específico y que posibilita el reconocimiento de los meta-requisitos necesarios tanto para su realización como para su contribución al fortalecimiento del régimen democrático en general. El establecimiento de estos requisitos permitirá construir matrices analíticas para el estudio empírico de los diseños y prácticas institucionales, como así también los procesos de constitución, reproducción y contestación de tales arreglos y prácticas por parte de los actores sociales. El proyecto se propone diseñar matrices analíticas que permitan articular distintos niveles y dimensiones de análisis de la Democracia Local que sean aplicables al estudio de casos de ciudades de porte medio de América Latina.

Análisis de componentes de la inmunidad innata en infecciones virales: implicancias en la patogénesis.

El estudio de células del sistema inmune innato en infecciones virales se ha centrado principalmente en las células dendríticas y las células NK. Los objetivos de este proyecto de investigación son evaluar el nivel de apoptosis de neutrófilos y las vías de activación de muerte celular en la infección por Virus de la Inmunodeficiencia Humana (VIH) y caracterizar la respuesta inmune inducida en monocitos/macrófagos infectados in vitro con el Encefalitis San Luis virus (ESLV). En individuos con infección por VIH se evaluará la apoptosis (anexina y citomorfología), la expresión de moléculas de adhesión y de receptor Toll-like (TLR) en neutrófilos. Además, se determinará la concentración sérica de citocinas pro-inflamatorias y anti-inflamatorias y de moléculas pro-apoptóticas y anti-apoptóticas. La infección por ESLV será realizada en una línea celular mieloide en la que se detectaran los antígenos virales a distintos días post-infección viral (inmunofluorescencia y citometría de flujo). Además, se determinará la expresión de antígenos de superficie y TLR. En sobrenadantes de cultivos de monocitos infectados con diferentes genotipos de ESLV a distintos días post-infección serán cuantificada la concentración de citocinas y determinada la apoptosis de monocito/macrófagos infectados (anexina y citomorfología). Este proyecto posibilitará una mayor comprensión de la regulación de la apoptosis en la infección por VIH, conocimiento que podrá ser de utilidad para avanzar en investigaciones futuras para el entendimiento de los mecanismos y la regulación de la apoptosis de componentes del sistema inmune innato. En la infección por ESLV el conocimiento de las características de la activación del macrófago cuando es infectado por este virus, los inmunomoduladores liberados y el impacto de la infección sobre la apoptosis de ésta célula podrían orientar hacia posibles blancos para el diseño futuro de estrategias terapéuticas o profilácticas contra esta infección.