Seguretat en xarxes i aplicacions distribuïdes: MANET routing

L’objectiu del projecte és tractar de donar solució al problema d’interconnexió de dispositius mòbils, en concret de PDAs Nokia 810, en una situació on no es disposa d’un punt d’accès fixe. Per a fer-ho possible es forma una xarxa MANET, és a dir una xarxa Ad-hoc mòbil, on els nodes són els propis dispositius. Un cop establerta la connexió, s’obté un llistat actualitzat amb les adreces IP de tots els nodes visibles de la xarxa.

Diseño de un juego para pantalla LCD gráfica y controlado por el microprocesador HCS12

En una época como la actual, en la que se hace necesario disponer de equipos con grandes características y recursos para poder disfrutar de los últimos lanzamientos en juegos, no dejan de producirse equipos de bajo coste basados en microcontroladores que pueden entretener al mismo nivel que los más caros. Este proyecto reúne el diseño de la configuración, interconexión y programación de código necesarios para ejecutar un juego sencillo. Para ello se ha utilizado una pantalla LCD táctil y un microcontrolador HCS12.

Polítiques del càstig? Anàlisi comparada del discurs de la política penitenciària a Dinamarca, França, Anglaterra i Gal·les, i el Canadà

L'objectiu principal de l'estudi ha estat conèixer els marcs cognitius i institucionals que tenen les polítiques penitenciàries de Dinamarca, França, Regne Unit i Gal·les i Canadà. Es comparen els discursos presents de fonts directes i indirectes que donen fonamentació semàntica a cada una de les accions polítiques reals d'aquests països. En aquest sentit, es parteix del paradigma que la acció és una comunicació, un discurs que produeix el sistema, que s'orienta significativament al voltant dels marcs cognitius de construcció autoreferencial. Aquests marcs s'agrupen per a la seva presentació en 4 nivells de categories conceptuals: a) fonaments político-filosòfics de la organització social del país en qüestió b) fonaments político-semàntics en la seva forma d'Estat; c) fonaments político-filosòfics en la forma del seu dret penal i el seu sistema penitenciari d) fonaments político-filosòfics de la seva execució penitenciària. Es tracta, doncs, d'analitzar el sentit mateix del càstig i de les formes que adopta. Amb tot això, es presenten arguments suficients que estableixen el valor diferencial de cada política penitenciària, malgrat els esforços d'homogeneïtzació que s'han volgut fer en el procés anomenat d'europeïtzació. En segon lloc es presenta una comparació dels quatre casos, en funció de les categories establertes i una reflexió crítica respecte les maneres que s’està duent a terme el debat sobre la europeïtzació de les polítiques penitenciàries. Amb tot això, es mostra com el anomenat vocable "reinserció social", es desdibuixa i es posa en dubte en funció de la singularitat de cada política, i ressaltat per la tendència de la europeïtzació de les polítiques penitenciàries.

Predictive and distributed routing balancing (PR-DRB): high speed interconnection networks

Current parallel applications running on clusters require the use of an interconnection network to perform communications among all computing nodes available. Imbalance of communications can produce network congestion, reducing throughput and increasing latency, degrading the overall system performance. On the other hand, parallel applications running on these networks posses representative stages which allow their characterization, as well as repetitive behavior that can be identified on the basis of this characterization. This work presents the Predictive and Distributed Routing Balancing (PR-DRB), a new method developed to gradually control network congestion, based on paths expansion, traffic distribution and effective traffic load, in order to maintain low latency values. PR-DRB monitors messages latencies on intermediate routers, makes decisions about alternative paths and record communication pattern information encountered during congestion situation. Based on the concept of applications repetitiveness, best solution recorded are reapplied when saved communication pattern re-appears. Traffic congestion experiments were conducted in order to evaluate the performance of the method, and improvements were observed.

Un aspecte semàntic dels termes generals : la rigidesa

L'objectiu de la recerca és determinar quina és la noció de rigidesa més adient per als termes generals. Els termes generals són els que, per oposició als termes singulars, es poden aplicar a més d'un individu o exemplar, com per exemple 'tigre', 'aigua', 'bolígraf'. Des de Kripke es considera que alguns termes singulars, com els noms propis, són rígids. Un terme singular és rígid quan designa el mateix individu o objecte en tot món possible. Així 'Sòcrates' és un terme rígid perquè designa el mateix individu, Sòcrates, en tota circumstància contrafàctica. Kripke va proposar que alguns termes generals, com els termes de gènere natural, tals com 'aigua', 'calor' o 'tigre' també són rígids, però no va donar cap formulació precisa de la rigidesa per a termes generals. Des de llavors s'han proposat bàsicament dues concepcions de la rigidesa per a aquests termes: la que els considera designadors rígids i la que els considera aplicadors rígids. L'anàlisi de les dues concepcions pretén determinar quina és la millor comprensió de la rigidesa per a aquests termes, resultant la concepció dels aplicadors rígids indesitjable fonamentalment pels seus compromisos metafísics i allunyats de la semàntica.

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.

Degeneració Lobular Fronto-Temporal. Fenotips Clínics i Evolució

Estudi retrospectiu de recollida de dades clíniques i de neuroimatge de pacients diagnosticats, em La clínica diària, de Degeneració Lobular Fronto-Temporal (DLFT) entre gener de 1996 i Marc de 2008. Es descriuen dades demogràfiques i clíniques i es classifiquen en fenotips al diagnòstic inicial segons variants de: DFT-vc (Demència fronto-temporal variant de conducta), APNF (Afàsia Progressiva no fluent) DS (Demència Semàntica) SCB (Síndrome Còrtico-Basal) y PSP (Paràlisis Supranuclear Progressiva). Es descriuen els canvis clínics durant el seguiment i s’analitzen els patrons radiològics en les neuroimatges disponibles. S’inclouen també dades d’ApoE i l’estudi anatomopatològic realitzat a 17 d’ells.

La dimensió política de la construcció social del Programari Lliure

Aquest estudi es presenta com una aproximació al fenomen del Programari Lliure des de la seva vessant política. Lluny de tractar-se d'una alternativa tecnològica la naturalesa de la qual seria explicable en termes exclusivament tècnics - la qual cosa no faria sinó atribuir-li una presumpta neutralitat tecnològica -, ací assumim que tota tecnologia s'inscriu en un procés de construcció social en el que incideixen factors de tipus social, econòmic, polític i/o moral que rebasen allò merament tècnic. Creguem que en el cas del Programari Lliure es donen cita tots aquests factors, sent el plànol polític el que adquireix un especial protagonisme en dit procés de construcció i que mereix de tractament aïllat. D'aquesta manera, la semàntica de allò polític serà examinada en les seves diferents accepcions a través de dos plànols complementaris. Per una banda, rastrejant els fonaments culturals que subjauen al Programari Lliure i les seves possibles concomitàncies de contingut polític. D'altra, descrivint la praxis actual d'actors heterogenis (corporacions, governs, associacions d'usuaris,...) desenvolupada en un marc global d'interacció col·lectiva, que es revisteix igualment, producte de la confrontació estratègica d'interpretacions i discursos particulars sobre el mateix, d'un caràcter indubtablement polític.

Onto-Trauma : Ontologia d'aprenentatge en l'àrea de la cirurgia traumatològica

Treball en què es crea una ontologia per simular totes les etapes d'una operació traumatològica, i usa aquesta ontologia per crear un prototip de wiki semàntica.

Projecte OntoTrauma : Definició d'una ontologia d'aprenentatge en l'àrea de cirurgia traumatològica

Aquest treball fa una revisió de les principals tecnologies implicades en la web semàntica i fa ús d'elles per obtenir una base de dades semàntica de coneixement dins del domini de les operacions quirúrgiques traumatològiques.

Ontologia d'aprenentatge en l'àrea de la cirurgia traumatològica

Creació d'una wiki semàntica per l'aprenentatge en l'àrea de la cirurgia traumatològica amb OntoWiki i Semantic MediaWiki.

Estudi del concepte d'ontologia i del llenguatge RDF : Aplicació a l'arqueologia

L'objectiu final d'aquest treball és conèixer i entendre l'anotació semàntica en pàgines web a partir d'un estudi de recerca i d'un cas pràctic.

Estudi de com OWL amplia la funcionalitat d' RDF i aquest, a la vegada d' XML.

L'objectiu general d'aquest treball és conèixer el concepte de web semàntica i aprofundir-hi, i també entendre els principis bàsics d'algunes de les tecnologies en què recolza: les ontologies, l'XML, l'RDF i l'OWL.

Llenguatges de consulta per documents RDF

Els objectius principals d'aquest projecte són analitzar i descartar algunes dels llenguatges de consulta, gestors relacionals i reposadors que s'estan utilitzant més habitualment en l'entorn de la Web Semàntica. Amb l'estudi de les principals tecnologies implicades en la Web Semàntica es tractarà de realitzar una aplicació que permeti el maneig de dades d'un graf RDF.

Estudi dels llenguatges de consulta per a documents RDF

Aquest treball aporta una visió general de la Web Semàntica i alhora n'estudia en suficient detall les principals tecnologies relacionades. Com a objectiu final per comprovar de forma pràctica la teoria descrita, l'aplicació web permet consultar bases de dades RDF mitjançant el llenguatge de consulta SPARQL.