Tesi--Napoli--Università degli studi Federico II. / Bibliogr. p. 7-16.

Nous étudions dans ce mémoire les propriétés des ensembles de pavages engendrés par des jeux de tuiles de Wang exhibant une ou plusieurs directions de déterminisme local, en accordant une importance toute particulière aux jeux déterministes dans les quatre directions diagonales simultanément, dits 4-way déterministes. Après avoir proposé une construction alternative d’un jeu de tuiles apériodique 4-way déterministe, nous étudions plusieurs problèmes de décision sur ces objets et complétons en particulier le résultat d’indécidabilité du problème du pavage dans le cadre 4-way déterministe établi par Lukkarila en montrant l’indécidabilité du problème du pavage périodique 4-way déterministe. Nous montrons également que des familles complexes de coloriages du plan telles que celles engendrées par les substitutions restent sofiques dans un cadre 4-way déterministe. Nous proposons une bi-déterminisation des constructions de jeux de tuiles point-fixe de Durand, Romashchenko et Shen et en tirons quelques premières applications. Enfin, nous considérons l’opportunité d’élargir le rayon de la règle locale de déterminisme afin de limiter les directions d’expansivité et ainsi de permettre la construction localement déterministe de systèmes de particules et collisions non triviaux. Nous introduisons un nouveau modèle syntaxique commode afin de travailler à rayon deux et revisitons des problématiques de Lukkarila dans ce cadre. / In this thesis, we study some properties of the sets of tilings generated by Wang tilesets that exhibit one or more directions of local determinism, focusing in particular on tilesets that are simultaneously deterministic in the four diagonal directions, referred to as 4-way deterministic. After having exposed an alternative construction of a 4-way deterministic aperiodic tileset, we study several decision problems on these objects and complete in particular Lukkarila’s result of undecidability of the Domino Problem in the 4-way deterministic setting proving the undecidability of the 4-way deterministic periodic Domino Problem. We also prove that some complex families of colorings of the plane such that those generated by substitutions remain sofic in the 4-way deterministic setting. We propose a bi-determinization of the constructions by Durand, Romashchenko and Shen of fixed-point tilesets and give some first applications. Finally, we investigate the idea of extending the radius of the local rule of determinism in order to reduce the set of directions of expansiveness and thus allow the local realization of non-trivial particles and collisions systems. We introduce a new and convenient syntactic model to deal with radius two and revisit some of Lukkarila’s problems in this setting.

Les tuiles sont des structures finies, linéaires ou arborescentes, possédantune notion de chevauchement. Elles sont utiles en informatique pourreprésenter des objets musicaux, comme étudié par Janin [2016]. Nous étudieronsles ensembles de tuiles, en particulier comme représentations d’objetsalgébriques, en se basant sur la théorie des semigroupes inversifs.Nos principaux objets d’étude seront les langages de tuiles, et les reconnaisseursappropriés, que l’on peut définir en adaptant aux tuiles des notionsbien connues sur les langages de mots. Nous nous intéresserons à la reconnaissancepar automate, en présentant des automates sur les tuiles linéaires etarborescentes. Nous remarquerons les limites de la puissance de tels automates.Tandis que la notion de reconnaissance par morphisme de monoïdes estinadaptée aux langages de tuiles, nous définirons celle de reconnaissabilité parprémorphisme, ou quasi-reconnaissabilité. Nous étudierons les liens entre quasireconnaissabilitéet reconnaissabilité par automate de tuile.Nous explorerons enfin les propriétés de clôtures de l’ensemble de langagesde tuiles reconnus par automate, et de ceux reconnus par prémorphisme. Ladernière partie sera essentiellement consacrée aux tuiles linéaires, et présenterale monoïde des décompositions restreintes, un outil pour le produit de langagesde tuiles linéaires. / Tiles are finite, linear or tree-like structures, with a notion of overlapping.In computer science, they offer a useful way to represent musical objects,as studied by Janin [2016]. We will study the sets of tiles, especially asrepresentations of algebraic objects, based on the theory of inverse semigroups.Our main focus will be languages of tiles, and the appropriate recognizers,than can be defined by the adaptation to tiles of well-known notions over languagesof words. We will look into the recognition by automata, by presentingautomata over linear and tree-like tiles. We will remark the limits of the powerof such automata.While the notion of recognizability by morphisms is unsuitable to languagesof tiles, we will define recognizability by premorphisms, or quasi-recognizability.We will study the links between quasi-recognizability and recognizability bytile automata.We will finally look into the closure properties of the set of tile languages recognizedby automata, and of the set of quasi-recognizable languages. The lastpart will be dedicated to linear tiles, and will present the monoid of restricteddecompositions, a tool for the product of linear tile languages.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

La préservation des ressources naturelles prend une part de plus en plus importante dans nos sociétés. Les matières premières de l'industrie de la terre cuite sont considérées comme non-renouvelables car prélevées dans des formations géologiques fossiles. Dans ce contexte, les atterrissements d'argiles actuels des systèmes fluviatiles et côtiers constituent des alternatives à l'exploitation de ces séries. L'objectif de cette thèse est d'évaluer d'une part le renouvellement de la ressource en matériaux fins en France ; et d'autre part, de développer des méthodes permettant une utilisation de ces sédiments pour réduire le volume de matériaux fossiles. Une première évaluation sur le territoire français a permis de mettre en évidence que le renouvellement de la source de matériaux fins est assuré par les dépôts fluvio-lacustres et ceux des baies côtières estuariennes avec l'accumulation de plus de 20 Mm3/an ; en particulier dans les atterrissements créés par l'homme. Le développement d'un Cadre Minéralogique de Référence (CMR) à partir de mélanges de production a permis l'évaluation des sites en prenant en compte la composition des sédiments fins. Ce CMR constitue une méthode rapide d’évaluation d’un site à la place de l’approche classique qui nécessite de nombreux essais. Celle-ci est réservée aux sites dont le potentiel a été validé par le CMR. Suite à l’évaluation par le CMR, seule une partie de la source, environ 5 Mm3/an, remplit les critères de l'industrie de la terre cuite qui consomme environ 3,5 Mm3/an. La ressource en matériaux fins parait donc renouvelable. Enfin, la réalisation de mélanges, avec des dégraissants ou des sédiments fins aux propriétés complémentaires, permet d’envisager la valorisation d’atterrissements écartés par manque de compatibilité minéralogique. / Preservation of natural resources becomes an important issue in our societies. Raw materials of the fired-clay industry are considered as non-renewable because there are extracted from fossil geologic formations. In this context, current fine-grained deposits of fluvial and coastal systems constitute alternatives to the quarrying of geologic formations. The aim of this thesis is firstly to assess, within France, the renewal of the resource for such materials; and secondly, to seek alternative methods to enhance the use of such sediments to reduce the yearly volume of fossil sediments consumed by fired-clay industry.A first evaluation allowed highlighting that the renewal of the source of fine sediments is provided by the fluvial and coastal deposits with more than 20 Mm3/yr especially in relation to hydraulic management.Development of a Mineralogical Reference Framework (MRF) from industrial mixtures allowed the evaluation of sites taking into account the sediment composition. This MRF constitutes a rapid screening of a site compared to the classic method that necessitates several experiments. This is to be applied to sites which potential has been validated by the MRF.Only a part of the source, about 5 Mm3, can be used by the fired-clay industry which consumes 3,5 Mm3/yr. Fine material resource seems to be renewable.Finally, the realization of mixtures with shortening agents or other sediments with complementary properties allows valuing a larger number of fine-grained deposits.

L'une des façons les plus efficace de s'assurer du bon fonctionnement d'un système informatique est de les représenter par des modèles mathématiques. De nombreux travaux ont été réalisés en utilisant des automates finis comme modèles, nous essayons ici d'étendre ces travaux à des modèles infinis. Dans cette thèse, nous nous intéressons à quelques problèmes dans lesquels un système est observé de façon incomplète. Dans ce cas, il est impossible d'accéder à certaines informations internes. La diagnosticabilité d'une propriété donnée consiste à vérifier qu'à l'exécution du système, un observateur sera en mesure de déterminer avec certitude que la propriété est vérifiée par le système. L'opacité consiste, réciproquement, à déterminer qu'un doute existera toujours. Une autre application concerne la génération de cas de test. Une fois encore, on considère qu'un observateur n'accède qu'à une partie des événements se produisant dans le système (en général les entrées et les sorties). À partir d'une spécification, on produit automatiquement des cas de test, qui ont pour but de détecter des non-conformités (elles même formalisées de façon précise). Ces trois problèmes ont été étudiés pour des modèles finis. Dans cette thèse, nous étendons leur étude aux modèles récursifs, pour cela nous avons introduit notre propre modèle, les RTS, qui sont une généralisation des automates à pile, et d'autres modèles de la récursivité. Nous adaptons ensuite les techniques utilisées sur des modèles finis, qui servent à résoudre les problèmes qui nous intéressent.

L'une des façons les plus efficace de s'assurer du bon fonctionnement d'un système informatique est de les représenter par des modèles mathématiques. De nombreux travaux ont été réalisés en utilisant des automates finis comme modèles, nous essayons ici d'étendre ces travaux à des modèles infinis. Dans cette thèse, nous nous intéressons à quelques problèmes dans lesquels un système est observé de façon incomplète. Dans ce cas, il est impossible d'accéder à certaines informations internes. La diagnosticabilité d'une propriété donnée consiste à vérifier qu'à l'exécution du système, un observateur sera en mesure de déterminer avec certitude que la propriété est vérifiée par le système. L'opacité consiste, réciproquement, à déterminer qu'un doute existera toujours. Une autre application concerne la génération de cas de test. Une fois encore, on considère qu'un observateur n'accède qu'à une partie des événements se produisant dans le système (en général les entrées et les sorties). À partir d'une spécification, on produit automatiquement des cas de test, qui ont pour but de détecter des non-conformités (elles même formalisées de façon précise). Ces trois problèmes ont été étudiés pour des modèles finis. Dans cette thèse, nous étendons leur étude aux modèles récursifs, pour cela nous avons introduit notre propre modèle, les RTS, qui sont une généralisation des automates à pile, et d'autres modèles de la récursivité. Nous adaptons ensuite les techniques utilisées sur des modèles finis, qui servent à résoudre les problèmes qui nous intéressent. / An effective way to ensure the proper functioning of a computer system is to represent it by using mathematical models . Many studies have been conducted using finite automata as models, in this thesis we try to extend these works to infinite models. We focus on three problems in which a system is partially observed. In this case, it is impossible to access certain internal informations. Diagnosability of a given property consist in checking, that, during the execution of the system, an observer will be able to determine with certainty that the property is verified by the system. Conversely, the opacity consists in determining if a doubt will always exist. Another application is the generation of test cases. Once again, we consider that an observer accesses only some events of the system (typically the inputs and outputs): from a specification, we automatically generate test cases, which are designed to detect non-conformance. These three problems have been studied for finite models. In this thesis, we extend their study to recursive models. For this purpose, we have introduced a new model, the RTS, which are a generalization of pushdown automata and other models of recursion. In order to solve problems of interest, we adapt the techniques used in finite models.

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Le Modèle Standard de la physique des particules permet de décrire le comportement des particules et leurs interactions. L’une d’elles, le quark top, est la particule élémentaire la plus lourde connue à ce jour. Cette propriété lui confère un rôle privilégié dans les théories dites de Nouvelle Physique, il pourrait se coupler préférentiellement aux nouvelles particules prédites par ces modèles.Cette thèse a été menée auprès du détecteur ATLAS installé au LHC. La première partie de ce travail a porté sur l’étalonnage du calorimètre hadronique, une partie du détecteur servant entre autres à mesurer l’énergie des hadrons produits lors des collisions. Ce calorimètre est étalonné grâce à un système laser, qui envoie des pulses de lumière dans les 9852 canaux du calorimètre. Cette étude a permis de corriger les canaux dont le gain dérive en appliquant des facteurs correctifs aux données. La deuxième partie de cette thèse a été consacrée à la recherche d’évènements à deux quarks top de même charge. La topologie avec deux leptons de même charge permet d’avoir une signature claire et présente peu de bruits de fond prédits par le Modèle Standard. Deux versions de l’analyse sont présentées : l’une avec une partie des données enregistrées par ATLAS en 2012, la deuxième plus optimisée avec le lot complet de données de 2012. Ces optimisations ont améliorées d’un facteur 3 la sensibilité sur le signal. N’ayant pas observé d’excès dans les données, une limite sur la section efficace de production d’évènements à deux quarks top de même charge a été calculée dans le cadre de deux modèles effectifs. / The Standard Model of particle physics is used to describe the behavior of the particles and their interactions. One of them, the top quark, is the heaviest elementary particle. This property gives it a favored role in the New Physics theories, it could interact preferentially with new particles predicted by these models.This thesis was performed using the ATLAS detector at LHC. The first part of this work was on the calibration of the ATLAS hadronic calorimeter, part of the detector which is used to measure the energy of the hadrons produced during the collisions. The hadronic calorimeter is calibrated with a laser system, which sends pulses to the 9852 calorimeter’s channels. With this study, drifting channels were corrected by applying correction factors on the data.The second part of this thesis was dedicated to the search of events with two same-sign top quarks. The topology with a same-sign dilepton pair is used to have a clear signature and show only a few Standard Model backgroud processes. Two versions of this analysis are discussed : one of them with a part of the data collected in 2012 and the other one, with a lot of optimizations and with the complete dataset of 2012. These optimizations permits to improve the sensitivity of the signal by a factor 3. Without any excess observed in the data events, it is possible to calculate a limit on the cross section of the same-sign top quarks pair and interpreted in the case of two effective models.

La découverte du boson de Higgs au LHC en 2012 est la plus récente confirmation de la validité du modèle standard, théorie décrivant les particules élémentaires et leurs interactions fondamentales. De nombreuses études ont été mises en place pour étudier les différentes caractéristiques de cette particule récemment découverte. Ce travail se concentre sur la recherche du processus ttH dans l’expérience ATLAS, pour réaliser une première mesure directe du couplage de Yukawa du boson de Higgs au quark top, paramètre important dans les modèles de physique au-delà du modèle standard. La première partie de ce travail a porté sur l’automatisation de l’étalonnage du calorimètre hadronique à tuiles du détecteur ATLAS (TileCal ) par un système laser. Une description de ce système qui permet un étalonnage régulier de toutes les cellules du calorimètre est tout d’abord présentée. Ensuite, l’algorithme d’automatisation de ce processus d’étalonnage, qui a été écrit lors de ce travail, est décrit. Le but final de cet algorithme est de faciliter et accélérer la correction des canaux dont le gain dérive. Une deuxième partie concerne la recherche du processus ttH par l’étude des états finals multi-leptons et particulièrement avec deux leptons de même charge électrique et au moins 4 jets dont 1 étiqueté b. L’estimation des bruits de fond instrumentaux et le traitement statistique réalisé sont décrits en détail dans le document pour deux versions de l’analyse. Une première version correspondant aux données de l’année 2015 et du début 2016, soit une luminosité intégrée de 13.2f b −1 de données, aboutit à une précision insuffisante pour conclure sur la présence du processus ttH. Une deuxième version de l’analyse, optimisée avec l’utilisation d’analyses multivariées sur l’ensemble des données 2015 et 2016, se conclut par une observation du processus ttH lors de la combinaison de l’ensemble des états finals ttH. La signification statistique observée est alors de 4.2σ pour une signification statistique attendue de 3.8σ. Ce résultat est donc en accord avec la prédiction du modèle standard. / Discovery of Higgs boson at LHC in 2012 is the most recent confirmation of the validity of Standard Model, theory describing elementary particles and their interactions. Many analysis now target the extraction of properties of the newly-discovered particle. A direct measurement in the ATLAS experiment of the top Yukawa coupling, one of these properties, is targeted in this work through ttH process. This coupling is of particular interest because of its strong sensitivity to New Physics. The first part of the work is about the automation of the calibration of the hadronic tile calorimeter of the ATLAS detector. A detailed description of the laser system used for a regular calibration of the calorimeter is done as well as of the calibration itself. Then more details on the algorithm written for the automation of the calibration are given. The final goal of this algorithm is to ease and fasten the calibration of channels with gain variation. The second part is dedicated to the search for ttH process through multilepton final states with emphasis on final state with two same-sign leptons, at least four jets and at least 1 b-tagged jet. Estimation of reducible backgrounds and statistical treatment of the analysis are detailed. A first version of the analysis with 13.2f b −1 , corresponding to 2015 and mid-2016 LHC data, ends with a final precision too low to extract any conclusion on the tt̄H process. In a second version of the analysis, improvements are made using multivariate analysis and adding more signal regions. The results from the multilepton analysis is combined with results from other ttH analysis, targeting other Higgs decays, to attain a final observed sentivity of 4.2σ. Thus an evidence for ttH production can be claimed from this combination. The final results give good agreement with Standard Model prediction.