In this thesis we investigate the use of pairwise testing for PLC embedded software. We compare these automatically generated tests with tests created manually by industrial engineers. The tests were evaluated in terms of fault detection, code coverage and cost. In addition, we compared pairwise testing with randomly generated tests of the same size as pairwise tests. In order to automatically create test suites for PLC software a previously created tool called Combinatorial Test Tool (CTT) was extended to support pairwise testing using the IPOG algorithm. Once test suites were created using CTT they were executed on real industrial programs. The fault detection was measured using mutation analysis. The results of this thesis showed that manual tests achieved better fault detection (8% better mutation score in average) than tests generated using pairwise testing. Even if pairwise testing performed worse in terms of fault detection than manual testing, it achieved better fault detection in average than random tests of the same size. In addition, manual tests achieved in average 97.29% code coverage compared to 93.95% for pairwise testing, and 84.79% for random testing. By looking closely on all tests, manual testing performed equally good as pairwise in terms of achieved code coverage. Finally, the number of tests for manual testing was lower (12.98 tests in average) compared to pairwise and random testing (21.20 test in average). Interestingly enough, for the majority of the programs pairwise testing resulted in fewer tests than manual testing.

This thesis presents and analyzes the author's original jazz composition "A Hero's Journey," based on the ancient and widespread storytelling pattern that Joseph Campbell called the "monomyth." Using major concepts from the monomyth, the author composed a suite for ten-piece jazz orchestra consisting of six scenes divided into two acts. Although rooted in the jazz tradition, the piece borrows freely from classical music, African music, Indian music, and modern rock and hip-hop to create an adventurous and continually evolving musical experience. This thesis first provides an overview of the entire suite, then discusses its important melodic themes, and finally analyzes the techniques used for harmonic development within the piece. / text

En 1999, M.Chas et D.Sullivan ont mis en évidence sur l'homologie de l'espace des lacets libres d'une variété une structure de BV-algèbre. C'est ce qui fonde la théorie topologique des cordes. Dans cette thèse, nous montrons comment la compatibilité de la suite spectrale de Serre aux morphismes de Gysin de plongements lisses de codimension finie entre vari étés permet d'effectuer des calculs de ces structures de topologie des cordes. Nous étudions essentiellement le ”loop produit” et le ”loop coproduit” qui munissent l'homologie de l'espace des lacets libres d'une vari été d'une structure d'algèbre de Frobenius sans counité.

Dans cette thèse, décomposée en deux parties, nous nous intéressons à l'étude des vecteurs propres associés aux valeurs propres de module 1 d'un opérateur linéaire borné sur un espace de Banach séparable. La première partie de la thèse fait suite à un travail réalisé par F. Bayart et S. Grivaux dans lequel ils donnent une condition portant sur les vecteurs propres associés aux valeurs propres de module 1 d'un opérateur sur un espace de Hilbert complexe séparable pour qu'il admette une mesure gaussienne non dégénérée pour laquelle il est fortement mélangeant. En exploitant cette condition sur les vecteurs propres, nous cherchons à estimer la vitesse de mélange de l'opérateur en question. Nous montrons qu'il n'y a pas de vitesse de mélange globale en général puis nous démontrons que si les vecteurs propres de l'opérateur sont paramétrés par des champs de vecteurs propres réguliers, alors on a une vitesse de mélange si on travaille avec des classes de fonctions suffisamment régulières. Dans la deuxième partie de la thèse, on étudie le spectre ponctuel unimodulaire d'un opérateur linéaire borné sur un espace de Banach séparable. En nous appuyant sur les résultats connus sur les suites de Jamison, nous étudions l'analogue de ces suites pour les semi-groupes d'opérateurs fortement continus et nous en donnons une carctérisation. Nous nous intéressons également à des problèmes de construction d'espaces de Banach et d'opérateurs sur ces espaces pour des suites qui ne sont pas des suites de Jamison. Nous généralisons ensuite la notion de suite de Jamison en étudiant le spectre ponctuel unimodulaire d'une représentation d'un groupe donné qui est borné par rapport à suite d'éléments de ce groupe. En particulier, on caractérise les suites de Jamison d'un groupe abélien de type fini. / In this thesis, we study into two different parts the eigenvectors associated to unimodular eigenvalues of an operator on a separable Banach space. The first part of the thesis follows a work of F. Bayart and S. Grivaux where they give condition on the eigenvectors associated to unimodular eigenvalues of an operator on a complex separable Hilbert space to admit a Gaussian measure for which the operator defines a strongly mixing transformation. With this condition on the eigenvectors, we investigate the subject of speed of mixing of the strongly mixing operator. We prove that there is no way to obtain a uniform speed of mixing in general. Then we prove that if the eigenvectors associated to unimodular eigenvalues of the operator are parametrized by a countable family of regular eigenvector fields then we have a speed of mixing by considering regular classes of functions. In the second part of the thesis, we study the unimodular point spectrum of an operator on a separable Banach space. By using the results on Jamison sequences, we give a characterization of Jamison sequences for strongly continuous semigroups. We are also concerned in the problem of construction of Banach space and operator on this space when the sequences are not Jamison sequences. Then we generalize the notion of Jamison sequence by studying the unimodular point spectrum of a group representation which is bounded with respect to some sequence of this group. In particular, we characterize Jamison sequences of a finitely generated abelian group.

Title: Applicability of Neural Computer Control in Sport. Objectives: Find out applicability of neural computer control in the sport research using Emotiv Epoc Neuroheadset device and Emotiv Control Panel application. Methods: Case study. Results: New research direction in sport using the Emotiv Epoc Neuroheadset device has been the significant contribution of the Thesis. All the research and results that has been gained will be used as the base for the future research. Results will be applied in more complex research using Emotiv Epoc Neuroheadset in context of different physical activities. Keywords: Emotiv, Cognitiv Suite, virtual cube, physical activity, stress

Doctor of Philosophy / Department of Computing and Information Sciences / David A. Gustafson / Natural Language understanding over a set of sentences or a document is a challenging problem. We approach this problem using semantic extraction and an ontology for answering questions based on the data. There is more information in a sentence than that found by extracting out the visible terms and their obvious relations between one another. It is the hidden information that is not seen that gives this solution the advantage over alternatives. This methodology was tested against the FraCas Test Suite with near perfect results (correct answers) for the sections that are the focus of this paper (Generalized Quantifiers, Plurals, Adjectives, Comparatives, Verbs, and Attitudes). The results indicate that extracting the visible semantics as well as the unseen semantics and their interrelations using an ontology to reason over it provides reliable and provable answers to questions validating this technology.

Este trabalho apresenta um estudo paleomagnético realizado em rochas ácidas da Suíte Colíder e rochas máficas associadas, situadas no Norte do Mato Grosso, parte sudoeste do Cráton Amazônico. Foram coletados 5 cilindros e 42 blocos orientados de rochas ácidas e intermediárias (12 sítios) da Suíte Colider e 75 cilindros e 3 blocos orientados de rochas máficas (11 sítios) pertencentes à Intrusiva Guadalupe e à Suíte Intrusiva Flor da Serra localizados nas proximidades de Alta Floresta, Colíder, Terra Nova e Matupá. A Suíte Colíder foi datada pelo método UPb em zircões e apresenta idades entre 1,80 e 1,78 Ga. Para a Intrusiva Guadalupe ainda não existem determinações radiométricas que estabeleçam a sua idade. A investigação da mineralogia magnética feita através de curvas termomagnéticas, de indução magnética e de histerese, além do tratamento térmico e por campos magnéticos alternados, indica a hematita como sendo o principal portador magnético da maioria das rochas ácidas. Por outro lado, as rochas máficas apresentam grãos de titanomagnetita pobre em Ti, a maioria com estrutura de pseudo-domínio simples (PSD). Espécimes destas rochas após as desmagnetizações térmicas e por campos magnéticos alternados apresentaram duas direções de magnetização característica. Uma delas (componente B) é representada por direções norte (sul) com inclinações negativas (positivas) (Dm=187.4°, Im=50.9°, N=16 ?95=11.3°, K=11.7) que foram isoladas para a maioria das rochas da Suíte Colíder e máficas associadas. A outra (componente A) é representada por direções norte com inclinações positivas ((Dm=356.5°, Im=47.6°, N=3, ?95=15.8°, K=61.9) e foi encontrada para o gabro Guadalupe e outros dois diques máficos. Dois pólos paleomagnéticos foram determinados para estas componentes, os quais estão localizados em 289.4°E, -65.4°N (?95=12.9°) (pólo SC, Suíte Colíder) e 298.8°E, 50.4°N (?95=15.1°) (pólo IG, Intrusiva Guadalupe). O pólo SC (fator de confiabilidade Q=5) de idade 1789 ± 7 Ma é considerado um pólo de referência para o Cráton Amazônico. Reconstruções paleogeográficas obtidas através de pólos de referência do Paleoproterozóico sugerem que a Laurentia, a Báltica, o Norte da China e o Cráton Amazônico formavam uma grande massa continental (Supercontinente Columbia) entre 1830-1770 Ma. Esta hipótese é reforçada por dados geológicos que evidenciam a existência de cinturões paleoproterozóicos bem alinhados nestas quatro massas continentais, sendo estes formados por cinturões magmáticos relacionados a subducções com a mesma polaridade. / This work presents a paleomagnetic study perfomed on felsic volcanic rocks of the Colider Suite (5 oriented cores and 42 oriented hand samples, 12 sites), Flor da Serra and Guadalupe mafic rocks (75 oriented cores and 3 oriented hand samples, 11 sites). These units are situated in the northern Mato Grosso State (southwestern Amazonian Craton), close to the Alta Floresta, Colider, Terra Nova, and Matupá cities. The Colider Suite rocks have been dated by the U-Pb (zircon) method, and ages vary between 1.80 and 1.78 Ga. Radiometric determinations are not yet available for the Guadalupe Intrusive. Two very stable magnetization components were isolated after AF and thermal demagnetization: northern (southern) directions with moderate to steep downward (upward) inclinations (component B - Dm=187.4°, Im=50.9°, N=16, ?95=11.3°, K=11.7) were isolated for most Colider Suite rocks and associated mafic rocks. Northern upward direction with moderate inclination (component A - Dm=356.5°, Im=47.6°, N=3, ?95=15.8°, K=61.9) was found for the Guadalupe gabbro and other two mafic dikes. Rock magnetism experiments show that the magnetization is carried by hematite, which is probably primary in origin, in the felsic rocks. In the mafic rocks the main magnetic carrier is Ti-poor titanomagnetite in the PSD magnetic structure. Two paleomagnetic poles were determined for these components, which are located at 289.4°E, -65.4°N (?95=12.9°) (SC pole, Colider Suite) and 298.8°E, 50.4°N (?95=15.1°) (IG pole, Guadalupe Intrusive). An age of 1.780 ± 7 Ma is attributted to pole SC (quality factor Q=5), which is considered a key pole for the Amazon Craton. Paleogeographic reconstructions using Paleoproterozoic key poles suggest that Laurentia, Baltica, North China and the Amazon Craton were located in laterally contiguous positions forming a huge continental mass (Columbia Supercontinent) at 1830-1770 Ma ago. This hypothesis is reinforced by the geological evidence that paleoproterozoic mobile belts of these four continental masses fit well in the reconstruction, being formed by contemporaneous subduction-related magmatic arc belts with the same tectonic polarity.

Esta dissertação refere-se à análise, em seus fundamentos estruturais, estilísticos e instrumentais da obra Guitare pour Orquestre, criada em 1934 pelo compositor suíço Frank Martin (1890-1974) para grande orquestra. O trabalho se desenvolveu através da comparação entre as fontes manuscritas para orquestra e o original para violão, composto um ano antes, conhecido como Quatre Pièces Brèves pour la Guitare. / This dissertation refers to the analysis, in the structural, stylistic, and instrumental fundamentals of the musical composition Guitare pour Orquestre, created in 1934 by the Swiss composer Frank Martin (1890-1974) for the whole orchestra. The paper was developed by the comparison among the manuscripts for orchestra and the original composed for the guitar the previous year, known as Quatre Pièces Brèves pour la Guitare.

Este trabalho apresenta um estudo paleomagnético realizado em rochas ácidas da Suíte Colíder e rochas máficas associadas, situadas no Norte do Mato Grosso, parte sudoeste do Cráton Amazônico. Foram coletados 5 cilindros e 42 blocos orientados de rochas ácidas e intermediárias (12 sítios) da Suíte Colider e 75 cilindros e 3 blocos orientados de rochas máficas (11 sítios) pertencentes à Intrusiva Guadalupe e à Suíte Intrusiva Flor da Serra localizados nas proximidades de Alta Floresta, Colíder, Terra Nova e Matupá. A Suíte Colíder foi datada pelo método UPb em zircões e apresenta idades entre 1,80 e 1,78 Ga. Para a Intrusiva Guadalupe ainda não existem determinações radiométricas que estabeleçam a sua idade. A investigação da mineralogia magnética feita através de curvas termomagnéticas, de indução magnética e de histerese, além do tratamento térmico e por campos magnéticos alternados, indica a hematita como sendo o principal portador magnético da maioria das rochas ácidas. Por outro lado, as rochas máficas apresentam grãos de titanomagnetita pobre em Ti, a maioria com estrutura de pseudo-domínio simples (PSD). Espécimes destas rochas após as desmagnetizações térmicas e por campos magnéticos alternados apresentaram duas direções de magnetização característica. Uma delas (componente B) é representada por direções norte (sul) com inclinações negativas (positivas) (Dm=187.4°, Im=50.9°, N=16 ?95=11.3°, K=11.7) que foram isoladas para a maioria das rochas da Suíte Colíder e máficas associadas. A outra (componente A) é representada por direções norte com inclinações positivas ((Dm=356.5°, Im=47.6°, N=3, ?95=15.8°, K=61.9) e foi encontrada para o gabro Guadalupe e outros dois diques máficos. Dois pólos paleomagnéticos foram determinados para estas componentes, os quais estão localizados em 289.4°E, -65.4°N (?95=12.9°) (pólo SC, Suíte Colíder) e 298.8°E, 50.4°N (?95=15.1°) (pólo IG, Intrusiva Guadalupe). O pólo SC (fator de confiabilidade Q=5) de idade 1789 ± 7 Ma é considerado um pólo de referência para o Cráton Amazônico. Reconstruções paleogeográficas obtidas através de pólos de referência do Paleoproterozóico sugerem que a Laurentia, a Báltica, o Norte da China e o Cráton Amazônico formavam uma grande massa continental (Supercontinente Columbia) entre 1830-1770 Ma. Esta hipótese é reforçada por dados geológicos que evidenciam a existência de cinturões paleoproterozóicos bem alinhados nestas quatro massas continentais, sendo estes formados por cinturões magmáticos relacionados a subducções com a mesma polaridade. / This work presents a paleomagnetic study perfomed on felsic volcanic rocks of the Colider Suite (5 oriented cores and 42 oriented hand samples, 12 sites), Flor da Serra and Guadalupe mafic rocks (75 oriented cores and 3 oriented hand samples, 11 sites). These units are situated in the northern Mato Grosso State (southwestern Amazonian Craton), close to the Alta Floresta, Colider, Terra Nova, and Matupá cities. The Colider Suite rocks have been dated by the U-Pb (zircon) method, and ages vary between 1.80 and 1.78 Ga. Radiometric determinations are not yet available for the Guadalupe Intrusive. Two very stable magnetization components were isolated after AF and thermal demagnetization: northern (southern) directions with moderate to steep downward (upward) inclinations (component B - Dm=187.4°, Im=50.9°, N=16, ?95=11.3°, K=11.7) were isolated for most Colider Suite rocks and associated mafic rocks. Northern upward direction with moderate inclination (component A - Dm=356.5°, Im=47.6°, N=3, ?95=15.8°, K=61.9) was found for the Guadalupe gabbro and other two mafic dikes. Rock magnetism experiments show that the magnetization is carried by hematite, which is probably primary in origin, in the felsic rocks. In the mafic rocks the main magnetic carrier is Ti-poor titanomagnetite in the PSD magnetic structure. Two paleomagnetic poles were determined for these components, which are located at 289.4°E, -65.4°N (?95=12.9°) (SC pole, Colider Suite) and 298.8°E, 50.4°N (?95=15.1°) (IG pole, Guadalupe Intrusive). An age of 1.780 ± 7 Ma is attributted to pole SC (quality factor Q=5), which is considered a key pole for the Amazon Craton. Paleogeographic reconstructions using Paleoproterozoic key poles suggest that Laurentia, Baltica, North China and the Amazon Craton were located in laterally contiguous positions forming a huge continental mass (Columbia Supercontinent) at 1830-1770 Ma ago. This hypothesis is reinforced by the geological evidence that paleoproterozoic mobile belts of these four continental masses fit well in the reconstruction, being formed by contemporaneous subduction-related magmatic arc belts with the same tectonic polarity.

Le droit de suite est né en France à la suite de la prise de conscience de la difficile condition financière des artistes, qui pourtant connaissaient le succès. Ainsi, l’image s’était imposée de la famille de l’artiste qui voyait le prix de ses oeuvres s’envoler, sans pour autant bénéficier de ce gain financier. Les projets pour remédier à ces difficultés se sont multipliés au début du XXème siècle, afin de lutter contre cette injustice. Ce mouvement conduit à la consécration du droit de suite en droit français par la loi du 20 mai 1920, un modèle qui a rayonné à l’étranger. L’Union Européenne, par un intéressant processus de lobbying, a également consacré le droit de suite et le mouvement parait s’étendre. En dépit de cette diffusion et de ce mouvement louable, le droit de suite est toujours aussi critiqué, questionnant dès lors sa légitimité. Ce droit, dont le régime s’est très vite aménagé, est pourtant sans cesse à la recherche d’une réelle justification. / Resale royalty rights came into being in France with the growing awareness of the difficult financial conditions faced by otherwise successful artists. The prevailing image was one of the artist’s family watching the price of his works soar yet with no financial gain for itself. The early 20th century saw increasing numbers of initiatives taken to resolve the difficulties caused by this unfair situation, resale royalty rights becoming enshrined in French law with the law of 20 May, 1920, before subsequently spreading abroad. Through an interesting lobbying process, the European Union has also enshrined resale royalty rights, and the movement appears to be spreading. Despite this laudable movement and its spread, resale royalty rights continue to be criticised, thus bringing their very legitimacy into question. These rights, the system of which was rapidly established, are still in search of a true rationale.