• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 364
  • 85
  • 25
  • 11
  • 4
  • 4
  • 4
  • 1
  • 1
  • Tagged with
  • 515
  • 152
  • 116
  • 108
  • 81
  • 64
  • 55
  • 47
  • 43
  • 42
  • 41
  • 36
  • 36
  • 35
  • 35
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
131

Justice, constitution et droits fondamentaux au Japon /

Ueno, Mamiko. January 2010 (has links)
Teilw. zugl.: Marseille, Universit́e 3, Diss., 2006. / Literaturverz. S. [287] - 294. - LGDJ = Librairie Générale de Droit et de Jurisprudence.
132

Transferts de fluides dans les milieux fracturés : effets d'échelle /

Bour, Olivier, January 1997 (has links)
Th. univ.--Rennes 1, 1996. / Bibliogr., 15 p. Notes bibliogr. Résumé en français.
133

Contrôle de systèmes hyperboliques par analyse Lyapunov / Control of Hyperbolic Systems by Lyapunov Analysis

Lamare, Pierre-Olivier 28 September 2015 (has links)
Dans cette thèse nous avons étudié différents aspects pour le contrôle de systèmes hyperboliques.Tout d'abord, nous nous sommes intéressés à des systèmes hyperboliques à commutations. Cela signifie qu'il existe une interaction entre une dynamique continue et une dynamique discrète. Autrement dit, il existe différents modes dans lesquels peut évoluer la dynamique continue: ces modes sont dictés par la dynamique discrète. Ce changement de mode peut être contrôlé (dans le cas d'une boucle fermée), ou non-contrôlé (dans le cas d'une boucle ouverte). Nous nous sommes intéressés au premier cas. Par une analyse Lyapunov nous avons construit trois règles de commutations capables de stabiliser le système. Nous avons montré comment modifier deux d'entre elles pour obtenir des propriétés de robustesse et de stabilité entrée-état. Ces règles de commutations ont été testées numériquement.Ensuite, nous avons considéré la génération de trajectoire pour des systèmes hyperboliques linéaires 2x2 par backstepping. L'étape suivante a été de considérer une action Proportionnelle-Intégrale pour stabiliser la solution du système autour de la trajectoire de référence. Pour cela nous avons construit une fonction Lyapunov non-diagonale. Nous avons montré que l'action intégrale est capable de rejeter des erreurs distribuées et frontières.Enfin, nous avons considéré des aspects numériques pour l'analyse Lyapunov. Les conditions pour la stabilité et la conception de contrôleurs obtenues par des fonctions de Lyapunov quadratiques font intervenir une infinité d'inégalités matricielles. Nous avons montré que cette complexité peut être réduite en considérant une sur-approximation polytopique de ces contraintes.Les résultats obtenus ont été illustrés par des exemples académiques et des systèmes dynamiques physiques (comme les équations de Saint-Venant et les équations de Aw-Rascle-Zhang). / In this thesis we have considered different aspects for the control of hyperbolic systems.First, we have studied switched hyperbolic systems. They contain an interaction between a continuous and a discrete dynamics. Thus, the continuous dynamics may evolve in different modes: these modes are imposed by the discrete dynamics. The change in the mode may be controlled (in case of a closed-loop system), or may be uncontrolled (in case of an open-loop system). We have focused our interest on the former case. We procedeed with a Lyapunov analysis, and construct three switching rules. We have shown how to modify them to get robustness and ISS properties. We have shown their effectiveness with numerical tests.Then, we have considered the trajectory generation problem for 2x2 linear hyperbolic systems. We have solved it with backstepping. Then, we have considered the tracking problem with a Proportionnal-Integral controller. We have shown that it stabilizes the error system around the reference trajectory with a new non-diagonal Lyapunov function. The integral action has been shown to be able to reject in-domain, as well as boundary disturbances.Finally, we have considered numerical aspects for the Lyapunov analysis. The conditions for the stability and design of controllers by quadratic Lyapunov functions involve an infinity of matrix inequalities. We have shown how to reduce this complexity by polytopic embeddings of the constraints.Many obtained results have been illustrated by academic examples and physically relevant dynamical systems (as Shallow-Water equations and Aw-Rascle-Zhang equations).
134

La théorie platonicienne de l'éducation : les rapports de l'opinion et du savoir dans la constitution d'une paideia philosophique

Castelnérac, Benoît January 2003 (has links)
No description available.
135

Le Comité des décrets, procès-verbaux et archives, mise en perspective d'un savoir administratif (1789-1795) / The Comité des décrets, procès-verbaux en archives, put into perspective an administrative knowledge (1789-1795)

Sin Blima-Barru, Martine 11 March 2013 (has links)
Le Comité des décrets (21 novembre-3 brumaire an IV) doit son existence au besoin de la Constituante d'un organe intermédiaire par rapport au pouvoir exécutif pour surveiller le bon envoi des décrets aux corps administratifs, face aux nombreuses pétitions des municipalités sur les retards de promulgation. Plusieurs compétences se dégagent au cours des 5 années, procédant par accumulation, intégration, transfert ou regroupement d'attributions. Un 1er groupe de compétences en fait un intervenant dans les processus d'exécution, promulgation, impression et publicité de la loi jusqu'à être un de ceux qui concourront au « Bulletin des lois ». Un 2e groupe de compétences naît de l'autorisation particulière de correspondre avec les corps administratifs en département. Sous la Législative, il assure, par délégation du corps législatif, la correspondance avec la Haute Cour de la Nation à Orléans et la rédaction des actes d'accusation. Sous la Convention, son réseau de correspondance contribue au rappel des suppléants des députés démissionnaires, absents ou morts, attribution qui amène le comité à participer à la recherche des députés hors-la-loi. 3e groupe de compétences, la correction des décrets, importante pour que la loi reste conforme au texte adopté, tout au long des étapes de son élaboration, l'installe au cœur des Archives nationales. Très vite cette attribution se centre sur la vérification des décrets d'aliénation des biens nationaux. La fonction l'amène à récupérer les fonctions des Archives nationales sous la Convention thermidorienne et à mettre en application la loi du 7 messidor an II sur le triage des archives domaniales, judiciaires et historiques. / The Comittee's decrees, created November 21, 1789 and removed the 3 brumaire IV at the point where the National Convention, owes its existence to the need of the constituent Assembly to have an intermediary body from the Executive to monitor the proper shipment of its decrees to the administrative body, facing the many petitions of municipalities on delays in promulgation. Several competencies emerge over 5 years by accumulating, integration, transfer or grouping of powers. A first group of skills makes an intervener in the execution process, promulgation, printing and advertising of the Act to be one of those who will compete in the Bulletin of the laws. A second group of powers arises from special permission to correspond with the administrative body in the Department. Under the legislation, it shall, by delegation of the legislative body, correspondance with the High Court of the Nation in Orléans and the drafting of indictments. Under the Convention, its network of correspondance is updated contribution under the recall of alternates of the resigning members, absent or dead assignment that brings the Comitee to participe in finding the outlaw members. Third group of skills, correction of the decrees, important to ensure that the Act remains the same throughout the stages of its development, installs it in the heart of the National Archives. Very quickly this assignment focuses on the verification of the decrees of national property disposition. This function leads him to recover the functions of the National Archives under the Thermidor Convention and to implement the law of 7 messidor II on the triage of Crown, judicial and historical archives.
136

Da relação ética à justiça instituída: três momentos da justiça em lévinas

BELIAN, Márcia Bárbara Portella 07 August 2015 (has links)
Submitted by Haroudo Xavier Filho (haroudo.xavierfo@ufpe.br) on 2016-04-04T17:54:49Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) DISSERTAÇÃO.pdf: 865408 bytes, checksum: 5730c8fe840a13180b9b5187972fb2c0 (MD5) / Made available in DSpace on 2016-04-04T17:54:49Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) DISSERTAÇÃO.pdf: 865408 bytes, checksum: 5730c8fe840a13180b9b5187972fb2c0 (MD5) Previous issue date: 2015-08-07 / PROPESQ / Esta dissertação, que trata do tema da justiça em Emmanuel Lévinas, buscou encontrar uma unidade de sentido do conceito de justiça na obra do autor. Para isso, partimos da divisão em três momentos, que podem ser observados em seu pensamento, nos quais a justiça se distribui: “antes” do terceiro, a entrada do terceiro e a ordem da justiça. Por meio desses três momentos, dividimos os três capítulos deste trabalho, chegando a três noções de justiça que se complementam em uma visão mais abrangente do tema: a justiça como relação ética, a justiça como cálculo e a ordem da justiça. O primeiro momento da justiça, a relação ética, é o momento, no qual um direito, ao acolhimento do discurso, é reconhecido no rosto do Outro; o segundo momento da justiça, a partir da entrada do terceiro, é uma atividade consciente, de cálculo, de pesagem, que vai alargar e distribuir o direito original buscando a igualdade; e o terceiro momento que se refere a uma ordem, a totalidade, que pressupõe todo um âmbito de concretude, que deve ser controlado através de um serviço, proporcionando a saída da totalidade e resultando em uma limitação deste âmbito com base em uma legislação capaz de retirar os homens dos determinismos que os envolvem. Concluímos que a unidade de sentido do conceito de justiça em Lévinas se dá através da junção destes três momentos, resultando na distribuição do direito original à palavra por uma atividade consciente e a garantia do mesmo por leis e instituições orientadas pelo rosto e que a separação da subjetividade do Outro, como tese principal do autor, é aquilo que principalmente a justiça defende. / Cette dissertation, que traite du thème de la justice chez Emmanuel Lévinas, a cherché une unité de sens du concept de justice dans l’oeuvre de l’auteur. Pour cela, nous sommes partis de la division en trois moments, que peuvent être observés dans sa pensée, dans lesquels la justice se distribue: “avant” le tiers, l’entrée du tiers et l’ordre de la justice. Par le moyen de ces trois moments, nous avons divisé les trois chapitres de ce travail, en arrivant à trois notions de justice que se complémentent dans une vision plus recouvrant du thème: la justice comme relation éthique, la justice comme calcul et l’ordre de la justice. Le premier moment de la justice, la relation éthique, c’est le moment, dans lequel un droit, à l’accueil du discours, est recconu dans le visage de l’Autre; le seconde moment de la justice, à partir de l’entrée du tiers, c’est une activité consciente, de calcul, de pesage, qui évasera et distribuera le droit originel cherchant l’égalité; et le troisième moment qui se réfère à un ordre, la totalité, qui préssupose toute une enceinte de concrétion, qui doit être contrôlée par un service, proportionnant la sortie de la totalité et résultant en une limitation de cette enceinte à base d’une législation capable de retirer les hommes de les déterminismes qui les comprend. Nous avons conclu que l’unité de sens du concept de justice chez Lévinas se donne par la jonction de ces trois moments, aboutissant à la distribution du droit originel à la parole par une activité consciente et la garantie de ce dernier par lois et institutions orientées par le visage et que la séparation de la subjectivité de l’Autre, comme thèse principale de l’auteur, c’ést ce que défend principalement la justice.
137

Schedule Based Code Generation for ParallelProcessors

Nygård, Johan January 2010 (has links)
Dynamic model driven architecture (DMDA) is a architecture made to aid in the development of parallel computing code. This thesis is applied to an implementation of DMDA known as DMDA3 that should convert graphs of computations into efficient computation code, and it deals with the translation of Platform Specific Models (PSM) into running systems. Currently DMDA3 can generate schedules of operations but not finished code. This thesis describes a DMDA3 module that turns a schedule of operations into a runable program. Code was obtained from the DMDA3 schedules by reflection and a framework was build that allowed generation of low level language code from schedules. The module is written in Java and can currently generate C and Fortran code for computational tasks. Based on runtime tests for matrix multiplication algorithms the generated code is almost as fast as handwritten code.
138

L'expression du corps dans l'œuvre romanesque de Sade / The expression of the body in the novels of Sade

Mahdoui, Faten 19 November 2016 (has links)
Le corps humain représente un matériau de première instance dans l’œuvre romanesque de Sade. Au gré des voies de réflexion explorées par l’écrivain, le corps revêt indistinctement multiples formes et exprime différents sens. On se penchera d’abord sur le corps et ses diverses représentations dans le christianisme ; des représentations qui seront inversées par notre auteur, en vue de désaliéner cette entité de chair de toute contrainte religieuse. À la mainmise de l’Église sur le corps, Sade oppose les nouvelles hypothèses philosophiques tirées directement des nouvelles connaissances scientifiques de son siècle. On s’intéressera alors à la philosophie matérialiste qui a imprégné les écrits de notre auteur, et qui place la raison au centre de ses préoccupations, menant ainsi une réflexion expérimentale au moyen des sens. On verra que cette philosophie, profondément corporelle, aidera Sade à façonner un corps de plus en plus libre. Les nouvelles connaissances biologiques qu’on évoquera concernent essentiellement la reproduction humaine, et se matérialisent sous la théorie dite de génération. Cette théorie observe diverses thèses au cours du XVIIIe siècle. Sade opte pour celle qui sert sa pensée et le corps qu’il est en train de façonner. Le philosophe s’attaquera enfin à la morale et aux lois qui fondent sa société pour les détourner et libérer définitivement le corps du joug de la société. Enfin, on analysera les procédés et les techniques littéraires investis par notre écrivain pour mettre en place ce corps totalement émancipé. L’homme et son corps demeurent la première et la dernière instance de l’œuvre sadienne, toutes les voies de réflexion empruntées mènent au final à la naissance d’un corps qui se place au-dessus de toute considération religieuse ou sociale qui risquerait de l’asservir ou de l’avilir. / The human body serves the a primary material in the novels of Sade. Following the reflection paths explored by the writer, the body indistinctly takes many forms and expresses different meanings. This work will first focus on the body and its various representations in Christianity. These very same representations will be inverted by our author, to desalienate this being of flesh from all religious coercion . With regard to the stranglehold of the Church on the body, Sade opposes the new philosophical assumptions derived from the new scientific discoveries of his century. In this respect, our work will deal with the materialistic philosophy that impregnated his writings, and that places reason at the center of its concerns, leading an experimental reflection using the senses. We will see that through this philosophy deeply body-centred, Sade will shape a body to become more and more free. The new biological discoveries evoked in thiswork mainly concern human reproduction and "la théorie de génération"[the theory of generation]. This theory embodies several theses from the eighteenth century. Sade chooses the one that fits his thought and the body that he is shaping. The philosopher finally tackles societies’ morals and laws to divert and finally free the body from the clasps of society. Lastly, we analyze the literary processes and techniques utilized by our writer to set up this completely emancipated body. The human being and his body remain the first and last instance of Sade's work, borrowing reflection paths that ultimately lead to the birth of a body that is placed above any religious or social consideration which could enslave or degrade it.
139

Méthode de prévision des tassements provoqués par le creusement des tunnels urbains et influence des présoutènements / Method for predicting settlements due to urban tunnelling with presupport influence

Gilleron, Nicolas 27 September 2016 (has links)
Dans un contexte mondial d’accroissement de la demande en travaux souterrains en sites urbains, l’ingénieur doit disposer d’outils et de méthodes performants pour concevoir des ouvrages sûrs, à risques évalués et maîtrisés. La prévision des tassements provoqués par le creusement de tunnels en site urbain repose largement sur des méthodes empiriques. Dans ce mémoire, on propose une méthode de prévision des tassements pour des tunnels creusés par la méthode conventionnelle avec présoutènements. Cette méthode est basée sur des modèles éléments finis tridimensionnels avec CESAR-LCPC. On s’intéresse d’abord aux spécificités des tunnels urbains, et aux limites des différentes méthodes empiriques et numériques. On introduit ensuite une loi de comportement du sol qui combine une élasticité non-linéaire et une isotropie transverse. Le modèle reproduit le profil, notamment la largeur, des cuvettes de tassements empiriques de référence et facilite les études de sensibilité. Le dimensionnement des présoutènements, boulons en fibre de verre et voûte parapluie, est ensuite décrit pour la maîtrise des tassements. La dernière partie est une étude de cas d’une conception par analyse de risques d’un ouvrage représentatif du contexte du Grand Paris Express / In a context of increasing demand for underground works in urban areas worldwide, the engineers must have efficient tools and methods to design safe structures, with assessed and managed risks. The prediction of settlements due to urban tunnelling is mainly made with empirical methods. In this dissertation, we propose a method of settlements prediction for tunnels built using conventional methods (i.e. without TBM), with reinforcements. This method is based on three dimensional finite element models with CESAR-LCPC. In the first place, we present the specificities of urban tunnels, and the limitations of numerical and empirical methods. Then, we introduce a constitutive model for the soil which combines a non-linear elasticity and a cross-anisotropic behaviour. This model reproduces the shape, and especially the width, of the reference empirical settlement troughs and permits easy sensitivity analysis. The design of reinforcements, fibreglass bolts and umbrella arches, is then described for the purpose of reducing the settlements. The last section is a case study of risk analysis design for a tunnel typical for the context of the Grand Paris Express project
140

Wandering in cities : a statistical physics approach to urban theory / Théories urbaines : une approche par la physique statistique

Louf, Rémi 20 October 2015 (has links)
Les données disponibles au sujet des villes ne cessent de croître en quantité et en précision. Cependant, malgré l'explosion de la quantité d'information disponible, notre compréhension des processus qui régissent les villes et le phénomène d'urbanisation restent mal compris. Dans cette thèse, nous nous proposons d'étudier les villes en adoptant une démarche inspirée de la physique statistique. Dans un premier temps, nous présentons un modèle stochastique et hors-équilibre de croissance des villes qui décrit la structure du réseau de mobilité. Ce modèle conduit à une prédiction sur la croissance du nombre de centres d'activités avec la population. Cette prédiction est vérifiée de façon indépendante sur des données concernant les villes américaines et espagnoles. Dans le cadre de ce modèle, nous sommes également capables de prédire la valeur de l'exposant des lois d'échelle qui relient la longueur totale des navettes, la longueur totale du réseau viaire, le retard total dû aux embouteillages, la quantité de dioxyde de carbone émis, la surface totale des villes à leur population. Ces prédictions sont elles aussi vérifiées sur des données concernant les villes américaines. Dans une troisième partie distincte, nous nous intéressons à la ségrégation résidentielle. En proposant une nouvelle définition de ce qu'est la ségrégation, nous dérivons naturellement une mesure d'attraction/répulsion entre les différentes catégories. Nous présentons de surcroît une méthode qui permet de diviser de façon non-ambigue et reproductible la distribution des revenus en un nombre discret de classes. Enfin, nous revisitons la dichotomie traditionnelle entre centre-ville et banlieue en construisant une mesure adaptée aux villes anisotropes et polycentriques. Finalement, dans un quatrième temps, nous reproduisons succinctement les résultats que nous avons obtenus dans le cadre de l'étude empirique et théorique des réseaux spatiaux. Dans cette thèse, nous avons essayé de démontrer que la complexité des villes est -- presque paradoxalement -- mieux comprise par des approches simples telles que l'on en trouve en physique. Les méthodes qui sont propres à cette dernière, c'est-à-dire chercher de la structure dans les données, essayer d'isoler les processus les plus importants, construire des modèles simples et ne garder que ceux dont les prédictions sont en accord avec les données, sont en effet pertinentes pour l'étude des systèmes urbains. / The amount of data that is being gathered about cities is increasing in size and specificity. However, despite this wealth of information, we still have little understanding of the processes that drive cities. In this thesis we apply some ideas from statistical physics to the study of cities. We first present a stochastic, out-of-equilibrium model of city growth that describes the structure of the mobility pattern of individuals. The model explains the appearance of secondary subcenters as an effect of traffic congestion. We are also able to predict the sublinear increase of the number of centers with population size, a prediction that is verified on American and Spanish data. Within the framework of this model, we are further able to give a prediction for the scaling exponent of the total distance commuted daily, the total length of the road network, the total delay due to congestion, the quantity of CO2 emitted, and the surface area with the population size of cities. Predictions that agree with data gathered for U.S. cities. In the third part, we focus on the quantitative description of the patterns of residential segregation. We propose a unifying theoretical framework in which segregation can be empirically characterised. We propose a measure of interaction between the different categories. Building on the information about the attraction and repulsion between categories, we are able to define classes in a quantitative, unambiguous way. Finally, we revisit the traditional dichotomy between poor city centers and rich suburbs; we provide a measure that is adapted to anisotropic, polycentric cities. In the fourth and last part, we succinctly present the most important theoretical and empirical results of our studies on spatial networks. Throughout this thesis, we try to convey the idea that the complexity of cities is almost paradoxically better comprehended through simple approaches. Looking for structure in data, trying to isolate the most important processes, building simple models and only keeping those which agree with data, constitute a universal method that is also relevant to the study of urban systems.

Page generated in 0.0839 seconds