Capacitación en metodologías de desarrollo de programas interactivos para Televisión Digital

La TV Digital ha tenido en estos últimos años una gran expansión en todo el mundo (en algunos países ya se está implementando el "apagón analógico", luego del cual toda transmisión televisiva será digital) y con una creciente cobertura en toda Latinoamérica debido a las políticas activas que en los últimos años han llevado a cabo los gobiernos (por ejemplo, el sistema de TDA – Televisión Digital Abierta de Argentina tiene una cobertura actual superior al 80% de la población). Esta expansión se debe a que esta tecnología permite no sólo una mejor calidad de imagen sino también una experiencia de usuario-televidente mucho más rica gracias a que el sistema puede transmitir y procesar datos, además del video y el sonido, y permite interacciones más complejas que la TV tradicional o analógica. Sin embargo, y a pesar de su alcance cada vez más masivo, las grandes ventajas de la TV Digital no están siendo aún explotadas en todo su potencial. Esto se debe, según los estudios realizados, a dos razones principales: (1) no se ha encontrado aún un modelo de negocios superador de la TV tradicional que aproveche la interacción del usuario-televidente (el cual, generalmente por desconocimiento, tampoco exige mayor complejidad y riqueza en su interacción con la TV) y (2) no hay suficientes recursos humanos adecuadamente formados que puedan desarrollar productos que exploten la compleja interacción entre el producto de TV (serie, unitario, película, documental) y el software (que permite el procesamiento de los datos y la interacción con el usuario-televidente) para generar producciones innovadoras en el campo televisivo. El Centro Tecnológico Comunitario de la Municipalidad de Nono (CTC Nono) nos ha solicitado ser recipiente de actividades de extensión que apunten a subsanar específicamente esta segunda causa, la falta de recursos humanos que puedan apropiarse de esta tecnología. A diferencia de muchos otros Centros Tecnológicos Comunitarios, el CTC Nono pudo continuar funcionando durante estos 14 años gracias a la capacidad de sus dirigentes de adaptar permanentemente sus objetivos y su forma de funcionamiento. EL CTC Nono, como tal, comenzó siendo un centro de alfabetización informática y de acceso popular a los servicios TIC básicos, para llegar a ser hoy un activo centro generador de programas de TV regional por un lado y de desarrollos de software por otro. Sin embargo, la característica principal que ha permanecido inmutable a lo largo de estos años es la de ser un centro de atracción, contención y aprendizaje abierto para todos los vecinos con inquietudes productivas y artísticas. Es por ello que, concientes de la enorme potencialidad y alcance de la TV Digital, es que el CTC Nono realiza esta demanda de transferencia que implica proveer conocimiento teórico y práctico para el desarrollo de programas interactivos de TV Digital a grupos multidisciplinarios (de programadores, artistas y productores de TV) de toda la zona de Traslasierra que les permita expandir su producción a esta nueva tecnología de difusión masiva. Es de esperarse que de los cursos, talleres y actividades de seguimiento de proyectos, se podrán obtener productos innovadores que aprovechen todos los beneficios que brinda la TV Digital, llevando el polo de desarrollo de TV generado gracias al CTC Nono a una nueva etapa, de expansión y uso de esta novedosa tecnología.

Desarrollo e implementación de programa estratégico de educación e intervención sanitaria para el control de enfermedades transmisibles en poblaciones marginales de la Provincia de Córdoba

En los primeros años del siglo XXI, la pobreza, la exclusión social y la inequidad en la agenda política de los países y de los organismos internacionales han dado mayor espacio a la discusión sobre la protección social. Se han definido las “enfermedades de la pobreza” como una constante de grupos marginales que no logran acceso a una equitativa distribución de recursos sanitarios acordes a sus necesidades insatisfechas. Nuestro país no escapa a esa realidad, más aún en poblaciones donde todavía no existe acceso a redes de agua potable, adecuados servicios de tratamiento de residuos, deficiente participación de los sectores estatales en salvaguarda de la salud de la población e insostenible calidad nutricional, para citar solo algunos de los factores que determinan la exclusión sanitaria. En la última publicación del 2007 sobre los Indicadores Básicos de la Situación de Salud en las Américas de la OPS, se observa que en la Argentina existe una elevada tasa de mortalidad por enfermedades transmisibles (superada por pocos países de la región), una considerable tasa de incidencia de tuberculosis (una de las enfermedades de la pobreza) y que aún un 20% de la población rural no cuenta con fuentes mejoradas de agua potable ni instalaciones de saneamiento. Ante esta inequidad manifiesta, la educación sanitaria es uno de los medios más importantes para generar los cambios de conducta necesarios a nivel individual, familiar y comunitario, así como para interrumpir las vías de transmisión de las enfermedades asociadas con el agua y el saneamiento. A partir de la investigación de las variables que condicionan la prevalencia de enfermedades transmisibles y la detección de indicadores adecuados, desde este proyecto se sostiene que el desarrollo e implementación de programas estratégicos de educación e intervención sanitaria harán posible un mejor control y tratamiento de estas enfermedades en las poblaciones marginales objeto de estudio. La estrategia de educación y la prevención deben lograr reemplazar la llegada tarde al sistema de salud que funciona como un “parche” poco efectivo y más costoso. Forma parte entonces, del objetivo general de este trabajo, desarrollar e implementar un proyecto de educación sanitaria, y las estrategias para su aplicación, destinado al control de las enfermedades transmisibles en poblaciones marginales, desarrollando herramientas que permitan extrapolar la realidad regional a otras comunidades similares.

Desarrollo de tecnología textil para el procesamiento de la fibra de camélidos, caprinos y ovinos Merino superfino

En este proyecto se pretende abordar el problema de la comercialización de la fibra de Camélidos sudamericanos, caprinos de Angora y de Cachemira y de ovinos Merinos superfino, apuntando a desarrollar tecnologías no disponibles o cuyos detalles aun no están claros, para poder brindar a través de una planta textil propia un servicio de procesamiento textil a los productores interesados e integrados a Programas de Desarrollo, a los fines de obviar los problemas de mercado y comercialización de la fibra en bruto. Para esto, se van a realizar ensayos textiles de diversa índole, con gran énfasis en el desarrollo de una tecnología de separación no convencional del “guard hair” y el “down” de las fibras de Camélidos y Caprinos, minimizando las roturas de fibras y obteniendo un producto final con un porcentaje de “guard hair” no superior al 2%, que es lo se ajusta a las normas de calidad más exigentes. Por otra parte, el procesamiento convencional (sistemas “worsted” y “woollen”) requiere ajustes para obtener hilos puros de estas fibras y para hilar lanas superfinas que ya no se producían en el país. Se trabajará en relación con el convenio interinstitucional entre la Facultad y la Fundación Habitat. Se utilizará como materia prima para los ensayos fibra proveniente de todos los proyectos integrados al SUPPRAD.

Estudio CLACyD: Lactancia y alimentación, crecimiento y desarrollo en niños de 0 a 5 años de vida, Córdoba

Con el propósito de responder a interrogantes acerca de los perfiles de alimentación y su asociación con los de crecimiento y desarrollo en un núcleo urbano estratificado socialmente, se constituyó en 1992 un equipo interdisciplinario de investigadores, representando a Instituciones Académicas (Facultad de Ciencias Médicas y Ciencias Económicas), de Servicios (Gobiernos Municipal y Provincial) y Sociedades Científicas (de Pediatría y Ginecología). Este equipo elaboró un primer proyecto destinado a estudiar una cohorte infantil desde el nacimiento hasta el año de edad. La propuesta actual es ampliar la delimitación temporal de la investigación, extendiéndola hasta fines de la edad preescolar. Son sus objetivos principales: a) Describir perfiles de lactancia, Introducción de alimentos y Crecimiento y Desarrollo. b) Analizar las relaciones alimentación/crecimiento y desarrollo, atendiendo al origen social, condiciones materiales y familiares de vida, y antecedentes de salud-enfermedad de madres y niños. c) Construir, aplicando el enfoque de riesgo, instrumentos predictivos para actuar con sentido preventivo en salud materno-infantil. Por su estrategia temporal, el diseño de la investigación es de tipo prospectivo; se estudia una cohorte de nacidos en mayo de 1993, en diferentes momentos de sus primeros años de vida. El grupo objeto de estudio se conforma inicialmente con 709 niños y sus madres que completan las condiciones de inclusión. Las etapas cronológicas ya cumplidas corresponden al mes, seis meses y un año de vida. La encuesta del primer mes se completó en 651 binomios y la del año en 575. Las etapas propuestas para la continuación del estudio incluyen mediciones antropométricas, evaluaciones de desarrollo psicomotriz y psicosocial a los 2, 3 y 4 años y registros de la historia alimentaria e información complementaria de carácter biológico, demográfico, familiar, conductual, sociocultural, en todos los momentos de toma de datos. Para la información brindada por la madre se emplean encuestas diseñadas ad-hoc por el equipo de investigación, en consultas con especialistas, según el área de conocimiento involucrada; los Instrumentos son los Formularios que contienen según el caso, preguntas cerradas, abiertas, de selección múltiple, de opinión, en escalas de rango, de actitud, etc. Técnicas medicionales son utilizadas para el registro de los Parámetros Antropométricos y para la evaluación del Desarrollo se aplican pruebas de un Instrumento utilizado en un Estudio Colaborativo Nacional sobre niños de 0 a 5 años. El procesamiento estadístico de la información se realiza en el Instituto de Estadísticas y Demografía de la Facultad de Ciencias Económicas. Se trabaja con el paquete estadístico SPSS y programas ad-hoc confeccionados por el equipo.

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.

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.

Desarrollo y evaluación de softwares de telepsicología y tecnología de realidad virtual para el tratamiento de la Fobia Social y el Miedo a Hablar en Público en estudiantes universitarios

Estudios epidemiológicos, reportan que la fobia social es uno de los trastornos de ansiedad de alta prevalencia en la población mundial, que oscila entre el 7 y el 13%. La incidencia de este trastorno se ubica entre el 13 y 14% en personas de 15 a 54 años, manifestándose antes de los 25 años (Furmark,et al 2002). De esta manera, se destaca la importancia de el estudio y abordaje de este trastorno en adolecentes, considerando que es en esta etapa del desarrollo donde se empieza a manifestar, y donde la intervención temprana se torna fundamental. Este trastorno afecta la vida familiar, social y laboral de una persona, dado que la persona evita exponerse a lugares públicos o a situaciones donde anticipa la evaluación negativa. Las consecuencias del trastorno son variadas, ya que los individuos pueden perder su trabajo por miedo a la exposición, fracasar en los estudios o fracazar en la concertación de citas y la vida en pareja. El miedo a hablar en público, por otro lado, es una forma particular de ansiedad social que implica la preocupación de que el público va a pensar que el rendimiento de uno es inadecuado (o que evaluaranm negativamente la persona o el rendimiento de la misma). La relevancia social de esta problemática requiere de tratamientos más eficientes, dada la creciente prevalencia de estos trastornos en los últimos años a nivel internacional. En este sentido la terapia de exposición en diferentes modalidades, acompañada dereestructuración cognitiva se ha transformado en un abordjae de elección para estos trastornos ara el tratamiento de fobia social. Entre las modalidades más novedosas en la actualidad, se destaca la utilización de programas basados en escenarios virtuales y la utilización de la telepsicología para el tratamiento de la fobia social y el miedo a hablar en público. La exposición con realidad virtual o mediante simulaciones no sólo da la oportunidad de capitalizar las habilidades de imaginación del paciente sino también las suplementa con experiencias visuales y auditivas simuladas. Además expone al paciente a un ambiente virtual que contiene la situación temida en vez de llevar al paciente a una situación real o pedirle que imagine los estímulos asociados, aumentando de esta manera la eficiencia del tratamiento En particular en nuestro país, la investigación en este campo es inexistente y sus aplicaciones son incipientes, por lo que la adaptación, desarrollo y evaluación de programas de tratamiento clínico utilizando modalidades terapéuticas innovadoras, a la vez de otorgar atención a la comunidad que padece este tipo de trastornos, es fundamental Por esto, el propósito del presente proyecto es el desarrollo, la instrumentación y evaluación de software de telepsicología y tecnologías de realidad virtual orientados a la valoración y tratamiento de la Fobia Social y el miedo a Hablar en Público. Específicamente, el objetivo es adaptar, instrumentar y evaluar un sistema de tratamiento con base en ambientes virtuales para el tratamiento de la Fobia Social transferidos a nuestro equpio de investigación por el grupo de investigación del Laboratorio de Enseñanza Virtual y Ciberpsicología de la UNAM. También nos proponemos desarrollar dos softwares de telepsicología con videos digitales para la valoración y tratamiento del miedo a hablar en público. Finalmente, otro objetivo es el desarrollo de un instrumento de evaluación diagnóstica de la Fobia Social y el Miedo a Hablar en Público en estudiantes universitarios, el cual será incorporado a un software junto a los videos digitales.

“DESARROLLO DE GEOINDICADORES Y VALORACIÓN DE VULNERABILIDAD DE RECURSOS HÍDRICOS ASOCIADOS A LA EVALUACIÓN DEL IMPACTO PRODUCIDO POR CAMBIOS EN EL USO DEL SUELO”

La zona no saturada del suelo tiene una gran importancia en el ciclo del agua, así como en el transporte y las transformaciones de compuestos químicos. El estudio de esta zona es importante pues es el nexo entre el agua superficial y el agua subterránea. El incremento de las actividades agrícolas en la región central del país ha provocado un uso extendido de agroquímicos que contaminan las reservas hídricas subterráneas. La predicción y estimación del nivel de concentración, degradación, adsorción, retardo biológico, transporte y deposición de estos compuestos dependen de condiciones geológicas y propiedades físico-químicas del suelo. Es fundamental en este aspecto resolver con la información obtenida las ecuaciones de transporte de contaminantes para lo cual resulta de interés la mineralogía, tortuosidad, relación de vacíos y composición granulométrica del suelo. El transporte de contaminantes afecta la calidad del agua superficial (ríos, lagunas o esteros) y subterránea (napa freática y acuíferos) que constituyen fuentes de agua dulce. En este proyecto se realizan estudios que evalúan aspectos que afectan la calidad del agua superficial y subterránea debido a actividades antrópicas. En particular se analizan aspectos fenomenológicos de interés para el transporte de contaminantes en suelos para entender los mecanismos de contaminación de las aguas subterráneas. Estos estudios se realizarán en base a experimentos de laboratorio y simulaciones numéricas mediante modelos computacionales. Por otro lado, se tomarán dos casos o zonas de estudios, la primera abarca los recursos hídricos del norte de la Provincia de Córdoba, dentro de los cuales se destaca la laguna Mar Chiquita, y la segunda consiste en el estudio de la influencia del cambio del uso del suelo en la zona periurbana de la ciudad de Córdoba y el efecto que esto produce en la calidad del agua subterránea. En los estudios relacionados con la calidad y cantidad de agua que llega a la Laguna Mar Chiquita se realizarán estudios para la obtención de datos que permitan definir criterios de manejo y políticas de gestión de la cuenca intermedia, compatibles con requerimientos ambientales y sociales. Estos criterios y políticas serán una consecuencia de la interpretación del comportamiento fluvial y la respuesta del sistema hídrico ante los distintos pulsos de caudal, el cual será parcialmente aforado mediante campañas, y su interrelación con el uso del suelo en zonas que puedan afectar los afluentes de la laguna. Esto permitirá definir el caudal real que llega a la laguna y, de este modo, estimar el volumen ecológico de la misma. Al mismo tiempo, los afluentes en su trayecto reciben múltiples descargas de tipo doméstico, de origen industrial y de origen agropecuario (e.g. Río Suquía). Sin embargo, los estudios existentes sobre la calidad del agua y las actividades antrópicas son muy escasos, por lo cual resulta necesario realizar un seguimiento que permita conocer sus características y planificar su manejo. Por otro lado, se estudiará cómo el uso del suelo y fundamentalmente los cambios no controlados del mismo resultan vitales para poder preservar los recursos hídricos subterráneos. Este aspecto resulta de fundamental importancia en nuestra provincia en el caso del crecimiento acelerado que sufre la ciudad de Córdoba desde hace varias décadas por lo que éste caso se tomará como prioritario. Los resultados obtenidos permitirán generar información de gran valor para la toma de decisiones y obtener nuevos conocimientos relacionados con las características hidrodinámicas (superficial y subterránea) y del suelo en las zonas de estudio. Esto permitirá en un futuro definir o delimitar zonas de riesgo, realizar una adecuada planificación del uso del suelo en relación con las actividades agropecuarias y crecimiento de zonas urbanas y desarrollar programas para la preservación de recursos hídricos superficiales u subterráneos de la Provincia de Córdoba.

Sistemas de Tipos para Verificación de Programas Concurrentes. Type Systems for Concurrent Programs Verification.

La programación concurrente es una tarea difícil aún para los más experimentados programadores. Las investigaciones en concurrencia han dado como resultado una gran cantidad de mecanismos y herramientas para resolver problemas de condiciones de carrera de datos y deadlocks, problemas que surgen por el mal uso de los mecanismos de sincronización. La verificación de propiedades interesantes de programas concurrentes presenta dificultades extras a los programas secuenciales debido al no-determinismo de su ejecución, lo cual resulta en una explosión en el número de posibles estados de programa, haciendo casi imposible un tratamiento manual o aún con la ayuda de computadoras. Algunos enfoques se basan en la creación de lenguajes de programación con construcciones con un alto nivel de abstración para expresar concurrencia y sincronización. Otros enfoques tratan de desarrollar técnicas y métodos de razonamiento para demostrar propiedades, algunos usan demostradores de teoremas generales, model-checking o algortimos específicos sobre un determinado sistema de tipos. Los enfoques basados en análisis estático liviano utilizan técnicas como interpretación abstracta para detectar ciertos tipos de errores, de una manera conservativa. Estas técnicas generalmente escalan lo suficiente para aplicarse en grandes proyectos de software pero los tipos de errores que pueden detectar es limitada. Algunas propiedades interesantes están relacionadas a condiciones de carrera y deadlocks, mientras que otros están interesados en problemas relacionados con la seguridad de los sistemas, como confidencialidad e integridad de datos. Los principales objetivos de esta propuesta es identificar algunas propiedades de interés a verificar en sistemas concurrentes y desarrollar técnicas y herramientas para realizar la verificación en forma automática. Para lograr estos objetivos, se pondrá énfasis en el estudio y desarrollo de sistemas de tipos como tipos dependientes, sistema de tipos y efectos, y tipos de efectos sensibles al flujo de datos y control. Estos sistemas de tipos se aplicarán a algunos modelos de programación concurrente como por ejemplo, en Simple Concurrent Object-Oriented Programming (SCOOP) y Java. Además se abordarán propiedades de seguridad usando sistemas de tipos específicos. Concurrent programming has remained a dificult task even for very experienced programmers. Concurrency research has provided a rich set of tools and mechanisms for dealing with data races and deadlocks that arise of incorrect use of synchronization. Verification of most interesting properties of concurrent programs is a very dificult task due to intrinsic non-deterministic nature of concurrency, resulting in a state explosion which make it almost imposible to be manually treat and it is a serious challenge to do that even with help of computers. Some approaches attempts create programming languages with higher levels of abstraction for expressing concurrency and synchronization. Other approaches try to develop reasoning methods to prove properties, either using general theorem provers, model-checking or specific algorithms on some type systems. The light-weight static analysis approach apply techniques like abstract interpretation to find certain kind of bugs in a conservative way. This techniques scale well to be applied in large software projects but the kind of bugs they may find are limited. Some interesting properties are related to data races and deadlocks, while others are interested in some security problems like confidentiality and integrity of data. The main goals of this proposal is to identify some interesting properties to verify in concurrent systems and develop techniques and tools to do full automatic verification. The main approach will be the application of type systems, as dependent types, type and effect systems, and flow-efect types. Those type systems will be applied to some models for concurrent programming as Simple Concurrent Object-Oriented Programming (SCOOP) and Java. Other goals include the analysis of security properties also using specific type systems.

DISPOSITIVOS DE PROCESOS TENDIENTES A LA ARTICULACIÓN DE ORGANIZACIONES RESPONSABLES DE LAS POLÍTICAS PÚBLICAS ORIENTADAS AL DESARROLLO SUSTENTABLE DE LA TRAMA PRODUCTIVA.

El papel preponderante de las entidades de microcrédito en el desarrollo social y económico local y regional, se vincula a que a través de sus servicios, se facilita la generación y consolidación de la trama productiva y de empleo. Con su impacto en terminos de la reduccion de la pobreza y la inclusión social. En Argentina, las entidades de microcrédito muestran dificultades a la hora de acompañar las politicas de desarrollo economico social productivo. Sus permanentes procesos de descapitalizacion muestran inconvenientes y problemas y dificultades para alcanzador los resultados planteados y sobre tod no han sido eficaces en acercar los fondos a su población objetivo, emprendedores con potencial de crecimiento. Creemos que dicho problema puede reducirse estableciendo criterios que posibiliten identificar aquellas actitudes y rasgos característicos del perfil emprendedor, así como los procesos de tomas de decisiones llevado por ellos adelante. Se contribuiría de esta manera a lograr una asignación más eficiente y eficaz de los recursos disminuyendo la probabilidad de morosidad. Sin embargo para identificar y caracterizar al individuo emprendedor, es necesario esclarecer a qué hace referencia dicho término e interpretarlo dentro de marcos teóricos adaptables al contexto local. También es necesario poder explicitar el proceso de toma de decisiones que adopta, alejándonos de los supuestos racionalistas del comportamiento. Ante la hipótesis planteada nuestro objetivo general es de contribuir al desarrollo de marcos explicativos y dispositivos para el campo del emprendedurismo que permitan viabilizar a las instituciones de microcrédito como instrumentos eficaces para el desarrollo económico y social. Específicamente: Comparar los perfiles de emprendedores que hacen posible iniciar, desarrollar y sostener un emprendimiento productivo apoyado por una entidad de micro crédito. Determinar las limitaciones de las organizaciones que trabajan en micro crédito. Delimitar los alcances de las variables psicológicas respecto a los perfiles emprendedores. Proponer un modelo de transferencia de tecnología financiera que permita reducir la morosidad y optimizar los mecanismos de asignación de créditos y construir dispositivos que faciliten la identificación de perfiles emprendedores en los solicitantes de crédito. Se aplicar el test de tendencias emprendedoras EAO. Los resultados, permitiran, estandarizar para Cordoba esta escala como instrumentos de detección de competencias emprendedoras y asociadamente morosidad. Y en una segunda etapa desarrolalr dispositivos y soportes para la toma de decisión de entidades e individuos, en red, que posibiliten estrategias para el sostenimiento de la trama empresarial , reducir la mora y aumentar la rotación al capital en las entidades. La importancia del proyecto radica en que indagará sobre las dimensiones motivacionales y las capacidades psico-sociales del emprendedor, asociadas a mayor o menor morosidad en el pago del micro crédito. Estos desarrollos permitiran la adaptacion del EAO en el contexto de Cordoba y su estandarizacion para la utilizacion del mismo por las organizaciones generadoras de posliticas publicas orientadas al sostenimiento de la red emprendedora. Aspira a generar e instalar un proceso innovador en red entre varias instituciones. De las cuales las centrales serán la FIDE , la dirección de micro emprendimientos y el sistema de ciencia y técnica. Para la asistencia técnica a los emprendedores incubados, que mediante el trabajo en red con la Dirección de Microemprendimientos del Gobierno de la Provincia de Córdoba facilitara el acceso al crédito de los incubandos, complementando a éstos recursos, con el potencial acceso, a través del asesoramiento de la FIDE, a programas de vinculación tecnológica que les proporcionen líneas de financiamiento para bienes de capital y asistencias técnicas especializadas.