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"

Evolution de l'intensité moyenne et de la fréquence des précipitations en Suisse de 1900 à 2009

Les précipitations moyennes et les nombres de jours de pluie par saison et par an ont été analysés pour 151 séries de mesures pluviométriques en Suisse de 1900 à 2009. Ces analyses révèlent que les précipitations moyennes ont augmenté durant le 20ème siècle pour toutes les saisons, sauf en été. Cette hausse est la plus marquée en hiver, surtout dans le Nord des Alpes et en Valais. Les nombres de jours de pluie ont également augmenté en hiver, mais moins fortement que les précipitations moyennes, alors qu'ils tendent à diminuer très légèrement durant les autres saisons. On en déduit que l'intensité moyenne des précipitations s'est accrue en Suisse durant le 20ème siècle en toutes saisons.

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.

Factors associated with smoking cessation among outpatients.

RESUME INTRODUCTION Comprendre les déterminants de l'arrêt du tabagisme est un enjeu crucial, tant sur le plan clinique qu'en termes de santé publique. Dans l'étude transversale présentée ici, nous décrivons ce processus au travers de l'expérience d'ex-fumeurs. METHODE Sur une période de 4 mois, nous avons proposé à chaque patient consultant la Policlinique Médicale Universitaire de Lausanne de participer à une étude visant à examiner leur expérience de l'arrêt du tabagisme. Les critères d'inclusion étaient les suivants: (1) âge ≥ 18 ans (2) connaissance minimale de la langue française (capacité de comprendre et répondre aux questions) (3) être un ex-fumeur (défini comme une personne actuellement abstinente mais ayant fumé au moins 100 cigarettes [≥ 5 paquets] pendant > 6 mois dans le passé). Une infirmière formée a mené des entretiens semi-structurés en face-à-face avec les ex-fumeurs recrutés en utilisant un questionnaire explorant les 67 questions parmi les thèmes suivants : caractéristiques démographiques et socioéconomiques ; habitudes antérieures de consommation ; stades de motivation ; influence de l'environnement social ; état de santé et préoccupations au sujet de la santé ; perception des risques et des bénéfices du tabagisme ; perception de la dépendance nicotinique ; offre d'un counseling médical spécifique ; connaissances sur les modalités thérapeutiques disponibles et méthodes utilisées pour arrêter de fumer. Les résultats sont exprimés en nombres absolus, en pourcentages, en moyennes et en dispersion. RÉSULTATS 88 ex-fumeurs ont été inclus dans l'étude. Leurs caractéristiques démographiques et socioéconomiques sont les suivantes : La grande majorité d'entre eux sont des hommes (81%), l'âge moyen de 51 ans (variant de 19 à 81 ans), la moitié sont mariés, 72% de nationalité suisse et une grosse minorité (40%) ont une formation supérieure (universitaire ou équivalente). Leur histoire de consommation montre que l'âge moyen d'initiation du tabagisme est de 18 ans (entre 11 et 30 ans), et 23% ont commencé avant 16 ans. La consommation moyenne était de 26 cigarettes/jour. Presque tous les sujets (92%) étaient en contact fréquent avec des fumeurs à la maison, à l'école, au travail ou avec des amis au moment où ils ont commencé à fumer. La moitié des patients a essayé à une ou deux reprises d'arrêter de fumer avant de parvenir à une réelle abstinence. La durée depuis leur arrêt de consommation de cigarettes était en moyenne 5 ans et seuls 16% des sujets ont fumé occasionnellement depuis l'arrêt de leur consommation régulière. La majorité des ex-fumeurs (93%) dit avoir arrêté de manière abrupte et sans aucune aide thérapeutique (83%). 70 % des patients décrivent l'arrêt comme plutôt ou très difficile. Les problèmes décrits après l'interruption du tabagisme sont une prise pondérale (27%), la dépendance (23%), l'irritabilité (15%), les contacts avec des fumeurs (15%) et le manque de cigarette après les repas (11%). Les motivations principales à arrêter de fumer étaient des préoccupations générales au sujet de la santé (39%), des symptômes (23%) ou des signes cliniques spécifiques (22%), comme des problèmes cardiovasculaires ou respiratoires, ainsi que la conviction que le moment était venu d'arrêter (13%). D'autres motivations (comme les enfants, la grossesse, le coût...) étaient rarement mentionnées alors que 45% d'entre eux ont tout de même ressenti une pression de l'entourage, principalement de la part dé personnes vivant sous le même toit, de leurs famille ou amis. L'effet positif majeur de l'abstinence est, à leurs yeux, une amélioration globale de la santé (48%) ou de leurs problèmes cardiovasculaires ou respiratoires (32%). Trois quarts (74 %) des sujets savent que les cigarettes dites «légères »sont aussi nuisibles que les cigarettes normales, et 90 % sont conscients du fait que la nicotine peut induire une dépendance ; la moitié d'entre eux ne réalisent toutefois pas que le filtre ne protège pas contre les dangers de l'inhalation de fumée. Prés de trois quarts (73%) des ex-fumeurs disent avoir été interrogés sur leur consommation de tabac à l'occasion d'une consultation médicale motivée par un problème de santé et 30% clairement encouragés à arrêter par leur médecin. A ce sujet, 78 % sont d'avis qu'un médecin devrait par principe conseiller un arrêt du tabac. CONCLUSION Les 88 ex-fumeurs de cet échantillon ont, pour la plupart, arrêté la cigarette par leurs propres moyens, après un ou plusieurs échecs. Leurs motivations principales étaient le souci de leur propre santé, globalement ou relativement à des symptômes ou des signes cliniques spécifiques, ce qui reflète le fait que les patients sont relativement bien informés des dangers liés à la consommation de tabac. Enfin, le fumeur est sensible à l'influence de son environnement social, et, dans cette perspective, l'abstinence devrait être encouragée par les autorités sanitaires, les professionnels de la santé et les autres membres de la communauté.

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.

Evaluation, concertation, décision : quelle régulation pour le système éducatif ? Le cas de l'enseignement primaire genevois

Suite à trois années de concertation, le Département de l'instruction publique du canton de Genève a mis en place un « nouveau fonctionnement » de l'enseignement primaire à la rentrée scolaire de septembre 2008. La mise en oeuvre du nouveau dispositif était accompagnée de la création d'un outil d'évaluation externe appelé « Observatoire du fonctionnement de l'enseignement primaire ». L'analyse de cet outil d'évaluation fait l'objet du présent article. La problématique développée vise à montrer que, si l'expertise en matière d'évaluation de l'éducation n'est pas la science, elle peut toutefois être modestement fondée sur les valeurs de la production des connaissances, voire contribuer à quelque production de connaissances limitées aux « hypothèses mineures qui jaillissent chaque jour à foison dans le travail quotidien de la recherche » (Merton, 1965, pp. 13-14).

La Bible : traduction nouvelle avec l'hébreu en regard, accompagné des points-voyelles et des accens toniques ( @ ) avec des notes philologiques, géographiques et littéraires, et les principales variantes de la version des Septante et du texte samaritain.... Tome 8, tome 3 / par S. Cahen...

[Bible. A.T. (hébreu-français). 1831-1851]

La Bible : traduction nouvelle avec l'hébreu en regard, accompagné des points-voyelles et des accens toniques ( @ ) avec des notes philologiques, géographiques et littéraires, et les principales variantes de la version des Septante et du texte samaritain.... Tome 3 / par S. Cahen...

[Bible. A.T. (hébreu-français). 1831-1851]