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.

Creencias de autoefcacia y emociones de logro en estudiantes universitarios. Vinculaciones con contextos de evaluación

El bajo rendimiento advertido en general en las aulas universitarias, sumado a la abulia y escasa motivación por aprender que parece caracterizar a muchos estudiantes, acentúan el desafío que enfrentan las universidades de intervenir para mejorar la calidad de la educación de los ciudadanos. Conocer más acerca de los recursos internos y externos con que cuentan nuestros estudiantes para aprender y analizar el modo en que repercuten en su motivación y aprendizaje es, sin duda, un modo de avanzar hacia contribuciones capaces de redundar en mejoras educativas. En este marco, proponemos brindar aportes teóricos y definir líneas de acción que contribuyan al diseño de contextos de evaluación óptimos para el surgimiento de creencias motivacionales y estados emocionales beneficiosos para los aprendizajes de estudiantes universitarios. Suponemos que un contexto de evaluación que propicie el uso del conocimiento por parte de los estudiantes, que favorezca el despliegue de estrategias de autorregulación y posibilite ricos procesos de feedback, favorecerá la emergencia de percepciones de autoeficacia positivas, de estados emocionales beneficiosos y la ampliación de las posibilidades de lograr éxito en los resultados obtenidos. Trabajaremos con estudiantes de la Universidad Nacional de Río Cuarto, con muestras accidentales compuestas por la totalidad de alumnos que cursen Tráfico de señales –asignatura de Ing. en Telecomunicaciones- y Psicología Educacional -materia de distintos profesorados de la Facultad de Ciencias Humanas y de la Facultad de Ciencias Exactas Físico-Químicas y Naturales. Los datos serán recabados mediante el Multidimensional Scales of Perceived Self-efficacy (Bandura, 1990); el Achievement Emotions Questionnaire (Pekrun et al., 2005); análisis de protocolos de evaluación, observación no participante de clases e instancias de evaluación; grabación en audio de las clases observadas y entrevistas semi-estructuradas a estudiantes. Los resultados obtenidos prometen aportes teóricos y orientaciones pedagógicas. Las contribuciones teóricas se vinculan con la profundización de los marcos teóricos y con los avances logrados en las interpretaciones realizadas. Las orientaciones pedagógicas, se vinculan con aportes al diseño de contextos de evaluación óptimos para el surgimiento de creencias motivacionales y estados emocionales beneficiosos para los aprendizajes. Este proyecto se estima importante y pertinente porque materializa uno de los desafíos que enfrentan actualmente los investigadores educacionales, esto es, conocer más acerca del modo en que los aspectos personales de los estudiantes interactúan con las características del contexto académico en situaciones genuinas de aprendizaje; porque considera un tópico de investigación que emerge con fuerza en la agenda de la Psicología Educacional, esto es, el estudio de las emociones académicas; porque integra tendencias metodológicas que marcan rumbos en el estudio de las variables consideradas.

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.

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.

Producción de factores de virulencia por fitopatógenos bacterianos de soja. Utilización de productos naturales como biocontrol. Production of virulence factors by soybean bacterial phytopathogens. The use of natural products as biocontrolers.

En Argentina el cultivo de soja ocupa el primer lugar en superficie sembrada. El 90% de la producción se obtiene en la zona central del pais. La siembra directa favorece la multiplicación y supervivencia de fitopatógenos causantes de tizón y pústula bacterianos. El tizón es producido por Pseudomonas syringae pv. glycinea observándose manchas marrones en las hojas. Produce gran variedad de toxinas: coronatina, faseolotoxina, siringomicina, tabtoxina, proteínas “nucleation ice”, entre otras, las cuales contribuyen a la clorosis y necrosis. En la infección, además, están involucrados exopolisacáridos (levano y alginato). La celulosa ha sido relacionada en la adhesión bacteriana y en la formación de biofilm. La pústula es causada por Xanthomonas axonopodis pv. glycines. Produce manchas pequeñas con una pequeña pústula de color claro. Libera enzimas como α-amilasa, proteasa, endo β-mannanasa, actividad peptolítica, que degradan componentes vegetales. Xantan, producido por X. axonopodis es uno de los componentes necesarios para la formación de biofilm. Este último es considerado un importante factor de virulencia porque proporciona una estrategia de colonización que otorga mayor resistencia a ambientes desfavorables, tolerancia a antimicrobianos, producción de metabolitos y exoenzimas, etc. Actualmente el control de bacterias fitopatógenas se realiza mediante pesticidas con alta toxicidad para los consumidores y el ambiente. Para evitar las bacteriosis en la práctica se sugiere la rotación de cultivos y utilizar semillas certificadas. Se están probando compuestos naturales derivados de plantas medicinales como pesticidas; estos se pueden dividir en varias categorías fitoquímicas. Varios estudios confirman la actividad antibacteriana, antifúngica y antiviral de estos productos. Extractos vegetales con alto contenido de flavonoides y aceite esenciales poseen una importante actividad antibacteriana. Además, algunos aceites esenciales podrían estar incidiendo en la liberación y/o producción de biofilm, exopolisacáridos y exoproteínas. La gran incidencia de las infecciones por fitopatógenos y las pérdidas económicas que estas acarrean hacen que su control presente grandes dificultades para la agricultura sustentable en soja de nuestro país. En este trabajo se propone estudiar los diferentes factores de virulencia de cepas bacterianas fitopatógenas y evaluar el rol que cumplen en el proceso de la enfermedad en cultivos de soja y desarrollar estrategias para el control de bacteriosis vegetales aplicando productos naturales aislados de plantas aromáticas. La correcta utilización de productos antimicrobianos de origen natural aplicados sobre el cultivo y/o sobre las semillas evitaría la dispersión de la enfermedad y la eliminación al medio ambiente de productos contaminantes no deseados. In Argentina, soybean cultivation occupies the first place; 90% of this cereal is produced in the central region of the country. Intensive tillage practices favour multiplication and survival of bacterial phytopathogens causing blight and pustule diseases. Pseudomonas syringae pv. glycinea produce several toxins like coronatine, faseolotoxine, siringomicine, tabtoxine and proteins of nucleation ice that contribute to the develop of chlorosis and necrosis, characteristic of bacterial blight. It also produces levan and alginate, cellulose and biofilm. Pustule disease is caused by Xanthomonas axonopodis pv glycines, which produce enzymes like α-amilase, protease, endo β-mannanase, peptolitic activity, xanthan and biofilm. Nowadays the control of phytopathogenic bacteria consists in the application of pesticides that are toxic for the environment and man. Natural products from medicinal plants are a new alternative for the treatment of phytopathogens. Researches made with phytochemical compounds (flavonoids, phenols, quinones, cummarines, essential oils, terpenes) support the antimicrobial activity of these natural products. What is more, these substances could suppress the biofilm, exoproteins and exopolisaccharides formation and release of them. The infections caused by phytopathogens provoke economical loses and its control presents big difficulties in our country. The proposal of this work is the characterization of phytopatoghenic strains, its virulence factors and the role they play in the disease process. The development of a new alternative for the control of vegetable bacteriosis using natural products obtained from aromatic plants and the correct application of them on sown fields or on seeds is also an objective in this work.

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.

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.

Desarrollo de productos cárnicos funcionales que cuenten con atributos que garanticen la inocuidad alimentaria.

El consumidor actual demanda productos alimenticios que, además de satisfacer sus necesidades nutricionales, cubran sus espectativas de bienestar, placer y seguridad. El aumento de la disponibilidad de información por parte de la población, así como su mayor reflexión acerca del rol que juegan los alimentos en su salud y desarrollo, está llevando hacia una creciente demanda de productos con garantía de inocuidad y con propiedades funcionales benéficas para su salud. El objetivo del proyecto es diseñar y desarrollar productos cárnicos con funcionalidades y características relacionadas con los requisitos y necesidades del consumidor actual en términos de salud, nutrición, y bienestar. Para alcanzar estos atributos, se desarrollarán los productos utilizando diferentes estrategias y metodologías como ser: nuevas formulaciones, incorporación de prebióticos y probióticos, selección y desarrollo de inóculos específicos, sustitución de ingredientes y conservantes, diseño y aplicación de nuevos procesos, equipos, y metodologías de aseguramiento de la inocuidad, etc. En los productos cárnicos diseñados mediante estas estrategias y metodologías, se tendrán en consideración todas las características de calidad, en especial aquellas referidas a la vida útil y a la inocuidad de los mismos. Para tal fin se realizará una cuidadosa evaluación de los peligros potenciales asociados a estos nuevos productos mediante el análisis de riesgo asociado.

La producción familiar en el cinturón verde norte de la ciudad de Córdoba. Desafíos y controversias en la producción primaria de alimentos.

Este proyecto intenta caracterizar, procesos productivos y sociales en los que participan productores familiares del cinturón verde norte de la ciudad de Córdoba; con el fin de elaborar una base de datos, que refleje las principales características vinculadas a la producción primaria de alimentos a comercializar en la ciudad. Focalizaremos nuestra investigación en las relaciones existentes entre sus trayectorias laborales con: sus lógicas de producción, disponibilidad de mano de obra, incidencia de nuevas tecnologías, aplicación de buenas prácticas agrícolas y de manufacturas, vínculos con redes sociales y problemáticas de comercialización. Planteamos las siguientes hipótesis: 1) Los productores familiares, ante el modelo hegemónico de producción, implementan lógicas resistenciales, tendientes a evitar la descapitalización y el deterioro de su calidad de vida. 2) Los inmigrantes bolivianos aportan su mano de obra como trabajadores informales y logran cierta movilidad social ascendente en el sector hortícola. 3) La adquisición de tecnologías está condicionada por conocimientos tradicionales, lógicas de trabajo, disponibilidad de recursos y perspectivas comerciales. 4) La implementación de las Buenas Prácticas Agrícolas y Buenas Prácticas de Manufactura no garantiza la inclusión laboral ni el mejoramiento de las condiciones de vida. 5) El fortalecimiento de los vínculos en las redes sociales permiten que los productores al hacer uso de ellas, implementen estrategias para superan los problemas vinculados a la comercialización de alimentos. Nuestro objetivo principal es identificar, describir y analizar la situación socio productiva, vinculada a las transformaciones tecnológicas y socio económicas exigidas por el modelo agroalimentario global. Realizaremos la localización socio espacial de cada unidad de producción y caracterizaremos el tipo de actividad. Describiremos las estrategias productivas y de comercialización que surgen, ante problemáticas emergentes y en respuestas a las normas vigentes. Analizaremos la toma de decisiones, condicionada por las trayectorias laborales y sostenidas por las redes sociales. El abordaje será de tipo cualitativo. Analizaremos las normativas vigentes en relación a la implementación de las buenas prácticas agrícolas y de manufacturas. Pretendemos realizar un aporte, posicionando a los sistemas productivos que abastecen de alimento a la ciudad y que persisten en una franja intermedia entre el campo y la ciudad.

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.

Calidad química y sensorial de alimentos: desarrollo de metodologías analíticas basadas en la utilización de HS-SPME/GC y aceptabilidad sensorial para la caracterización de plantas aromáticas y productos alimenticios.

El concepto de calidad ha evolucionado en los últimos años adquiriendo un extraordinario protagonismo. Un alimento puede ser descripto mediante una serie de parámetros o variables que se transforman en atributos de calidad por la percepción y preferencias de un usuario. Los valores que deben alcanzar los atributos para que la adecuación sea positiva, son las especificaciones de calidad. Entre los atributos de calidad de un alimento se encuentra la organoléptica o sensorial, que puede ser definida, medida y ponderada, estableciéndose niveles de confianza para el cumplimiento de las especificaciones de calidad acordadas. Los componentes químicos volátiles del alimento, estimulan las terminales sensitivas de boca y nariz, afectando a los atributos olor, aroma, fragancia, gusto y flavor. Por lo tanto, identificar dichos componentes y determinar su proporción en el producto es de vital importancia para establecer correlaciones con las respuestas sensoriales. En el presente proyecto se desarrollarán metodologías analíticas basadas en Microextracción en Fase Sólida del Espacio de Cabeza seguida de Cromatografía Gaseosa (HS-SPME/GC) y en aceptabilidad sensorial para su aplicación en la caracterización de plantas aromáticas y productos alimenticios, con la finalidad de identificar los compuestos volátiles responsables de la aceptación o rechazo de los productos investigados, de evaluar el efecto del almacenamiento sobre las características de los mismos, y establecer similitudes y diferencias entre los perfiles químicos de diferentes productos del mismo tipo. Además, se realizarán protocolos de control de calidad para las muestras estudiadas.