Machado, Lucas (Date of defense: 2019-02-21)
Over the course of 60 years, since the invention of the integrated circuit (IC), exponential improvements in cost, performance and power consumption were observed. Such advances have been strongly linked ...
Martínez Garcia, Eva (Date of defense: 2019-12-19)
In this thesis, we study the automatic translation of documents by taking into account cross-sentence phenomena. This document-level information is typically ignored by most of the standard state-of-the-art ...
Cardó, Carles, 1975- (Date of defense: 2018-03-15)
We propose a mathematical formalism called Algebraic Dependency Grammar with applications to formal linguistics and to formal language theory. Regarding formal linguistics we aim to address the problem ...
Palomares Bonache, Cristina (Date of defense: 2016-10-04)
The final quality of software products and services depends on the requirements stated in the Software Requirements Specifications (SRSs). However, some problems like ambiguity, incompleteness and ...
Marco-Sola, Santiago (Date of defense: 2017-09-20)
One of the outstanding milestones achieved in recent years in the field of biotechnology research has been the development of high-throughput sequencing (HTS). Due to the fact that at the moment it is ...
Oriol Hilari, Xavier (Date of defense: 2017-07-11)
Ensuring the data correctness of some information system is a crucial task. So, software engineers specify sets of integrity constraints that should be satisfied by the system's data. These constraints, ...
Martínez-Fernández, Silverio (Date of defense: 2016-06-23)
Background: Software reference architectures are becoming widely adopted by organizations that need to support the design and maintenance of software applications of a shared domain. For organizations ...
Cabrera Bejar, Oscar Jair (Date of defense: 2017-06-19)
Current software community players like academy and industry have been changing the traditional paradigms of software engineering towards context-awareness and distributed computing. Nowadays, ...
Argudo Medrano, Oscar (Date of defense: 2018-07-19)
During the last years, we have witnessed significant improvements in digital terrain modeling, mainly through photogrammetric techniques based on satellite and aerial photography, as well as laser ...
Hermosilla Casajús, Pedro (Date of defense: 2017-07-13)
Molecular dynamics simulations are computer simulations of the physical movements of atoms and molecules, and the interactions between them. In the particular cases we focus on (pharmaceutical drug ...
004 - Computer science and technology. Computing. Data processing (41)
68 - Industries, crafts and trades for finished or assembled articles (2)
577 - Material bases of life. Biochemistry. Molecular biology. Biophysics (1)
611 - Anatomy. Human and comparative anatomy (1)