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.

Modelo de Gestion Intersectorial para la formalización de villas, a partir de la revisión de normativa urbana, marco jurídico-político, y la innovación tecnológica de los recursos. Intersectorial management model for the formality of the illegal growth settles beginning from the revision of the urban norm, political - juridical, and the technological innovation of the resources.

El Proyecto que se presenta en esta convocatoria está relacionado con el diseño y desarrollo de procesos de gestión intersectorial para la reconversión formal del hábitat en asentamientos de crecimiento espontáneo e ilegal a partir de la la revisión de marcos legales y normativos respecto del derecho al uso de suelo urbano y la seguridad jurídica en la tenencia (regulación dominial) bajo un enfoque sustentable de los Derechos Humanos (DDHH) como así también a partir de la innovación tecnológica de los recursos para el mejoramiento habitacional en el marco de los aportes relacionados con la Responsabilidad Social Empresarial (RSE) .La originalidad, en este caso, se basa en la exploración de nuevos procesos de gestión mixta en los que intervienen diversos actores: ESTADO, SOCIEDAD, EMPRESA y COMUNIDAD CIENTIFICA, configurando un circuito intersectorial de gestión, capacitación y producción de hábitat que respondan al fortalecimiento del desarrollo comunitario, entendido como desarrollo económico con inclusión social y urbana.Los objetivos están relacionados con el fortalecimiento de la producción integral del hábitat social procurando el desarrollo genuino de las comunidades a partir de la expansión de sus capacidades y sus derechos.El presente proyecto de investigación explorará la producción de hábitat y de ciudad informal procurando reconvertirla hacia un modelo de gestión sustentable (normativo y tecnológico), basado en la necesidad de producir ciudadanía digna a partir de la construcción formal de hábitat.La propuesta del proyecto supone la participación intersectorial en la planificación formal y en la toma de decisiones para una inclusión social y económica, en el marco de un modelo de desarrollo de génesis inclusor, constituyéndose en un avance de conocimientos del propio campo disciplinar (hábitat) como así también de otros campos afines a los mismos (jurídico- social - económico- productivo- político ).

Rol de los factores de crecimiento Wnt sobre el desarrollo de polaridad neuronal y crecimiento axonal. Role of Wnt growth factors on neuronal polarity and axon growth.

El desarrollo y funcionamiento del sistema nervioso dependen de la formación de circuitos neuronales específicos y de programas intrínsecos y extrínsecos que actúan como moduladores del desarrollo neuronal. Inicialmente, los neuroblastos "sensan" a través de receptores específicos, la presencia en el medio de factores de crecimiento, como neurotrofinas clásicas (BDNF, NGF, etc), IGF-1, factores Wnts, que regulan la diferenciación neuronal, polarización, migración, etc. Hasta hace pocos años, las funciones específicas de los diferentes sistemas de factor de crecimiento-receptor en el establecimiento de polaridad y la regulación del crecimiento axonal eran mayormente desconocidas. Más recientemente, trabajos de nuestro y otros grupos de investigación han aportado significativamente al conocimiento de los mecanismos que involucran los sistemas IGF-1-receptor de IGF-1, BDNF-TrkB y NGF-TrkA sobre el desarrollo de polaridad neuronal. Sin embargo, si bien se conoce que los factores de crecimiento Wnt cumplen un rol crucial en eventos que ocurren durante la maduración neuronal (dendritogénesis, sinaptogénesis) poco se sabe sobre los mecanismos por los cuales estos factores regularían el establecimiento inicial de polaridad y el crecimiento axonal. Los factores Wnt como así también su primer efector intracelular Dishevelled (DVL) y sus cascadas de señalización participan de procesos como neurogénesis, guiado axonal, desarrollo dendrítico y formación y mantenimiento de sinápsis. Por estas razones, para el desarrollo del presente proyecto planeamos estudiar los efectos de los factores Wnts, su receptor Frizzled (Fz) y su efector DVL sobre el establecimiento de polaridad y la regulación del crecimiento axonal. También compararemos los efectos de los factores Wnt con los de IGF-1 (el único factor de crecimiento conocido esencial para el establecimiento de polaridad). Finalmente, intentaremos determinar cuál o cuáles de las cascadas intracelulares de señalización activadas por los Wnts están involucradas en sus efectos axogénicos. La metodología a utilizar se basará en el empleo de cultivos primarios de neuronas de hipocampo de embriones de rata de 18 días de gestación, los que serán expuestos a los factores Wnt y/o IGF-1. Se diseñarán experimentos tendientes a evaluar los efectos de dichos factores durante los diferentes estadíos de diferenciación neuronal que se analizarán por microscopía de fluorescencia confocal. Al mismo tiempo se realizarán ensayos de subfraccionamiento que permitan purificar conos de crecimiento aislados en los que se evaluará el rol local de Wnt y sus efectores sobre la fosforilación de quinasas que median la adición local de membrana y elongación axonal. Se examiná el rol de DVL sobre la especificación axonal a través de la expresión epistática en neuronas no diferenciadas como así también se bloqueará su expresión a tavés del uso de siRNA o cDNAs que actúen como dominantes negativas. Finalmente, se examinará una posible "transactivación" por IGF-1 o Wnts de sus receptores o primeros efectores intracelulares específicos, IRS-1- PI3K para IGF-1 y Dishevelled para Wnts. Para ello, se diseñarán experimentos en los que se utilizarán inhibidores farmacológicos específicos y se realizan ensayos de fosforilación en conos de crecimiento aislados y en cultivos neuronales. Los resultados serán cuantificados y sometidos softwares estadísticos adecuados.El desarrollo de estos experimentos nos permitirá examinar posibles paralelismos entre la activación del sistema Wnt-Frizzled-Dishevelled y del sistema IGF-1-Receptor de IGF-1-PI3K, el único sistema factor de crecimiento-receptor conocido esencial para el establecimiento de la polaridad neuronal y así poder lograr un acercamiento al/los posible mecanismo/s que regula/n la diferenciación neuronal y el crecimiento axonal.