Exploració per tema "Invariant"

Ara es mostren els items 1-5 de 5

    • Critical velocity in kink solutions of the sine-Gordon equation 

      Sanchis Ramírez, Guillem (Universitat Politècnica de Catalunya, 2017-07)
      Projecte Final de Màster Oficial
      Accés obert
      The goal of this work is to present a way to deduce the value of the critical velocity observed in soliton-like solutions of a perturbed version of the sine-Gordon equation. To do so, an ODE system is obtained from the ...

    • Existence of invariant tori in skew-product systems: A computer assisted approach 

      Sandín Vidal, Eric (Universitat Politècnica de Catalunya, 2020-01)
      Projecte Final de Màster Oficial
      Accés obert
      This work is a computer assisted approach to the study of invariant manifolds in skew-product dynamical systems. More specifically, the existence of an invariant tori under a quasi-periodic perturbation of our system. The ...

    • 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 ...

    • SMT-Based Methods for Difference Logic Invariant Generation 

      Candeago, Lorenzo (Universitat Politècnica de Catalunya, 2015-04-24)
      Projecte Final de Màster Oficial
      Accés restringit per acord de confidencialitat

    • The cover polynomial of a digraph 

      Solà Martinell, Salvi (Universitat Politècnica de Catalunya, 2018-01)
      Treball Final de Grau
      Accés obert
      L'objecte d'estudi d'aquest treball és el polinomi de recobriments d'un graf dirigit, i en particular la seva potència com a invariant. La informació d'un graf dirigit que es pot obtenir d'aquest polinomi és recollida i ...