Cette thèse est consacrée à l'étude des décalages, ou encore systèmes dynamiques symboliques, définis sur certains monoïdes finiment présentés, $Z^d$ d'une part et les arbres d'autre part. Le principal résultat concernant les décalages multidimensionnels établit que tout décalage effectif de dimension d est obtenu par facteur et sous-action projective d'un décalage de type fini de dimension d+1. De ce résultat nous déduisons que les décalages S-adiques multidimensionnels donnés par une suite effective de substitutions sont sofiques. Sur les décalages d'arbres nous montrons un théorème de décomposition, qui permet d'écrire une conjugaison entre deux décalages d'arbres quelconques comme une suite finie d'opérations élémentaires, les fusions entrantes et les éclatements entrants. De ce théorème, associé à la commutation des fusions entrantes, nous déduisons la décidabilité du problème de conjugaison entre deux décalages d'arbres de type fini. Nous nous intéressons ensuite à la classe des décalages d'arbres sofiques, qui sont exactement ceux reconnus par des automates d'arbres montants dans lesquels tous les états sont à la fois initiaux et finaux. Nous montrons l'existence d'un unique automate d'arbres déterministe, réduit, irréductible et synchronisé qui reconnaît un décalage d'arbres sofique. Enfin nous montrons que l'appartenance à la sous-classe des décalages d'arbres AFT est décidable

Cette thèse est consacrée à l'étude des décalages, ou encore systèmes dynamiques symboliques, définis sur certains monoïdes finiment présentés, $Z^d$ d'une part et les arbres d'autre part. Le principal résultat concernant les décalages multidimensionnels établit que tout décalage effectif de dimension d est obtenu par facteur et sous-action projective d'un décalage de type fini de dimension d+1. De ce résultat nous déduisons que les décalages S-adiques multidimensionnels donnés par une suite effective de substitutions sont sofiques. Sur les décalages d'arbres nous montrons un théorème de décomposition, qui permet d'écrire une conjugaison entre deux décalages d'arbres quelconques comme une suite finie d'opérations élémentaires, les fusions entrantes et les éclatements entrants. De ce théorème, associé à la commutation des fusions entrantes, nous déduisons la décidabilité du problème de conjugaison entre deux décalages d'arbres de type fini. Nous nous intéressons ensuite à la classe des décalages d'arbres sofiques, qui sont exactement ceux reconnus par des automates d'arbres montants dans lesquels tous les états sont à la fois initiaux et finaux. Nous montrons l'existence d'un unique automate d'arbres déterministe, réduit, irréductible et synchronisé qui reconnaît un décalage d'arbres sofique. Enfin nous montrons que l'appartenance à la sous-classe des décalages d'arbres AFT est décidable / This thesis is devoted to the study of subshifts, or symbolic dynamical systems, defined on some finitely presented monoids like $Z^d$ or the infinite binary tree. The main result concerning multidimensional subshifts establishes that any effective subshift of dimension d can be obtained by factor map and projective subaction of a subshift of finite type of dimension d+1. This result has many applications, and in particular we prove that multidimensional effective S-adic subshifts are sofic. On tree-shifts we prove a decompositiontheorem, which implies that the conjugacy problem between two tree-shifts of finite type is decidable. We then investigate the class of sofic tree-shifts that are exactly those recocognized by tree automata. We prove that any sofic tree-shift has a unique deterministic, reduced, irreducible and synchronized tree automaton that recognized it. Finally we prove that it is decidable wether a sofic tree-shift belong to the sub-class of AFT tree-shifts

Je présente un nouveau modèle d'émission nébulaire de galaxies à formation d'étoiles, que j'ai développé en combinant un modèle récent de synthèse de populations stellaires avec un code classique de photoionisation. Je détaille les principales caractéristiques de ce nouveau modèle, comme le traitement sophistiqué des abondances individuelles et des déplétions sur les grains de poussière qui permet d'explorer de façon appropriée les signatures des rapports non solaires d'abondances de métaux, et donc les propriétés des galaxies chimiquement jeunes à l'époque de la réionisation. Je présente la grille exhaustive publique de modèles de photoionisation que j'ai créée, explorant de larges éventails de paramètres stellaires et interstellaires. Je décris la capacité des modèles à reproduire simultanément les caractéristiques observationnelles de galaxies à formation d'étoiles dans plusieurs diagrammes de rapports de raies ultraviolettes et optiques, et j'explore l'influence des différents paramètres ajustables des modèles sur les prédictions de rapports de luminosités de raies. Je décris également comment la combinaison de ces modèles avec des modèles de régions d'émission de raies étroites autour de noyaux actifs de galaxies, effectués avec le même code de photoionisation, permet de définir de nouveaux diagnostics de rapports de raies d'émission ultraviolettes et optiques pour distinguer la formation stellaire et l'activité nucléaire dans les galaxies. Enfin, je montre comment le nouveau modèle présenté dans cette thèse a déjà été utilisé pour interpréter avec succès les raies d'émission ultraviolettes et optiques de galaxies naines lentillées à des décalages spectraux entre 2-7. / I present a new model of nebular emission from star-forming galaxies, which I have developed by combining updated stellar population synthesis models with a standard photoionization code. I detail the main features of this new model, such as the recent advances in the theories of stellar interiors and atmospheres it incorporates to interpret the ionizing radiation from star-forming galaxies, and the careful treatment of individual abundances and depletion onto dust grains, which allows one to properly explore the signatures of non-solar metal abundance ratios, and then the properties of chemically young galaxies out to the reionization epoch. I present the public comprehensive grid of photoionization models I have computed, including full ranges of stellar and interstellar parameters. I describe the ability of the models to account simultaneously for observational trends followed by star-forming galaxies in several ultraviolet and optical diagnostic line-ratio diagrams, and I explore the influence of the various adjustable model parameters on predicted line-luminosity ratios. I also describe how the combination of this model with calculations of narrow-line emitting regions from active galactic nuclei computed using the same photoionization code allows one to define new ultraviolet and optical emission-line diagnostics to discriminate between star formation and nuclear activity in galaxies. Finally, I show how the new model presented in this thesis has already been used successfully to interpret the rest-frame ultraviolet and optical line emission of different types of high-redshift star-forming galaxies, mainly lensed dwarf star-forming galaxies at redshift between 2-7.

Les sous-décalages sont des ensembles de coloriages d'un groupe définis en excluant certains motifs, et munis d'une action de décalage. Ces objets apparaissent naturellement comme discrétisations de systèmes dynamiques : à partir d'une partition de l'espace, on associe à chaque point de ce-dernier la suite des partitions visitées sous l'action du système.Plusieurs résultats récents ont mis en évidence la riche interaction entre la dynamique des sous-décalages et leur propriétés algorithmiques. Un exemple remarquable est la classification des entropies des sous-décalages multidimensionnels de type fini comme l'ensemble des nombres récursivement énumérables à droite. Cette thèse s'intéresse aux sous-décalages avec une approche double : d'un côté on s'intéresse à leurs propriétés dynamiques et de l'autre on les étudie comme des modèles de calcul.Cette thèse contient plusieurs résultats : une condition combinatoire suffisante prouvant qu'un sous-décalage dans un groupe dénombrable est non-vide, un théorème de simulation qui réalise une action effective d'un groupe de type fini comme un facteur d'une sous-action d'un sous-décalage de type fini, une caractérisation de l'effectivité à l'aide de machines de Turing généralisées et l'indécidabilité du problème de torsion pour deux groupes, qui sont invariants de systèmes dynamiques.Comme corollaires de nos résultats, nous obtenons d'abord une preuve courte de l'existence de sous-décalages fortement apériodiques sur tout groupe dénombrable. Puis, dans le cas d'un produit semi-direct de la grille bidimensionnelle avec un groupe de type fini avec problème du mot décidable, nous montrons que le sous-décalage obtenu est de type fini. / Shift spaces are sets of colorings of a group which avoid a set of forbidden patterns and are endowed with a shift action. These spaces appear naturally as discrete versions of dynamical systems: they are obtained by partitioning the phase space and mapping each element into the sequence of partitions visited by its orbit.Severa! breakthroughs in this domain have pointed out the intricate relationship between dynamics of shift spaces and their computability properties. One remarkable example is the classification of the entropies of multidimensional subshifts of finite type as the set of right recursively enumerable numbers. This work explores shift spaces with a dual approach: on the one hand we are interested in their dynamical properties and on the ether hand we studythese abjects as computational models.Four salient results have been obtained as a result of this approach: (1) a combinatorial condition ensuring non-emptiness of subshifts on arbitrary countable groups; (2) a simulation theorem which realizes effective actions of finitely generated groups as factors of a subaction of a subshift of finite type; (3) a characterization of effectiveness with oracles using generalized Turing machines and (4) the undecidability of the torsion problem for two group invariants of shift spaces.As byproducts of these results we obtain a simple proof of the existence of strongly aperiodic subshifts in countable groups. Furthermore, we realize them as subshifts of finite type in the case of a semidirect product of a d-dimensional integer lattice with a finitely generated group with decida ble word problem whenever d> 1.

Cette thèse porte sur la création d'un système expert d'alignement automatique des signaux chromatographiques répondant à une problématique de dérives et de décalages de signaux rencontrée dans l'inter-comparaison de données en milieu évolutif. Après un état de l'art des différentes méthodes d'alignement qui existent dans la littérature, les performances des méthodes librement disponibles ont été testées sur des jeux de données chromatographiques simulées et réelles. A l'issu de ce travail méthodique, il s'est avéré qu'aucune des méthodes n'apportait pleinement satisfaction en matière de performances définies dans le cahier des charges. Ainsi, une optimisation de la meilleure de ces méthodes d'alignement a été développée afin qu'elle puisse être annexée à un logiciel d'acquisition et de traitement de données chromatographiques. La dernière partie de ce manuscrit traite d'une problématique complémentaire, la conformité des échantillons en terme de contrôle qualité. La similitude des pics est évaluée selon des critères développés et validés par une exploitation manuelle des données. / This thesis focuses on the creation of an expert system for automatic alignment of chromatographic signals in response to a problem of drifts and shifts of signals encountered in the inter-comparison of data in evolving environment. After a state of the art of the different alignment methods that exist in the literature, the performances of freely available methods were tested on sets of simulated and real chromatographic data. At the end of this methodical work, it turned out that none of the methods did not provide fully satisfactory in terms of performance defined in the specification. Thus, an optimization of the best alignment method has been developed so that it can be attached to a software acquisition and processing of chromatographic data. The last part of this thesis deals with a complementary problem, the conformity of the samples in terms of quality control. The similarity of the peaks is evaluated according to criteria developed and validated by manual operation data.

AMS est un détecteur de particules qui sera embarqué à bord de la Station Spatiale Internationale début 2008. Avec son trajectomètre en silicium et son calorimètre électromagnétique, il pourra détecter les photons entre 1 GeV et 300 GeV. <br />Dans la première partie de cette thèse, nous donnons les résultats obtenus lors de l'analyse des données d'un test sur faisceau du calorimètre électromagnétique. A l'aide d'un logiciel de simulation rapide, nous évaluons les capacités de détection d'AMS en gamma. Nous donnons des prédictions de flux pour différents types de sources astrophysiques et pour un halo de matière noire supersymétrique au centre galactique.<br />HETE-2 est un satellite actuellement en fonctionnement qui est conçu pour détecter et localiser les sursauts gamma. Du fait des énergies mises en jeu, ce type de source pourrait être utilisé pour tester des domaines de la physiques inaccessibles aux accélérateurs. <br />Dans la deuxième partie de la thèse, nous étudions les courbes de lumières de douze sursauts gamma observés par le détecteur FREGATE à bord d'HETE-2 et pour lesquels une mesure du redshift est disponible. En étudiant les écarts temporels entre des photons de différentes énergies, nous pouvons déterminer une limite inférieure sur l'échelle de gravitation quantique de Eqg > 10^15 GeV.

Un automate cellulaire probabiliste (ACP) est une chaîne de Markov sur un espace symbolique. Le temps est discret, les cellules évoluent de manière synchrone, et le nouvel état de chaque cellule est choisi de manière aléatoire, indépendamment des autres cellules, selon une distribution déterminée par les états d'un nombre fini de cellules situées dans le voisinage. Les ACP sont utilisés en informatique comme modèle de calcul, ainsi qu'en biologie et en physique. Ils interviennent aussi dans différents contextes en probabilités et en combinatoire. Un ACP est ergodique s'il a une unique mesure invariante qui est attractive. Nous prouvons que pour les AC déterministes, l'ergodicité est équivalente à la nilpotence, ce qui fournit une nouvelle preuve de l'indécidabilité de l'ergodicité pour les ACP. Alors que la mesure invariante d'un AC ergodique est triviale, la mesure invariante d'un ACP ergodique peut être très complexe. Nous proposons un algorithme pour échantillonner parfaitement cette mesure. Nous nous intéressons à des familles spécifiques d'ACP, ayant des mesures de Bernoulli ou des mesures markoviennes invariantes, et étudions les propriétés de leurs diagrammes espace-temps. Nous résolvons le problème de classification de la densité sur les grilles de dimension supérieure ou égale à 2 et sur les arbres. Enfin, nous nous intéressons à d'autres types de problèmes. Nous donnons une caractérisation combinatoire des mesures limites pour des marches aléatoires sur des produits libres de groupes. Nous étudions les mesures d'entropie maximale de sous-décalages de type fini sur les réseaux et sur les arbres. Les ACP interviennent à nouveau dans ce dernier travail.