Franco Bedoya, Oscar Hernán (Date of defense: 2018-02-27)
Background: Open source software (OSS) and software ecosystems (SECOs) are two consolidated research areas in software engineering. The adoption of OSS by firms, governments, researchers and practitioners ...
Civit Flores, Óscar (Date of defense: 2016-02-01)
This thesis focuses on the interactive simulation of highly detailed deformable solids modelled with the Corotational Finite Element Method. Starting from continuum mechanics we derive the discrete ...
Ruffini, Matteo (Date of defense: 2019-02-14)
Learning latent variable models is a fundamental machine learning problem, and the models belonging to this class - which include topic models, hidden Markov models, mixture models and many others - ...
Coma Puig, Bernat (Date of defense: 2022-03-02)
In recent years there has been an increase in the use of artificial intelligence and other data-based techniques to automate decision-making in companies, and discover new knowledge in research. In many ...
Madhyastha, Pranava Swaroop (Date of defense: 2017-07-25)
There has been an exponential surge of text data in the recent years. As a consequence, unsupervised methods that make use of this data have been steadily growing in the field of natural language ...
Álvarez Napagao, Sergio (Date of defense: 2016-02-08)
As distributed systems grow in complexity, the interactions among individuals (agents, services) of such systems become increasingly more complex and therefore more difficult to constrain and monitor. ...
San Pedro Martín, Javier de (Date of defense: 2017-10-27)
Graphs are one of the most used abstractions in many knowledge fields because of the easy and flexibility by which graphs can represent relationships between objects. The pervasiveness of graphs in many ...
Paz Ortiz, Alejandro Iván (Date of defense: 2022-05-03)
This manuscript explores automatic programming of sound synthesis algorithms within the context of the performative artistic practice known as live coding. Writing source code in an improvised way to ...
Taymouri, Farbod (Date of defense: 2018-12-21)
Conformance Checking is a new research discipline devoted to identify deviations between business process models and their real executions. Identifying deviations boils down to the notion of alignment ...
Zavala, Edith (Date of defense: 2019-07-05)
Nowadays, most of the approaches supporting self-adaptive systems (SASs) rely on static feedback control loops, for managing their adaptation process. One of the most popular feedback loops is the MAPE-K ...