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.

Procesos de cambio en la cultura jurídica: análisis desde la experiencia del juicio por jurados. Processes of change in the Legal Culture: Analysis from the Experience of Jury Trials.

El presente proyecto de investigación se orienta a analizar la institución del juicio por jurados, considerada como un punto estratégico para la observación de los procesos de cambio que recorren la cultura jurídica en Argentina. Frente a las múltiples transformaciones y a los intensos procesos de reestructuración de las relaciones sociales observados en el contexto latinoamericano y especialmente en Argentina, la necesidad de reconstruir la legitimidad de los jueces ante la opinión pública se ha vuelto impostergable, y el recurso a la participación popular en el campo judicial aparece como un instrumento útil para ello. Analizar la efectividad de esta estrategia para la legitimación del poder judicial es uno de los objetivos del presente proyecto de investigación. Abordar dicho objetivo implica, indagar en la relación entre la administración de justicia y diferentes actores sociales, especialmente los miembros de la profesión jurídica y la opinión pública.Se explora igualmente la contradicción entre el hecho de que esta institución, nacida para atenuar la dureza de los castigos, se ha implementado recientemente en la provincia de Córdoba en la situación inversa. El modo en que la tensión entre el espíritu garantista de los jueces y la demanda de castigos de los ciudadanos comunes se manejará en la práctica de los juicios por jurado, y su incidencia en el éxito de las estrategias legitimadoras del poder judicial, aparece como una cuestión relevante para el análisis que se propone. Con la utilización de diferentes fuentes de información cuantitativas y cualitativas, se espera que el análisis de la implementación del juicio penal con jurados populares en la provincia de Córdoba propuesto en el presente proyecto, contribuya a documentar los niveles de articulación entre la cultura jurídica interna y externa.

Estrategias estadístico-computacionales avanzadas para análisis de expresión de proteínas/genes en cáncer. Advanced statistical and computational strategies for protein/gene expression analysis in cancer.

El objetivo de este proyecto, enmarcado en el área de metodología de análisis en bioingeniería-biotecnología aplicadas al estudio del cancer, es el análisis y caracterización a través modelos estadísticos con efectos mixtos y técnicas de aprendizaje automático, de perfiles de expresión de proteínas y genes de las vías metabolicas asociadas a progresión tumoral. Dicho estudio se llevará a cabo mediante la utilización de tecnologías de alto rendimiento. Las mismas permiten evaluar miles de genes/proteínas en forma simultánea, generando así una gran cantidad de datos de expresión. Se hipotetiza que para un análisis e interpretación de la información subyacente, caracterizada por su abundancia y complejidad, podría realizarse mediante técnicas estadístico-computacionales eficientes en el contexto de modelos mixtos y técnias de aprendizaje automático. Para que el análisis sea efectivo es necesario contemplar los efectos ocasionados por los diferentes factores experimentales ajenos al fenómeno biológico bajo estudio. Estos efectos pueden enmascarar la información subycente y así perder informacion relavante en el contexto de progresión tumoral. La identificación de estos efectos permitirá obtener, eficientemente, los perfiles de expresión molecular que podrían permitir el desarrollo de métodos de diagnóstico basados en ellos. Con este trabajo se espera poner a disposición de investigadores de nuestro medio, herramientas y procedimientos de análisis que maximicen la eficiencia en el uso de los recursos asignados a la masiva captura de datos genómicos/proteómicos que permitan extraer información biológica relevante pertinente al análisis, clasificación o predicción de cáncer, el diseño de tratamientos y terapias específicos y el mejoramiento de los métodos de detección como así tambien aportar al entendimieto de la progresión tumoral mediante análisis computacional intensivo.

DENSIFICACION URBANA: POTENCIAL DE DESARROLLO DE AREAS VACANTES.PROPUESTA DE NUEVAS HERRAMIENTAS VALORATIVAS. Acercamientos alternativos al fenómeno del crecimiento. Estudio de casos. Relevamiento y registro gráfico-conceptual.

La ciudad compacta, se ha dispersado en fragmentos deshilvanando el tejido social en fracciones desconectadas del sentido más profundo de lo urbano. Una realidad plena de contradicciones acumula experiencias ajenas a los modelos teóricos de profesionales y de la gestión pública. Los conflictos de la ciudad superan la planificación, siendo la renta del suelo el único paradigma del desarrollo urbano. La presente Investigación pretende reflexionar acerca de las metodologías de trabajo y los instrumentos posibilitantes de una urbanidad sustentable abordando una crítica al actual paradigma de desarrollo urbano. Se pretende el relevamiento de los sectores conpotencial de cambio (fragmentos urbanos, espacios vacantes, áreas degradadas, etc.) transfiriéndolos a una base de datos digitalizada, que pueda convertirse en un instrumento disciplinar y académico Hipótesis Las posibilidades de revisión del modelo de crecimiento extensivo de baja densidad se producen con mayor intensidad en las áreas vacantes de la ciudad. El potencial de los grandes espacios vacantes de la ciudad es definido por la especulación e intereses de los emprendedores que actúan en el mercado. El Código Normativo es el instrumento que consolida este modelo operativo Objetivos �Promover el análisis y crítica de la ciudad y su territorio, a los efectos de posibilitar un proyecto disciplinar con una urbanidad sustentable. �Proponer herramientas de análisis que permita operar de manera eficiente sobre la dinámica de crecimiento. �Elaborar una base digital de datos como instrumento operativo, que favorezca a la comprensión de fenómenos complejos Materiales y métodos a utilizar 1. Recopilación de datos y estudios bibliográficos para definir el marco conceptual y elaboración de metodos de análisis de espacios vacantes. 2. Estudio y análisis de las normativas vigentes 3. Identificación de espacios vacantes de la ciudad de Córdoba, identificando problemas de fragmentación y dispersión urbana y social: técnicas de muestreo. 4. Relevamiento y registro de campo. 5. Experiencia proyectual en la carrera Resultados esperados -Caracterización de fragmentos urbanos de la ciudad de Córdoba -Registro en base de datos identificando fragmentos urbanos de la Ciudad de Córdoba -Elaboración gráficos conceptuales y modelización en 3D -Resultados de experiencia piloto Importancia del proyecto Considerando el crecimiento de la ciudad de Córdoba, la crisis de las infraestructuras a la degradación de los espacios urbanos, la falta de una planificación sustentable y la desactualización de las Normativas Vigentes, se hace necesario la reflexión en el ámbito académico Pertinencia Contar con documentación real y confiable es prioritaria para la gestión de la ciudad, posibilitando articular problemas y oportunidades. Desde el campo metodológico brinda la posibilidad de formar una base teórica suceptible de relacionar la crítica y el proyecto.

Análisis molecular del virus sincitial respiratorio bovino cepa RC-98 aislado en Argentina. Molecular analisis of bovine respiratory syncytial virus RC-98 strain isolated in Argentina.

En la provincia de Córdoba, estudios serológicos demostraron una alta tasa de infección para el Virus Sincitial Respiratorio Bovino (VSRB). Paralelamente nuestro grupo de investigación aisló por primera vez en Argentina el VSRB (cepa RC-98) dando un paso importante en el reconocimiento de esta enfermedad. En los últimos años se ha incrementado la importancia de este agente debido a la intensificación de los sistemas ganaderos, impulsados y desplazados por la agriculturización. La detección viral en muestras clínicas aún es pobre por inadecuadas técnicas de laboratorio. Por estas razones es necesario optimizar otro método diagnóstico utilizado mundialmente, no desarrollado en nuestro país hasta el presente. Con el advenimiento de la biología molecular se introducen nuevas técnicas como la RT-PCR para el diagnóstico rápido del VSRB, siendo más sensible y específica que el ensayo de ELISA, Inmunofluorescencia, Inmunoperoxidasa y aislamiento viral, además permite detectar la eliminación viral por un período más prolongado en muestras clínicas. La glicoproteína G (Gp G) del VSRB es la proteína menos conservada entre los aislamientos de VSRB y es la que presenta la mayor variabilidad, tanto antigénica como genética. Por secuenciamiento de la Gp G se propusieron seis subgrupos genéticos. La importancia de esta glicoproteína esta representada en el rol que desempeña en la respuesta inmune. La generación de anticuerpos frente a esta es capaz de neutralizar la infección viral. La hipótesis de trabajo se basa en que pueden existir diferencias genómicas importantes de la cepa autóctona, respecto a cepas bovinas de referencia internacional. Se plantean como objetivos conocer las características moleculares (genómicas) de la Gp G de la cepa RC-98 para el futuro desarrollo de inmunógenos y estandarizar una técnica diagnóstica que complemente y enriquezca el diagnóstico de este virus. Se utilizará la cepa RC-98 la cuál se propagará en células MDBK. Para desarrollar la técnica de RT-PCR se extraerá el ARN viral con un kit comercial, a partir del mismo se obtendrá el ADNc y para la PCR se utilizarán 2 juegos de primers que amplifiquen un fragmento del gen de la Gp G. Una vez estandarizada la técnica se trabajará con muestras clínicas, hisopados nasales, lavados broncoalveolares y muestras pulmonares de animales necroipsiados. Al finalizar la investigación se espera conocer las características genómicas de la cepa RC-98. Se contará con una nueva herramienta diagnóstica para la detección rápida y sensible del VSRB. La misma será transferida a laboratorios de diagnostico. Adicionalmente se contará con el secuenciamiento de la Gp G, lo cuál permitirá clasificar la cepa en estudio dentro de los subgrupos genéticos. Este proyecto pretende sentar bases para investigaciones futuras ya que la técnica de PCR posibilita una nueva aproximación al estudio de la patogénesis de la infección viral y permite estudiar la epidemiología molecular de los aislamientos de campo.

Democracia Deliberativa en Córdoba: análisis de los alcances y limitaciones de algunas experiencias participativas, contribuciones para su factibilidad. Deliberative Democracy in Córdoba: scope and limitations of participatory experiences.

En el debate académico y social los críticos de la democracia deliberativa coinciden en sostener la imposibilidad de realización de este ideal, fundamentando dicha afirmación en hechos sociales relevantes como el pluralismo, la desigualdad, la complejidad, poderosas instituciones y una esfera pública polarizada en extremo. En atención a las mencionadas críticas algunos autores han destacado que la viabilidad de una forma deliberativa de democracia depende de la creación de condiciones sociales y arreglos institucionales que propicien el uso público de la razón. La deliberación es pública en la medida en que estos arreglos permitan el diálogo abierto entre ciudadanos capaces de formular juicios informados y razonados en torno a las formas de resolver situaciones problemáticas. La factibilidad y eficacia de la deliberación pública reside, a su vez, en la posibilidad de sostener no sólo un diálogo abierto y continuo entre ciudadanos, sino también de éstos con las instituciones políticas. En esta discusión se inserta el presente proyecto con el fin de estudiar los problemas de justificación e institucionalización, como así también los obstáculos y constreñimientos empíricos con los que se enfrenta la democracia deliberativa. Para ello se toman diversas experiencias en la Provincia de Córdoba: El Acta de Compromiso Público de la Ciudad de Córdoba, Los Observatorios de Servicios Públicos de la Asociación Civil el Ágora, Concertación en Espacios Locales de la Asociación Civil el Ágora y las Juntas de Participación Vecinal de la Municipalidad de Córdoba. Todos estos procesos se caracterizan por constituir iniciativas que procuran la creación, fortalecimiento e institucionalización de espacios de participación ciudadana y de interacción dialógica de los ciudadanos entre sí y de éstos con el estado. Estos espacios son espacios situados y, en cuanto tales, implican contigencias devenidas de las particularidades territoriales, temáticas y de los diferentes horizontes temporales sobre los que se proponen actuar. El proyecto se propone analizar los alcances y dificultades (políticas, sociales, organizativas, informacionales) que se presentan en estas experiencias deliberativas, atendiendo tanto a los requisitos de factibilidad de las propias experiencias como a la necesidad de fortalecer los planteamientos teóricos de la teoría de la deliberación pública a partir de la consideración de los problemas empíricos con los que la misma se enfrenta. Se prevé el desarrollo e implementación de indicadores de seguimiento y monitoreo de las experiencias que den cuenta de las dimensiones y presupuestos de la democracia deliberativa, la construcción de modelos procedimentales y tecnologías comunicativas que contribuyan a la factibilidad de los presupuestos comunicativos y la contribuición al desarrollo de proposiciones teóricas vinculadas con la preocupación académica referida a los procesos deliberativos y participativos en las sociedades contemporáneas.

Análisis crítico de la formación y capacitación del profesional de la seguridad en la Provincia de Córdoba en los últimos diez años. A critical analysis of the formation and training of the professional in the area of security in the province of Córdoba in the last 10 years.

El problema que abordaremos es la transformación y la toma de decisiones en los procesos de formación y capacitación de las instituciones de seguridad, específicamente, los motivos y fundamentos de los cambios en los planes de estudios, en relación a los contenidos curriculares de los institutos de formación de los profesionales en seguridad. Esto sobre la hipótesis de que las organizaciones educativas policiales y penitenciarias han llevado a cabo transformaciones en su organización y gestión curricular para adecuarse a las nuevas demandas sociales y políticas. El objetivo del presente proyecto es analizar críticamente los contenidos curriculares de los institutos de formación y capacitación de la Policía y Servicio Penitenciario de la Provincia de Córdoba. Abordaremos el análisis de los planes de dichas instituciones en los últimos 10 años, sus modificaciones y criterios utilizados para responder a los nuevos escenarios sociales. Se hará una exploración de la información y la documentación existente en los ámbitos oficiales. Asimismo, la investigación contará con la realización de entrevistas y encuestas a directivos, docentes, alumnos y demás actores claves, con la finalidad de recabar la opinión de los mismos respecto de las transformaciones en la educación policial y penitenciaria. A partir del proyecto de investigación se pretende construir conocimiento acerca de las políticas educativas en el área de seguridad especialmente sobre la formación y capacitación de recursos profesionales específicos, dentro del ámbito local. De tal modo, se pretende aportar elementos teóricos de análisis al modo en que se han instituido la oferta educativa y las transformaciones en los planes de estudios en las instituciones de formación profesional de la seguridad y cómo éstos han sido implementados a la luz de los nuevos escenarios políticos y sociales. Esto nos permitirá aportar al incipiente campo de los estudios sobre la seguridad, específicamente sobre la formación de los profesionales en seguridad, poniendo a diposición de los responsables gubernamentales e institucionales un estudio que explora y sistematiza las transformaciones y fundamentos de la politica de educación en el campo de la seguridad provincial. Este desarrollo investigativo nos permitirá inagurar la actividad de producción de conocimiento dentro del ámbito académico de la Licenciatura en Seguridad de la Universidad Nacional de Villa María a través del presente proyecto que describirá el proceso de formación y capacitación policial y penitenciaria y los cambios que con el transcurso del tiempo se han verificado.

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.

Herramientas de la investigación proyectual para el diseño del espacio público: inputs y outputs.

La investigación proyectual ha demostrado ser una valiosa forma de adquirir conocimientos a partir de la disciplina del diseño. Esta es una metodología derivada del método fenomenológico que busca primero acercarse al fenómeno para luego extraer conclusiones. Es decir, que la realidad con la que se encuentra el diseñador es un importantísimo componente del sistema. En el período previo (2008-2009), nos hemos dedicado a observar preferentemente la personalidad creativa del diseñador. Durante el período informado discutimos sobre cómo esta metodología incorpora los inputs del contexto de producción. ¿Cómo participan estos contenidos en las 3 fases fases detectadas en el período anterior: descriptiva, estructural y exponencial. La segunda preocupación con respecto a esta metodología es sobre lo que llamamos el output, es decir, cómo se comunica y como se transfieren los resultados. Intuimos aquí que difícilmente sea una transpolación de otras disciplinas científicas. ¿cómo se comunican los resultados? ¿cómo se aplican los resultados? ¿cómo se integran investigación y transferencia?

Determinación del coeficiente de retención para pernos intraradiculares colados, confeccionados por diferentes técnicas. Análisis comparativo.

Uno de los objetivos concretos de los remanentes radiculares tratados endodónticamente, 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 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. En líneas generales, el Odontólogo generalista esta preocupado especialmente en lo referente al campo clínico, es decir, características anatómicas y fisiológicas del diente a tratar, longitud y diámetro canalicular, remanente coronario, particularidades del tejido duro de soporte, proximidad con el tejido blando, técnicas y materiales de impresión, etc. Cada uno de estos aspectos son de suma importancia para lograr el éxito de las restauraciones protéticas, pero si las técnicas o procedimientos de laboratorio no son cuidadosos, precisos y de alta fidelidad, los procedimientos clínicos pierden sustento y valor profesional. Es por ello que nos proponemos investigar específicamente en el área de laboratorio la posibilidad de utilizar variantes de la técnica convencional para la realización de pernos intraradiculares colados. Nuestra propuesta es la de realizar patrones sobre modelos sin la necesidad de ser separados del mismo para ser colados, a diferencia de la técnica convencional que si lo hace. El uso de material refractario en reemplazo del yeso dental, en el acto del vaciado de la impresión, nos proporciona esa ventaja, ya que de esta manera no es necesario introducir el material de confección del patrón en el interior del conducto que se encuentra en el modelo. En otras palabras, con esta técnica no habrá confección de patrón (en la porción “intraradicular” del perno) ya que la cavidad para el acceso del metal en el proceso de colado queda formada como consecuencia del vaciado con revestimiento sobre la impresión. (Método COPISMY, Técnica creada y diseñada por el responsable de la Cátedra y colaboradores). La disminución de los pasos secuenciales, la facilitación de la tarea técnica, la reducción del grado de manipulación de los materiales y la simplificación del proceso, son los fundamentos principales para alentar esta idea. Posteriormente, se llevará a cabo un estudio comparativo entre los resultados obtenidos en ambas técnicas, con el objetivo de establecer si tales variantes mejoran o no los valores de retención conocidos.

¿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.