Recent Submissions

  • Logic and proof assistants 

    Martínez Coronado, Tomás (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 

    Tapia Gonzalez, Xavier (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 

    Sánchez Barrera, Isaac (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 

    Via Baraldés, Anna (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 

    Sanz Perela, Tomás (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 

    Rodríguez Del Río, Óscar (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 

    González Esteve, Adrià (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 

    Ferrer Fernàndez, Sergi (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 

    Farré Puiggalí, Gerard (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 

    Espuny Díaz, Alberto (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 ...

View more