Enviaments recents

  • Elementos finitos de alto orden para problemas con interfaces materiales 

    Barceló Mercader, Jordi (Universitat Politècnica de Catalunya, 2017-01)
    Treball Final de Grau
    Accés restringit per decisió de l'autor
    La solució de problemes amb intefícies materials és en l'actualitat un problema de gran interés. El mètode eXtended Finite Elements permet resoldre aquests tipus de problemes sense necessitat d'una malla que s'adapti a la ...
  • Desenvolupament d'un algoritme d'optimització de valors nutricionals dietètics i aplicació tecnològica per a dispositius mòbils 

    Cuxart Caballeria, Aina (Universitat Politècnica de Catalunya, 2017-01)
    Treball Final de Grau
    Accés restringit per decisió de l'autor
    En els últims anys ha crescut la preocupació per dur un estil de vida saludable i tenir una alimentació equilibrada. Alhora l'ús de les tecnologies mòbils s'ha disparat entre la població i cada vegada ofereixen més prestacions ...
  • Extraction of threshold functions from formulas in propositional logic 

    Milesi Vidal, Eric (Universitat Politècnica de Catalunya, 2017-01)
    Treball Final de Grau
    Accés restringit per decisió de l'autor
    Given a formula in propositional logic F in some presentation (BDD, ROBDD, truth table), our aim is to find a threshold function T that is a logical consequence of F and that is as strong as possible according to certain ...
  • New constraint learning and inprocessing techniques for Integer Linear Programming. 

    Brufau Vilaró, Oriol (Universitat Politècnica de Catalunya, 2017-01)
    Treball Final de Grau
    Accés restringit per decisió de l'autor
    The IntSat procedure [Nieuwenhuis 2014] is a complete method for Integer Linear Programming (ILP) based on conflict-driven constraint learning, extending similar ideas used in propositional satisfiability solving (SAT). ...
  • Synchronization in populations of neurons 

    Matabosch Reixach, Ariadna (Universitat Politècnica de Catalunya, 2017-01)
    Treball Final de Grau
    Accés obert
    El principal objectiu d'aquest treball és fer una introducció en la modelització de neurones i les seves xarxes. Utilitzarem models reduïts (2D). Majoritàriament prendrem l'anomenat model de FitzHugh-Nagumo que permet ...
  • Geometric mechanics and Hamilton-Jacobi theory 

    Urtiaga Erneta, Iñigo (Universitat Politècnica de Catalunya, 2017-01)
    Treball Final de Grau
    Accés obert
    A review of analytical mechanics in the language of differential geometry is given. The classical formulations of Newton, Lagrange and Hamilton are discussed in detail, with special interest in the Hamilton-Jacobi equation. ...
  • Invariants of binary forms 

    Jiménez Izquierdo, Enrique (Universitat Politècnica de Catalunya, 2017-01)
    Treball Final de Grau
    Accés obert
    In this work we want to give an introduction to the theory of invariants for binary forms, in order to later try to give a solution to some complex computational problems about invariants. The theory of invariants will be ...
  • Layer potentials in boundary value problems and aerodynamics 

    Martínez Zoroa, Luis (Universitat Politècnica de Catalunya, 2017-01)
    Treball Final de Grau
    Accés obert
    On this Bachelor's Thesis we apply the method of layer potentials on two different contexts. On the first part of this work we will prove some important properties of the single and double layer potentials for the Laplacian ...
  • Instability and bifurcation in a price formation model 

    Royo Solé, Daniel (Universitat Politècnica de Catalunya, 2017-01)
    Treball Final de Grau
    Accés obert
    Following M.d.M.González, M.P.Gualdani and J.Solà-Morales work on J.-M. Lasry and P.L. Lions evolutive model, the main goal of this work is to understand and analyze how a Hopf Bifurcation may or may not modify the ...
  • Singularities and qualitative study in LQC 

    Aresté Saló, Llibert (Universitat Politècnica de Catalunya, 2017-01)
    Treball Final de Grau
    Accés obert
    We will perform a detailed analysis of singularities in Einstein Cosmology and in LQC (Loop Quantum Cosmology). We will obtain explicit analytical expressions for the energy density and the Hubble constant for a given set ...

Mostra'n més