El impacto de las normas y de la ideología sobre el procesamiento emocional, motivacional y cognitivo del comportamiento político de las elites de poder y la ciudadanía de Córdoba. Norms and ideologies impact on the emotional, motivational and cognitive processesing of power elite and citizen political behavior in Cordoba.

El presente estudio pretende arribar a la construcción de un modelo explicativo del comportamiento político a partir de la contribución que los marcos sociales (norma sociales, normas de ciudadanía, ideología, confianza política) y sociocognitivos (inteligencia afectiva, interés político, eficacia política, conocimiento político, sentimiento de comunidad) mostraron, en términos de relaciones entre las variables, sobre el mismo. Nuestra atención se centra no sólo al comportamiento político de la ciudadanía -que es donde se desarrollaron la mayor parte de los estudios-, sino a las elites de poder constitutivas del sistema político (jueces, legisladores provinciales y representantes de instituciones del gobierno y de organismos no gubernamentales). Asimismo, pretende establecer las diferencias que puedan evidenciarse en torno a la relación de estas variables con el comportamiento político entre los distintos colectivos estudiados en el ámbito de la ciudad de Córdoba. Para ello se realizara una primera etapa de estudio instrumental, con el objeto de analizar las propiedades psicométricas de los instrumentos a utilizar en la operacionalización de las variables. Para ello se tomara una muestra accidental de 250 personas entre 18 y 65 años de edad. Posteriormente, se realizarán dos etapas de estudio ex post facto, con la finalidad de construir los modelos planteados. En la primera de ellas, se trabajará con una muestra accidental de 100 representantes de los grupos de poder estudiados y en la segunda con una muestra probabilística de 500 ciudadanos cordobeses entre 18 y 65 años de edad.

Desarrollo de Algoritmos Numéricos para el Estudio de la Propagación no Lineal de Ondas en Aplicaciones Aeroespaciales y Astrofísicas. Develop to Numerical Algorithms to Study non-Linear Waves Propagation in Aerospace and Astrophysics Applications.

En este proyecto se desarrollarán algoritmos numéricos para sistemas no lineales hiperbólicos-parabólicos de ecuaciones diferenciales en derivadas parciales. Dichos sistemas tienen aplicación en propagación de ondas en ámbitos aeroespaciales y astrofísicos.Objetivos generales: 1)Desarrollo y mejora de algoritmos numéricos con la finalidad de incrementar la calidad en la simulación de propagación e interacción de ondas gasdinámicas y magnetogasdinámicas no lineales. 2)Desarrollo de códigos computacionales con la finalidad de simular flujos gasdinámicos de elevada entalpía incluyendo cambios químicos, efectos dispersivos y difusivos.3)Desarrollo de códigos computacionales con la finalidad de simular flujos magnetogasdinámicos ideales y reales.4)Aplicación de los nuevos algoritmos y códigos computacionales a la solución del flujo aerotermodinámico alrededor de cuerpos que ingresan en la atmósfera terrestre. 5)Aplicación de los nuevos algoritmos y códigos computacionales a la simulación del comportamiento dinámico no lineal de arcos magnéticos en la corona solar. 6)Desarrollo de nuevos modelos para describir el comportamiento no lineal de arcos magnéticos en la corona solar.Este proyecto presenta como objetivo principal la introducción de mejoras en algoritmos numéricos para simular la propagación e interacción de ondas no lineales en dos medios gaseosos: aquellos que no poseen carga eléctrica libre (flujos gasdinámicos) y aquellos que tienen carga eléctrica libre (flujos magnetogasdinámicos). Al mismo tiempo se desarrollarán códigos computacionales que implementen las mejoras de las técnicas numéricas.Los algoritmos numéricos se aplicarán con la finalidad de incrementar el conocimiento en tópicos de interés en la ingeniería aeroespacial como es el cálculo del flujo de calor y fuerzas aerotermodinámicas que soportan objetos que ingresan a la atmósfera terrestre y en temas de astrofísica como la propagación e interacción de ondas, tanto para la transferencia de energía como para la generación de inestabilidades en arcos magnéticos de la corona solar. Estos dos temas poseen en común las técnicas y algoritmos numéricos con los que serán tratados. Las ecuaciones gasdinámicas y magnetogasdinámicas ideales conforman sistemas hiperbólicos de ecuaciones diferenciales y pueden ser solucionados utilizando "Riemann solvers" junto con el método de volúmenes finitos (Toro 1999; Udrea 1999; LeVeque 1992 y 2005). La inclusión de efectos difusivos genera que los sistemas de ecuaciones resulten hiperbólicos-parabólicos. La contribución parabólica puede ser considerada como términos fuentes y tratada adicionalmente tanto en forma explícita como implícita (Udrea 1999; LeVeque 2005).Para analizar el flujo alrededor de cuerpos que ingresan en la atmósfera se utilizarán las ecuaciones de Navier-Stokes químicamente activas, mientras la temperatura no supere los 6000K. Para mayores temperaturas es necesario considerar efectos de ionización (Anderson, 1989). Tanto los efectos difusivos como los cambios químicos serán considerados como términos fuentes en las ecuaciones de Euler. Para tratar la propagación de ondas, transferencia de energía e inestabilidades en arcos magnéticos de la corona solar se utilizarán las ecuaciones de la magnetogasdinámica ideal y real. En este caso será también conveniente implementar términos fuente para el tratamiento de fenómenos de transporte como el flujo de calor y el de radiación. Los códigos utilizarán la técnica de volúmenes finitos, junto con esquemas "Total Variation Disminishing - TVD" sobre mallas estructuradas y no estructuradas.

Células dendríticas y su funcionamiento durante el envejecimiento. Efecto of aging on the function of dendritic cells.

La inmunosenescencia es definida como el estado de desregulación de la función inmune, que contribuye a la morbilidad y mortalidad debida a una mayor incidencia o reactivación de enfermedades infecciosas y de fenómenos autoinmunes y cáncer. Durante el envejecimiento hay un decaimiento de la función del sistema inmune. Aunque está bien documentada la declinación de la función de las células T en individuos envejecidos, es escasa la información disponible acerca de cómo el envejecimiento afecta a las células dendríticas (DCs) y en particular a su rol en la activación de linfocitos T CD4+ y CD8+. Nuestra hipótesis es que las células dendríticas juegan un rol importante en la desregulación de la función inmune observada durante el envejecimiento. Por ello, el Objetivo General de este proyecto es caracterizar el estado funcional de las células dendriticas en ratones envejecidos y su contribución a las alteraciones del sistema inmune durante el envejecimiento. Para ello, estudiaremos la composición y estado de activación de las DCs de los órganos linfáticos y tejidos periféricos de ratones envejecidos, y su capacidad para ser activadas in vitro e in vivo por diferentes ligandos de los receptores tipo Toll (TLR). Además, estudiaremos la capacidad in vitro, ex vivo e in vivo de las DCs de ratones envejecidas para capturar, procesar y presentar antígenos a linfocitos T CD4+ y CD8+ y finalmente la capacidad de las DCs de ratones envejecidos para montar una respuesta mediada por linfocitos T CD4+ y CD8+. Para ello, luego de transferir DCs de ratones envejecidos cargadas con antígeno a animales jóvenes vírgenes, evaluaremos la respuesta T CD4 y CD8 en los animales receptores frente a dicho antígeno. Basado en nuestra trayectoria en la inmunogerontología experimental, creemos que con este proyecto podremos obtener información que permitirá abordar el estudio del efecto del envejecimiento sobre el sistema inmune desde una nueva perspectiva, para en un futuro poder extender el mismo estudio en seres humanos y así desarrollar modelos más eficientes de inmunoterapia en individuos envejecidos.

Desarrollos innovadores, estrategias de aprendizaje e interacciones de comunicación llevadas a cabo con Tecnologías de la Información y la Comunicación en el área de Ciencias Experimentales. Innovative developments, learning strategies and communication interactions carried out with CIT in experimental science.

Las Tecnologías de la Información y la Comunicación (TIC) han alcanzando una fuerte expansión en la última década y se convierten en una estrategia clave para la educación científica y tecnológica. Actualmente se realizan significativas inversiones en computadoras e insumos acordes a esta tecnología lo que no garantiza que éstas mejores disponibilidades sean necesariamente conducentes a propuestas educativas aceptables, ya que la incorporación de las TIC en la educación científica no puede consistir en un mero cambio de soporte sin que esto se acompañe de una renovación constructivista del aprendizaje. También se observa un escaso desarrollo y aplicación de las TIC tanto en la formación de grado de las carreras científicas, como en la formación permanente de los docentes. A partir de lo expuesto, nos planteamos los siguientes problemas: ¿cómo generar cursos de formación docente con alternativas virtuales que garanticen la construcción, actualización y transferencia de conocimientos en las disciplinas científicas? ¿qué diseño de materiales se requiere para potenciar aprendizajes flexibles de calidad?, ¿qué dimensiones, variables e indicadores dan cuenta de procesos de comunicación en estos entornos?, ¿Cuáles son las principales estrategias que promueven los desarrollos tecnológicos? ¿De qué manera se lleva a cabo el seguimiento y evaluación de los desarrollos tecnológicos? Para dar respuesta a estos interrogantes nos planteamos este proyecto que tiene por objetivos: diseñar, desarrollar, implementar y evaluar materiales basados en un modelo constructivista que utiliza como soporte las TIC el marco de la "Enseñanza para la Comprensión". Analizar las relaciones que se establecen en el intercambio comunicativo a través de las TIC, ya sea de manera síncrona o asíncrona e identificar las estrategias de aprendizaje utilizadas por los estudiantes cuando trabajan con entornos virtuales. Se profundizará en los siguientes temas: "La materia y sus cambios", "Biotecnología" y "Dilemas investigativos a los que se enfrentan los científicos". Los dos primeros módulos estarán destinados a la formación de futuros docentes en Ciencias y a la formación permanente de docentes en ejercicio. Los usuarios del tercer módulo serán los estudiantes del ciclo de nivelacion. Se propone desarrollar instrumentos de evaluación, adaptando indicadores que sirvan para evaluar el modelo, el diseño de los materiales, el medio tecnológico, la eficiencia de estos programas con TIC. Se van a definir variables que permitan identificar las estrategias de aprendizaje utilizadas por los usuarios de estos desarrollos tecnológicos y las relaciones que se establecen en el intercambio comunicativo de los entornos virtuales, haciendo hincapié en la lecto-escritura científica. Se utilizará la plataforma Moodle que permite la administración de los estudiantes, las interacciones sociales necesarias para integrar una comunidad de aprendizaje a través de los foros y correo electrónico y la evaluación continua de los aprendizajes. El desarrollo de los contenidos específicos y las actividades de aprendizaje se hará en CD interactivos elaborados con diferentes programas de computación. En el desarrollo de los materiales se incluyen algunas simulaciones interactivas que permiten comprender conceptos que habitualmente requerían experimentación fáctica. El estudio se enmarca en la combinación de dos enfoques metodológicos que integran técnicas y procedimientos de análisis tanto cuantitativos como cualitativos. Consideramos que esta investigación es una contribución teórica importante ya que propone mejorar un modelo para la enseñanza de las Ciencias Naturales introduciendo las TIC. Se espera realizar un aporte novedoso al campo de la Didáctica de las Ciencias con la obtención de los resultados y acciones tendientes a establecer una red de comunicaciones entre los docentes participantes y los investigadores involucrados en el programa, instalada en forma progresiva.

¿Murosafuera? locura y desmanicomialización desde el enfoque de derechos humanos. contextualización y análisis de la ley provincial nº 9848 de “protección de la salud mental” promulgada en córdoba el 5 de noviembre de 2010.

El proyecto de investigación se propone el análisis de la Ley 9848 de “Protección de Salud Mental” promulgada en la Provincia de Córdoba a fines del 2010. En ese sentido, se aborda el enfoque de derechos humanos y su contribución al nuevo paradigma de salud mental presente en esa Ley; así como también el movimiento de desmanicomialización, en cuanto anclaje teórico de la misma. Todo lo anterior con el objetivo central de revisar la currícula de la formación de grado de la carrera de psicología en la Facultad de Filosofía y Humanidades de la Universidad Católica de Córdoba, a fin de proponer las transformaciones pertinentes y la posibilidad de una presencia transversal y como contenido específico de esta Ley en ese plan de carrera; toda vez que la hipótesis de trabajo formulada anticipa su ausencia y postula que sólo mediante esta imbricación entre la nueva Ley y la currícula de los alumnos, se logrará formar profesionales capaces de comprender y actuar en base a las profundas implicancias de esta normativa en la práctica profesional de la salud pública. Para propender al cumplimiento de ese propósito, el proyecto examina las concepciones teóricas sobre los procesos de salud-enfermedad; la evolución histórica de la política social sobre salud mental en Argentina; las experiencias nacionales e internacionales de desmanicomialización, y sistematiza los aportes teóricos de Michel Foucault sobre la locura, que sirven de sustento teórico al movimiento social de desmanicomialización.

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.

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.

Política urbana metropolitana: los servicios públicos en la ciudad de Córdoba y el bienestar de la ciudadanía, como sustento del desarrollo local.

La región latinoamericana debe propiciar la introducción de políticas urbanas que apunten al desarrollo local en beneficio de todos sus ciudadanos. El crecimiento económico y poblacional no redunda necesariamente en un desarrollo equitativo, por lo que toda política urbana y de desarrollo local debe tener como fin la mejora de la calidad de vida de sus habitantes, en especial los más desfavorecidos. La planificación urbana debe ser vista como un capítulo de la planificación regional, en tanto la ciudad es una microrregión y su entidad es inseparable de su ámbito territorial inmediato de interacción cotidiana (Coraggio, 1999). La articulación de redes de ciudades y regiones contribuye de manera indispensable en este sentido. La planificación estratégica se convierte en una actividad significativa; mediante la vinculación de diversos actores (ciudadanía, movimientos sociales, estado, empresas, ONGs, etc.), conjuntamente con el desarrollo de políticas democráticas de estado y objetivos institucionalizados se puede iniciar el camino de construcción de escenarios donde el ser humano sea el centro de todo desarrollo local sustentable. La ciudad de Córdoba como unidad de análisis presenta características particulares. Lejos de pensarse a partir de un desarrollo como el mencionado en los párrafos precedentes, la ciudad ha sufrido un crecimiento poblacional importante, generándose desarrollos urbanísticos aislados que no han sido necesariamente acompañados con un desarrollo armónico en los demás aspectos y servicios. Este hecho afecta la calidad de vida de los ciudadanos, por lo que resulta indispensable contar entre otros aspectos, con instrumentos de medición confiables que permitan determinar los niveles de satisfacción de los ciudadanos sobre la provisión de los servicios públicos. El presente trabajo de investigación pretende indagar sobre las características, cobertura, condiciones y alcance de los servicios públicos prestados en la ciudad de Córdoba y establecer el grado de satisfacción y percepción de la calidad de los mismos por parte de los ciudadanos. Esta información se transformará en un instrumento de análisis y diagnóstico para evaluar la gestión de los servicios públicos en la ciudad y su contribución al desarrollo socio económico. Como resultado de la investigación se espera detectar las principales variables que intervienen impactando en la percepción del ciudadano sobre la eficacia y efectividad de los servicios públicos, permitiendo el diseño de indicadores para el monitoreo continuo y evaluación de los resultados logrados por la gestión en la prestación de los mismos. Se espera que la propuesta se transforme en un instrumento de utilidad que permita a los actores involucrados, generar respuestas correctivas a los desvíos detectados y el desarrollo de acciones proactivas vinculadas a la planificación estratégica, propendiendo a la creación de políticas urbanas metropolitanas que se orienten al desarrollo local sustentable.

Interacciones inmuno-endócrinas: participación de tlr-4 y citoquinas pro-inflamatorias en la regulación de la proliferación de células lactotropas. Immuno-endocrine interactions: Contribution of tlr-4 and pro-inflammatory cytokines in the regulation of lactotroph cell proliferation.

El presente proyecto tiene como objetivo estudiar, a nivel celular y molecular, los mecanismos inmuno-endócrinos que participan en la proliferación de células lactotropas normales y tumorales frente a procesos inflamatorios inducidos experimentalmente. Una particular atención se pondrá al evaluar la contribución de IL-6 como citoquina intrahipofisaria durante el desarrollo tumoral y su rol como señal paracrina/autocrina en la senescencia hipofisaria. Debido a que agentes inflamatorios y anti-inflamatorios pueden inducir alteraciones en el crecimiento y la función hipofisaria, no se descartaría que, en el curso de una inflamación, como la inducida por el lipopolisacárido bacteriano LPS, puedan ocurrir modificaciones en el índice proliferativo de las células lactotropas y/o en la secreción de su producto hormonal, la prolactina. Dado el auge en las investigaciones referidas al campo de la modulación inmuno-endócrina, es que planteamos investigar la participación de TLR4, componente crucial del complejo proteico que inicia la señal LPS, en hipófisis normales y tumorales inducidas por estrógeno así como también en la línea celular somatolactotrópica GH3B6. Dentro de las vías de transducción de señales involucradas se determinará la participación de MAPK-ERK1/2 y de PI3K asi como la contribución de NF-kB en la regulación del crecimiento celular inducido por IL-6/LPS mediante el uso de inhibidores específicos. La microscopía electrónica y confocal, resultarán de fundamental importancia para valorar los procesos de translocación nuclear de NF-kB como así también para definir la localización ultraestructural de los mediadores mencionados. Además, se valorará el mecanismo de senescencia celular hipofisaria mediante parámetros morfológicos, bioquímicos y ultraestructurales durante el desarrollo de prolactinomas inducidos experimentalmente. Finalmente dilucidar las posibles vías de transducción de señales que se desencadenan frente a estímulos inflamatorios/proliferativos podría explicar algunos aspectos moleculares sobre la función de control del ciclo celular y las limitaciones de crecimiento en adenomas hipofisarios que subyacen en la falta de progresión de estos tumores a la malignidad. The aim of the present project is to study the immuno-endocrine mechanisms involved in the proliferation of normal and tumoral lactotrophs experimentally induced by inflammatory factors. Also, the contribution of IL-6 as a paracrine / autocrine signal in the pituitary senescence will be assessed along tumor development induced by estrogen treatment. Considering that both, inflammatory and anti-inflammatory agents can modify the pituitary function, it is possible that in the course of inflammation, as induced by bacterial lipopolysaccharide LPS, some alteration may occur in the proliferative index of lactotrophs and / or in the PRL secretion. Our main objective is to investigate the cellular and molecular mechanisms involved by the activation of TLR4, a crucial component of the protein complex initiated by LPS, in normal and pathological pituitaries induced by estrogen as well as in the GH3B6 cell line. The participation of MAPK-ERK1 / 2 and PI3K signaling pathway and the contribution of NF-kB in the proliferative responses triggered by IL-6/LPS will be analyzed by using specific inhibitors. Confocal microscopy analysis is essential to assess the process of nuclear translocation of NF-kB as well as the use of electron microscopy to define the ultrastructural localization of the above mentioned mediators. In addition, the mechanisms of pituitary cell senescence will be evaluated through morphological, biochemical and ultrastructural approaches during the development of experimental prolactinomas. Finally, the elucidation of possible signal transduction pathways which are triggered by inflammatory / proliferative stimuli, would explain some molecular aspects of cell cycle control and limitations in pituitary tumor growth that underlie the lack of progress in these pituitary tumors to malignancy.

Verificación de Sistemas Basada en Teoría de Tipos. System verification in type theory

Este proyecto se enmarca en la utlización de métodos formales (más precisamente, en la utilización de teoría de tipos) para garantizar la ausencia de errores en programas. Por un lado se plantea el diseño de nuevos algoritmos de chequeo de tipos. Para ello, se proponen nuevos algoritmos basados en la idea de normalización por evaluación que sean extensibles a otros sistemas de tipos. En el futuro próximo extenderemos resultados que hemos conseguido recientemente [16,17] para obtener: una simplificación de los trabajos realizados para sistemas sin regla eta (acá se estudiarán dos sistemas: a la Martin Löf y a la PTS), la formulación de estos chequeadores para sistemas con variables, generalizar la noción de categoría con familia utilizada para dar semántica a teoría de tipos, obtener una formulación categórica de la noción de normalización por evaluación y finalmente, aplicar estos algoritmos a sistemas con reescrituras. Para los primeros resultados esperados mencionados, nos proponemos como método adaptar las pruebas de [16,17] a los nuevos sistemas. La importancia radica en que permitirán tornar más automatizables (y por ello, más fácilmente utilizables) los asistentes de demostración basados en teoría de tipos. Por otro lado, se utilizará la teoría de tipos para certificar compiladores, intentando llevar adelante la propuesta nunca explorada de [22] de utilizar un enfoque abstracto basado en categorías funtoriales. El método consistirá en certificar el lenguaje "Peal" [29] y luego agregar sucesivamente funcionalidad hasta obtener Forsythe [23]. En este período esperamos poder agregar varias extensiones. La importancia de este proyecto radica en que sólo un compilador certificado garantiza que un programa fuente correcto se compile a un programa objeto correcto. Es por ello, crucial para todo proceso de verificación que se base en verificar código fuente. Finalmente, se abordará la formalización de sistemas con session types. Los mismos han demostrado tener fallas en sus formulaciones [30], por lo que parece conveniente su formalización. Durante la marcha de este proyecto, esperamos tener alguna formalización que dé lugar a un algoritmo de chequeo de tipos y a demostrar las propiedades usuales de los sistemas. La contribución es arrojar un poco de luz sobre estas formulaciones cuyos errores revelan que el tema no ha adquirido aún suficiente madurez o comprensión por parte de la comunidad. This project is about using type theory to garantee program correctness. It follows three different directions: 1) Finding new type-checking algorithms based on normalization by evaluation. First, we would show that recent results like [16,17] extend to other type systems like: Martin-Löf´s type theory without eta rule, PTSs, type systems with variables (in addition to systems in [16,17] which are a la de Bruijn), systems with rewrite rules. This will be done by adjusting the proofs in [16,17] so that they apply to such systems as well. We will also try to obtain a more general definition of categories with families and normalization by evaluation, formulated in categorical terms. We expect this may turn proof-assistants more automatic and useful. 2) Exploring the proposal in [22] to compiler construction for Algol-like languages using functorial categories. According to [22] such approach is suitable for verifying compiler correctness, claim which was never explored. First, the language Peal [29] will be certified in type theory and we will gradually add funtionality to it until a correct compiler for the language Forsythe [23] is obtained. 3) Formilizing systems for session types. Several proposals have shown to be faulty [30]. This means that a formalization of it may contribute to the general understanding of session types.

Participación de las células supresoras mieloides (CSM) y T regulatorias (Treg) en el control de la infección con Trypanosoma cruzi y el desarrollo de la patología inflamatoria asociada a la infeccion. Role of Myeloid-Derived Suppressor Cells and regulatory T cells in the control of T. cruzi infection and the infection-associated pathology.

La infección de mamíferos con el T. cruzi resulta en diferentes alteraciones inmunológicas que permiten la persistencia crónica del parásito y destrucción inflamatoria progresiva del tejido cardiaco, nervioso y hepático. Los mecanismos responsables de la patología de la enfermedad de Chagas han sido materia de intensa investigación habiéndose propuesto que el daño producido en esta enfermedad puede ser consecuencia de la respuesta inflamatoria del individuo infectado y/o de una acción directa del parásito sobre los tejidos del hospedador. El propósito del presente proyecto es estudiar comparativamente, en dos cepas de ratones con diferente susceptibilidad a la infección y desarrollo de patología, la participación y los mecanismos efectores de las células supresoras mieloides (CSM) y las celulas T regulatorias inducidas por la infección experimental con Trypanosoma cruzi en el control de la infección con este protozoario y en el desarrollo de la patología hepática siendo los objetivos especificos desarrolar: - Investigar la generación y/o reclutamiento de células de CSM en bazo e hígado de ratones infectados con Trypanosoma cruzi y su contribución a la desigual susceptibilidad a la infección y respuesta inmune desarrollada en las cepas de ratones BALB/c y C57BL/6; - Investigar la capacidad de las CSM inducidas por la infección con T. cruzi en bazo e hígado de ratones de ambas cepas para suprimir la respuesta de células T in vitro e indagar sobre los mecanismos de supresión utilizados; - Investigar la generación y/o reclutamiento de células Treg durante la infección experimental con Trypanosoma cruzi, su participación en la desigual susceptibilidad a la infección y respuesta inmune desarrollada en ambas cepas de ratones y los mecanismos de supresión utilizados. - Analizar en tejido hepático o leucocitos infiltrantes la presencia de COX2, PGE2, MMP2 y 9, IL1b, IL6, IDO, IL10 y GM-CSF capaces de inducir la expansión de las CSM; - Dilucidar si la administración del ligando para TLR2 (Pam3CyS) previo a la infección de ratones C57BL/6 (en los cuales se detecta un menor número de CSM) es capaz de modular la respuesta inflamatoria y el daño hepático a través de la inducción de CSM y/o T reg en hígado y bazo. La comprension de los eventos celulares y moleculares que regulan la producción de citoquinas pro- y anti-inflamatorias y otros mediadores, así como el papel de los receptores de la inmunidad innata durante la infección con T. cruzi contribuirá a responder interrogantes que son claves para el diseño de nuevas estrategias de intervención inmune tendientes a preservar los mecanismos de defensa del huésped. Two nonexclusive mechanisms have been proposed to explain the Chagas’s disease pathology: 1) The pathology of the disease seems to be consequence of the inflammatory response triggered for the parasite; or 2) The damage is produced by the parasite direct effect. Recently, we reported that TLR2, TLR4 and TLR9 (innate immune response receptors) are differentially modulated in injured livers from BALB/c (lesser liver pathology) and C57BL/6 (elevated liver pathology) mice during Trypanosoma cruzi infection. The aim of our proposal is the study of role of Myeloid-Derived Suppressor Cells (MDSC) and regulatory T cells in the control of T. cruzi infection and the infection-associated pathology. Our specific aims are: -To study the induction or recruitment of MDSC in splenn and liver of BALB/c and C57BL/6 mice and their relationship with the differential susceptibility and immune response observed in these both mice strains; - To determine the ability and the mechanisms used by the T. cruzi-induced MDSC to suppress the T cell proliferative response; -To study the induction or recruitment of Treg in liver of BALB/c and C57BL/6 mice and their relationship with the differential susceptibility and immune response observed in these both mice strains; -To analize in liver tissue or tissue infiltrating lymphocytes the activation of COX2, PGE2, MMP2 y 9, IL1b, IL6, IDO, IL10 y GM-CSF known to promote the development of MDSC; -To determine whether the treatment with Pam3CyS (TLR2 ligand) is able to modulate the liver inflammatory respose and damage througth the induction of MDSC or Treg.

Responsabilidad social y vínculos de los actores económicos y sociales y el consumidor en las cadenas de valor en pos del desarrollo sustentable.

La hipótesis central o principal del proyecto de investigación es que las iniciativas y proyectos de RSE están en estado embrionario en la Argentina y en Córdoba en particular, pues están focalizadas en las dimensiones ambiental y social principalmente. Los consumidores perciben de diversos modos estas acciones de RSC, pero no las incorporan aún sus procesos de elección de compra y de consumo. Es esperable que dicho escenario cambie en función de la mayor conciencia de los consumidores y de la acciones de los diferentes actores sociales. El objetivo general es estudiar desde la disciplina de la administración y del marketing sustentable, la interrelación entre la empresa y sus políticas responsables (RSC) y el consumidor y su valoración del consumo (CR) de modo de establecer el GAP en términos de oportunidades y amenazas tendientes a la construcción de un escenario de consumo y producción acorde a un modelo de desarrollo sustentable que asegure el porvenir de las generaciones presentes y futuras, en el cual también intervienen otros actores como las OSC y el Estado. Los obispos latinoamericanos destacan que las desigualdades marcan tristemente nuestro continente y que mantienen en la pobreza a una multitud de personas. La pobreza hoy es pobreza de conocimiento y del uso y acceso a nuevas tecnologías. Por eso, es necesario que los empresarios asuman su responsabilidad de invertir en la superación de esta nueva pobreza. Esto nos debería llevar a contemplar los rostros de quienes sufren.En nuestro continente, las empresas pymes juegan un rol fundamental en la generación de empleo. Son mayormente empresas familiares de estilo de conducción paternalistas, que desarrollan algunas iniciativas hacia el público interno como la inversión en formación, en salud y bienestar de los empleados. Sus acciones de RSC externas emprendidas son de tipo reactivo, no han superado la etapa filantrópica. En este sentido, es fundamental poder: a) redefinir el rol del marketing sustentable en este proceso relacional entre empresa y consumidor, b) analizar la conducta del ciudadano como consumidor responsable, c) proponer las políticas públicas se deberían poner en marcha en pos de contribuir al campo del desarrollo sustentable, d) indagar la contribución de las Organizaciones de la Sociedad Civil (OSC) y e) construir la agenda de prioridades de las empresas.

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.

Tecnologías asistivas para el desempeño independiente de los niños con discapacidad motora en escuelas de educación especial.

Ante la necesidad de la comunidad de la Escuela de Educación Especial Martinez Allio orientada a la educación especial de niños con discapacidad psicomotora, ubicada en la Ciudad de Córdoba, el presente proyecto aborda el análisis, diseño, y ejecución de prototipos de elementos de soporte técnico para niños con discapacidad psicomotora, que permitan desempeñarse con independencia en la vida cotidiana y dentro del ámbito de la Escuela. Esto posibilitaría facilitar la independencia motora de los niños dentro del ámbito de la Escuela, y mejorar las metodológicas de docentes dedicados a la Educación Especial, además de institucionalizar experiencias que permitan promover, desde la propia formación académica, acciones interdisciplinarias e interinstitucionales que favorezcan la modificación progresiva de la comunidad, y la orientación de los alumnos para facilitar la formación del perfil profesional esperado. CONTRIBUCIÓN DEL PROYECTO A LA ACCESIBILIDAD: El abordaje de esta problemática dentro del contexto señalado anteriormente busca: -Mejorar la calidad de vida de los niños con discapacidad psicomotriz -Facilitar el trabajo de los docentes al momento de mejorar las condiciones motoras -Desarrollar propuestas concretas de tecnología asistiva para facilitar la independencia motriz de los niños y personas con discapacidad psicomotriz.