• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 351
  • 45
  • 27
  • 12
  • 4
  • 2
  • 2
  • 1
  • 1
  • Tagged with
  • 453
  • 162
  • 92
  • 87
  • 87
  • 59
  • 46
  • 45
  • 43
  • 41
  • 41
  • 39
  • 39
  • 37
  • 36
  • 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.
61

Contribution de la télédétection à l'évaluation des fonctions des zones humides : de l'observation à la modélisation prospective

Rapinel, Sébastien 03 September 2012 (has links) (PDF)
Les zones humides, à l'interface entre terre et eau, sont des milieux riches et diversifiés, aux fonctions et valeurs multiples aujourd'hui largement reconnues. Face à la sensibilité grandissante des organisations gouvernementales, régionales et du public aux effets néfastes, directs ou indirects, de la régression, voire dans certains cas de la disparition des zones humides, l'inventaire, la délimitation, mais aussi la caractérisation et le suivi de ces milieux sont devenus une priorité. Si leur délimitation est aujourd'hui opérationnelle, l'évaluation de leurs fonctions n'a été opérée que sur des sites de quelques hectares, alors qu'il est nécessaire d'évaluer l'état fonctionnel des zones humides sur des territoires plus étendus pour les gérer. Les objectifs de cette thèse sont de développer une méthode permettant de spatialiser les fonctions des zones humides à l'échelle de territoires d'une centaine de Km² au minimum, d'évaluer des données de télédétection optiques à très haute résolution spatiale afin de produire des indicateurs de l'état fonctionnel des zones humides, et d'évaluer l'impact de changements d'occupation des sols sur ces fonctions. Pour cela, la démarche FAP a été adaptée et appliquée sur deux sites de 130 et 650 km² localisés en Bretagne et en Dordogne. Après avoir délimités et caractérisés les zones humides à partir de données de télédétection, des indicateurs spatialisés dérivés de ces données ont été utilisés pour évaluer des fonctions hydrologiques, biogéochimiques et écologiques. L'évolution de ces fonctions a ensuite été simulée selon différents scénarios de changements d'occupation des sols. Les résultats montrent l'intérêt des données de télédétection, en particulier LiDAR, pour caractériser avec précision la micro-topographie, le réseau hydrographique et la végétation des zones humides. Ces données permettent de cartographier le potentiel fonctionnel des zones humides à différentes échelles allant de la parcelle à l'ensemble du site, et ce pour différentes fonctions. La simulation des changements d'occupation des sols à l'horizon 2030 et l'évaluation de ceux-ci sur les fonctions des zones humides peuvent constituer un outil d'aide à la gestion de ces milieux.
62

Contribution à la formulation des problèmes en conception de systèmes techniques. Etude basée sur la TRIZ

Dubois, Sébastien 09 November 2004 (has links) (PDF)
La thèse présentée ici s'attache à répondre au manque de formalisation de la TRIZ. Cet objectif répond au manque scientifique permettant de reconnaître la TRIZ en tant que théorie ; et de proposer un outil informatique d'assistance à la formulation des problèmes, selon les cadres de la TRIZ, enjeu industriel reconnu. <br />La méthode déployée s'appuie sur les outils de l'Intelligence Artificielle pour construire une ontologie de la formulation des problèmes en conception inventive de systèmes techniques, selon les cadres de la TRIZ. Cette ontologie est une représentation centrée-objet des concepts liés à la formulation des problèmes. Cette représentation est validée par une analyse, en logique de description, de la cohérence de la hiérarchisation des concepts et de leur bonne définition. L'opérationnalisation du modèle s'appuie sur la programmation d'une interface d'instanciation. Cette interface est basée sur un moteur de systèmes experts à base de règles.
63

Le formalisme objet appliqué à l'étude de l'édifice patrimonial : <br />Problèmes de modélisation et d'échanges de données sur le réseau Internet

Blaise, Jean-Yves 06 March 2003 (has links) (PDF)
Dans ce travail nous évaluons la pertinence et la portée d'un ensemble de formalismes informatiques récents sur l'étude du patrimoine architectural, champ d'application dont nous montrons les spécificités et leurs implications. Le problème que pose ce travail peut être présenté ainsi : le raisonnement par classifications que le formalisme objet autorise est-il pertinent pour décrire un modèle de l'édifice patrimonial; les concepts classifiés peuvent-ils être le maillon fédérateur d'une chaîne d'applications relevant de points de vues bien distinct sur l'édifice patrimonial ? Nous définissons une méthodologie d'analyse de l'édifice qui se veut générique, et un ensemble d'outils d'évaluation et d'exploitation du modèle. <br />Nous montrons qu'une analyse a priori du corpus d'éléments physiques formant l'édifice peut grandement en faciliter l'étude. Mesure, représentations et documentation, trois exemples d'applications abordés, deviennent dans ce cadre des processus visant à renseigner le modèle et ses instances. Nous montrons que la compréhension globale de l'édifice bâti et de son évolution est mieux assurée.
64

La détermination de l'objet du brevet en droit brésilien et européen

Guerra Fabris, Roner 22 June 2012 (has links) (PDF)
L'étude fait un bilan de l'étendue de la protection de l'objet du brevet et de la sécurité juridique. Elle s'appuie sur la législation et les décisions brésiliennes et européennes. L'étude aborde dans un premier temps la détermination de l'objet du brevet lors de sa rédaction: la description est analysée du point de vue de la forme, puis de celui du fond. Ensuite, la revendication est analysée du point de vue de ses structures et de ses conditions de fond.La notion de moyen est définie. Le rôle de la description et de la revendication dans la détermination de l'objet du brevet étant défini, la deuxième partie de l'étude est consacré aux règles d'interprétation. L'analyse constitutionnelle brésilienne est faite en prenant en compte les cadres données par le protocole interprétatif de l'article 69 de la Convention Européen de Brevets. Ensuite, nous proposons des paramètres internes et externes pour guider l'interprétation des revendications et déterminer l'objet du brevet. La démarche vise à assurer au titulaire du brevet le plein droit et aux tiers la sécurité juridique.
65

Étude de l'analyse formelle dans les données relationnelles : application à la restructuration des modèles structuraux UML

Rouane Hacene, Mohamed January 2006 (has links)
Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.
66

De la fusion du génie logiciel et d'une bibliothèque à source ouverte pour la modélisation/simulation de processus matériel et logiciel

Charest, Luc January 2004 (has links)
Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.
67

Estimation de la qualité du produit logiciel : réseaux Bayésiens

El Aoumari, Sanaa January 2005 (has links)
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.
68

Migrating legacy system towards object technology

Wu, Lei January 2005 (has links)
Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.
69

Contribution de la télédétection à l’évaluation des fonctions des zones humides : de l’observation à la modélisation prospective / Contribution of remote sensing to functional assessment of wetlands : from observation to prospective modelling

Rapinel, Sébastien 03 September 2012 (has links)
Les zones humides, à l’interface entre terre et eau, sont des milieux riches et diversifiés, aux fonctions et valeurs multiples aujourd’hui largement reconnues. Face à la sensibilité grandissante des organisations gouvernementales, régionales et du public aux effets néfastes, directs ou indirects, de la régression, voire dans certains cas de la disparition des zones humides, l’inventaire, la délimitation, mais aussi la caractérisation et le suivi de ces milieux sont devenus une priorité. Si leur délimitation est aujourd’hui opérationnelle, l’évaluation de leurs fonctions n’a été opérée que sur des sites de quelques hectares, alors qu’il est nécessaire d’évaluer l’état fonctionnel des zones humides sur des territoires plus étendus pour les gérer. Les objectifs de cette thèse sont de développer une méthode permettant de spatialiser les fonctions des zones humides à l’échelle de territoires d’une centaine de Km² au minimum, d’évaluer des données de télédétection optiques à très haute résolution spatiale afin de produire des indicateurs de l’état fonctionnel des zones humides, et d’évaluer l’impact de changements d’occupation des sols sur ces fonctions. Pour cela, la démarche FAP a été adaptée et appliquée sur deux sites de 130 et 650 km² localisés en Bretagne et en Dordogne. Après avoir délimités et caractérisés les zones humides à partir de données de télédétection, des indicateurs spatialisés dérivés de ces données ont été utilisés pour évaluer des fonctions hydrologiques, biogéochimiques et écologiques. L’évolution de ces fonctions a ensuite été simulée selon différents scénarios de changements d’occupation des sols. Les résultats montrent l’intérêt des données de télédétection, en particulier LiDAR, pour caractériser avec précision la micro-topographie, le réseau hydrographique et la végétation des zones humides. Ces données permettent de cartographier le potentiel fonctionnel des zones humides à différentes échelles allant de la parcelle à l’ensemble du site, et ce pour différentes fonctions. La simulation des changements d’occupation des sols à l’horizon 2030 et l’évaluation de ceux-ci sur les fonctions des zones humides peuvent constituer un outil d’aide à la gestion de ces milieux. / Interfacing between land and water systems, wetlands perform multiple functions and values that are now widely recognized. Inventory, delineation, but also characterization and monitoring of wetlands are now a priority to address the regression and in some cases the loss of these ecosystems. While wetland delineation is widely performed, the assessment of their functions has been only made on small sites of several hectares, whereas it is necessary to evaluate wetland functional status on larger areas to manage them. The objectives of this thesis are to develop a method to map wetland functions on areas greater than a hundred square kilometers, evaluate optical remote sensing data with very high spatial resolution to produce indicators of functional status of wetlands, and assess the impact of land use change on these functions. For this, the FAP approach has been adapted and applied to two sites located in Brittany and Dordogne. Once having defined and characterized wetlands from remotely sensed data, the spatial indicators derived from these data were used to evaluate hydrological, biogeochemical and ecological wetland functions. The evolution of these functions was then simulated under different scenarios of land use changes. The results show the usefulness of remotely sensed data, especially LiDAR data, to accurately characterize the micro-topography, drainage network and vegetation of wetlands. The functional potential of wetlands can therefore be mapped at different scales from the plot to the whole site for various functions. The simulation of land-use changes for the period 2000–2030 and the evaluation of their impact on wetland functions can be a tool for managing these environments
70

Histoire et postérité de l'atomisme logique : l'ontologie des simples, la typologie des complexes, théories de la constitution et méréologie

Bucchioni, Guillaume 03 December 2012 (has links)
Ce travail traite du problème métaphysique de la composition. Ce problème peut être compris comme un ensemble de questions touchant à l'existence et à la nature des entités complexes et simples. Existe-t-il des entités complexes? Si oui, de quelle nature sont-elles? Comment sont-elles composées? Par quoi sont-elles composées (par des simples ou non)? Nous allons dans un premier temps analyser le paradigme russellien concernant le problème de la composition, à savoir l'atomisme logique. Cette analyse va nous amener à comprendre la façon dont l'outil logique (ici la logique russellienne) peut nous permettre de déterminer une ontologie (l'ontologie des faits) dans laquelle ces différentes questions trouvent des réponses déterminées. Puis nous aborderons le traitement contemporain de cette question qui se base sur la question spéciale de la composition (SCQ) développée par Peter van Inwagen dans Material Beings, et sur l'analyse méréologique. Nous allons alors aborder les différentes théories de la composition et nous allons essayer de justifier l'une d'entre-elles : l'universalisme de la composition. Cette justification nous amènera à développer et justifier une conception des simples (la théorie du Gunk), du temps (le quadridimensionnalisme), et une ontologie de l'étoffe matérielle. Nous achèverons notre travail en essayant de montrer que l'universalisme de la composition prend un sens particulier à l'intérieur des théories du monisme de priorité et du super-substantialisme. / This work deals with the metaphysical problem of composition. This problem can be understood as a set of questions relating to the existence and nature of simple and complex entities. Are there complex entities? What kind are they? How are they made? What are they made of (simples or not)? We will initially analyze the Russellian paradigm for the problem of composition, namely logical atomism. This analysis will lead us to understand how the tool logic (logic Russell here) can help us determine an ontology (ontology of facts) in which these questions are answered. Then we discuss the contemporary treatment of this question wich is based on the special composition question (SCQ) developed by Peter van Inwagen in Material Beings, and the mereological analysis. We then discuss the different theories of composition and we will try to justify one of them: the universalism of composition. This explanation leads us to develop and justify a conception of simples (the gunk theory), time (quadridimensionalism), and a stuff ontology. We will complete our work by trying to show that the universalism of composition makes sense within particular theories : priority monism and supersubstantivalism.

Page generated in 0.0454 seconds