Les migrations des Albanais en Grèce, amorcées suite à la chute du régime communiste en Albanie, peuvent être qualifiées d'exceptionnelles aussi bien par leur intensité et leur importance arithmétique que par l'évolution particulière des migrants, qui entreprennent quelques pratiques et attitudes assez étonnantes, ou du moins peu « habituelles ». Ces dernières concernent, d'une part, une dissimulation identitaire, qui passe par le changement de prénom et/ou de religion ; elles impliquent, d'autre part, l'invisibilité spatiale des Albanais en tant que groupe, essentiellement traduite par la diffusion de leurs ménages dans le territoire urbain de Thessalonique (deuxième plus importante métropole grecque après la capitale, et notre terrain d'enquête), et par l'absence d'un quartier ethnicisé dans cette même ville. L'objet de cette thèse porte sur l'exploration de ces phénomènes, les conditions sous lesquelles ils ont été générés, aussi bien que leurs conséquences. Pour notre part, nous proposons que ces phénomènes forment les diverses composantes d'une même stratégie d'adaptation des migrants albanais en Grèce. Dans quelle mesure cette stratégie s'attache aux orientations culturelles des Albanais ? Est-ce la structure du pays d'immigration qui la fait générer ? Un tel dilemme se pose-t-il véritablement ? Lors de ce travail, nous nous efforçons de démonter que les stratégies en question sont la conséquence d'une multiplicité des facteurs liés tant à la culture des nouveaux-arrivants, leur histoire pré-migratoire et leurs relations avec leurs compatriotes aux pays d'immigration, qu'au climat social général et aux politiques migratoires en Grèce.

Les procédures de renormalisation dans l'espace réel de type Ma-Dasgupta permettent d'étudier des systèmes désordonnés gouvernés par des points fixes de fort désordre. Après une présentation générale des idées physiques importantes et des méthodes de calcul, ce mémoire décrit les résultats explicites exacts que ces procédures de renormalisation permettent d'obtenir dans différents modèles unidimensionnels, classiques ou quantiques, dynamiques ou statiques. La majeure partie du mémoire est consacrée à des modèles de physique statistique, avec notamment (i) la dynamique hors équilibre d'une particule dans un potentiel Brownien ou dans un paysage de pièges aléatoires, (ii) la dynamique de croissance de domaines et l'équilibre thermodynamique des cha\^(\i)nes de spins désordonnées classiques, (iii) la transition de délocalisation d'un polymère aléatoire à une interface. La dernière partie du mémoire concerne deux cha\^(\i)nes de spins quantiques désordonnées qui présentent une transition de phase à température nulle en fonction du désordre, à savoir (a) la cha\^(\i)ne de spin $S=1$ antiferromagnétique aléatoire (b) la cha\^(\i)ne d'Ising avec couplages et champs transverses aléatoires.

La période dite des trente glorieuses se marque, en France, par un changement progressif de paradigme dans les politiques urbaines. Mais celle-ci se caractérise aussi par un double glissement porté par les discours contestataires : d'une part, une " politisation ", voire une radicalisation des réflexions sur la ville, et, d'autre part, une " urbanisation " des positions politiques, notamment à gauche. Cette thèse aborde l'instrumentalisation de l'espace au sein de l'idéologie politique : quelle place y occupe celui-ci et comment la pensée s'en empare ? Quel est son statut véritable en termes stratégiques ? L'émergence concomitante des notions de " cadre de vie ", de " vie quotidienne ", de " participation " et d'autogestion " urbaines ", les réflexions autour de la " révolution urbaine " et de " l'urbanisation la lutte des classes ", servent en quelque sorte de cadre théorique d'arrière plan à ces glissements et aux conceptions qui permettent à la ville de devenir, tout au moins dans les discours, mais aussi parfois dans les pratiques, un enjeu et un objet politique privilégié. Bien plus, elle acquiert dans l'idéologie marxiste et révolutionnaire, le statut de médiateur du changement social souhaité. C'est la dialectique entre un espace critiqué et un espace salvateur, présente dans les sciences sociales, chez les gauchistes, comme au sein de certaines avant-gardes et dans le discours de la " deuxième gauche ", qui nous permet d'analyser son véritable statut d'espace instrumental.

Nous traitons des aspects philosophiques de la réflexion d'Hermann Weyl sur la notion d'espace(-temps) de 1917 à 1923. Il s'agit de sa période d'implication maximale dans les fondements de la théorie de la relativité générale et de la géométrie différentielle. Un point de vue unitaire nous est fourni par le texte d'Espace-Temps-Matière où notre auteur synthétise sa pensée. Notre problématique nait du conflit, dans le texte, entre deux notions aux traits radicalement différents, qui participent toutes les deux à la caractérisation de la notion relativiste d'espace. D'un côté, la notion algébrique qui caractérise l'espace par son groupe de symétrie, et insiste sur son homogénéité. De l'autre, la notion dynamique de champ métrique, issue des travaux d'Albert Einstein, et que la dépendance à l'égard du contenu de l'espace rend nécessairement hétérogène. Après avoir développés les points saillants originaux dans la façon dont Hermann Weyl traite successivement de ces deux notions, nous montrons comment leur cohabitation est rendue possible par l'idée d'une Nahegeometrie. Il s'agit d'une géométrie où les structures infinitésimales sont fixées a priori par des exigences de la raison, mais où les relations à distance ne sont déterminées qu'à travers la médiation de la matière et de ses lois. Ainsi, Hermann Weyl propose une épistémologie cohérente qui fait place à la fois, à un idéalisme transcendantal restreint à la sphère des relations infinitésimales, et à une théorie physique des champs qui exprime la continuité et la vitesse finie de propagation de toute interaction, y compris celles qui s'expriment à travers une déformation de la métrique spatio-temporelle elle-même.

Les applications modernes embarquées à hautes performances telles que l'on trouve dans les domaines du multimédia, du traitement de signaux biomédicaux et du traitement de données biométriques, sont de plus en plus complexes et exigeantes en termes de ressources. L'augmentation des performances de puces, contenant un seul processeur, n'est plus une solution adoptée. Par conséquent, une solution prometteuse est les systèmes-sur-puce multiprocesseurs (MPSoC). Cependant, la conception de MPSoC dédiés aux traitements d'applications hautes performances est un travail très difficile en raison d'un certain nombre de contraintes à assurer : la correction fonctionnelle, les performances temporelles, l'efficacité énergétique et la taille optimisée de mémoire. Parmi les ingrédients nécessaires pour une construction correcte et optimisée, nous citons premièrement le besoin de modèles de programmation assez expressifs pour décrire le parallélisme potentiel inhérent des applications cibles. Deuxièmement, nous devons trouver des moyens pour éviter des explorations fastidieuses afin de trouver la meilleure configuration d'architecture pour l'exécution d'une application (par exemple le type et la fréquence des processeurs, l'empreinte mémoire), en particulier pour des applications complexes manipulant de grandes quantités de données et exécutées par des architectures massivement parallèles. Troisièmement, plusieurs niveaux d'abstraction doivent être pris en compte afin de mieux traiter la complexité de la conception. En considérant un niveau de simulation unique où tous les détails d'implémentations sont considérés, les résultats obtenus auront une grande précision. Cependant, cette technique de simulation est longue et fastidieuse, voir parfois impossible en raison de la grande complexité de systèmes. Pour cette raison, le commencement du processus de conception, à un haut niveau d'abstraction, où seulement des informations essentielles de systèmes sont décrites, rend plus facile, et à un très faible coût, la prise de décision sur des choix de configuration. Afin de relever les défis mentionnés ci-dessus concernant la conception des applications MPSoC à haute performance, nous proposons dans le cadre de cette thèse, l'utilisation du profil UML/Marte pour la modélisation de fonctionnalité, d'architectures et d'associations des deux dernières. Ce profil est suffisamment expressif pour décrire des applications hautes performances (par exemple les paquetages RSM et GCM et le langage CCSL) et des architectures MPSoC massivement parallèles (par exemple le paquetage HRM). Pour l'analyse et la vérification de systèmes et l'exploration de l'espace de conception, nous définissons une abstraction de modèles obtenue via des horloges abstraites, inspirées de ceux des langages réactifs synchrones. Les traces d'horloges abstraites capturent les comportements de systèmes en représentant l'activité des unités de traitements durant l'exécution de fonctionnalités. Une technique d'analyse, également inspirée de l'approche synchrone, est définie. Cette technique permet de vérifier des contraintes temporelles : dépendances de données induites par un modèle Marte, les taux d'activations entre des composants. En outre, elle permet d'analyser des contraintes non fonctionnelles : estimation de temps d'exécution, le respect des temps d'échéance, estimation de la consommation d'énergie. Ces propriétés sont directement liées au nombre de processeurs impliqués dans l'exécution du système ainsi que la valeur de leurs fréquences associées. D'un point de vue général, la contribution principale de cette thèse est la définition d'un cadre de travail, à base d'horloges abstraites, qui facilite l'exploration de l'espace de conception des MPSoC à un haut niveau d'abstraction. Le travail a été concrétisé dans un environnement, dénommé Gaspard2, dédié à la conception conjointe de systèmes embarqués à hautes performances. Notre solution est validée sur une étude de cas d'un encodeur JPEG, et retournant des résultats prometteurs.

Les applications modernes embarquées à hautes performances telles que l'on trouve dans les domaines du multimédia, du traitement de signaux biomédicaux et du traitement de données biométriques, sont de plus en plus complexes et exigeantes en termes de ressources. L'augmentation des performances de puces, contenant un seul processeur, n'est plus une solution adoptée. Par conséquent, une solution prometteuse est les systèmes-sur-puce multiprocesseurs (MPSoC). Cependant, la conception de MPSoC dédiés aux traitements d'applications hautes performances est un travail très difficile en raison d'un certain nombre de contraintes à assurer : la correction fonctionnelle, les performances temporelles, l'efficacité énergétique et la taille optimisée de mémoire. Parmi les ingrédients nécessaires pour une construction correcte et optimisée, nous citons premièrement le besoin de modèles de programmation assez expressifs pour décrire le parallélisme potentiel inhérent des applications cibles. Deuxièmement, nous devons trouver des moyens pour éviter des explorations fastidieuses afin de trouver la meilleure configuration d'architecture pour l'exécution d'une application (par exemple le type et la fréquence des processeurs, l'empreinte mémoire), en particulier pour des applications complexes manipulant de grandes quantités de données et exécutées par des architectures massivement parallèles. Troisièmement, plusieurs niveaux d'abstraction doivent être pris en compte afin de mieux traiter la complexité de la conception. En considérant un niveau de simulation unique où tous les détails d'implémentations sont considérés, les résultats obtenus auront une grande précision. Cependant, cette technique de simulation est longue et fastidieuse, voir parfois impossible en raison de la grande complexité de systèmes. Pour cette raison, le commencement du processus de conception, à un haut niveau d'abstraction, où seulement des informations essentielles de systèmes sont décrites, rend plus facile, et à un très faible coût, la prise de décision sur des choix de configuration. Afin de relever les défis mentionnés ci-dessus concernant la conception des applications MPSoC à haute performance, nous proposons dans le cadre de cette thèse, l'utilisation du profil UML/Marte pour la modélisation de fonctionnalité, d'architectures et d'associations des deux dernières. Ce profil est suffisamment expressif pour décrire des applications hautes performances (par exemple les paquetages RSM et GCM et le langage CCSL) et des architectures MPSoC massivement parallèles (par exemple le paquetage HRM). Pour l'analyse et la vérification de systèmes et l'exploration de l'espace de conception, nous définissons une abstraction de modèles obtenue via des horloges abstraites, inspirées de ceux des langages réactifs synchrones. Les traces d'horloges abstraites capturent les comportements de systèmes en représentant l'activité des unités de traitements durant l'exécution de fonctionnalités. Une technique d'analyse, également inspirée de l'approche synchrone, est définie. Cette technique permet de vérifier des contraintes temporelles : dépendances de données induites par un modèle Marte, les taux d'activations entre des composants. En outre, elle permet d'analyser des contraintes non fonctionnelles : estimation de temps d'exécution, le respect des temps d'échéance, estimation de la consommation d'énergie. Ces propriétés sont directement liées au nombre de processeurs impliqués dans l'exécution du système ainsi que la valeur de leurs fréquences associées. D'un point de vue général, la contribution principale de cette thèse est la définition d'un cadre de travail, à base d'horloges abstraites, qui facilite l'exploration de l'espace de conception des MPSoC à un haut niveau d'abstraction. Le travail a été concrétisé dans un environnement, dénommé Gaspard2, dédié à la conception conjointe de systèmes embarqués à hautes performances. Notre solution est validée sur une étude de cas d'un encodeur JPEG, et retournant des résultats prometteurs.

Ce travail de thèse porte sur le passage, dans l'enseignement secondaire, d'une géométrie du concret à une géométrie portant sur des objets idéaux. Nous montrons que des environnements de géométrie dynamique tridimensionnelle offrent des conditions favorables à ce passage, que nous détaillons. La réflexion théorique s'appuie sur la Théorie des situations didactiques (Brousseau, 1998) pour proposer des hypothèses quant aux conditions et mécanismes d'apprentissage. En outre, notre questionnement initial est interprété à l'aide de deux cadres principaux. Le point de vue épistémologique des paradigmes géométriques (Houdement et Kuzniak, 2006) permet d'identifier la référence à GII comme un objectif fondamental. L'approche cognitive de Duval (2005, 1994) montre qu'à cette fin, l'élève doit abandonner la visualisation iconique et s'appuyer sur déconstruction dimensionnelle pour l'interprétation et la résolution des problèmes de géométrie. La géométrie dynamique dans l'espace est envisagée comme moteur de cette double perspective, et la déconstruction instrumentale y joue un rôle clef. Ce rôle, ainsi que des hypothèses d'émergences de la déconstruction dimensionnelle, sont précisés par un important travail théorique s'appuyant sur le modèle cKc (Balacheff, 1995; Balacheff et Margolinas, 2005), ainsi que la mise en œuvre d'une ingénierie didactique. Celle-ci apporte une validation expérimentale de plusieurs plusieurs résultats, au nombre desquels : - la pertinence d'analyser l'activité géométrique simultanément en termes de visualisations, déconstructions, et paradigmes géométriques ; - l'intérêt de la géométrie dynamique dans l'espace pour déstabiliser la visualisation iconique ; - l'existence de deux déconstructions instrumentales, et leur rôle fondamental pour l'émergence de la déconstruction dimensionnelle ; - les interactions entre les différentes déconstructions, qui n'étaient pas établies dans les travaux antérieurs ; - la possibilité de produire des situations s'appuyant sur la géométrie dynamique dans l'espace favorisant l'émergence de la déconstruction dimensionnelle ; - l'intérêt du modèle cKc pour la modélisation et l'analyse des phénomènes observés.

Une approche variationnelle robuste est proposée pour le recalage de signaux 1D puis appliquée au calcul des géodésiques de formes pour la classification. L'approche est ensuite étendue au recalage d'images de séquences de formes. Cette approche de recalage, basé-géométrie, est particulièrement bien adaptée aux images peu contrastées, pour lesquelles le recalage basé-intensité manque d'efficacité. Une étude de validation est menée sur des signaux et des images issus de la biologie et du milieu médical. La reconnaissance de formes (classification et recherche) a aussi été validée sur la base d'images MPEG-7 largement utilisée dans la littérature scientifique. L'application principale visée concerne le traitement des signaux et des images issus d'archives biologiques marines (otolithes de poissons et coquilles Saint-Jacques), qui présentent une grande variabilité inter-individuelle et où les approches de recalage sont d'un intérêt tout particulier. Les méthodes proposées ont été appliquées avec succès à l'identification de l'espèce et/ou du stock du poisson et de la coquille Saint-Jacques, à l'estimation de l'âge et de la croissance du poisson, comme aide à l'interprétation des marques de croissance et à l'établissement de modèles statistiques de formes.

L'espace est hétérogène. Il est donc discontinu. Île et frontière sont des discontinuités fortes, traversées par des systèmes. Ce sont aussi des objets géographiques ambivalents, ouverts et fermés. La frontière implique le frottement plus ou moins rugueux de deux entités politiques. L'ambivalence frontalière est alimentée par des altérités qui se combinent, s'affrontent, s'attirent ou se repoussent selon des intensités différentes et à différents niveaux des échelles spatiale et sociale. Ces altérités sont diverses. Fondamentalement politiques et juridiques, elles sont également culturelles, économiques, fiscales. Deux questions sont posées à propos des trois termes de la comparaison : comment cette combinaison de discontinuités agit-elle sur les relations entre deux espaces terrestres proches, l'insulaire et le continental ? Inversement, comment les systèmes spatiaux mis en œuvre dans l'exercice de la relation agissent-ils sur ces discontinuités ? Par ailleurs, la mer est sous-jacente à la combinaison île-frontière. Son partage entre États est un phénomène géopolitique dynamique et récent. La question de cette appropriation confrontée aux pratiques socio-économiques – la pêche dans les trois cas étudiés, et l'extraction des hydrocarbures, dans deux sur trois – prend ici une dimension particulière. Cette thèse comprend donc une étude des processus d'appropriation de l'espace marin, qui vont des modalités de délimitation d'un espace par essence complexe en raison de sa structure à la fois horizontale et verticale, à son administration et aux mécanismes de transgression négociée, destinés à adapter sa spécificité aux rigidités des constructions territoriales.

Cette thèse présente des méthodes et des algorithmes pour l'évaluation de performance de systèmes à grand espace d'états décrits par des formalismes de haut niveau. Parmi les différents formalismes de haut niveau normalement utilisés, nous nous sommes intéressés au formalisme des Réseaux d'Automates Stochastiques (SAN). Le formalisme SAN se caractérise par la modélisation de systèmes complexes, où un système est représenté par la composition de sous-systèmes (automates) qui interagissent entre eux. Cette interaction se réalise par l'occurrence des événements synchronisants ou des taux fonctionnels. Lorsqu'on calcule l'espace d'états atteignables de systèmes complexes, le principal problème qui surgit est l'explosion combinatoire de l'espace d'états du modèle. Dans la première partie de cette thèse, nous proposons des méthodes pour la génération de l'espace d'états atteignables de modèles compositionnels qui utilisent des taux fonctionnels. Nous utilisons les Diagrammes de Décision Multi-valués (MDD) pour représenter et manipuler les espaces d'états et le formalisme SAN pour la modélisation de systèmes. Un MDD est une structure de donnée arborescente qui permet de représenter et de manipuler de façon performante un très grand espace d'états. L'avancée par rapport à l'état de l'art a été de proposer de méthodes qui prennent en compte ces fonctions qui expriment des relations entre les composants des modèles. Des études d'exemples sont présentées afin d'illustrer les apports de ces méthodes. Dans la deuxième partie de cette thèse, nous nous sommes intéressés à la résolution d'un modèle SAN à temps discret dont la matrice de transition est représentée par une formule tensorielle (appelée descripteur discret). A cet effet, nous présentons l'Algèbre Tensorielle compleXe (ATX) adaptée à la composition parallèle des SAN à temps discret pour la représentation du descripteur et nous démontrons des propriétés qui servent de base aux méthodes itératives pour la résolution de la chaîne de Markov associée au modèle SAN. Un des avantages de représenter un modèle SAN par un descripteur est la façon compacte par laquelle on peut représenter les transitions du modèle: on remplace une description dans un espace produit par un unique produit tensoriel portant sur des facteurs qui décrivent ce qui se passe sur une seule dimension (une composante du modèle SAN). Afin de profiter de cette représentation, nous présentons une méthode de multiplication d'un vecteur de probabilité par un descripteur discret adaptée à cette algèbre. Cette méthode vise à exploiter des propriétés du produit tensoriel complexe de façon à ce que la multiplication par un opérateur sur l'espace produit soit remplacée par une suite d'opérations qui manipulent des données de la taille d'une composante (et pour toutes les composantes).