Cuestión social, políticas sociales y construcción del Estado Social en la Argentina. Miradas desde el interior nacional: Córdoba, 1914-1943

Esta propuesta pretende analizar históricamente el proceso de paulatina construcción del Estado y la ciudadanía sociales en Córdoba en las primeras décadas del S. XX, atendiendo a las continuidades, los cambios y las transformaciones en la cuestión social y en las respuestas del Estado y la sociedad civil frente a ella. La cuestión social suponía el socavamiento de la cohesión social y una amenaza de fractura de la sociedad, instalada en el centro del sistema productivo. En este contexto emergieron las primeras tentativas de previsión social y los primeros avances del Estado sobre el mercado; tras la búsqueda de mayores márgenes de igualdad e inclusión, a lo largo de décadas la sociedad transitará el arduo sendero que la conducirá desde los derechos civiles a los derechos políticos y de éstos a los derechos sociales. En este marco, el proyecto propone indagar los espacios cotidianos de la exclusión y el modelo de asistencia antes de la constitución del Estado social, cómo los sectores dirigentes concibieron y manejaron la exclusión social, cómo articularon una estrategia que atendiera a las demandas más críticas y, a la vez, asegurara el progreso material, el control político y el proyecto civilizador desplegado desde el Estado. Se aspira a avanzar en la comprensión de la interacción entre las elites dirigentes, sus ideas e instituciones y la gente común y sus experiencias, a la vez que propiciar una historia más humanizada de las transformaciones que marcaron la historia de Córdoba en las primeras décadas del S. XX.

Regulación transcripcional y relación entre estructura y función de proteínas relacionadas con el metabolismo de colina en Pseudomonas aeruginosa. Transcriptional regulation and relationship between structure and function of proteins related with the choline metabolism in Pseudomonas aeruginosa.

El objetivo general de este proyecto es dilucidar los mecanismos de acción a nivel molecular de enzimas y proteínas involucradas en el metabolismo de colina en Pseudomonas aeruginosa, con énfasis en la identificación de residuos aminoacídicos críticos y regulación de la expresión de los genes en estudio. Los objetivos específicos que se palntean involucran abordajes bioquímicos y moleculares y serán llevados a cabo mediante técnicas de biología molecular y bioquímica (mutación sitio-dirigida, deleción génica, expresión y purificación de proteínas, fusión transcripcional a genes reporteros, etc). Planteo de hipótesis: las proteínas que se inducen por colina (fosforilcolina fosfatasa (PchP), fosfolipasa C (PlcH), acetilcolinestera (AchE), proteínas periplásmicas unidoras de colina (PUch) podrían compartir: a) una organización génica y responder a la regulación por proteínas regulatorias o a factores ambientales de manera similar; b) residuos aminoacídicos conservados que intervengan en la unión o interacción con diferentes ligandos, principalmente, colina. Para ello, se plantean los siguientes Objetivos Específicos: 1) identificar las zonas promotoras de los genes que codifican para PchP, PlcH, AchE y PUch, a fin de localizar posibles sitios de unión a proteínas reguladoras y los factores ambientales que afectan la actividad promotora. 2) determinar en las proteínas mencionadas los residuos aminoacídicos de importancia involucrados en la catálisis y en la interacción con ligandos, principalmente en la unión a compuestos de alquilamonio; 3) Se iniciarán estudios que demuestren la relación entre la inducción por colina de varios factores de patogenicidad la virulencia del microorganismo, empleando mutantes simples o múltiples en estos factores y como modelo de patogenicidad el nematodo C. elegans. A partir de los resultados obtenidos se pretende tener un conocimiento profundo sobre la regulación molecular y bioquímica de varias enzimas comprometidas en la patología que produce P. aeruginosa. Esto más el conocimiento de la fisiología de este microorganismo abre el camino para la búsqueda de posibles blancos de acción de drogas. Por otro lado, se espera tener un conocimiento integral sobre la regulación de la expresión de las actividades enzimáticas relacionadas con el metabolismo de colina y la respuesta de P. aeruginosa ante la presencia de compuestos de alquilamonio utilizados como nutrientes. Se espera conocer el papel que desempeña cada uno de los sitios de unión a los diferentes ligandos para el funcionamiento y control de las enzimas mencionadas y explicar el comportamiento diferencial de las enzimas frente a distintos sustratos y otros ligandos. El conocimiento de los sitios de unión a compuestos de alquilamonio permitirá encontrar esos dominios en diferentes proteínas del género Pseudomonas y otras bacterias Gram negativas. Desde el punto de vista evolutivo, se podrá comparar la similitud de los sitios de unión a colina entre proteínas de organismos eucariotas con procariotas (ej. PUch de bacterias Gram positivas, transportadores de colina, proteína C reactiva, AchE de eucariotas contra las encontradas en bacterias del género Pseudomonas, fosfolipasas A, C o D, etc.). Este proyecto permitirá concretar al menos dos tesis doctorales (Sanchez, Otero) más varios trabajos finales de grado (tesinas) que son y serán realizados por alumnos de la carrera de Microbiología en la UNRC. Les permitirá a los doctorandos y a los alumnos de grado adquirir una formación bastante integral ya que utilizarán herramientas de la fisiología general bacteriana, de la bioquímica clásica, de la biología molecular y de la bioinformática.

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.

Descubriendo relaciones sociales que visibilizan al adulto mayor

En los años setenta comienzan a gestarse nuevas perspectivas sobre la vejez. El protagonismo del adulto mayor (en adelante AM), desafía a modificar la visión asistencialista y compensatoria de las instituciones sociales y políticas, por otra que reconozca la autonomía y la capacidad del AM, para participar creativamente en situaciones relacionadas al bienestar en la vida cotidiana. Estudios anteriores exploraron el perfil y las vivencias de los AM de la ciudad de Villa María y evidenciaron construcciones sociales donde participan, activa y creativamente. Actualmente se están indagando las representaciones sobre vejez de los profesionales que trabajan con AM donde se descubre la existencia de prácticas interinstitucionales orientadas al cuidado, educación y recreación. No obstante esto, se percibe la necesidad de potenciar relaciones en las situaciones cotidianas partiendo del supuesto que las redes se constituyen en estrategias para articular acciones y visiones sobre una vejez creativa. Objetivos: - Caracterizar las redes que se establecen a partir de las relaciones sociales en torno a la adultez mayor. - Describir los vínculos que emergen de dichas relaciones sociales. - Identificar las interconexiones entre los actores y espacios sociales. - Descubrir las visiones sobre vejez que sostienen las relaciones sociales. El diseño metodológico propone un estudio descriptivo, utilizando técnicas cuantitativas y cualitativas para la recolección y análisis de los datos. El inicio del trabajo de campo consistirá en una aproximación a instituciones que abordan la salud, la educación y la recreación del AM en la ciudad de Villa María. Se realizarán entrevistas y cuestionarios a los representantes de dichas instituciones y a los profesionales que trabajan con el AM. El tratamiento estadístico de los datos cuantitativos se realizará mediante análisis descriptivo de las variables de estudio. El análisis de contenido de las transcripciones de los relatos de las entrevistas en profundidad se realizará de acuerdo con el enfoque de Taylor-Bogdan. Se espera describir cuantitativa y cualitativamente las redes que se establecen en la ciudad de Villa María en torno a los AM, para identificar estrategias que promuevan relaciones democráticas y participativas hacia una vejez activa, con el propósito de fortalecerlas y favorecer la autonomía y el bienestar del AM. Igualmente se espera analizar las potencialidades y limitaciones de las relaciones que se descubren, respecto a la construcción de escenarios sociales para el protagonismo creativo del AM. Este estudio rescata el desafío de considerar la complejidad de la cotidianidad de la vida del AM a partir de descubrir el entramado de relaciones que se construyen en torno a su salud, educación y recreación.