Now showing items 6-25 of 83
Busquets, Dídac (Date of defense: 2003-07-28)
La navegació en entorns desconeguts no estructurats és encara un problema obert en el camp de la robòtica. En aquesta tesi presentem una aproximació per a la navegació de robots basada en la combinació de navegació basada ...
Mylonakis Pascual, Nicos (Date of defense: 2000-06-30)
A TYPE -THEORETIC APPROACH TO PROOF SUPPORT FOR ALGEBRAIC <br/> DESIGN FRAMEWORKS<br/><br/><br/> En el desarrollo formal de software, ...
Català Roig, Neus (Date of defense: 2003-07-14)
Information Extraction (IE) can be defined as the task of automatically extracting preespecified kind of information from a text document. The extracted information is encoded in the required format and then can be used, ...
Mayol Sarroca, Enric (Date of defense: 2000-04-03)
En aquesta tesi, proposem un nou mètode per a l'actualització consistent de bases de dades deductives. Donada una petició d'actualització, aquest mètode tradueix de forma automàtica aquesta petició en el conjunt de totes ...
Bifet, Albert (Date of defense: 2009-04-24)
Aquesta tesi està dedicada al disseny d'algorismes de mineria de dades per fluxos de dades que evolucionen en el temps i per l'extracció d'arbres freqüents tancats. Primer ens ocupem de cadascuna d'aquestes tasques per ...
Monclús, Eva (Date of defense: 2014-07-15)
Advances in Medical Visualization allows the analysis of anatomical structures with the use of 3D models reconstructed from a stack of intensity-based images acquired through different techniques, being Computerized ...
Isern Alarcón, David (Date of defense: 2009-02-05)
Les guies de pràctica clínica (GPC) contenen un conjunt d'accions i dades que ajuden a un metge a prendre decisions sobre el diagnòstic, tractament o qualsevol altre procediment a un pacient i sobre una determinada malaltia. ...
Grau Colom, Gemma (Date of defense: 2008-07-07)
Avui en dia, els sistemes d'informació són un actiu clau en les organitzacions i sovint els proporcionen un avantatges competitiu. Per a que això segueixi així, han de ser mantinguts i evolucionats d'acord amb els objectius ...
Raventós Pagès, Ruth (Date of defense: 2009-02-27)
Since the 1960s, many formal languages have been developed in order to allow software engineers to specify conceptual models and to design software artifacts. A few of these languages, such as the Unified Modeling Language ...
Vigo Anglada, Marc (Date of defense: 1998-11-30)
Godoy Balil, Guillem (Date of defense: 2001-10-11)
Bohada Jaime, John Alexander (Date of defense: 2012-06-20)
El concepto de procedimiento médico se refiere al conjunto de actividades seguidas por los profesionales de la salud para solucionar o mitigar el problema de salud que afecta a un paciente. La toma de decisiones dentro del ...
Nikitin, Nikita (Date of defense: 2013-04-05)
The microprocessor technology has experienced an enormous growth during the last decades. Rapid downscale of the CMOS technology has led to higher operating frequencies and performance densities, facing the fundamental ...
Romero Moral, Óscar (Date of defense: 2010-02-09)
Les experiències prèvies en l'àmbit dels magatzems de dades (o data warehouse), mostren que l'esquema multidimensional del data warehouse ha de ser fruit d'un enfocament híbrid; això és, una proposta que consideri tant els ...
Valls, Aïda (Date of defense: 2002-12-13)
Aquesta tesi presenta una nova metodologia per resoldre problemes de presa de decisions. Hem<br/>estudiat els casos en què cal considerar més d'un criteri. Aquests tipus de mètodes de decisió es<br/>coneixen com MCDM ...
Esteban Ángeles, Juan Luis (Date of defense: 2003-12-15)
Esta obra es una contribución al campo de la Complejidad de la Demostración, que estudia la complejidad de los sistemas de demostración en términos de los recursos necesarios para demostrar o refutar fórmulas proposicionales. ...
Cruz Matías, Irving Alberto (Date of defense: 2014-01-13)
Bio-CAD and in-silico experimentation are getting a growing interest in biomedical applications where scientific data coming from real samples are used to compute structural parameters that allow to evaluate physical ...
Campoalegre Vera, Lázaro (Date of defense: 2014-07-11)
With current medical imaging improvements, specialists are being able to obtain correct information of anatomical structures of the human organism. By using different image visualization techniques, experts can obtain ...
Samos Jiménez, José (Date of defense: 1997-05-14)
El principal objetivo de esta tesis es ampliar el estudio de los esquemas externos en BDOO, en particular, su proceso de definición. Una nueva metodología de definición de esquemas externos que simplifica considerablemente ...
Duch Brown, Amàlia (Date of defense: 2004-12-09)
Aquesta tesi està dedicada al disseny i a l'anàlisi d'estructures de dades multidimensionals, és a dir, estructures de dades que serveixen per emmagatzemar registres $K$-dimensionals que solen representar-se com a punts ...