Departament de Llenguatges i Sistemes Informàtics (fins juliol 2014)

La Universitat Politècnica de Catalunya. Barcelona Tech (UPC) és una institució pública de recerca i d'educació superior en els àmbits de l'enginyeria, l'arquitectura i les ciències.

L’activitat dels seus campus i centres fan de la UPC un punt de referència i, en complicitat amb el teixit productiu, són agent i motor de canvi econòmic i social, en posar en valor la recerca bàsica i aplicada i transferir tecnologia i coneixement a la societat.

Els investigadors i investigadores de la UPC treballen des dels laboratoris i centres de recerca per augmentar la producció científica, valoritzar-la socialment a través de la transferència de resultats i continuar liderant projectes internacionals d’excel·lència, ja sigui a partir d’iniciatives pròpies o en col·laboració amb altres centres de recerca i universitats d’arreu del món.

Futur

Portal de la producció científica dels investigadors de la UPC.

UPCommons

Portal d'accés obert al coneixement de la UPC


Si sou doctor o doctora per la Universitat Politècnica de Catalunya i voleu publicar la vostra tesi a TDX, contacteu amb tdx@upc.edu. Per a més informació consulteu les preguntes més freqüents

Enviaments recents

La visió de la informàtica en la literatura de ciència ficció 

Barceló Garcia, Miquel (Data de defensa: 1990-09-01)

(Cat) Aquesta memòria descriu com la literatura de ciència ficció reflecteix en les seves narracions els conceptes i resultats propis de la ciència i la tecnologia informàtica. Aquesta visió cal entendre-la en un sentit ...

Contributions to the interactive visualization of medical volume models in mobile devices 

Campoalegre Vera, Lázaro (Data de defensa: 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 ...

Variants of unification considering compression and context variables 

Gascón Caro, Adrià (Data de defensa: 2014-05-30)

Term unification is a basic operation in several areas of computer science, specially in those related to logic. Generally speaking, it consists on solving equations over expressions called terms. Depending on the kind of ...

Structural and computational aspects of simple and influence games 

Riquelme Csori, Fabián (Data de defensa: 2014-07-29)

Simple games are a fundamental class of cooperative games. They have a huge relevance in several areas of computer science, social sciences and discrete applied mathematics. The algorithmic and computational complexity ...

Dissemination and visualisation of biological data 

Gel Moreno, Bernat (Data de defensa: 2014-07-29)

With the recent advent of various waves of technological advances, the amount of biological data being generated has exploded. As a consequence of this data deluge, new challenges have emerged in the field of biological ...

Advanced interaction techniques for medical models 

Monclús, Eva (Data de defensa: 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 ...

A method for the unified definition and treatment of conceptual schema quality issues 

Aguilera Moncusí, David (Data de defensa: 2014-06-06)

The modern world is software-intensive. National infrastructures, smartphones and computers, health-care systems, e-commerce... everything is run by software. Therefore, developing high-quality software solutions is essential ...

Exploiting distributional semantics for content-based and context-aware recommendation 

Codina Busquet, Victor (Data de defensa: 2014-06-13)

During the last decade, the use of recommender systems has been increasingly growing to the point that, nowadays, the success of many well-known services depends on these technologies. Recommenders Systems help people to ...

Enriching unstructured media content about events to enable semi-automated summaries, compilations, and improved search by leveraging social networks 

Steiner, Thomas (Data de defensa: 2014-05-20)

(i) Mobile devices and social networks are omnipresent Mobile devices such as smartphones, tablets, or digital cameras together with social networks enable people to create, share, and consume enormous amounts of media ...

Contribution to structural parameters computation: volume models and methods 

Cruz Matías, Irving Alberto (Data de defensa: 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 ...

Non-functional requirements as drivers of software architecture design 

Ameller, David (Data de defensa: 2014-01-23)

In the last decades, software engineering has become an important area of research. As researchers, we try to identify a problem, a need, or a hole in some research topic, once identified we make an effort to produce new ...

Exploration of customer churn routes using machine learning probabilistic models 

Garcia Gomez, David (Data de defensa: 2014-04-10)

The ongoing processes of globalization and deregulation are changing the competitive framework in the majority of economic sectors. The appearance of new competitors and technologies entails a sharp increase in competition ...

Geometric constraint solving in a dynamic geometry framework. 

Hidalgo García, Marta R. (Data de defensa: 2013-12-02)

Geometric constraint solving is a central topic in many fields such as parametric solid modeling, computer-aided design or chemical molecular docking. A geometric constraint problem consists of a set geometric objects on ...

Learning finite-state machines: statistical and algorithmic aspects 

Balle Pigem, Borja de (Data de defensa: 2013-07-12)

The present thesis addresses several machine learning problems on generative and predictive models on sequential data. All the models considered have in common that they can be de ned in terms of nite-state machines. On ...

ProCLAIM: an argument-based model for deliberating over safety critical actions 

Tolchinsky, Pancho (Data de defensa: 2012-07-09)

In this Thesis we present an argument-based model – ProCLAIM – intended to provide a setting for heterogeneous agents to deliberate on whether a proposed action is safe. That is, whether or not a proposed action is expected ...

Efficient algorithms for the realistic simulation of fluids 

Ojeda Contreras, Jesús (Data de defensa: 2013-05-28)

Nowadays there is great demand for realistic simulations in the computer graphics field. Physically-based animations are commonly used, and one of the more complex problems in this field is fluid simulation, more so if ...

Solving hard industrial combinatorial problems with SAT 

Abío Roig, Ignasi (Data de defensa: 2013-05-15)

The topic of this thesis is the development of SAT-based techniques and tools for solving industrial combinatorial problems. First, it describes the architecture of state-of-the-art SAT and SMT Solvers based on the classical ...

On the complexity of resolution-based proof systems 

Oliva Valls, Sergi (Data de defensa: 2013-05-02)

Propositional Proof Complexity is the area of Computational Complexity that studies the length of proofs in propositional logic. One of its main questions is to determine which particular propositional formulas have short ...

Enhanced perception in volume visualization 

Díaz Iriberri, José (Data de defensa: 2013-04-26)

Due to the nature of scientic data sets, the generation of convenient visualizations may be a difficult task, but crucial to correctly convey the relevant information of the data. When working with complex volume models, ...

The hiring problem and its algorithmic applications 

Helmi Mohamed Elsadek, Ahmed Mohamed (Data de defensa: 2013-04-08)

The hiring problem is a simple model for on-line decision-making under uncertainty, recently introduced in the literature. Despite some related work dates back to 2000, the name and the first extensive studies were written ...

Més