Introduite par B. Totaro, la filtration par le poids sur l'homologie des variétés algébriques réelles, analogue réel de la filtration par le poids de P. Deligne sur les variétés algébriques complexes, a été réalisée via un complexe de chaînes filtré par C. McCrory et A. Parusinski, qui en ont enrichi la compréhension, notamment à travers l'étude de la suite spectrale induite. Au milieu des nombreuses informations recelées par cette suite spectrale de poids, on retrouve les nombres de Betti virtuels. Dans cette thèse, on montre l'existence d'une filtration par le poids équivariante sur l'homologie équivariante des variétés algébriques réelles munies d'une action d'un groupe fini. On la réalise par un complexe filtré et, via la construction de plusieurs suites spectrales, on effectue des avancées significatives pour extraire des invariants additifs. Lors de notre étude, on définit fonctoriellement un complexe de poids avec action et on montre qu'un résultat de découpage d'une variété Nash munie d'une involution algébrique entraîne un analogue de la suite exacte de Smith, tenant compte de la filtration Nash-constructible. A travers la construction d'un complexe de poids invariant dans le cadre d'involutions algébriques, on retrouve également les nombres de Betti virtuels équivariants de G. Fichou. Enfin, en appliquant les bons foncteurs aux résultats sur les produits de filtrations par le poids réelles de T. Limoges, on donne des résultats sur les produits de filtrations par le poids équivariantes.

O Teste Baseado em Modelos (TBM) emergiu como uma estratégia promissora para minimizar problemas relacionados à falta de tempo e recursos em teste de software e visa verificar se a implementação sob teste está em conformidade com sua especificação. Casos de teste são gerados automaticamente a partir de modelos comportamentais produzidos durante o ciclo de desenvolvimento de software. Entre as técnicas de modelagem existentes, Sistemas de Transição com Entrada/Saída (do inglês, Input/Output Transition Systems - IOTSs), são modelos amplamente utilizados no TBM por serem mais expressivos do que Máquinas de Estado Finito (MEFs). Apesar dos métodos existentes para geração de testes a partir de IOTSs, o problema da seleção de casos de testes é um tópico difícil e importante. Os métodos existentes para IOTS são não-determinísticos, ao contrário da teoria existente para MEFs, que fornece garantia de cobertura completa com base em um modelo de defeitos. Esta tese investiga a aplicação de modelos de defeitos em métodos determinísticos de geração de testes a partir de IOTSs. Foi proposto um método para geração de conjuntos de teste com base no método W para MEFs. O método gera conjuntos de teste de forma determinística além de satisfazer condições de suficiência de cobertura da especificação e de todos os defeitos do domínio de defeitos definido. Estudos empíricos avaliaram a aplicabilidade e eficácia do método proposto: resultados experimentais para analisar o custo de geração de conjuntos de teste utilizando IOTSs gerados aleatoriamente e um estudo de caso com especificações da indústria mostram a efetividade dos conjuntos gerados em relação ao método tradicional de Tretmans. / Model-Based Testing (MBT) has emerged as a promising strategy for the minimization of problems related to time and resource limitations in software testing and aims at checking whether the implementation under test is in compliance with its specification. Test cases are automatically generated from behavioral models produced during the software development life cycle. Among the existing modeling techniques, Input/Output Transition Systems (IOTSs) have been widely used in MBT because they are more expressive than Finite State Machines (FSMs). Despite the existence of test generation methods for IOTSs, the problem of selection of test cases is an important and difficult topic. The current methods for IOTSs are non-deterministic, in contrast to the existing theory for FSMs that provides complete fault coverage guarantee based on a fault model. This manuscript addresses the application of fault models to deterministic test generation methods from IOTSs. A method for the test suite generation based on W method for FSMs is proposed for IOTSs. It generates test suites in a deterministic way and also satisfies sufficient conditions of specification coverage and all faults in a given fault domain. Empirical studies evaluated its applicability and effectiveness. Experimental results for the analyses of the cost of test suite generation by random IOTSs and a case study with specifications from the industry show the effectiveness of the test suites generated in relation to the traditional method of Tretmans.

This document discusses the relationship between trumpet and percussion over the past centuries, the development of music for trumpet and percussion ensembles, trumpet and percussion in twentieth-century chamber music and the creation of music for trumpet and marimba. A listing of all known trumpet and percussion duos is included. An exploration of the development of the Wilder Duo and a listing of all known trumpet and marimba duos is also included. There are analyses of works by Gordon Stout, Paul Turok and Alec Wilder. These analyses examine sound, form, harmony, melody and rhythm for each piece. Musical illustrations are included. These analyses are divided into chapters. Each chapter begins with a short biography of each composer. A short description of each work is also given. Summaries are included at the end of each analytical chapter.

Johann Paul von Westhoff's (1656-1705) solo violin works, consisting of Suite pour le violon sans basse continue published in 1683 and Six Suites for Violin Solo in 1696, feature extensive use of multiple stops, which represents a German polyphonic style of the seventeenth-century instrumental music. However, the Six Suites had escaped the public's attention for nearly three hundred years until its rediscovery by the musicologist Peter Várnai in the late twentieth century. This project will focus on polyphonic writing featured in the solo violin works by von Westhoff. In order to fully understand the stylistic traits of this less well-known collection, a brief summary of the composer, Johann Paul Westhoff, and an overview of the historical background of his time will be included in this document. I will analyze these works, including a comparison between the works of Westhoff and those of other composers during his time, to prove that Westhoff's solo works establish multiple stops as a central factor of German violin playing of the time, and, thus, to promote Westhoff's works as a complement to the extant repertoire of unaccompanied violin music written in the Baroque era before Johann Sebastian Bach's solo violin works and Georg Philipp Telemann's twelve fantasias for violin solo. Furthermore, this project will help one to better understand the use and function of multiple stops in the German violin repertoire in the seventeenth century.

This thesis deals with the security of wireless sensor networks, mainly of the industrial standard ZigBee. The aim of the work is to familiarize with the 802.15.4 standard and the ZigBee technology, especially with present methods of security in this field. I have also analysed the requirements for the security of this technology. Further aim of this work is the introduction of the ZigBee kit and description of the Microchip's ZigBee stack. Analysis of the stack is connected with practical test of security functions in the ZigBee laboratory.

I det här examensarbetet i arkitektur analyseras en ny typ av bostäder i Stockholmsområdet: konceptboendet. Bostadstypen är skapad för en ”urban nomad”. Det är ett ord som används i marknadsföring och kan tolkas som en person som antingen reser mycket i sin yrkesverksamhet eller någon som behöver en tillfällig bostad på grund av studier eller i väntan på en lämpligare bostad. Stockholm har i dag, 2018, en stor bostadsbrist vilket skapar ett tryck på politiker att ta fram lösningar. Synen på bostaden har skiftat från att ha varit en rättighet till en lyxprodukt. Fastighetsutvecklare som Oscar Properties och Axxonen utvecklar och marknadsför premiumbostäder där hotellet är förebild och olik typer service ingår i bostadskonceptet. Det finns förändrade attityder när det gäller höga bostadshus och skyskrapor i Stockholm som ofta har lägenheter som kallas konceptboenden eller premiumbostäder. Det är viktigt att lägga märke till detta skifte i inställning eftersom det förklarar varför bostäder ser ut som de gör och vadsom driver deras design och funktion. Norra tornen vid Torsplan är exempel på premiumbostäder i höghus med inspiration från New Yorks exklusiva skyskrapor. Ett annat exempel är Tellus Towers vid telefonplan som är fylld med enrummare för unga vuxna. Där finns dramatiska utsikter och serviceanläggningar som pool och spa som säljargument. Idén om flyttkedjor motiverar byggandet av lyxlägenheter och skyskrapor i attraktiva lägen eftersom rörligheten ska göra att alla till slut kommer att få en bostad. För en förmögen målgrupp innebär rörlighet ett internationellt, hotellrumsinspirerat boende: en så kallad ”premiumbostad”. Bostadsrättsföreningen Continental Apartments erbjuder till exempel full hotellrumsservice och är dessutom beläget i de övre våningarna av Hotel Scandic Continental. För bostadslösa låginkomsttagare innebär en rörlig lösning ett boende som de kan tolerera men som i längden är otillräckligt. En tillfällig lösning som skapats på initiativ av den ideella föreningen Snabba hus är flyttbara bostäder på tidsbegränsade bygglov, avsedda för unga bostadssökande. Mellan Continental Apartments och Snabba hus finns, lite oväntat, flera likheter i hur bostäderna är planerade. Men skillnaderna är stora i användning, pris och vilka möjligheter målgrupperna har att välja sin boendesituation. Genom att jämföra renderade bilder, fotografier, ritningar och reklamtexter skildras konceptboendenas olika strategier och målgrupper. I jämförelserna av olika typer av boenden framträder en bild av en marknadsanpassad bostadsproduktion där bostaden behandlas som en livsstilsprodukt och en konsumtionsvara. Kommersialiseringen av bostäder innebär problem för de som drabbats av bostadsbristen. Lösningarna som erbjuds bostadslösa, ofta unga låginkomsttagare, är få och villkorade. Idén om att bostadsmarknaden måste få en ökad rörlighet för att fungera drabbar i stor utsträckning de som har svårast att få tillgång till en bostad genom att inskränka deras rättigheter och boendestandard. Genom att marknadsföra bostadslösningar till unga som livsstilsprodukter överskuggas det verkliga problemen med en utbredd bostadsbrist och en försenad familjebildning. Undersökningens slutsats är att marknadsföringen av konceptboenden ger en ytlig bild av bostäder och deras egentliga värde. Premiumbostädernas kvaliteter, eller brist därpå, döljs genom att erbjuda hushållsnära tjänster och inredningsdetaljer. Den ytliga inställningen till bostäder som enbart statussymboler och konsumtionsvaror gör det svårare att hävda bostaden som rättighet och som en viktig funktion för att forma samhällen. En möjlig motpol till premiumbostäderna är Stockholmshusen, ett försök från allmännyttiga bolag att skapa hyreslägenheter med hög standard men mer överkomlig hyra. Att bygga ut det allmännyttiga beståndet kan även ha en balanserande effekt på marknaden och på sikt trotsa den kommersiella bostadstrenden. / In the marketing of certain types of newly-built urban homes there is an intended target group: the “urban nomad”. A luxury hotel style dominates these pictures of future dwellings and a new aesthetic has evolved in rendered images. These types of images have become so common in architectural magazines and housing ads that they often go unnoticed. Behind the pictures is an underlying idea of ​​a flexible housing market that can create positive outcomes for the whole community. This project examines how the idea of ​​mobility in the Stockholm housing market affects the design and marketing of architecture and the possible downsides to the commercialization of urban homes.

Le sujet principal de cette thèse est la distribution des nombres premiers dans les progressions arithmétiques, c'est-à-dire des nombres premiers de la forme $qn+a$, avec $a$ et $q$ des entiers fixés et $n=1,2,3,\dots$ La thèse porte aussi sur la comparaison de différentes suites arithmétiques par rapport à leur comportement dans les progressions arithmétiques. Elle est divisée en quatre chapitres et contient trois articles. Le premier chapitre est une invitation à la théorie analytique des nombres, suivie d'une revue des outils qui seront utilisés plus tard. Cette introduction comporte aussi certains résultats de recherche, que nous avons cru bon d'inclure au fil du texte. Le deuxième chapitre contient l'article \emph{Inequities in the Shanks-Rényi prime number race: an asymptotic formula for the densities}, qui est le fruit de recherche conjointe avec le professeur Greg Martin. Le but de cet article est d'étudier un phénomène appelé le <<Biais de Chebyshev>>, qui s'observe dans les <<courses de nombres premiers>>. Chebyshev a observé qu'il semble y avoir plus de premiers de la forme $4n+3$ que de la forme $4n+1$. De manière plus générale, Rubinstein et Sarnak ont montré l'existence d'une quantité $\delta(q;a,b)$, qui désigne la probabilité d'avoir plus de premiers de la forme $qn+a$ que de la forme $qn+b$. Dans cet article nous prouvons une formule asymptotique pour $\delta(q;a,b)$ qui peut être d'un ordre de précision arbitraire (en terme de puissance négative de $q$). Nous présentons aussi des résultats numériques qui supportent nos formules. Le troisième chapitre contient l'article \emph{Residue classes containing an unexpected number of primes}. Le but est de fixer un entier $a\neq 0$ et ensuite d'étudier la répartition des premiers de la forme $qn+a$, en moyenne sur $q$. Nous montrons que l'entier $a$ fixé au départ a une grande influence sur cette répartition, et qu'il existe en fait certaines progressions arithmétiques contenant moins de premiers que d'autres. Ce phénomène est plutôt surprenant, compte tenu du théorème des premiers dans les progressions arithmétiques qui stipule que les premiers sont équidistribués dans les classes d'équivalence $\bmod q$. Le quatrième chapitre contient l'article \emph{The influence of the first term of an arithmetic progression}. Dans cet article on s'intéresse à des irrégularités similaires à celles observées au troisième chapitre, mais pour des suites arithmétiques plus générales. En effet, nous étudions des suites telles que les entiers s'exprimant comme la somme de deux carrés, les valeurs d'une forme quadratique binaire, les $k$-tuplets de premiers et les entiers sans petit facteur premier. Nous démontrons que dans chacun de ces exemples, ainsi que dans une grande classe de suites arithmétiques, il existe des irrégularités dans les progressions arithmétiques $a\bmod q$, avec $a$ fixé et en moyenne sur $q$. / The main subject of this thesis is the distribution of primes in arithmetic progressions, that is of primes of the form $qn+a$, with $a$ and $q$ fixed, and $n=1,2,3,\dots$ The thesis also compares different arithmetic sequences, according to their behaviour over arithmetic progressions. It is divided in four chapters and contains three articles. The first chapter is an invitation to the subject of analytic number theory, which is followed by a review of the various number-theoretic tools to be used in the following chapters. This introduction also contains some research results, which we found adequate to include. The second chapter consists of the article \emph{Inequities in the Shanks-Rényi prime number race: an asymptotic formula for the densities}, which is joint work with Professor Greg Martin. The goal of this article is to study <<Chebyshev's Bias>>, a phenomenon appearing in <<prime number races>>. Chebyshev was the first to observe that there tends to be more primes of the form $4n+3$ than of the form $4n+1$. More generally, Rubinstein and Sarnak showed the existence of the quantity $\delta(q;a,b)$, which stands for the probability of having more primes of the form $qn+a$ than of the form $qn+b$. In this paper, we establish an asymptotic series for $\delta(q;a,b)$ which is precise to an arbitrary order of precision (in terms of negative powers of $q$). %(it can be instantiated with an error term smaller than any negative power of $q$). We also provide many numerical results supporting our formulas. The third chapter consists of the article \emph{Residue classes containing an unexpected number of primes}. We fix an integer $a \neq 0$ and study the distribution of the primes of the form $qn+a$, on average over $q$. We show that the choice of $a$ has a significant influence on this distribution, and that some arithmetic progressions contain, on average over q, fewer primes than typical arithmetic progressions. This phenomenon is quite surprising since in light of the prime number theorem for arithmetic progressions, the primes are equidistributed in the residue classes $\bmod q$. The fourth chapter consists of the article \emph{The influence of the first term of an arithmetic progression}. In this article we are interested in studying more general arithmetic sequences and finding irregularities similar to those observed in chapter three. Examples of such sequences are the integers which can be written as the sum of two squares, values of binary quadratic forms, prime $k$-tuples and integers free of small prime factors. We show that a broad class of arithmetic sequences exhibits such irregularities over the arithmetic progressions $a\bmod q$, with $a$ fixed and on average over $q$.

L'objectif de cette thèse est la construction des tests localement et asymptotiquement optimaux. Le problème traité concerne un modèle qui contient une large classe de modèles de séries chronologiques. La propriété de la normalité asymptotique locale (LAN) est l'outil fondamental utilisé dans nos travaux de recherches. Une application de nos travaux en finance est proposée / The purpose of this phD thesis is the construction of alocally asymptotically optimal tests. In this testing problem, the considered model contains a large class of time series models. LAN property was the fundamental tools in our research works. Our results are applied in financial area

Cette thèse porte sur l'étude<br />d'applications statistiques de suites dépendantes et<br />stationnaires. Nous étudions deux classes de suites<br />dépendantes. Nous nous intéressons d'une part à des suites<br />faiblement dépendantes, où notre notion de dépendance faible est<br />une variante de la notion introduite par Doukhan \& Louhichi, d'autre part à certains systèmes dynamiques<br />présentant une propriété de décroissance des<br />corrélations. Nous traitons du comportement asymptotique du<br />processus empirique, fondamental en statistiques. Nous étudions<br />aussi un estimateur à noyau de la densité dans nos deux cadres de<br />dépendance. Enfin, nous nous intéressons à un problème de<br />rupture d'une fonction de régression en dépendance faible. A ces<br />fins, nous développons des idées de Rio pour montrer un<br />théorème limite centrale en dépendance faible, ainsi que des<br />nouvelles inégalités de moments qui étendent celles de Louhichi. Enfin, nous illustrons certains de nos résultats par des<br />simulations.

Le sujet principal de cette thèse est la distribution des nombres premiers dans les progressions arithmétiques, c'est-à-dire des nombres premiers de la forme $qn+a$, avec $a$ et $q$ des entiers fixés et $n=1,2,3,\dots$ La thèse porte aussi sur la comparaison de différentes suites arithmétiques par rapport à leur comportement dans les progressions arithmétiques. Elle est divisée en quatre chapitres et contient trois articles. Le premier chapitre est une invitation à la théorie analytique des nombres, suivie d'une revue des outils qui seront utilisés plus tard. Cette introduction comporte aussi certains résultats de recherche, que nous avons cru bon d'inclure au fil du texte. Le deuxième chapitre contient l'article \emph{Inequities in the Shanks-Rényi prime number race: an asymptotic formula for the densities}, qui est le fruit de recherche conjointe avec le professeur Greg Martin. Le but de cet article est d'étudier un phénomène appelé le <<Biais de Chebyshev>>, qui s'observe dans les <<courses de nombres premiers>>. Chebyshev a observé qu'il semble y avoir plus de premiers de la forme $4n+3$ que de la forme $4n+1$. De manière plus générale, Rubinstein et Sarnak ont montré l'existence d'une quantité $\delta(q;a,b)$, qui désigne la probabilité d'avoir plus de premiers de la forme $qn+a$ que de la forme $qn+b$. Dans cet article nous prouvons une formule asymptotique pour $\delta(q;a,b)$ qui peut être d'un ordre de précision arbitraire (en terme de puissance négative de $q$). Nous présentons aussi des résultats numériques qui supportent nos formules. Le troisième chapitre contient l'article \emph{Residue classes containing an unexpected number of primes}. Le but est de fixer un entier $a\neq 0$ et ensuite d'étudier la répartition des premiers de la forme $qn+a$, en moyenne sur $q$. Nous montrons que l'entier $a$ fixé au départ a une grande influence sur cette répartition, et qu'il existe en fait certaines progressions arithmétiques contenant moins de premiers que d'autres. Ce phénomène est plutôt surprenant, compte tenu du théorème des premiers dans les progressions arithmétiques qui stipule que les premiers sont équidistribués dans les classes d'équivalence $\bmod q$. Le quatrième chapitre contient l'article \emph{The influence of the first term of an arithmetic progression}. Dans cet article on s'intéresse à des irrégularités similaires à celles observées au troisième chapitre, mais pour des suites arithmétiques plus générales. En effet, nous étudions des suites telles que les entiers s'exprimant comme la somme de deux carrés, les valeurs d'une forme quadratique binaire, les $k$-tuplets de premiers et les entiers sans petit facteur premier. Nous démontrons que dans chacun de ces exemples, ainsi que dans une grande classe de suites arithmétiques, il existe des irrégularités dans les progressions arithmétiques $a\bmod q$, avec $a$ fixé et en moyenne sur $q$. / The main subject of this thesis is the distribution of primes in arithmetic progressions, that is of primes of the form $qn+a$, with $a$ and $q$ fixed, and $n=1,2,3,\dots$ The thesis also compares different arithmetic sequences, according to their behaviour over arithmetic progressions. It is divided in four chapters and contains three articles. The first chapter is an invitation to the subject of analytic number theory, which is followed by a review of the various number-theoretic tools to be used in the following chapters. This introduction also contains some research results, which we found adequate to include. The second chapter consists of the article \emph{Inequities in the Shanks-Rényi prime number race: an asymptotic formula for the densities}, which is joint work with Professor Greg Martin. The goal of this article is to study <<Chebyshev's Bias>>, a phenomenon appearing in <<prime number races>>. Chebyshev was the first to observe that there tends to be more primes of the form $4n+3$ than of the form $4n+1$. More generally, Rubinstein and Sarnak showed the existence of the quantity $\delta(q;a,b)$, which stands for the probability of having more primes of the form $qn+a$ than of the form $qn+b$. In this paper, we establish an asymptotic series for $\delta(q;a,b)$ which is precise to an arbitrary order of precision (in terms of negative powers of $q$). %(it can be instantiated with an error term smaller than any negative power of $q$). We also provide many numerical results supporting our formulas. The third chapter consists of the article \emph{Residue classes containing an unexpected number of primes}. We fix an integer $a \neq 0$ and study the distribution of the primes of the form $qn+a$, on average over $q$. We show that the choice of $a$ has a significant influence on this distribution, and that some arithmetic progressions contain, on average over q, fewer primes than typical arithmetic progressions. This phenomenon is quite surprising since in light of the prime number theorem for arithmetic progressions, the primes are equidistributed in the residue classes $\bmod q$. The fourth chapter consists of the article \emph{The influence of the first term of an arithmetic progression}. In this article we are interested in studying more general arithmetic sequences and finding irregularities similar to those observed in chapter three. Examples of such sequences are the integers which can be written as the sum of two squares, values of binary quadratic forms, prime $k$-tuples and integers free of small prime factors. We show that a broad class of arithmetic sequences exhibits such irregularities over the arithmetic progressions $a\bmod q$, with $a$ fixed and on average over $q$.