An efficient solver for weighted Max-SAT

We present a new branch and bound algorithm for weighted Max-SAT, called Lazy which incorporates original data structures and inference rules, as well as a lower bound of better quality. We provide experimental evidence that our solver is very competitive and outperforms some of the best performing Max-SAT and weighted Max-SAT solvers on a wide range of instances.

Singling out individual inventors from patent data

An increasing number of studies in recent years have sought to identify individual inventors from patent data. A variety of heuristics have been proposed for using the names and other information disclosed in patent documents to establish who is who in patents. This paper contributes to this literature by describing a methodology for identifying inventors using patents applied to the European Patent Office, EPO hereafter. As in much of this literature, we basically follow a threestep procedure : 1- the parsing stage, aimed at reducing the noise in the inventor’s name and other fields of the patent; 2- the matching stage, where name matching algorithms are used to group similar names; and 3- the filtering stage, where additional information and various scoring schemes are used to filter out these similarlynamed inventors. The paper presents the results obtained by using the algorithms with the set of European inventors applying to the EPO over a long period of time.

Reflexiones sobre el miedo en el siglo XXI: Filosofía, política, genética y evolución

La actualidad y los acontecimientos de las últimas décadas han puesto de manifiesto la importancia del miedo en la vida pública. El miedo como tal y sus factores desencadenantes están presentes en la prensa, el discurso político, la neurociencia, la ciencia y la filosofía política. Entendemos que la gestión del miedo intuitivo, cognitivo y heurístico debe contemplarse como un elemento básico en la vida del ciudadano de este siglo. Tanto en la visión moderna de la nación y el contrato social, como en las visiones más futuristas de cosmopolitismo y estados supranacionales, la heurística del miedo difícilmente podrá desaparecer de los sistemas jurídicos y sociales, no solo por su utilidad intrínseca, sino también por su inmanencia y consubstancialidad genético-biológica y psico-social. El hecho de que exista miedo consideramos que es positivo puesto que nos alerta de riesgos que pueden afectar negativamente el futuro del individuo.

¿Cómo vive nuestro cuerpo las ausencias de un ser querido?

Con esta investigación pretendo utilizar las técnicas de la Danza Movimiento Terapia como una herramienta que ayude en la elaboración de los procesos de duelo, mediante la puesta en movimiento de elementos relacionados con la contratransferencia CT y la contratransferencia somática CTS, apoyándome en la clasificación que hace Fuchs de la memoria corporal. La metodología utilizada es la heurística, en la que trabajo mis duelos pendientes, mediante la realización de 3 talleres vivenciales de DMT (los cuales fueron grabados) con un grupo de terapeutas de duelo, donde ellas debían poner en movimiento las emociones relacionadas con la pérdida de un ser querido. Posteriormente he visto las grabaciones y he ido anotando mis respuestas corporales y emocionales en un documento al que he nombrado Análisis de los talleres (Adlt), lo que me llevó a conectar con algunas emociones contenidas durante muchos años. Me apoyé, además, en un pequeño diario que he llamado Diario de mi tesina (Ddmt), donde registré algunas consideraciones importantes surgidas desde el momento en que decidí realizar mi investigación sobre el duelo. Cada uno de los talleres tenía como objetivo vivenciar un aspecto diferente, es así como en el primero se trabajó con recuerdos relacionados con la infancia, en el segundo los recuerdos incluían la presencia de la persona fallecida y en el tercero se trabajaron aspectos del rol como terapeutas de duelo.

Desenvolupament d'interfícies d'usuari i visualització d'imatge mèdica en dispositius mòbils Android

Aquest treball tracta sobre la realització d’una aplicació per a dispositius Android que permeti visualitzar imatges mèdiques. Amb la col·laboració del parc Taulí de Sabadell s’han realitzat tasques de recerca de requeriments com l’elaboració d’una entrevista o la realització d’una maqueta de paper que s’ha sotmès a una avaluació heurística en un procés iteratiu. Finalment, s’ha implementat una aplicació on es poden visualitzar imatges mèdiques, fer accions sobre elles com canviar el color o fer zoom i accedir a informació del pacient.