Métodos para el análisis de programas probabilistas y no-deterministas utilizando probadores de teoremas. Methods for the analysis of probabilistic and nondeterministic programs using theorem provers.

La verificación y el análisis de programas con características probabilistas es una tarea necesaria del quehacer científico y tecnológico actual. El éxito y su posterior masificación de las implementaciones de protocolos de comunicación a nivel hardware y soluciones probabilistas a problemas distribuidos hacen más que interesante el uso de agentes estocásticos como elementos de programación. En muchos de estos casos el uso de agentes aleatorios produce soluciones mejores y más eficientes; en otros proveen soluciones donde es imposible encontrarlas por métodos tradicionales. Estos algoritmos se encuentran generalmente embebidos en múltiples mecanismos de hardware, por lo que un error en los mismos puede llegar a producir una multiplicación no deseada de sus efectos nocivos.Actualmente el mayor esfuerzo en el análisis de programas probabilísticos se lleva a cabo en el estudio y desarrollo de herramientas denominadas chequeadores de modelos probabilísticos. Las mismas, dado un modelo finito del sistema estocástico, obtienen de forma automática varias medidas de performance del mismo. Aunque esto puede ser bastante útil a la hora de verificar programas, para sistemas de uso general se hace necesario poder chequear especificaciones más completas que hacen a la corrección del algoritmo. Incluso sería interesante poder obtener automáticamente las propiedades del sistema, en forma de invariantes y contraejemplos.En este proyecto se pretende abordar el problema de análisis estático de programas probabilísticos mediante el uso de herramientas deductivas como probadores de teoremas y SMT solvers. Las mismas han mostrado su madurez y eficacia en atacar problemas de la programación tradicional. Con el fin de no perder automaticidad en los métodos, trabajaremos dentro del marco de "Interpretación Abstracta" el cual nos brinda un delineamiento para nuestro desarrollo teórico. Al mismo tiempo pondremos en práctica estos fundamentos mediante implementaciones concretas que utilicen aquellas herramientas.

Fisiología de la Transferencia Pasiva de Inmunidad en Equinos. Physiology of the Transfer of Passive Immunity in Equine.

El reconocimiento temprano de anormalidades en la transferencia pasiva de inmunidad en equinos es importante para un manejo satisfactorio de los potrillos. La placenta de la yegua, epiteliocorial, no permite el pasaje de inmunoglobulinas.(Igs). La ingesta de calostro es vital ya que provee las Igs necesarias para alcanzar una concentración sérica de IgG mayor a 800 mg por ciento. Se considerara falla parcial con niveles de IgG entre 400 y 800 mgpor ciento; y total con niveles menores a 400 mg por ciento. La absorción de las Igs es máxima hasta 8 hs después del nacimiento y disminuye hasta hacerse nula a las 24 hs posparto. Los objetivos son: a) estudiar la cinética de la transferencia pasiva de Igs determinando la concentración de IgG sérica en potrillos en el primer trimestre de vida. b) relacionar la concentración de IgG del suero y calostro de la yegua con la concentración sérica de IgG en el potrillo. c) Relacionar en calostro la concentración de inmunoglobulina G con la densidad específica y la determinación semicuantitativa de inmunoglobulina G. d) Relacionar en el suero del potrillo a las 18 - 24 hs posparto la concentración de inmunoglobulina G con la densidad específica y la determinación semicuantitativa de inmunoglobulina G. Material y método: Diseño de estudio: de cohorte, observacional, descriptivo. Animales: 70 yeguas y 70 potrillos de raza Puro Polo. Calostros: 70 muestras Toma de muestras: Yeguas: se tomará una muestra de sangre en el periparto y una muestra de calostro posparto, antes del calostrado del potrillo. Potrillos: se tomarán muestras de sangre seriadas: al nacimiento (precalostrado), 6 hs posparto, 12 hs, 18 hs y 24 hs posparto y a los 21, 60 y 90 días posparto. Determinación de IgG (Suero y calostro): a) Técnica de inmunodifusión radial simple, los resultados se expresará en mg por ciento, en muestras seriadas en intervalos de tiempo preestablecidos. b)Refractometría (con refractómetro Modelo RHC-200/ATC- Arcano). c) Test de gluteralehído, Inmuno -G test. Análisis estadístico: Comparaciones de medias con prueba t apareada o de diferencia de medias, Se considera p significativa < 0,05. Se realizará un análisis de componentes principales. Se correlacionará la concentración de Ig G de suero y calostro de la yegua con la concentración en suero de potrillo. Con los resultados de este trabajo se determinarán los valores de inmunoglobulina en las yeguas y potrillos y su comportamiento en el tiempo, y se validará la sensibilidad y especificidad de las técnicas diagnósticas utilizadas. Los resultados permitirán obtener conocimientos para un manejo racional, desde la perspectiva inmunológica, de los potrillos, al establecer mediante técnicas cuantitativas y semicuantitativas los niveles de Igs séricos alcanzados, favoreciendo un diagnóstico precoz de inmunodeficiencia por fracaso de la transferencia de anticuerpos que pondría en riesgo la vida del potrillo.

Análisis comparativo entre actividades de aprendizaje diseñadas con Estudio de Casos y Aprendizaje Basado en Problemas, y actividades de tipo tradicional, como dispositivos didácticos en Educación a Distancia. Comparative analysis of learning activities designed with Problem Based Learning and Case Study approaches, and activities designed with traditional methods, in Distance Education.

Identificación y caracterización del problema: El problema que guía este proyecto, pretende dar respuesta a interrogantes tales como: ¿De qué modo el tipo de actividades que se diseñan, se constituyen en dispositivos posibilitadores de la comprensión de los temas propios de cada asignatura, por parte de los alumnos? A partir de esta pregunta, surge la siguiente: Al momento de resolver las actividades, ¿qué estrategias cognitivas ponen en juego los estudiantes? y ¿cuáles de ellas favorecen procesos de construcción del conocimiento? Hipótesis: - Las asignaturas cuyas actividades están elaboradas bajo la metodología de Aprendizaje Basado en Problemas y Estudio de Casos, propician aprendizajes significativos por parte de los estudiantes. - Las actividades elaboradas bajo la metodología del Aprendizaje Basado en Problemas y el Estudio de Casos requieren de procesos cognitivos más complejos que los que se implementan en las de tipo tradicional. Objetivo: - Identificar el impacto que tienen las actividades de aprendizaje de tipo tradicional y las elaboradas bajo la metodología de Aprendizaje Basado en Problemas y Estudio de Casos, en el aprendizaje de los alumnos. Materiales y Métodos: a) Análisis de las actividades de aprendizaje del primero y segundo año de la carrera de Abogacía, bajo lamodalidad a Distancia. b) Entrevistas tanto a docentes contenidistas como así también a los tutores. c) Encuestas y entrevistas a los alumnos. Resultados esperados: Se pretende confirmar que las actividades de aprendizaje, diseñadas bajo la metodología del Aprendizaje Basado en Problemas y el Estudio de Casos, promueven aprendizajes significativos en los alumnos. Importancia del proyecto y pertinencia: La relevancia del presente proyecto se podría identificar a través de dos grandes variables vinculadas entre sí: la relacionada con el dispositivo didáctico (estrategias implementadas por los alumnos) y la referida a lo institucional (carácter innovador de la propuesta de enseñanza y posibilidad de extenderla a otras cátedras). El presente proyecto pretende implementar mejoras en el diseño de las actividades de aprendizaje, a fin de promover en los alumnos la generación de ideas y soluciones responsables y el desarrollo de su capacidad analítica y reflexiva.

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

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

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

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