Mètodes algebraics i de teoria de la prova per a la formalització del raonament vague

Projecte de recerca elaborat a partir d’una estada a la Università degli studi di Siena, Italy , entre 2007 i 2009. El projecte ha consistit en un estudi de la formalització lògica del raonament en presència de vaguetat amb els mètodes de la Lògica Algebraica i de la Teoria de la Prova. S'ha treballat fonamental en quatre direccions complementàries. En primer lloc, s'ha proposat un nou plantejament, més abstracte que el paradigma dominant fins ara, per l'estudi dels sistemes de lògica borrosa. Fins ara en l'estudi d'aquests sistemes l'atenció havia recaigut essencialment en l'obtenció de semàntiques basades en tnormes contínues (o almenys contínues per l'esquerra). En primer nivell de major abstracció hem estudiat les propietats de completesa de les lògiques borroses (tant proposicionals com de primer ordre) respecte de semàntiques definides sobre qualsevol cadena de valors de veritat, no necessàriament només sobre l'interval unitat dels nombres reals. A continuació, en un nivell encara més abstracte, s’ha pres l'anomenada jerarquia de Leibniz de la Lògica Algebraica Abstracta que classifica tots els sistemes lògics amb un bon comportament algebraic i s'ha expandit a una nova jerarquia (que anomenem implicacional) que permet definir noves classes de lògiques borroses que contenen quasi totes les conegudes fins ara. En segon lloc, s’ha continuat una línia d'investigació iniciada els darrers anys consistent en l'estudi de la veritat parcial com a noció sintàctica (és a dir, com a constants de veritat explícites en els sistemes de prova de les lògiques borroses). Per primer cop, s’ha considerat la semàntica racional per les lògiques proposicionals i la semàntica real i racional per les lògiques de primer ordre expandides amb constants. En tercer lloc, s’ha tractat el problema més fonamental del significat i la utilitat de les lògiques borroses com a modelitzadores de (part de) els fenòmens de la vaguetat en un darrer article de caràcter més filosòfic i divulgatiu, i en un altre més tècnic en què defensem la necessitat i presentem l'estat de l'art de l'estudi de les estructures algèbriques associades a les lògiques borroses. Finalment, s’ha dedicat la darrera part del projecte a l'estudi de la complexitat aritmètica de les lògiques borroses de primer ordre.

Factores de rendimiento asociados a SPMD

Actualmente existen muchas aplicaciones paralelas/distribuidas en las cuales SPMD es el paradigma más usado. Obtener un buen rendimiento en una aplicación paralela de este tipo es uno de los principales desafíos dada la gran cantidad de aplicaciones existentes. Este objetivo no es fácil de resolver ya que existe una gran variedad de configuraciones de hardware, y también la naturaleza de los problemas pueden ser variados así como la forma de implementarlos. En consecuencia, si no se considera adecuadamente la combinación "software/hardware" pueden aparecer problemas inherentes a una aplicación iterativa sin una jerarquía de control definida de acuerdo a este paradigma. En SPMD todos los procesos ejecutan el mismo código pero computan una sección diferente de los datos de entrada. Una solución a un posible problema del rendimiento es proponer una estrategia de balance de carga para homogeneizar el cómputo entre los diferentes procesos. En este trabajo analizamos el benchmark CG con cargas heterogéneas con la finalidad de detectar los posibles problemas de rendimiento en una aplicación real. Un factor que determina el rendimiento en esta aplicación es la cantidad de elementos nonzero contenida en la sección de matriz asignada a cada proceso. Determinamos que es posible definir una estrategia de balance de carga que puede ser implementada de forma dinámica y demostramos experimentalmente que el rendimiento de la aplicación puede mejorarse de forma significativa con dicha estrategia.

Análisis bioinformáticos sobre la tecnología Hadoop

Desde el inicio del proyecto del genoma humano y su éxito en el año 2001 se han secuenciado genomas de multitud de especies. La mejora en las tecnologías de secuenciación ha generado volúmenes de datos con un crecimiento exponencial. El proyecto Análisis bioinformáticos sobre la tecnología Hadoop abarca la computación paralela de datos biológicos como son las secuencias de ADN. El estudio ha sido encauzado por la naturaleza del problema a resolver. El alineamiento de secuencias genéticas con el paradigma MapReduce.

Las Imágenes del malestar. Representaciones del yo y la construcción de subjetividad en la producción audiovisual contemporánea y en los nuevos dispositivos tecnológicos

El tema de la investigación propuesto aquí, se centra en el malestar social, y la representación de éste desde un punto de vista personal y autobiográfico, algo que en estas página denomino Autorepresentación del malestar social. ¿Cómo se autorepresenta el malestar y qué prácticas artísticas se emplean para ello? ¿Cuáles son la transformaciones que provocan estas prácticas artísticas en el terreno audiovisual? En este sentido, exploraremos dos vías de análisis: por un lado nos interesa observar cuales han sido las modificaciones que el poder ha desarrollado para establecer nuevas formas de explotación, y por otro lado, veremos como estas modificaciones están generando una nueva praxis social donde las prácticas artísticas cobran un nuevo y reforzado sentido, así como una nueva capacidad política, individual y colectiva a un mismo tiempo, cargada de una fuerza transformadora capaz de componer nuevos espacios de sujeto. Analizaremos, desde la representación del yo en la vida cotidiana, el género y las relaciones interpersonales, hasta las transformaciones contemporáneas del trabajo, y los cambios en la construcción de la subjetividad. El principal elemento en el que se apoyaran nuestras investigaciones será el anàlisis de producciones audiovisuales contemporáneas y la distribución de estas en algunas de las redes de comunicación contemporáneas, intentando mostrar, de esta manera, la interacción y los efectos directos que provocan en la realidad social.

Universitat i discapacitat: construint un model d’aula inclusiva en el marc universitari

La present investigació es centre en crear un programa de formació i assessorament docent per atendre la diversitat d’estudiants en el marc universitari mitjançant els principis del disseny universal de la instrucció (DUI). D’aquesta manera es pretén donar resposta: a) a la necessitat d’implementar un model pedagògic en el marc universitari que doni resposta a la diversitat d’estudiants, b) de formar i canviar actituds docents vers la discapacitat i c) d’adaptar el nou marc legislatiu espanyol en matèria de discapacitat a les aules de les nostres universitats. A través d’un procés d’investigació-acció es detecten quins són les necessitats i dificulats pedagògiques, dels docents de les diferents universitats catalanes, per construir espais educatius que garanteixin la igultat d’oportunitats als estudiants amb discapacitat. Les dades obtingudes ens permeten crear una proposta de formació pels docents universitaris, basada en el paradigma educatiu del disseny universal de la instrucció.