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.

Hierarchical conditional random fields for parts based models matching

A parts based model is a parametrization of an object class using a collection of landmarks following the object structure. The matching of parts based models is one of the problems where pairwise Conditional Random Fields have been successfully applied. The main reason of their effectiveness is tractable inference and learning due to the simplicity of involved graphs, usually trees. However, these models do not consider possible patterns of statistics among sets of landmarks, and thus they sufffer from using too myopic information. To overcome this limitation, we propoese a novel structure based on a hierarchical Conditional Random Fields, which we explain in the first part of this memory. We build a hierarchy of combinations of landmarks, where matching is performed taking into account the whole hierarchy. To preserve tractable inference we effectively sample the label set. We test our method on facial feature selection and human pose estimation on two challenging datasets: Buffy and MultiPIE. In the second part of this memory, we present a novel approach to multiple kernel combination that relies on stacked classification. This method can be used to evaluate the landmarks of the parts-based model approach. Our method is based on combining responses of a set of independent classifiers for each individual kernel. Unlike earlier approaches that linearly combine kernel responses, our approach uses them as inputs to another set of classifiers. We will show that we outperform state-of-the-art methods on most of the standard benchmark datasets.

Optimización de la secuencia de difusión en RM 3T con modelo multifactorial IVIM en el estudio de la próstata.

La utilització de la seqüència de difusió en RM 3T amb un model multifactorial IVIM (Intravoxel Incoherent Motion) ofereix la possibilitat d'estudiar per separat la caiguda del senyal deguda a la difusió pròpiament dita, de la deguda als nuclis d'H de l'aigua lliure que es mouen en la xarxa de microcapil•lars del volum estudiat. Mostrem la nostra experiència en la implementació del model IVIM en l'estudi de la pròstata, demostrant que pot resultar útil en la comparació del teixit prostàtic respecte al teixit patològic amb diferències inicials estadísticament significatives, sent superior al càlcul de l'ADC.

El oficis artesanals a l'entrada del segle XXI

És un treball d'antropologia, que ha cercat els oficis artesanals de la comarca de la Noguera, fent un treball de camp etnogràfic, tot entrevistan artesans, i també una recerca bibliogràfica sobre la realitat socio-econòmica de la comarca. Finalment s'han tret conclussions sobre la relació dels oficis amb la comarca.

www.fevertravel.ch : an online study prototype to evaluate the safety and feasibility of computerized guidelines for fever in returning travellers and migrants

Résumé Suite à la publication des recommandations de pratiques cliniques sur la prise en soins de patients fébriles au retour des tropiques, nous avons développé un site internet de consultation www.fevertravel.ch qui comprend un arbre décisionnel et des caractéristiques diagnostiques spécifiques fournissant une assistance diagnostique aux médecins de premier recours. Nous avons ensuite intégré une composante de recherche afin d'évaluer l'implémentation de ces recommandations de pratiques cliniques informatisées. De plus, le site est capable d'enregistrer : (1) le chemin parcouru par le médecin au travers de l'arbre décisionnel, (2) les tests diagnostics effectués, (3) les diagnostics initial et final ainsi que les devenirs des patients et (4) les raisons de non-adhérence lorsque les médecins divergent de l'attitude proposée. Nous croyons que la technologie internat est un moyen puissant pour atteindre des médecins provenant de différents horizons dans leur propre environnement et qu'il pourrait se montrer être un outil de recherche efficace pour disséminer les recommandations de pratiques cliniques et évaluer leur justesse-adéquation. Dans cet article, nous décrivons le design, le contenu, l'architecture et l'implémentation du système de ce prototype d'étude interactive qui vise à intégrer une recherche opérationnelle en médecine de premier recours.

Estructura de datos avanzadas : clases disjuntas, montículos, árboles de búsqueda

En aquest treball s'amplia la implementació en Java de les estructures de dades iniciada per Esteve Mariné, utilitzant el seu disseny bàsic. Concretament, s'ha fet la programació de les estructures de a) classes disjuntes, utilitzant els algorismes de llistes encadenades i amb estructura d'arbre, b) monticles, amb els algorismes binari, binomial i de Fibonacci, i c) arbres de recerca basats en l'algorisme d'arbre binari vermell-negre, el qual complementa els dos ja existents amb algorismes d'encadenaments i AVL. Per a examinar l'evolució de les estructures, s'ha preparat un visualitzador gràfic interactiu amb l'usuari que permet fer les operacions bàsiques de l'estructura. Amb aquest entorn és possible desar les estructures, tornar a reproduir-les i desfer i tornar a repetir les operacions fetes sobre l'estructura. Finalment, aporta una metodologia, amb visualització mitjançant gràfics, de l'avaluació comparativa dels algorismes implementats, que permet modificar els paràmetres d'avaluació com ara nombre d'elements que s'han de tractar, algorismes que s'han de comparar i nombre de repeticions. Les dades obtingudes es poden exportar per a analitzar-les posteriorment.

Sistemes de pagament

Al llarg d'aquest treball es desenvolupa un sistema de micropagament basat en un model client - servidor en què el procés d'intercanvi de dades no necessita ser validat en temps real. El client té una cartera on guarda les monedes de què disposa per a fer les compres, i el servidor demana les monedes abans de fer la transferència del producte adquirit; aquestes monedes són guardades pel servidor i al final del dia es fa la conversió a diners.

De la fil·loxera a la Denominació d'Origen Pla de Bages : L'evolució de la vinya a la comarca del Bages al segle XX

Des de l'aparició de les primeres vinyes fil·loxerades al Bages, el 1889, a Navàs, fins a la creació de la DO Pla de Bages el 1995 ha passat un segle. Al llarg d'aquest període la comarca ha passat de ser una terra amb un conreu exclusiu i especialitzat, la vinya, a veure com aquest conreu gairebé desapareixia. Així, el motiu i l'objectiu principal d'aquest estudi és analitzar i comprendre l'evolució del conreu de la vinya al llarg d'un segle, per entendre les transformacions en l'àmbit de la viticultura.

El Paisatge

El paisatge de l’Alta Garrotxa ha sofert canvis radicals al llarg del temps i molt especial a les darreres dècades. Es proporcionen dades estadístiques sobre bosc, bosquina, pastura, conreu, vegetació de cinglera i zona estèril (roca nua, etc.)

Calidad de vida relacionada con la salud y consumo de tabaco

La calidad de vida relacionada con la salud se ha descrito como un concepto multidimensional que incluye la identificación de síntomas, el estado funcional, la percepción de bienestar psicológico y la percepción general de salud. En el caso de la adicción al consumo de tabaco, la preocupación por la salud actual o futura es uno de los motivos más informados para dejar de fumar. En el presente estudio se analiza la relación entre la percepción de la calidad de vida relacionada con la salud y la etapa de cambio en el abandono del consumo de tabaco propuesta desde el modelo transteórico a fin de mejorar las estrategias de intervención comunitaria y clínica para la cesación tabáquica. Se ha administrado el cuestionario SF-36 a una muestra formada por 201 fumadores y exfumadores. Los datos obtenidos indican peor salud física percibida en las etapas de cambio más próximas al abandono de tabaco y una peor salud mental percibida en las etapas con tabaquismo activo. Se comparan los resultados con los observados en otras poblaciones y se discuten las implicaciones a nivel de tratamiento y prevención del tabaquismo

Determinació de l’efecte de la temperatura en l’eficàcia de les matèries actives 6-benziladenina i àcid naftalè acètic emprades en l’aclarida química de pomera

Estudi de l’ efecte de les condicions ambientals,concretament de la temperatura, sobre l’eficàcia de les principals matèries actives, àcid naftalè acètic (ANA) i 6- benziladenina (6-BA), emprades en l’aclarida química de les pomeres

Programari creador i consultor de genealogia familiar

Aquest projecte es centre en el disseny d’ un programari creador iconsultor de genealogia familiar. Es tracta d'un programari per a ús individual, no col.lectiu, i sense ànimde lucre, on les dades més importants són les dels familiars. Qualsevol usuari pot crear diversesfamílies (en un mateix sistema) i associar-hi familiars. Es poden introduir molts tipus de dadespersonals, a més de poder vincular-hi els arxius i events que es desitgin. Un event és unaconteixament en la vida d'una o diverses persones. D'aquesta manera l'usuari pot agregar moltstipus d'esdeveniments diferents als familiars i també hi ha la opció, que diferencia l'aplicació demoltes altres ja existents, d'agregar esdeveniments als events. També cal destacar que a cadafamiliar, arxiu i event pot associar-se un lloc (poblacio, regió i estat) i d'aquesta forma la informaciótotal que es pot generar, encara és encara més completa. La possibilitat de crear llocs nous és forçaàmplia. Finalment l'usuari podrà associar els diferents familiars segons parentesc i d'aquesta formaobtenir un arbre genealògic de tota la família. Un dels aspectes més treballats a l'aplicació, ha estat que totes les dades anteriorment esmentades, poguessin ser visualitzades fàcil i ràpidament per l'usuari final. La navegació entrepantalles i les diferents opcions, han estat pensades i dissenyades, perquè l'usuari final no tingui cap dificultat, sigui quin sigui el seu nivell. D'aquesta manera, a més de la gestió possible de dades de familiars, arxius, events i llocs; la utilització de le mateixes i la creació de multitud de vistes i cerques diferents, ajuden a que el programari sigui força complet

Projecte d'una explotació de boví de llet a la finca "Cal Verd" de Llambilles

L’objectiu del projecte és determinar la viabilitat i la rendibilitat de la instauració d’una explotació de vaques de llet en una zona agrícola on es practica el conreu d’ordi. La finca on se situa és a “Cal Verd”, al municipi de Llambilles, comarca del Gironès. S’estudia la construcció d’una nau principal on s’allotjaran tots els animals de l’explotació, un edifici annex on s’instal·larà la sala de munyir, la lleteria, l’oficina i un lavabo; una fossa de purins i un femer per a l’emmagatzematge de les dejeccions dels animals

Projecte de cultiu ecològic de planta aromàtica i medicinal i avantprojecte d'assecador a la finca de Mas Teulera, al municipi de Lladó, l'Alt Empordà

El projecte estudia la producció ecològica de planta aromàtica i medicinal com a alternativa a la producció de cereals en una de les parcel·les de Mas Teulera, situada al terme municipal de Lladó, a l’Alt Empordà, per millorar la rendibilitat econòmica de la finca. Es proposa la rotació de cultius de planta aromàtica i medicinal més adequada tenint en compte la seva adaptació en el medi, la sortida comercial més interessant i la compatibilitat del seu procés productiu amb les característiques tècniques de l’explotació. Es realitza a més, un avantprojecte sobre la transformació de la collita per a conèixer les característiques del procés d’assecat de les plantes necessari per obtenir un producte de qualitat i amb el format adequat per a la seva comercialització