Eisenstein series for principal congruence subgroups of GL(2,Fq[T])

"Vegeu el resum a l'inici del document del fitxer adjunt"

An algorithm for semi-infinite polynomial optimization

"Vegeu el resum a l'inici del document del fitxer adjunt."

A survey on recent p-adic integration theories and arithmetic applications

"Vegeu el resum a l'inici del document del fitxer adjunt."

Sur les symboles modulaires de Manin-Teitelbaum pour Fq(T)

"Vegeu el resum a l'inici del document del fitxer adjunt"

Mètodes algebraics i de teoria de la prova per a la formalització del raonament vague

Projecte de recerca elaborat a partir d’una estada a la Università degli studi di Siena, Italy , entre 2007 i 2009. El projecte ha consistit en un estudi de la formalització lògica del raonament en presència de vaguetat amb els mètodes de la Lògica Algebraica i de la Teoria de la Prova. S'ha treballat fonamental en quatre direccions complementàries. En primer lloc, s'ha proposat un nou plantejament, més abstracte que el paradigma dominant fins ara, per l'estudi dels sistemes de lògica borrosa. Fins ara en l'estudi d'aquests sistemes l'atenció havia recaigut essencialment en l'obtenció de semàntiques basades en tnormes contínues (o almenys contínues per l'esquerra). En primer nivell de major abstracció hem estudiat les propietats de completesa de les lògiques borroses (tant proposicionals com de primer ordre) respecte de semàntiques definides sobre qualsevol cadena de valors de veritat, no necessàriament només sobre l'interval unitat dels nombres reals. A continuació, en un nivell encara més abstracte, s’ha pres l'anomenada jerarquia de Leibniz de la Lògica Algebraica Abstracta que classifica tots els sistemes lògics amb un bon comportament algebraic i s'ha expandit a una nova jerarquia (que anomenem implicacional) que permet definir noves classes de lògiques borroses que contenen quasi totes les conegudes fins ara. En segon lloc, s’ha continuat una línia d'investigació iniciada els darrers anys consistent en l'estudi de la veritat parcial com a noció sintàctica (és a dir, com a constants de veritat explícites en els sistemes de prova de les lògiques borroses). Per primer cop, s’ha considerat la semàntica racional per les lògiques proposicionals i la semàntica real i racional per les lògiques de primer ordre expandides amb constants. En tercer lloc, s’ha tractat el problema més fonamental del significat i la utilitat de les lògiques borroses com a modelitzadores de (part de) els fenòmens de la vaguetat en un darrer article de caràcter més filosòfic i divulgatiu, i en un altre més tècnic en què defensem la necessitat i presentem l'estat de l'art de l'estudi de les estructures algèbriques associades a les lògiques borroses. Finalment, s’ha dedicat la darrera part del projecte a l'estudi de la complexitat aritmètica de les lògiques borroses de primer ordre.

Desenvolupament de codis numèrics per a la resolució de fluxos turbulents en ordinadors paral·lels emprant discretitzacions tipus symmetry-preserving

Projecte de recerca elaborat a partir d’una estada a la University of Groningen, Holanda, entre 2007 i 2009. La simulació directa de la turbulència (DNS) és una eina clau dins de la mecànica de fluids computacional. Per una banda permet conèixer millor la física de la turbulència i per l'altra els resultats obtinguts són claus per el desenvolupament dels models de turbulència. No obstant, el DNS no és una tècnica vàlida per a la gran majoria d'aplicacions industrials degut al elevats costos computacionals. Per tant, és necessari cert grau de modelització de la turbulència. En aquest context, s'han introduïts importants millores basades en la modelització del terme convectiu (no lineal) emprant symmetry-preserving regularizations. En tracta de modificar adequadament el terme convectiu a fi de reduir la producció d'escales més i més petites (vortex-stretching) tot mantenint tots els invariants de les equacions originals. Fins ara, aquest models s'han emprat amb èxit per nombres de Rayleigh (Ra) relativament elevats. En aquest punt, disposar de resultats DNS per a configuracions més complexes i nombres de Ra més elevats és clau. En aquest contexte, s'han dut a terme simulacions DNS en el supercomputador MareNostrum d'una Differentially Heated Cavity amb Ra=1e11 i Pr=0.71 durant el primer any dels dos que consta el projecte. A més a més, s'ha adaptat el codi a fi de poder simular el fluxe al voltant d'un cub sobre una pared amb Re=10000. Aquestes simulacions DNS són les més grans fetes fins ara per aquestes configuracions i la seva correcta modelització és un gran repte degut la complexitat dels fluxes. Aquestes noves simulacions DNS estan aportant nous coneixements a la física de la turbulència i aportant resultats indispensables per al progrés de les modelitzacións tipus symmetry-preserving regularization.

On [summation of 1 raised to the power 1] equivalence relations over the natural numbers

"Vegeu el resum a l'inici del document del fitxer adjunt"

Bingo segur

En aquest TFC es proposa un protocol de CMS aplicat a un Joc de Bingo, en que les entrades són nombres generats pels jugadors i el resultat cercat és un nombre aleatori per al joc.

BCN-Routing : càlcul web de rutes amb pgRouting, OpenStreetMaps i OpenLayers

Es presenta un sistema acurat de càlcul web d'itineraris mínims (per a vianants i per a vehicles) entre dos punts de la ciutat de Barcelona, un dels quals es triat per l'usuari directament a sobre un mapa i l'altre, alternativament, a sobre el mateix mapa o bé a sobre una llista de selecció de les principals atraccions turístiques de Barcelona.El sistema es troba implementat per medi de MapServer (1) com a servidor, OpenLayers (2) per a la interfície d'usuari, una base de dades PostrgreSQL (3)/PostGIS (4) que recull dades d'OpenStreetMaps (5) per a la navegació i dades introduïdes manualment, per a la llista de selecció d'atraccions turístiques. Per al càlcul d'itineraris es fa servir, pgRouting (6) alhora que s'accedeix a la cartografia de CartoCiudad (7) per a mostrar un mapa de base i opcionalment els noms dels carrers i punts d'interès a partir de les capes FondoUrbano, Vial i Topónimo del servidor WMS de CartoCiudad.Tot el sistema corre a sobre Windows 7 Home Premium (8).Així mateix es presenten quatre noves funcions i un tipus definit per l'usuari de PostgreSQL per al càlcul acurat d'itineraris mínims i l'estudi teòric que justifica la seva bondat.

Estudi de comparació de rendiment de Benchmark multicore i multithreading amb OpenMP 2.5 i OpenMP 3.0

Estudi comparatiu amb benchmark del rendiment en dues plataformes multicore multithreading de diferents modalitats de paral·lelització de multiplicacions de matrius de nombres enters i de nombres en coma flotant mitjançant el model de memòria compartida OpenMP versió 2.5 i OpenMP versió 3.0.

Semàntica del mot : propietats semàntiques de tres verbs de desplaçament

El treball té com a objectiu l'estudi de les propietats semàntiques d'un grup de verbs de desplaçament i els seus corresponents arguments. La informació sobre el tipus de complement que demana cada verb és important de cara a conèixer l'estructura sintàctica de la frase i oferir solucions pràctiques en tasques de Processament del Llenguatge Natural. L'anàlisi se centrarà en els verbs conduir, navegar i volar, a partir dels sentits bàsics que el Diccionari d'ús dels verbs catalans (DUVC) descriu per a cadascun d'aquests verbs i de les seves restriccions selectives. Comprovarem, mitjançant un centenar de frases extretes del Corpus d'Ús del Català a la Web de la Universitat Pompeu Fabra i del Corpus Textual Informatitzat de la Llengua Catalana de l'Institut d'Estudis Catalans, si en la llengua es donen només els sentits i usos descrits en el DUVC i quins són els més freqüents. Finalment, descriurem els noms que fan de nucli dels arguments en termes de trets semàntics.

Implementació de l'algorisme de Wiener i Oorschot en un entorn MPI

Aquest projecte presenta una breu introducció a la criptografia. S'expliquen principis fonamentals, com què és la criptografia i el criptoanàlisi els mètodes més rellevants de cada cas. Això servirà com a base teòrica per estudiar el funcionament del criptosistema de ElGamal, la seguretat del qual es basa en la dificultat de resoldre el problema del logaritme discret. Un cop tenim clar el problema del logaritme discret, s'implementarà una aplicació que el resolgui, mitjançant l'algorisme Rho de Pollard. Aquesta aplicació contarà amb el suport de la llibreria NTL, llibreria de nombres gegants, per poder implementar-la. Per acabarl, i com a principal objectiu, el que es pretén és implementar una aplicació paral·lela que resolgui el problema del logaritme discret en un entorn multicomputador utilitzant la proposta de Wiener i Oorschot.

6,5 · 10-9

Segons l’Institut Nacional d’Estadística, cada espanyol es gasta una mitjana de208 euros a l’any en loteries. L’objectiu principal és guanyar el primer premi, peròsaben realment quina probabilitat tenen d’aconseguir-ho?L’objectiu principal del treball és estudiar el funcionament, les probabilitats i lespreferències dels individus pel que fa a les loteries. Donat que és un sector molt ampli icomplex hem decidit centrar-nos en aquelles que tenen una major acceptació.Les loteries no només son un tema d’interès general sinó que ens han permès aprofundiren els coneixements estadístics adquirits a les assignatures de Probabilitat, Estadística iDecisió i Competència Estratègica.L’anàlisi del treball es centrarà en el càlcul de les probabilitats. Els ingressos de l’Estatprovinents dels impostos sobre la comercialització i sobre els beneficis generats per laloteria també es veuran reflectits en l’estudi. A més analitzarem les preferències de lapoblació a l’hora de jugar a la loteria mitjançant la realització d’enquestes. Després decomparar els resultats obtinguts en les enquestes amb les probabilitats calculadesinicialment, realitzarem una simulació que ens permetrà aprofundir més en el tema.El càlcul de les probabilitats de guanyar en cada joc no estan reflectits en cap documentoficial. Aquest fet resulta paradoxal ja que els càlculs no tenen una gran complicació,aleshores, per què no son públics? Segurament perquè el coneixement d’aquestes dadesfaria que la gent deixes de jugar, amb el que els extensos ingressos procedents de lacomercialització de loteries, disminuiria considerablement.

Indústria, mineria i artesania en toponímia rural: el cas del municipi d’Osor (la Selva)

The study presented is interdisciplinary names: the presence of place names related with industrial, artisanal or mining activities in rural areas. The main hypothesis refers to this fact; the uniqueness of industrial, mining or craft in a rural area is an important reason to influence their names, a fact that gives archaeological value, remembering economic activities now disappeared. The methodology used for the study has been usually applied in onomastic studies: compilation of names from field work, oral interviews, archival work, revision of ancient documents and revision of works and studies related to the cartography of Osor. The final conclusion is that, as proposed in the hypothesis, in a rural area as the studied, the low presence of industrial, artisanal or mining activities have generated place names that have helped in keeping the memory of economic activities now disappeared

Generating functions for the numbers of Abelian extensions of a local field

The aim of this paper is to give an explicit formula for the num- bers of abelian extensions of a p-adic number field and to study the generating function of these numbers. More precisely, we give the number of abelian ex- tensions with given degree and ramification index, and the number of abelian extensions with given degree of any local field of characteristic zero. Moreover, we give a concrete expression of a generating function for these last numbers