In this work, we focus on two kinds of problems involving the proximity of geometric objects. The first part revolves around intersection detection problems. In this setting, we are given two (or more) geometric objects and we are allowed to preprocess them. Then, the objects are translated and rotated within a geometric space, and we need to efficiently test if they intersect in these new positions. We develop representations of convex polytopes in any (constant) dimension that allow us to perform this intersection test in logarithmic time.In the second part of this work, we turn our attention to facility location problems. In this setting, we are given a set of sites in a geometric space and we want to place a facility at a specific place in such a way that the distance between the facility and its farthest site is minimized. We study first the constrained version of the problem, in which the facility can only be place within a given geometric domain. We then study the facility location problem under the geodesic metric. In this setting, we consider a different way to measure distances: Given a simple polygon, we say that the distance between two points is the length of the shortest path that connects them while staying within the given polygon. In both cases, we present algorithms to find the optimal location of the facility.In the process of solving facility location problems, we rely heavily on geometric structures called Voronoi diagrams. These structures summarize the proximity information of a set of ``simple'' geometric objects in the plane and encode it as a decomposition of the plane into interior disjoint regions whose boundaries define a plane graph. We study the problem of constructing Voronoi diagrams incrementally by analyzing the number of edge insertions and deletions needed to maintain its combinatorial structure as new sites are added. / Option Informatique du Doctorat en Sciences / info:eu-repo/semantics/nonPublished

Nous étudions le problème de la synthèse automatique de programmes dans des architectures multi-composants tels qu'elles respectent les spécifications par construction. Le principal objectif de cette thèse est de développer des procédures pour résoudre le problème de synthèse qui peut conduire à des implémentations efficaces. Chaque composant a une observation partielle sur l'état global du système multi-composants. Le problème est alors de fournir des protocoles basés sur les observations tel que les composants synthétisés assurent les spécifications pour tout le comportement de leur environnement.L'environnement peut être antagoniste, ou peut avoir ses propres objectifs et se comporter de façon rationnelle. Nous étudions d'abord le problème de synthèse lorsque l'environnement est présumé antagoniste. Pour ce contexte, nous proposons une procédure "Safraless" pour la synthèse d'un composant partiellement informé et un environnement omniscient à partir de spécifications KLTL+. Elle est implémentée dans l'outil Acacia-K. Ensuite, nous étudions le problème de synthèse lorsque les composants de l'environnement ont leurs propres objectifs et sont rationnels. Pour le cadre plus simple de l'information parfaite, nous fournissons des complexités serrées pour des objectifs oméga-réguliers particuliers. Pour le cas de l'information imparfaite, nous prouvons que le problème de la synthèse rationnelle est indécidable en général, mais nous regagnons la décidabilité si on demande à synthétiser un composant avec observation partielle contre un environnement multi-composante, omniscient et rationnel. / Doctorat en Sciences / info:eu-repo/semantics/nonPublished

The object of this thesis is to analyse the politics involved in low-carbon transformations from the point of view of the exercise of state power in the economy. It starts from the premise that large-scale socio-technical transformations such as that required by the overhaul of energy systems based on the burning of fossil fuels involve confrontations of interests and ideologies, and therefore are contentious and political. The objective of the thesis is to analyse how this political challenge has unfolded in China, which is relevant not only because of its global environmental impact, but also because its industrialisation experience invites a reflection on the way in which these issues have been analysed in the West. Thus, the thesis explores how, in China, the necessity to address environmental issues has transformed the way in which the state exercises its power over the economy, particularly over the electric power system. The research involves a longitudinal analysis of the political transformation of China’s state institutions from the 1980s to 2015, as well as two case studies in the field of low-carbon policy: the promotion of renewable energy and the implementation of administrative pollution targets in the electric power sector. The focus on the production of electric power stems from both its centrality to China’s low-carbon transformation and the particular position of the electric power industry in the market reforms. The key findings of this research are twofold. Firstly, the CPC absorbed environmental claims in its developmental doctrine, which validated the resort to authoritarian interventions in the economy and society, and by the same token also increased the resistance to them, undermining the construction of a rule-based state power. Secondly, it finds that the political logic of the market reforms, characterised by an expansionary economic logic accompanied by periodical political interventions to correct perceived excesses, also characterised the way in which the green transformation was handled. / Doctorat en Sciences politiques et sociales / info:eu-repo/semantics/nonPublished

Notre projet consiste en l’étude du phénomène du café littéraire à Bruxelles entre 1830 et la décennie 1930, selon une approche interdisciplinaire :notre recherche envisage à la fois le café comme lieu historique, géographique et architectural, comme espace social, et comme objet de représentations artistiques et littéraires. Nous étudions dans un premier temps le débit de boissons bruxellois, principalement sous l'angle de ses représentations dans la littérature bruxelloise. Nous envisageons ensuite, dans une seconde partie, le café littéraire en tant que lieu de sociabilité et nous abordons, enfin, dans un dernier chapitre, le rôle qu'il a joué dans la création de formes littéraires particulières. / Doctorat en Langues, lettres et traductologie / info:eu-repo/semantics/nonPublished

Ce travail de thèse vise à l’identification des voies de signalisation cellulaires responsables de la régulation de l’expression des gènes humains DUOX dans la thyroïde. Les protéines DUOX1 et DUOX2 sont exprimées à la membrane apicale du thyrocyte, grâce à leur facteur de maturation DUOXA, et participent à la synthèse des hormones thyroïdiennes à travers la génération de peroxyde d’hydrogène. Les voies de signalisation et les facteurs de transcription contrôlant l’expression des gènes DUOX ne sont pas clairement définis dans les thyroïdes humaines et murines mais plusieurs études ont démontré une augmentation de leur expression via des cytokines inflammatoires dans des lignées cellulaires humaines. L’existence de cytokines susceptibles de réguler positivement l’expression des DUOX dans les thyrocytes a grandement suscité notre intérêt. En effet, il importe de comprendre les mécanismes responsables de leur expression car les protéines DUOX sont de plus en plus associées à des cancers et des maladies inflammatoires chroniques. Dans ce travail de recherche, il a été mis en évidence que les cytokines de type Th2 interleukine-4 et interleukine-13 augmentent la production de peroxyde d’hydrogène dans les thyrocytes humains en culture primaire suite à une induction des protéines DUOX2 et DUOXA2. L’interleukine-4 augmente aussi l’expression des couples de gènes Duox1/Duoxa1 et Duox2/Duoxa2 dans les thyrocytes murins, générant ainsi plus de peroxyde d’hydrogène. La stimulation par l’interleukine-4 et l’interleukine-13 dans les thyrocytes humains est dépendante du récepteur IL4RII et de l’activation de la voie de signalisation JAK1/STAT6. L’effet de l’interleukine-4 est contrecarré par la cytokine de type Th1 interféron-ɣ et est associée à une augmentation de l’expression de la protéine SOCS-1 qui bloque la fonction du facteur de transcription STAT6. L’induction de l’expression des gènes DUOX2/DUOXA2 dans des thyroïdes provenant de patients atteints de la maladie de Graves où le taux d’interleukine-4 sérique est susceptible d’être augmenté n’a pas pu être mise en évidence.In vitro, la mise en culture primaire affecte l’état de différenciation des thyrocytes murins ;en effet l’expression des marqueurs de la fonction thyroïdienne Nis, Tpo, Duox2 et Duoxa2 est diminuée, ce qui n’est pas le cas pour les gènes Duox1 et Duoxa1. Nous avons alors été convaincus de poursuivre l’étude de la régulation des Duox dans un système in vivo. Nous avons généré une nouvelle souris transgénique Thyr-IL-4, dans la souche C57BL/6J, surexprimant spécifiquement l’interleukine-4 dans la thyroïde. Deux lignées indépendantes de souris transgéniques ont été analysées. La souris Thyr-IL-4 a un phénotype euthyroïdien bien que la morphologie de ses follicules thyroïdiens soit altérée par une augmentation inattendue de leur taille. L’analyse du profil d’expression des gènes montre une forte induction de Duox1, Duoxa1 et Slc26a4 (Pendrine) dans les thyroïdes transgéniques ;il n’y a pas de modification de l’expression des gènes Duox2 et Duoxa2, tandis que l’expression du marqueur thyroïdien Slc5a5 (Nis) est diminuée. La surexpression de Duox1 est liée à une augmentation de la production de peroxyde d’hydrogène dans les tissus thyroïdiens transgéniques ex vivo, sans engendrer de dégâts cellulaires in vivo. Nous montrons pour la première fois la régulation de l’expression du gène et de la protéine Pendrine par l’interleukine-4 dans la thyroïde. La diminution de l’expression de Nis est associée à une diminution de captation de l’iode par les thyrocytes et du taux de thyroglobuline liée aux hormones thyroïdiennes T3 et T4 dans les thyroïdes transgéniques. Ces modifications d’expression de marqueurs thyroïdiens n’induisent pas un phénotype hypothyroïdien mais les souris jeunes Thyr-IL-4 sont plus susceptibles que les souris sauvages à développer une hypothyroïdie lorsqu’elles sont carencées en iode. Enfin nous n’observons pas d’infiltration leucocytaire majeure chez nos souris, pourtant l’expression de gènes impliqués dans des voies de signalisation immunitaires est augmentée. Suite à l’induction d’une réaction immunitaire dirigée contre le récepteur de la TSH, nous avons observé une réponse inflammatoire plus marquée dans les souris Thyr-IL-4 par rapport aux souris sauvages caractérisée par une infiltration leucocytaire CD45+ plus importante. / Doctorat en Sciences biomédicales et pharmaceutiques (Médecine) / info:eu-repo/semantics/nonPublished

Paris, capitale de la monarchie absolutiste, posa, dans sa matérialité même, des problèmes d’ordre public aux pouvoirs politiques. Ces problèmes, démographiques, hygiéniques, de circulation et d’organisation sociale (une mobilité accrue), entraînèrent la création d’une institution spécialisée dans la « police » de la ville : la Lieutenance de police. Cette institution, de 1666 à 1789, s’attacha à résoudre les désordres urbains matériels et sociaux, et pour cela déploya des dispositifs policiers nouveaux, pour lesquels elle mobilisa les savoirs du temps tout en en produisant elle-même (plus empiriques). C’est également dans les pratiques des agents sur le terrain que l’on trouve la réalité de ce qu’était la police d’Ancien Régime, qui consista avant tout à occuper l’espace urbain, à le marquer et à l’aménager à la marge afin de produire la sûreté et la propreté des rues. En ce sens, la prise en compte de la réalité urbaine invite à croiser histoire urbaine et histoire de la police. / Paris, capital of the French absolutist monarchy, was, by its materiality, a problem for public order. This problem was demographic, hygienic, and also created by bad circulation and social organization (a growing mobility). It was the reason of the creation of the Lieutenance de police, a specialised institution into the police of the town. This institution, from 1666 to 1789, aimed to reduce urban material and social problems. In order to reduce these disturbances, the Lieutenance created new police systems to control urban space, and gained scientific knowledge. It also created empiric knowledge. Police reality is truely a practice in urban spaces. This reality is found in the agents’ archives. They show the occupation of urban space, its arrangements, the inscription of police signs in the streets and, exceptionally, localised urbanism operations. The main objectives were the security and property of the town. This is why urban history and history of the police are joined within this study.

The topic of this dissertation is the democratic deficit of the European Union and the normative and empirical assessment of the likelihood that the existing forms of institutionalized transnational civic engagement would act as the point of anchoring democratic practices at the EU level. If the democratic deficit reflects the apparent lack of legitimacy and accountability of EU institutions and a lack of influence of its citizens, the question the project attempts to answer is why the existing democratic innovations within the EU constitutional framework fail to attract political allegiance and mobilization necessary for a functioning EU democracy? The thesis attempts to bridge the gap between normative political theory and more empirical and policy oriented approaches to the issue of EU democratic deficit. In a theoretical sense, this research covers a broad spectrum of topics within political theory and the theory of political culture. Parting ways with most of the current literature on the subject, which usually ends with institutional prescriptions derived from descriptions that rely on the nation-state as the benchmark for the prospects of democratisation of the EU, the project seeks to analyse the democratic innovations that the Lisbon treaty introduced within a more comprehensive framework of transnational deliberative democracy - demoicracy. The underlying idea behind the project is to apply, for the first time and with necessary modifications, the basic notions of the founders of the discipline of Political Culture, Almond and Verba, to the EU. That means to draw on their seminal work, ‘The Civic Culture: Political Attitudes and Democracy in Five Nations’, and hypothesize that further democratization of EU decision-making requires a 'civic political culture'. By definition, it presupposes the dominance of 'participative' over 'subject' and 'parochial' dimensions of orientation towards the political system. After extensive theoretical and methodological considerations, following a brief investigation into political culture in the EU, the empirical focus shifts to the European Citizens’ Initiative and the framings around the struggle for its reform in order to draw findings on which types of political cultures the European Commission has fostered. The principle aim of the research is to investigate if and how the democratic legitimacy of the EU can be enhanced by a shift from a parochial and subject to a more participation-enhancing dynamics. / Doctorat en Sciences politiques et sociales / info:eu-repo/semantics/nonPublished

La gravité quantique à boucles est une théorie candidate à la description unifiée de la relativité générale et de la mécanique quantique à l'échelle de Planck. Cette théorie peut être formulée de deux manières. L'approche canonique, d'une part, cherche à résoudre l'équation de Wheeler--DeWitt et à définir les états physiques. L'approche par les écumes de spins, d'autre part, a pour but de calculer les amplitudes de transition de la gravité quantique via une intégrale de chemin covariante. Ces deux approches s'appuient sur a même structure d'espace de Hilbert, mais la question de leur correspondance exacte reste un important problème ouvert à ce jour. Dans ce travail de thèse, nous présentons quatre résultats en rapport avec ces deux approches. Après un premier chapitre introductif, le second chapitre concerne l'étude de la théorie classique. Historiquement, l'introduction des variables d'Ashtekar complexes (self-duales) dans la formulation hamiltonienne de la relativité générale fut motivée par l'obtention d'une contrainte scalaire polynomiale. Cette simplification drastique est à la base du programme de la gravité quantique à boucles. Pour un certain nombre de raisons techniques, ces variables complexes furent ensuite abandonnées au profit des variables d'Ashtekar-Barbero, pour lesquelles le groupe de jauge est SU(2). Avec ce choix de variables réelles, la contrainte hamiltonienne n'est malheureusement plus polynomiale. La formulation en terme des variables SU(2) réelles peut être obtenue à partir de l'action de Holst, qui contient le paramètre dit de Barbero-Immirzi comme constante de couplage additionnelle. Dans un premier temps, nous allons utiliser les variables d'Ashtekar complexes pour effectuer l'analyse canonique de l'action de Holst avec un paramètre de Barbero-Immirzi réel. Les contraintes qui découlent de cette analyse canonique dépendent de ce paramètre libre, et ont l'avantage d'être polynomiales. Afin de garantir que la métrique soit une quantité réelle, un ensemble de contraintes de réalité doivent être imposées. Il s'avère que ces conditions de réalité correspondent aux contraintes de simplicité linéaires utilisées pour la construction des modèles d'écumes de spins. Ces contraintes sont préservées par l'évolution hamiltonienne si et seulement si la connexion est sans torsion. Cette condition sur l'absence de torsion est en fait une contrainte secondaire de l'analyse canonique. La second chapitre concerne également la théorie classique, mais s'intéresse à sa discrétisation en terme des variables de premier ordre dites holonomie-flux. L'espace des phases qui résulte de cette construction possède une structure non-linéaire. Le formalisme des twisteurs permet d'accommoder cette non-linéarité en travaillant sur un espace des phases linéaire paramétré par les coordonnées canoniques de Darboux. Ce formalisme fut introduit par Freidel et Speziale, mais uniquement dans le cas des variables SU(2) d'Ashtekar-Barbero. Nous généralisons ce résultat au cas du groupe de Lorentz. Nous étudions ensuite la dynamique en terme d'écumes de spins obtenue à partir de ces variables, et développons une nouvelle formulation hamiltonienne de la gravité discrétisée. Ce nouveau formalisme est obtenu en écrivant l'action de la théorie continue sur une discrétisation simpliciale de l'espace-temps fixée. L'action discrète ainsi obtenue est la somme de l'analogue en terme de spineurs d'une action topologique de type BF et des contraintes de réalité qui garantissent l'existence d'une métrique réelle. Cette action est polynomiale en terme des spineurs, ce qui permet de procéder à sa quantification canonique de manière relativement aisée. Le dernier chapitre s'intéresse à la théorie quantique obtenue suivant cette procédure. Les amplitudes de transition reproduisent celles du modèle d'écume de spins EPRL (Engle Pereira Rovelli Livine). Ce résultat est intéressant car il démontre que la formulation de la gravité quantique en termes d'écumes de spins peut être obtenue à partir d'une action classique écrite en terme de spineurs.

Breathing is a vital phenomenon that implies synergy of various anatomical structures that constitute the thorax. Joint physiology remains a relatively poorly-known component of the overall thorax physiology. Quantitative literature related to in vivo thorax kinematics during breathing is scarce. The present work focuses specifically on developing and applying a methodology to reach this goal. The developed method combined processing of CT data obtained at different lung volumes and infographic techniques. Detailed ranges of motion (ROMs) and axes of movement (mean helical axes, MHAs) were obtained at costovertebral joints in 12 asymptomatic subjects; rib ROMs gradually decrease with increasing rib number; lung volume and rib level have a significant influence on rib ROM; MHAs did not differ between rib levels. In addition, the method was applied on a sample of 10 patients with cystic fibrosis. The pathological condition significantly influenced CVJ ROMs while the orientation of the MHAs did not differ. Finally, the sternal displacement, sternal angle variations and sternocostal joints (SCJ at rib1 to 7) kinematics during breathing motion were analyzed. Rib ranges of motion relative to sternum decreased with increasing rib number similarly to CVJ. Orientation of the MHAs did not differ between SCJ levels. A significant linear correlation was demonstrated between sternum vertical displacement and rib ranges of motion at both CVJ and SCJ. The present work substantially contributes to 3D modelling of human thorax in breathing at a joint level both qualitatively and quantitatively. / Doctorat en Sciences biomédicales et pharmaceutiques (Médecine) / info:eu-repo/semantics/nonPublished

Le contrat peut se présenter comme un ensemble de clauses contractuelles. Pour autant, le tout est plus que la somme des parties. La réunion des clauses autour du contrat donne naissance à une entité qui peut prétendre acquérir une vie propre, autonome détachée de ses éléments constitutifs originels. En tant que notion fonctionnelle, le contrat assure intellectuellement sa propre unicité. Le contrat est l’élément fédérateur qui cimente la relation contractuelle au point de dépasser la singularité des clauses qui le composent. En vertu d’une analyse traditionnelle, le contrat a toujours été appréhendé de manière globale, il est analysé comme une compilation de clauses. Il a toujours fait l’objet d’études d’ensemble. La clause n’est alors que l’un des éléments du contrat qui se décompose en clauses. Cependant, chaque partie est plus qu’un élément du tout. Les clauses contractuelles gagnent donc en autonomie. L’éclatement du centre du contrat conduit à favoriser les clauses comme centre d’intérêt. À travers le contrat, il s’agit de voir ses clauses. Le contrat met en corrélation des clauses dont certaines peuvent vivre sans lui. Une clause peut donc se voir privée d’effets indépendamment du sort du contrat ou survivre après l’anéantissement du contrat. On s’intéresse alors aux stipulations d’un acte juridique pour en définir le régime juridique et non plus seulement au contrat dans son ensemble. Le contrat a toujours par le passé été appréhendé dans une analyse globale, c’est-à-dire comme un tout produisant des obligations. Désormais, les contrats sont disséqués. Ce que l’on analyse ce sont ses stipulations, car ce qui importe c’est l’inclusion ou l’exclusion d’un certain nombre de clauses. Il convient à présent de doter la clause d’un statut juridique général. La conception globalisante du contrat est critiquée. Le contrat doit être disséqué, dépecé, atomisé pour découvrir sous l’ensemble composite du contrat ses clauses. Le contrat produit des sous-ensembles composés par les clauses contractuelles. La clause contractuelle et le contrat sont en relation d’interdépendance. / Contract can be presented like a whole clauses. For all that, all is more that the sum of parties. Bringing together many clauses round contract give rise to a entity which can assert a life particular, autonomous detached of his elements constituent original. In so far as notion functional, contract ensure intellectually your own uniqueness. Contract is the element federative which consolidate the relation until pass the peculiarity of clauses which her compose. Under this analysis traditional, contract had always been apprehended globally, it’s like a compilation of clauses. It’s had always did the purpose of investigations globally. Clause is at that time that one of elements of contract which decompose to clauses. However, each party is more than element of all. Clauses earn therefore autonomy. Dispersal of center contract lead to favour clauses like centre of interest. Throught contract, it comes to see clauses. Contract is related clauses which somme can live whitout it. Clause can be seen deprive effects independently of situation of contract ou survive after destruction of contract. It interest then legal transaction to define legal juridical and no more only contract on the whole. Contract had always by past apprenhended in analysis global that is like a all producing obligations. In future, contracts are dissected. What it analyse those stipulations because that what signify it is inclusion or exclusion of many clauses. It is agreed at present to dower clause of status general. The conception global is criticized. Contract must be dissected, dismembered, atomized to discover under unity composite contract his clauses. Contract produce subset compose by clauses. Contract and clause are in relation interdependence.