### Recent Submissions

• #### Logic and proof assistants ﻿

(Universitat Politècnica de Catalunya, 2016-06)
Master thesis
Restricted access - author's decision
A short, mostly self-contained introduction to Homotopy Type Theory, which ends with the proof of Seifert-Van Kampen Theorem for sets. It was supposed to be a study about Coq prood assistant, but it ended up being an ...
• #### Relative ideal discriminant on Kummer extensions ﻿

(Universitat Politècnica de Catalunya, 2016-07)
Master thesis
Restricted access - author's decision
S'exposa la teoria bàsica de ideals discriminants realtius sobre extensions de cossos i la teoria bàsica de extensions de Kummer. Es calculen alguns exemples de ideals discriminants realtius per a extensions cícliques de ...
• #### Graph partitioning for the reduction of data transfer in task-based programming models ﻿

(Universitat Politècnica de Catalunya, 2016-07)
Master thesis
Restricted access - author's decision
Covenantee: Computer Sciences (BSC-CNS)
Current high performance computing architectures are composed of large shared memory NUMA nodes, among other components. Such nodes are becoming increasingly complex as they have several NUMA domains with different access ...
• #### Traffic modelling for Big Data backed telecom cloud ﻿

(Universitat Politècnica de Catalunya, 2016-07)
Master thesis
Open Access
The objective of this project is to provide traffic models based on new services characteristics. Specifically, we focus on modelling the traffic between origin-destination node pairs (also known as OD pairs) in a telecom ...
• #### Stable and periodic solutions to nonlinear equations with fractional diffusion ﻿

(Universitat Politècnica de Catalunya, 2016-07)
Master thesis
Open Access
The aim of this thesis is to study stable solutions to nonlinear elliptic equations involving the fractional Lapacian. More precisely, we study the extremal solution for the problem $(\Delta )^s u = \lambda f(u)$ in $\Omega$, ...
• #### Òrbites d'Ejecció-Col·lisió en el Problema Restringit dels Tres Cossos ﻿

(Universitat Politècnica de Catalunya, 2016-07)
Master thesis
Open Access
En aquest treball farem un estudi del problema restringit dels tres cossos i de les òrbites d'ejecció-col·lisió. Com és conegut, per a valors suficientment petits del paràmetre de masses i regions de Hill prou restrictives ...
• #### Comparison of a size-dependent model for the latent heat of small tin nanoparticles ﻿

(Universitat Politècnica de Catalunya, 2016-07)
Master thesis
Open Access
The classical formulation for the Stefan problem at the nanoscale does not work because the melting temperature and the effective latent heat decrease with the nanoparticle size. In this work, a model for the effective ...
• #### Conic portfolio theory ﻿

(Universitat Politècnica de Catalunya, 2016-07)
Master thesis
Open Access
Conic financial theory is based on the existence of a two price economy (bid and ask prices) for market valuation and risk measures. We study the portfolio selection problem within the framework of conic finance. With this ...
• #### Dynamics and transitions in symmetric hypercycles: the role of the hypercycle size ﻿

(Universitat Politècnica de Catalunya, 2016-07)
Master thesis
Open Access
The symmetric hypercycle with error tail has been widely studied both numerically and analytically in the last years, but there are still many open questions. In this work we will try to give an answer for a few of these ...
• #### Entropy methods for sumset inequalities ﻿

(Universitat Politècnica de Catalunya, 2016-07)
Master thesis
Open Access
In this thesis we present several analogies betweeen sumset inequalities and entropy inequalities. We offer an overview of the different results and techniques that have been developed during the last ten years, starting ...