Análisis y optimización de redes inalámbricas de sensores remotos.

El proyecto inicialmente se denominó “Análisis y optimización del radio enlace en un sistema RFID”. A medida que el mismo fue avanzando, principalmente en el desarrollo de 2 planes de doctorado (Proyectos de Tesis Doctoral de Juan Castagnola y Agustín Laprovitta), los objetivos particulares fueron ajustándose a cada uno de estos trabajos. Así pues, los nuevos objetivos planteados para el proyecto son: a) Estudiar, generar modelos, simular e implementar nuevas configuraciones en la etapas de recepción de los transceptores, para lograr mayor alcance con menos potencia; b) Desarrollar metodologías de test para sistemas de redes inalámbricas de sensores, con énfasis en nodos activos y pasivos diseñados con circuitos analógicos y digitales configurables y componentes comerciales; c) Proponer estrategias de test de bajo consumo y alto desempeño focalizadas en las secciones analógicas, de conversión y digitales configurables del nodo. Además de la realización de los trabajos de tesis doctoral mencionados, en el grupo de investigación se encuentran alumnos de la carrera de Ingeniería Electrónica realizando sus trabajos finales de grado, los mismos se orientaron a trabajos de investigación e implementación en el área de las redes inalámbricas de sensores remotos. Los trabajos realizados en el invernadero y en el secadero de embutidos, están orientados también a esta misma temática. Por estos motivos se decidió el cambio en la denominación del proyecto, por: “Análisis y optimización de redes inalámbricas de sensores remotos”.

Desarrollo de un método científico aplicable al análisis y prevención de fallas en ingeniería.

El proyecto busca profundizar lo incorporado como método de análisis, a partir de lo realizado en el proyecto anterior, relativo a la Fragilidad por Hidrógeno en Metales Ferrosos. Sobre la base de lo actuado, se pretende aplicar el método científico de análisis a las fallas en casos que ocurren en la práctica y que tienen como origen errores en el diseño, construcción o mantenimiento de componentes o sistemas. Procesos industriales que aplican técnicas de fabricación o construcción de componentes, frecuentemente fallan por un uso erróneo de los mismos, ya sea por mala práctica o bien por desconocimiento de las variables que los gobiernan. Mediante la aplicación del método científico se busca llegar a las primeras causas de las fallas y a partir del entendimiento de las mismas generar prevención para futuros casos.

Análisis de componentes de la inmunidad innata en infecciones parasitarias. I. Apoptosis de polimorfonucleares (Programa: enfermedades transmisibles y emergentes).

La visión jerárquica de la respuesta inmune, en la cual las células no específicas de la respuesta innata son las primeras reclutadas al sitio del daño, antes que se desarrolle la respuesta inmune específica adaptativa, ha cambiado. Primero, la respuesta innata es mucho más específica que lo reconocido hasta ahora y segundo, las células del sistema innato de defensa constituyen un nexo con el sistema adaptativo, modulándola en el curso de una respuesta inmune. Este complejo patrón de interacciones se ha evidenciado recientemente con las funciones de los neutrófilos. La contribución de los neutrófilos a la respuesta inmunitaria antiparasitaria reside, fundamentalmente, en tres atributos. 1) su patrón de migración, 2) su capacidad fagocítica y 3) su arsenal de mecanismos microbicidas. El objetivo principal de este proyecto de investigación es investigar el efecto de antígenos parasitarios sobre la apoptosis, activación y producción de citocinas por neutrófilos y analizar las vías de activación de la muerte celular en neutrófilos cultivados con antígneos parasitarios. Para ello, en neutrófilos provenientes de individuos sanos se evaluará la apoptosis de estas células luego de su incubación con antígenos solubles y particulados de protozoos y helmintos. Además, se evaluará la expresión de distintos antígenos de superficie, se cuantificarán mediadores solubles pro-inflamatorios en los sobrenadantes de los cultivos y se evaluarán proteínas pro-apoptóticas y anti-apoptóticas en neutrófilos cultivados con antígenos parasitarios. En el contexto de la respuesta inmune innata frente a parásitos, sean protozoos o helmintos, intestinales o extraintestinales, es necesario evaluar el impacto de las infecciones parasitarias en la sobrevida de los neutrófilos y en la capacidad de estas células para liberar mediadores solubles lo que permitirá ampliar el conocimiento sobre su rol en procesos infecciosos.

Análisis de componentes del sistema inmune innato en la infección vih/sida: apoptosis y expresión de moléculas y receptores en polimorfonucleares neutrófilos (Programa:enfermedades transmisibles y emergentes).

El Virus de la Inmunodeficiencia Humana (VIH) afecta principalmente a la respuesta inmune específica causando una pérdida progresiva de los linfocitos T CD4+. Este virus también puede afectar a células del sistema inmune innato, como los Polimorfonucleares Neutrófilos (PMN). Los objetivos propuestos para esta etapa del proyecto son: a) investigar el efecto de la infección por VIH sobre la apoptosis de PMN, b) analizar la expresión de moléculas y receptores de reconocimiento de patrones moleculares asociados a patógenos en estas células y c) evaluar el impacto de la terapia antirretroviral sobre la apoptosis y expresión de moléculas y receptores en PMN. Se incluirán individuos en distintos estadios de la infección con o sin tratamiento antirretroviral y se determinarán parámetros hematológicos, inmunológicos y virológicos a fin de correlacionar el nivel de apoptosis y expresión de moléculas y receptores con el nivel de linfocitos T CD4+ y carga viral. La importancia de los PMN en el control de la infección por el VIH es actualmente un área de mucho interés, ya que pueden ejercer un efecto anti-VIH directo, y al mismo tiempo, ser blancos de la infección viral. Comprender los aspectos claves en la cascada de la apoptosis de estas células podría en un futuro aportar posibles blancos terapéuticos, que permitan restaurar la función de los PMN durante la infección VIH/SIDA.

Apropiación/expropiación de territorialidades sociales. Análisis comparativo de procesos de erradicación/relocalización de fracciones sociales empobrecidas, en ciudades argentinas.

Las dinámicas de la intervención estatal es un tema intensamente trabajado y, en consecuencia, exige definir con claridad la posición que adoptamos. Las políticas públicas son el modo más visible de las formas que adopta la estatalidad y del modo como concibe y se relaciona con la ciudadanía. Ciertamente, las lógicas impuestas desde hace más de tres décadas han favorecido, con sus esquemas focalizados y meritocráticos, la nítida constitución de sectores sociales objeto de la atención estatal. Ello redunda en una representación cada vez más extendida de una sociedad en la que algunos sectores tienen y ejercen sus derechos, mientras otros sólo serían carentes y asistidos. Esta preocupante situación se ve claramente reforzada por los modos de intervención que los aparatos del Estado vienen desarrollando en materia de política urbana -en general- y en vivienda social -en particular- a través de programas sustentados en la construcción, material y simbólica, de verdaderas fronteras estigmatizantes. En este marco, el problema que propone esta investigación refiere a ¿qué relaciones sociales se ocultan, se construyen y destruyen tras la materialidad de los objetos que se producen y circulan por y con el acceso a una vivienda digna? Empíricamente, abordaremos el análisis sincrónico y diacrónico de los procesos de erradicación/relocalización de fracciones sociales empobrecidas y los programas de vivienda que los tendrían como destinatarios, beneficiarios, adjudicatarios -y no como sujetos de derecho- a través de estudios de caso, en distintas ciudades argentinas (Córdoba, Mar del Plata y Santa Fe). El interés central de dicho estudio, es visibilizar un conjunto de acciones con fuerte contenido biopolítico, pues se nos presentan como dispositivos que naturalizan y legitiman formas diferenciales de apropiación de la ciudad, y formas de violencia implícitas y explícitas. Así, será posible reflexionar y avanzar en la comprensión de ¿Cómo y qué sujetos se construyen con los dispositivos de y por la vivienda? ¿Cómo se interrelacionan? ¿Cómo se materializa y espacializa, en una política pública, la estigmatización de la pobreza? ¿Qué mecanismos de violencia operan tras la racionalidad técnica de los objetos?

Análisis y diseño de un modelo gestión para la conservación de frutas y hortalizas del Cinturón Verde de la provincia de Córdoba: Preservación de la aptitud organoléptica en atmósfera controlada.

Los negocios vinculados al Agro han crecido en forma importante en la Argentina en los últimos diez años. Este comportamiento se ha dado a partir de dos variables estratégicas, una el precio de los productos y la segunda los niveles de eficiencia tecnológica y productiva, esta última puede ser mejorada para que el sistema tienda a ser más sustentable, pudiéndose generar un "plus de valor" para el consumidor y mayor rentabilidad para la empresa. Para que una empresa en el marco de los agronegocios pueda crear valor a lo largo de la cadena, debe lograr diferenciación, para ello se propone el desarrollo de un proyecto que permita al consumidor obtener productos en condiciones organolépticas óptimas evitando el corte anticipado de frutas y verduras con el consiguiente degradado de las condiciones de calidad desde una visión sistémica de la cadena de abastecimiento y distribución, a través de un proceso que agregue valor para el consumidor, desde un nuevo enfoque mas integrador. La madurez en la cosecha es el factor determinante de la vida comercial, del precio y de la calidad final de la fruta. Cuando los frutos se cosechan fisiológicamente inmaduros evolucionan perdiendo firmeza pero no manifestarán el aroma y sabor característicos, siendo más susceptibles a marchitamiento y a daños mecánicos. Si se cosechan sobre maduros, pronto se vuelven blandos e insípidos y son más difíciles de manipular y comercializar. Para poder ser comercializados se deben cosechar en madurez fisiológica pero no con la madurez óptima para el consumo, esto hace crítica esta primera etapa de la cadena de abastecimiento. Como consecuencia, la cosecha del sector coincide para cada uno de los rubros explotados, generando una oferta significativa de un producto específico (un ejemplo es que todos los productores cosechan al mismo tiempo la lechuga) lo que satura el mercado. El valor de la producción es fijado por la ley de la oferta y la demanda por lo que se obtiene un escaso rendimiento en el momento de la comercialización. El objetivo del presente proyecto es generar una alternativa tecnológica, que permita a los productores, poder extender el lapso de aptitud del producto y de esta manera originar nuevas posibilidades de estrategia comercial para consumo interno y para exportación. La aplicación del envasado al vacío o con atmósfera modificada (EAM) prolonga la conservación de la calidad de los productos alimenticios. En este proceso es indispensable poder detener o disminuir los mecanismos químicos y biológicos que determinan la descomposición de los alimentos. El EAM consiste en el envasado de productos alimenticios en una atmósfera distinta a aquella natural y constituida por mezclas de gases en distintas proporciones, principalmente oxígeno, nitrógeno, dióxido de carbono y óxido nitroso. La EAM ofrece ventajas con respecto a otros métodos de embalaje, ya que además de extender el período de conservación, mantiene la calidad organoléptica de las frutas y vegetales frescos, característica fundamental para atraer la atención de los consumidores. El impacto esperado de esta aplicación tecnológica permitirá: 1. La prolongación de la conservación, permitiendo explotar las economías de escala de producción, mejorar la gestión de las provisiones y costos de transporte, generar nuevas estrategias comerciales, extender la propia producción a otros mercados. 2. Los materiales de los embalajes son fabricados de acuerdo a las normas de inocuidad que mantienen la calidad del producto, resaltando la estética de la presentación. 3. El aspecto ambiental de este proceso, es menos contaminante, ya que se reducen o eliminan los aditivos y conservantes. 4. En el desarrollo de esta transición se generan relaciones sociales que permiten detectar carencias y recursos que pueden ser compartidos por los distintos actores, contribuyendo al desarrollo integral de los participantes.

Análisis experimental y caracterización de pavimentos porosos y su respuesta hidrológica

El extenso uso de pavimentos impermeables trae consigo, sobre todo en áreas de un importante desarrollo urbano, considerables problemas en la evacuación de las aguas lluvias. El uso indiscriminado de estas estructuras en áreas urbanas, disminuye notoriamente la capacidad de recarga natural de agua en los terrenos, e incrementa de forma considerable el volumen y el caudal del escurrimiento superficial, aumentando el riesgo de provocar inundaciones. Además, cuando el agua de las lluvias escurre, arrastra consigo materiales sólidos y contaminantes depositados en calles y estacionamientos. Una de las alternativas posibles para la remediación de esta problemática es el uso de pavimentos porosos. Lamentablemente, en nuestro país no se ha extendido la aplicación de estas tecnologías que conllevan importantes beneficios económicos y ambientales, entre los cuales pueden citarse la mejora en la calidad de los efluentes pluviales, la flora arbórea urbana más longeva y mejor desarrollada, la reducción del efecto de “isla térmica” en las grandes ciudades, la reducción notable de la contaminación acústica, el aumento de la seguridad vial, y reducción de costos, considerando integralmente el sistema vial y el sistema de drenaje pluvial. Los beneficios ambientales descriptos justifican plenamente su amplio uso en los países desarrollados. Como objetivo principal se plantea caracterizar experimentalmente el comportamiento hidrológico-ambiental de pavimentos porosos que puedan ser fabricados con materiales y tecnología local, e inferir los posibles beneficios que su uso pudiera acarrear en el medio ambiente. Como metodología se propone el estudio teórico-experimental, desde la tecnología de los materiales, en el diseño y conocimiento de las propiedades en estado fresco y endurecido y en la durabilidad de hormigones porosos elaborados con materiales locales. Para la caracterización hidrológica se fabricarán parcelas de pavimento poroso, las cuales serán ensayadas mediante el uso de un microsimulador de lluvia, midiendo la intensidad de lluvia generada y el escurrimiento superficial resultante. Estos experimentos podrán repetirse para distintas intensidades de lluvia generada, la cual puede graduarse en el rango de 65 a 120 mm/h. A partir de los datos recopilados, podrán ajustarse parámetros hidrológicos que permitan describir el comportamiento de estas superficies, en comparación con la situación natural y la actual (pavimentos impermeables). Se ajustarán modelos de infiltración que permitan extrapolar en forma hipotética la situación a escalas mayores, y cuantificar preliminarmente los beneficios hidrológico-ambientales que produciría este tipo de tratamiento superficial en el ambiente urbano. Como resultados de este proyecto se espera obtener: una verificación de las posibilidades de los materiales locales, brindando bases evolucionadas para su empleo en la construcción; una metodología para caracterizar en forma preliminar la capacidad de infiltración de muestras reducidas de pavimento poroso; un sensor electrónico para automatizar las mediciones del microsimulador de lluvia; una metodología para caracterizar experimentalmente la capacidad de infiltración de los pavimentos porosos propuestos, basada en el uso del simulador de lluvia disponible en el Laboratorio de Hidráulica; un conjunto de resultados experimentales que posibiliten analizar el comportamiento hidrológico-ambiental de estas superficies; un conjunto de parámetros que permitan cuantificar la respuesta hidrológica de estos pavimentos y una estimación preliminar de los hipotéticos beneficios asociados al uso de estas tecnologías. Se considera que el Proyecto puede servir como puntapié inicial para el análisis de viabilidad, a nivel local, del uso de tecnologías de pavimentación novedosas en el país, pero con varias décadas de experiencia a nivel internacional. Los beneficios medioambientales asociados a los pavimentos porosos, justifican plenamente su investigación a nivel local.

Análisis de las Relaciones Internacionales argentinas a partir de la construcción de identidad en los medios, la marca país y los espacios de participación ciudadana como factores domésticos de la política exterior.

El presente proyecto se propone integrar en una investigación tres dimensiones de la proyección identitaria de Argentina en el sistema internacional, como son la construcción mediática de la realidad, las estrategias de comunicación y participación de la sociedad civil y las definiciones en torno a la marca país. En tal sentido, se explorará la incidencia de estas tres dimensiones en la política exterior argentina en el período 2003-2011. Se parte del supuesto de que las producciones periodísticas se alejan cada vez más del ideal de política de comunicación exterior, al tiempo que se acercan en alianzas a las entidades de participación ciudadana. Esta relación muchas veces supera el impacto y construcción de realidad hacia afuera de aquellas estrategias de comunicación formales que diseña el estado argentino. Por un lado, la influencia de la producción mediática, de la sociedad civil y de la marca país no han sido consideradas en forma acabada en el estudio de las relaciones internacionales, a pesar de que los paradigmas actuales les otorgan a estas dimensiones un papel relevante en la construcción de imagen y posicionamiento internacional de los países. Por otro lado, la identificación de estas dimensiones como factores que inciden en la política exterior dan cuenta de un cambio de paradigma en las relaciones internacionales en épocas recientes, en tanto se suman a las dimensiones tradicionales vinculadas al paradigma realista. Finalmente, los hallazgos de este estudio servirán de base para el diseño de una política exterior que amplíe las dimensiones exclusivas del ámbito diplomático, a la vez que integre políticas dispersas relativas a comunicación, medios, participación ciudadana y marca país.

Investigación de defectos genéticos en el sistema de la fosforilasa hepática en pacientes argentinos. Definición nosológica mediante una estrategia de análisis molecular. Investigation of genetic defects in the hepatic phosphorylase system in Argentinean patients. Nosological definition by molecular analysis strategy.

Las Enfermedades de Atesoramiento de Glucógeno (EAGs) también llamadas Glucogenosis comprenden un grupo de entidades causadas por una deficiencia enzimática específica relacionada con la vía de síntesis o degradación de esta macromolécula. La heterogeneidad fenotípica de los pacientes afectados dificulta la identificación de las diferentes variantes de EAG y por ende la correcta definición nosológica. En el Centro de Estudio de las Metabolopatías Congénitas, CEMECO, se fueron definiendo los diferentes tipos de Glucogenosis a través de una estrategia multidisciplinaria que integra distintos niveles de investigación clínica y complementaria, laboratorio metabólico especializado, enzimático, histomorfológico y de análisis molecular. Sin embargo, en algunos enfermos, entre los que se encuentran aquellos con defectos en el sistema de la fosforilasa hepática (EAG-VI y EAG-IX), la exacta definición nosológica aún no está resulta. La EAG-VI se refiere a un defecto en la fosforilasa hepática, enzima codificada por el gen PYGL, mientras que la EAG-IX es causada por un defecto genético en una de las subunidades de la fosforilasa b quinasa hepática codicadas por los genes PHKA2, PHKB y PHKG2, respectivamente. El objetivo del presente trabajo es propender a la definición nosológica de pacientes con defectos en el sistema de la fosforilasa mediante una estrategia de análisis molecular investigando los genes PYGL, PHKA2, PHKB y PHKG2. Los pacientes incluidos en este estudio deberán ser compatibles de padecer una EAG-VI o EAG-IX sobre la base de síntomas clínicos y hallazgos bioquímicos. La metodología incluirá la determinación de la enzima fosforilasa b quinasa en glóbulos rojos y dentro del análisis molecular la extracción de DNA genómico a partir de sangre entera para la amplificación por PCR de los exones más las uniones exon/intron de los genes PHKG2 y PYGL y la extracción de RNA total y obtención de cDNA para posterior amplificación de los cDNA PHKA2 y PHKB. Todos los fragmentos amplificados serán sometidos a análisis de secuencia de nucleótidos. Resultados esperados. Este trabajo, primero en Argentina, permitirá establecer las bases moleculares de los defectos del sistema de la fosforilasa hepática (EAG-VI y EAG-IX). El poder lograr este nivel de investigación traerá aparejado, una oferta integrativa en el vasto capítulo de las glucogenosis hepáticas, con extraordinaria significación en la práctica asistencial para el manejo, pronóstico y correspondiente asesoramiento genético. Hepatic glycogen storage diseases (GSDs) are a group of disorders produced by a deficiency in a specific protein involved in the metabolism of glycogen causing different types of GSDs. Phenotypic heterogeneity of affected patients difficult to identify the different GSD variants and therefore the correct definition of the disease. In the “Centro de Estudio de las Metabolopatías Congénitas”, CEMECO, were defined the different GSD types by a protocol which included complex gradual levels of clinical, biochemical, enzymatic and morphological investigation. However, in some patients, like those one with defects in the hepatic phosphorylase system (GSD-VI and GSD-IX) the exact definition of the disease has not yet been resolved. The GSD-VI is produced by a defect in the PYGL gen that encode the liver phosphorylase, while the GSD-IX is caused by a genetic defect in one of the Phosphorylase b kinase subunits, encoded by the PHKA2, PHKB and PHKG2 genes, respectively. The aim of the present study is to define the phosphorylase system defects in argentinian patients through a molecular strategy that involve the investigation of PYGL, PHKA2, PHKB and PHKG2 genes. Patients included in the present study must be compatible with a GSD-VI or GSD-IX on the bases of clinical symptoms and biochemical findings. The phosphorylase b kinase activity will be assay on in blood red cells. The molecular study will include genomic DNA extraction for the amplification of PHKG2 and PYGL genes and the total RNA extraction for amplification of the PHKA2 and PHKB cDNA by PCR. All PCR-amplified fragments will be subjected to direct nucleotide sequencing. This work, first in Argentina, will make possible to establish the molecular basis of the defects on the hepatic phosphorylase system (GSD-VI and GSD IX). To achieve this level of research will entail advance in the study of the hepatic glycogen storage disease, with extraordinary significance in the treatment, prognosis and the genetic counselling.

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.

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.

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.

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.