Now showing items 1-12 of 207

    • Vectorization compiler for robotics linear algebra 

      López Domènech, Marc (Universitat Politècnica de Catalunya, 2025-02-24)
      Bachelor thesis
      Open Access
      Covenantee:   Harvard University
      L'aplicació de la robòtica presenta requisits estrictes en el temps d'execució, requerint implementacions eficients dels seus nuclis d'àlgebra lineal. Aquests nuclis contenen patrons de dispersió i fluxos de control propis ...
    • Applications of LEAN in the graph theoretical context 

      Rossell Rodríguez, Lídia (Universitat Politècnica de Catalunya, 2024-07-16)
      Bachelor thesis
      Open Access
      Covenantee:   Zuse Institute
      En aquest TFG mostrarem una formalització de la demostració de la Sensitivity Conjecture en Lean que ja existia prèviament. Aquest problema estableix una relació entre dues mesures de complexitat de les funcions booleanes, ...
    • Glauber Dynamics Fast Mixing Time Via Spectral Independence 

      Iturralde Jara, Bernabé (Universitat Politècnica de Catalunya, 2024-07-16)
      Bachelor thesis
      Open Access
      Covenantee:   Universiteit van Amsterdam
      Al 2020, Nima Anari, Kuikui Liu i Shayan Oveis Gharan van introduir per primera vegada el concepte d’independència espectral. En els darrers anys, això s’ha utilitzat per demostrar el temps de mescla polinòmic per a Glauber ...
    • Differentiable computing with slang: high-performance portable graphics on GPU 

      Amat Payá, Alejandro (Universitat Politècnica de Catalunya, 2024-07-15)
      Bachelor thesis
      Open Access
      Covenantee:   Carnegie Mellon University
      La computació diferenciable juga un paper molt important en escenaris de reconstrucció 3D, millorant la fidelitat i el dinamisme dels models en diverses aplicacions, des de la realitat virtual fins al modelatge predictiu. ...
    • Monodromy conjecture for Newton non-degenerate hypersurfaces 

      Baeza Guasch, Oriol (Universitat Politècnica de Catalunya, 2024-07-16)
      Bachelor thesis
      Open Access
      Covenantee:   Katholieke Universiteit te Leuven
      En aquest treball, estudiem la Strong Monodromy Conjecture (SMC) en el seu marc topològic i l’estat de l’art per a alguns casos coneguts de la conjectura. Després d’introduir els conceptes de resolució de singularitats, ...
    • Measurements on Unruh-DeWitt detectors: negative energy densities and interference 

      Wojdel, Oskar Filip (Universitat Politècnica de Catalunya, 2024-06-21)
      Bachelor thesis
      Restricted access - confidentiality agreement
      Covenantee:   Institute for Quantum Computing
      S'ha comprovat que els models basats en detectors Unruh-DeWitt reprodueixen fenòmens d'interacció llum-matèria en situacions on l'intercanvi de moment angular és negligible. Això suggereix la possibilitat d'estudiar ...
    • A game-theoretic approach to multi-agent interaction for increased coordination and safety in robotics 

      Gimó Contreras, Albert Francesc (Universitat Politècnica de Catalunya, 2024-05-24)
      Bachelor thesis
      Open Access
      Covenantee:   Princeton University
      A mesura que augmenten les capacitats dels sistemes robòtics, també ho fa el seu potencial per ser desplegats en entorns dinàmics i altament interactius. Aquest informe es centra en el repte de raonar sobre la coordinació ...
    • Sailor: Sumcheck and GKR over Zpk via Galois rings 

      Vilardell Regué, Daniel (Universitat Politècnica de Catalunya, 2024-05-24)
      Bachelor thesis
      Open Access
      Covenantee:   University of California, Berkeley
      El camp de les proves interactives ha vist desenvolupaments significatius en els darrers anys, ampliant les fronteres de la computació segura i les proves de coneixement nul. Sailor (Sumcheck i GKR sobre Z_{p^k} via anells ...
    • Optimisation and evaluation of the CraterLake FHE accelerator on FPGA 

      Soler Arrufat, Sergi (Universitat Politècnica de Catalunya, 2024-05-24)
      Bachelor thesis
      Open Access
      Covenantee:   Massachusetts Institute of Technology
      La criptografia completament homomorfa (FHE per les seves sigles en anglès) permet computar sobre dades encriptades sense revelar-les a l’agent que fa la computació. Comparat amb computar sobre dades no encriptades, ...
    • Arithmetic reasoning in large language models and a speech brain-computer interface 

      Jiménez Benetó, Donato Manuel (Universitat Politècnica de Catalunya, 2024-05-27)
      Bachelor thesis
      Restricted access - confidentiality agreement
      Covenantee:   Massachusetts Institute of Technology
      La intel·ligència artificial (IA) ha revolucionat molts aspectes de la societat i ja està present en la nostra vida quotidiana. Les xarxes neuronals més grans que s’han entrenat fins ara, els models de llenguatge ...
    • Phase space methods for open many-body quantum systems 

      Guardiola Navarrete, Edgar (Universitat Politècnica de Catalunya, 2024-05-27)
      Bachelor thesis
      Open Access
      Covenantee:   Columbia University
      En els darrers anys s'ha observat un gran progrés experimental en les tecnologies quàntiques. La majoria dels sistemes d'interès són de naturalesa inherentment oberta i de molts cossos, i entendre els fenòmens col·lectius ...
    • Matrix product state preparation algorithms on quantum computers 

      Carballo Araruna, Víctor (Universitat Politècnica de Catalunya, 2024-05-27)
      Bachelor thesis
      Open Access
      Covenantee:   Universiteit Leiden
      La computació quàntica té el potencial d'oferir acceleracions en molts problemes interessants com la factorització o les simulacions de química. En la majoria dels algoritmes quàntics, el maquinari quàntic real només és ...