Desarrollo de interfases con transferencia controlada de especies moviles. Síntesis, caracterizacion y aplicaciones. Development of Interphases with Controlled Transference of Mobile Species. Synthesis, Characterization and Applications.

Se propone sintetizar nuevos materiales como bloques de construcción de estructuras en escala nanometrica o micrométrica: nanotubos de carbono funcionalizados; nanopartículas metálicas; hidrogeles inteligentes; carbones mesoporosos. Con ellos se construiran interfaces solido/liquido estructuradas: multicapas autoensambladas, patrones micrométricos con heterogeneidad tridimensional y estructuras jerárquicas. Se estudiara el intercambio de especies móviles en las interfaces usando técnicas electroquímicas, espectroelectroquimicas, ópticas y de microscopia. De esta manera se podran controlar el intercambio en esa interface. En base a este conocimientos se desarrollaran aplicaciones tecnológicas tales como sensores de oligonucletidos, microceldas de combustible, arreglos de microelectrodos y supercapacitores.

Sistemática filogenética y biología reproductiva con énfasis en solanum y capsicum (solanaceae). Systematics, phylogeny and reproductive biology with emphasis in solanum and capsicum (solanaceae).

Muchas respuestas a preguntas básicas sobre relaciones evolutivas, ubicación sistemática y evolución de caracteres morfológicos y ecológicos pueden ser obtenidas a través de las reconstrucciones filogenéticas. Sobre este contexto se pretende encarar en este proyecto estudios de filogenia molecular, revisiones sistemáticas, biología reproductiva y citogenética en Solanáceas americanas. Se intentará resolver la delimitación específica de Solanum sect. Solanum y Geminata, y Capsicum, y establecer relaciones filogenéticas en estos grupos. Se harán revisiones analizándose caracteres vegetativos y reproductivos críticos para evaluar su variabilidad y definir su valor taxonómico; para los estudios moleculares se utilizarán los marcadores ndhF, trnT-L, trnL-F y waxy. En base a los resultados se propondrán agrupamientos y relaciones de parentesco. Además, se hará un estudio cariosistemático para caracterizar y circunscribir especies en Solanum y miembros de la tribu Physaleae, y hasta variedades y/o cultivares en Capsicum, mediante técnicas clásicas y de bandeos de fluorescencia y AgNOR e hibridación in situ fluorescente (FISH). A nivel reproductivo, se estudiará la ecofisiología en las estructuras masculinas y su incidencia en la fructificación en Capscium baccatum. El desarrollo de esta temática comprende experiencias in vivo (a campo y en laboratorio) así como estudios histológicos y químicos.Se espera avanzar en la resolución de algunos problemas: 1) la complicada delimitación de especies de los taxones en estudio; 2) las relaciones filogenéticas en algunos de ellos; 3) la falta de conocimiento de la organización genómica; 4) el origen de las especies cultivadas de Capsicum. En cuanto a la biología reproductiva, para C. baccatum se pretende avanzar en el conocimiento de variables de relevancia en la reproducción, en especial los efectos del ambiente.

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.