.

.

Méthode d'itération pour le calcul de valeurs propres et de vecteurs propres d'opérateurs linéaires. Approximation par itération des éléments propres d'un opérateur linéaire ferme quasi décomposé par une projection de rang 1. Approximation des éléments propres d'un opérateur linéaire ferme par itération : cas général. Approximation d'un sous-espace invariant d'un opérateur linéaire par itération.

L'objectif de cette recherche est de définir les significations du N (nom) fois au travers des principales constructions qui l'utilisent en français contemporain, et d‟expliquer la formation des expressions dérivées autrefois, des fois (que), parfois, quelquefois, toutefois, une fois (que). Examiné sous l'angle du lexique, le mot fois est un substantif féminin, qui, précédé d'un déterminant, se constitue en groupe nominal (GN). Le N fois dénote un comptage d'occurrences, c'est-à-dire d'unités de discours, qui sont le plus souvent des processus verbaux ou des prédicats. Il s'agit donc d‟unités linguistiques ce qui explique que fois apparaît dans des contextes divers. Nous avons classé les principales constructions en fonction des déterminants relevés dans le GN fois. D'une part, les GN composés des adjectifs cardinaux ou quantificateurs + fois permettent de compter des occurrences du langage et ont une fonction adverbiale de quantification ; si les occurrences comptées sont des processus verbaux, ils portent en sus une notion temporelle à valeur itérative ou fréquentielle. Avec les autres déterminants (article défini et indéfini, adjectif démonstratif, quantificateurs universels tous les et chaque), fois est un nom temporel qui tend à se standardiser. Les expressions dérivées évoluent sémantiquement et produisent une forme adverbiale préalable à d'autres transformations. Nous pouvons ainsi identifier le groupe des adverbiaux de quantification, le plus ancien, qui a facilité l'apparition des expressions dérivées, et un groupe plus récent où fois apparaît comme un nom temporel au même titre que jour, instant ou moment. / We aim in this search to define the significations of N (name) fois through the main constructions using it in modern French, and to explain how it helped in forming the derived expressions autrefois, des fois (que), parfois, quelquefois, toutefois, une fois (que). From a lexical point of view, the word fois is a feminine substantive, and, built with a determiner, it forms a nominal group (NG). The N fois denotes an occurrences counting, that means discurse units counting, mostly verbal process or predicates. Therefore it concerns liunguistic units and that's why fois is used in several contexts. We organized the main constructions according to the determiner used in NG fois. Firstly, NG built with cardinal adjectives or quantifiers + fois allow counting language occurrences and function as a quantification adverb ; if the occurrences are verbal process, they bring besides a temporal notion with iterative or frequential value. With other déterminers (definite and indefinite article, demonstrative adjective, universal quantifiers tous les and chaque), fois is a temporal name on the way to standardisation. The derived expressions change semantically and come to an adverbial form prior other transformations. This concludes to identify the group of quantification adverbs, the former one, which helped the formation of derived expressions, and a newer group in which fois is a temporal name as jour, instant or moment.

Tableau d’honneur de la Faculté des études supérieures et postdoctorales, 2010-2011 / L'ensemble de Julia d'une fonction rationnelle, issu de la théorie dite classique de l'itération, possède une généralisation à une théorie dite aléatoire, où les fonctions appliquées peuvent être différentes d'une itération à l'autre. En restreignant notre étude de l'itération aléatoire aux cas où les suites de fonctions considérées sont des suites dites bornées de polynômes, plusieurs phénomènes de la théorie classique se généralisent, et on se demande jusqu'à quel point c'est le cas. On étudie donc les liens entre les deux théories via la question suivante : comment est modifié l'ensemble de Julia lorsque les coefficients des fonctions qui l'engendrent sont modifiés? Un théorème classique décrit ainsi l'ensemble de Julia comme ressemblant à une multifonction méromorphe, et on tente de généraliser celui-ci. Il faut donc, d'abord, décrire les grandes lignes de la théorie l'itération et de celle des multifonctions méromorphes.

La notion de mouvement holomorphe a été introduite en 1983 par Mañé, Sad et Sullivan pour étudier certaines familles de fonctions rationnelles. Dans ce mémoire, on se propose d'utiliser les mouvements holomorphes dans le contexte des systèmes de fonctions itérées (IFS). Dans un premier temps, nous serons amenés à définir l'attracteur d'un IFS. Par la suite, on s'intéressera à la notion de quasiconformité, qui est intimement liée aux mouvements holomorphes. Finalement, après avoir exposé certains résultats de prolongement, nous déterminerons des critères qui nous assurent de l'existence d'un mouvement holomorphe de l'attracteur d'une famille d'IFS.

Dans les dernières années, beaucoup de progrès a été fait dans le domaine des voitures autonomes. Plusieurs grandes compagnies travaillent à créer un véhicule robuste et sûr. Pour réaliser cette tâche, ces voitures utilisent un lidar pour la localisation et pour la cartographie. Iterative Closest Point (ICP)est un algorithme de recalage de points utilisé pour la cartographie basé sur les lidars. Ce mémoire explore des approches pour améliorer le minimisateur d’erreur d’ICP. La première approche est une analyse en profondeur des filtres à données aberrantes. Quatorze des filtres les plus communs (incluant les M-estimateurs) ont été testés dans différents types d’environnement, pour un total de plus de 2 millions de recalages. Les résultats expérimentaux montrent que la plupart des filtres ont des performances similaires, s’ils sont correctement paramétrés. Néanmoins, les filtres comme Var.Trim., Cauchy et Cauchy MAD sont plus stables à travers tous les types environnements testés. La deuxième approche explore les possibilités de la cartographie à grande échelle à l’aide de lidar dans la forêt boréale. La cartographie avec un lidar est souvent basée sur des techniques de Simultaneous Localization and Mapping (SLAM) utilisant un graphe de poses, celui-ci fusionne ensemble ICP, les positions Global Navigation Satellite System (GNSS) et les mesures de l’Inertial Measurement Unit (IMU). Nous proposons une approche alternative qui fusionne ses capteurs directement dans l’étape de minimisation d’ICP. Nous avons réussi à créer une carte ayant 4.1 km de tracés de motoneige et de chemins étroits. Cette carte est localement et globalement cohérente. / In recent years a lot of progress has been made in the development of self-driving cars. Multiple big companies are working on creating a safe and robust autonomous vehicle . To make this task possible, theses vehicles rely on lidar sensors for localization and mapping. Iterative Closest Point (ICP) is a registration algorithm used in lidar-based mapping. This thesis explored approaches to improve the error minimization of ICP. The first approach is an in-depth analysis of outlier filters. Fourteen of the most common outlier filters (such as M-estimators) have been tested in different types of environments, for a total of more than two million registrations. The experimental results show that most outlier filters have a similar performance if they are correctly tuned. Nonetheless, filters such as Var.Trim., Cauchy, and Cauchy MAD are more stable against different environment types. The second approach explores the possibilities of large-scale lidar mapping in a boreal forest. Lidar mapping is often based on the SLAM technique relying on pose graph optimization, which fuses the ICP algorithm, GNSS positioning, and IMU measurements. To handle those sensors directly within theICP minimization process, we propose an alternative technique of embedding external constraints. We manage to create a crisp and globally consistent map of 4.1 km of snowmobile trails and narrow walkable trails. These two approaches show how ICP can be improved through the modification of a single step of the ICP’s pipeline.

L'objectif de cette recherche est de définir les significations du N (nom) fois au travers des principales constructions qui l'utilisent en français contemporain, et d‟expliquer la formation des expressions dérivées autrefois, des fois (que), parfois, quelquefois, toutefois, une fois (que). Examiné sous l'angle du lexique, le mot fois est un substantif féminin, qui, précédé d'un déterminant, se constitue en groupe nominal (GN). Le N fois dénote un comptage d'occurrences, c'est-à-dire d'unités de discours, qui sont le plus souvent des processus verbaux ou des prédicats. Il s'agit donc d‟unités linguistiques ce qui explique que fois apparaît dans des contextes divers. Nous avons classé les principales constructions en fonction des déterminants relevés dans le GN fois. D'une part, les GN composés des adjectifs cardinaux ou quantificateurs + fois permettent de compter des occurrences du langage et ont une fonction adverbiale de quantification ; si les occurrences comptées sont des processus verbaux, ils portent en sus une notion temporelle à valeur itérative ou fréquentielle. Avec les autres déterminants (article défini et indéfini, adjectif démonstratif, quantificateurs universels tous les et chaque), fois est un nom temporel qui tend à se standardiser. Les expressions dérivées évoluent sémantiquement et produisent une forme adverbiale préalable à d'autres transformations. Nous pouvons ainsi identifier le groupe des adverbiaux de quantification, le plus ancien, qui a facilité l'apparition des expressions dérivées, et un groupe plus récent où fois apparaît comme un nom temporel au même titre que jour, instant ou moment.

Proposition d'une méthode dite de positionnement pour la conception d'algorithmes parallèles pour réseaux symboliques composés de cellules programmables. Simulation d'algorithmes symboliques dans le langage Occam, caractérisé par un mécanisme de synchronisation locale. Quelques résultats partiels sur une conjecture a propos du plus long cycle que peut générer séquentiellement un réseau booléen monotone sont présentés

On présente ici l'étude de la résolution de problèmes généralisés de valeurs propres issues de l'analyse de modèles macroéconomiques.