• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 351
  • 45
  • 28
  • 13
  • 4
  • 2
  • 2
  • 1
  • 1
  • Tagged with
  • 455
  • 163
  • 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.
11

Intégration de méthodes informatiques dans le processus de restitution en égyptologie

Izza, Hacéne January 2003 (has links)
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.
12

Autisme et schizophrénie / Autism and schizophrenia

Frayssinet, Marielle 07 July 2012 (has links)
Cette recherche se propose de revisiter l'histoire de l'autisme dans ses rapports avec la schizophrénie en interrogeant leur statut respectif dans la psychopathologie et dans la psychanalyse. Outre l'apport de cas de la littérature, j'ai utilisé l'outil clinique de la construction de cas, pour ordonner et commencer à théoriser les rencontres cliniques que j'ai pu faire. Ilhoa,Sacha, Milo et Louis guident les développements théoriques du chapitre axé sur la question du corps, de l'espace de surface à une contenance, de l'objet et de la jouissance pulsionnelle (orale, anale, scopique, invoquante) dans l'autisme de Kanner. Le travail de Jules, David et Lison illustre la difficulté du diagnostic dans la clinique entre schizophrénie autistique et autisme, où parfois seule la question des hallucinations permet de trancher. Je me suis ensuite appuyée sur le travail de Manu et Léon pour rendre compte du rapport au langage, à la pensée, au vivant, aux affects et à l'autre dans l'autisme de haut niveau et le syndrome d'Asperger. Puis sur le récit de Anna, Max et Gaël pour identifier le traitement réel que le schizophrène, qui a une défense mélancolique ou paranoïde, produit de la perte symbolique, de la division subjective. Ces rencontres m'ont appris que la singularité de ces sujets cache une forme spéciale de créativité pour construire un monde plus ordonné. Des modalités de lien à l'autre s'inventent, dans une dépendance n'impliquant pascependant les mêmes modalités de jouissance... Si cela ne voile pas la part intraitable du réel, un travail avec ces sujets est toujours possible, même s'ils ne se manifestent pas et ne parlent pas, même s'ils sont en errance ou dans un entre-deux... Ainsi, l'a-structure de l'autisme n'est pas assimilable au conformisme ou à la dé-structuration qu’entraîne la schizophrénie / This research proposes to revisit the history of autism in its relations with schizophrenia by querying their respective status in the psychopathology and psychoanalysis. In addition to providing case of literature, I used the tool in the construction of clinical cases, to order and begin to theorize the clinical encounters that I have done. Ilhoa, Sacha, Milo and Louis are used as guide for the theoretical developments of the chapter focusing on the question of the body, the space of a surface to capacity, the purpose and enjoyment instinctual (oral, anal, scopic, citing) in 'Kanner autism'. The work of Jules, David and Lison illustrates the difficulty to diagnose between schizophrenia and autism in the clinic, where sometimes only the question of sign and hallucinations enable us to decide. I have then used the work of Manu and Leon to account for the relation to language, to the thought, the living, the affects and the other in the high-functioning autism and Asperger syndrome. Then the story of Anna Max and Gael to identify the actual treatment that the schizophrenic, who has a melancholic or paranoid defence product of the symbolic loss, of the subjective division. These encounters have taught me that in the uniqueness of these individuals lies a special form of creativity to build a more ordered world. Schemes oflinks to the other are invented, which doesn't imply the same terms enjoyment by both parties… If this does not obscure the part of the intractable reality, working with these subjects is always possible, even if they do not come forward and do not speak, even if they are wandering or in an in-between state... Hence, autism astructure is not comparable to the conformism or the deconstruction brought about by schizophrenia
13

Application de la programmation orientée objet à l'optimisation plastique de structures axisymétriques

Laplume, David 19 April 2004 (has links)
L’exposé de ce travail se compose de cinq parties distinctes, dont le contenu est succinctement décrit ci-dessous. La première partie définit précisément le cadre du travail. Les diverses formes de structures abordées y seront décrites et les problèmes d’optimisation posés de manière formelle. Les contraintes technologiques appliquées aux structures à optimiser seront ensuite détaillées. Les théorèmes fondamentaux de l’analyse limite, abondamment utilisés par la suite, seront exposés. Enfin, les concepts de la programmation orientée objet et leurs avantages seront brièvement expliqués. La deuxième partie présente les détails de l’implémentation de l’algorithme d’optimisation développé. Le rappel des notions fondamentales relatives aux méthodes déterministes les plus répandues sera suivi des considérations propres au problème traité dans ce travail. Une description détaillée des étapes de calcul et de la hiérarchie d’objets clôturera cette partie. La troisième partie a pour objet la formulation d’une hiérarchie de structures et composants destinés à l’utilisation de l’algorithme d’optimisation. Cet ensemble d’objets est destiné à contenir toutes les données d’un modèle de structure. La formulation des contraintes physiques et technologiques sera détaillée, ainsi que l’interface entre modèles et algorithme d’optimisation. La quatrième partie traite de l’utilisation de l’algorithme créé afin de déterminer la charge limite d’une structure de géométrie fixée. Des comparaisons avec les résultats disponibles dans la littérature seront présentées. La cinquième et dernière partie présente succinctement quelques structures optimisées grâce aux outils développés. Une analyse critique des résultats et les possibilités de perfectionnement ultérieur concluront l’exposé.
14

Promotion des concours de beauté dans les médias sudburois

Dugas, Amélie January 2007 (has links)
No description available.
15

Identification des objets dans un code procédural basée sur la décomposition de graphes

Dumont, François, January 1998 (has links)
Thèses (M.Sc.)--Université de Sherbrooke (Canada), 1998. / Titre de l'écran-titre (visionné le 20 juin 2006). Publié aussi en version papier.
16

Élaboration d'un système de maintien de vérité : une approche orientée objet

Diri, Driss. January 1900 (has links) (PDF)
Thèse (M.Sc.)--Université Laval, 2009. / Titre de l'écran-titre (visionné le 16 juin 2009). Bibliogr.
17

Ni début, ni fin /

Lavoie, Mireille. January 1997 (has links)
Thèse (M.A.)--Université Laval, 1997. / Bibliogr.: f. x. Publié aussi en version électronique.
18

Refactoring as formal refinements

Lopes Cornélio, Márcio January 2004 (has links)
Made available in DSpace on 2014-06-12T15:52:59Z (GMT). No. of bitstreams: 2 arquivo4837_1.pdf: 1490840 bytes, checksum: 1e2239b5952d87633b8a93c565229e3e (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2004 / A reestruturação de programas no contexto da orientação a objeto é também conhecida como refactoring e consiste em mudanças na estrutura interna de um software, sem modificar seu com portamento externo, a ¯m de melhorar sua legibilidade e torn¶a-lo mais f¶acil de passar por futuras mudan»cas. Na pr¶atica, refactoring baseia-se em compila»c~ao e testes para assegurar a preserva»c~ao do comportamento. Trabalhos como os de Opdyke e Roberts foram realizados com vistas µa formaliza»c~ao de refac- torings por meio da identi¯ca»c~ao de condi»c~oes que devem ser satisfeitas para assegurar que uma mudan»ca num programa preserva o comportamento do mesmo. As condi»c~oes, geralmente escritas na linguagem do c¶alculo de predicados, s~ao introduzidas como pr¶e e p¶os-condi»c~oes dos refactor- ings. Outras abordagens para a prova de preserva»c~ao do comportamento de refactorings usam formalismos como an¶alise conceitual e reescritura de grafos. Contudo, n~ao h¶a t¶ecnica alg¶ebrica que apresente refactorings como transforma»c~oes que preservam o comportamento, com prova deste fato. Nossa principal contribui»c~ao constitui-se na apresenta»c~ao de refactorings como transforma»c~oes de programas escritos em rool (Re¯nement object-oriented Language), uma linguagem baseada em Java, com classes, controle de visibilidade, liga»c~ao din^amica, e recurs~ao. A linguagem rool permite que raciocinemos sobre programas orientados a objetos e especi¯ca»c~oes, pois a mesma une estas constru»c~oes como no c¶alculo de re¯namentos de Morgan. A sem^antica de rool ¶e baseada em weakest preconditions. Um conjunto de leis de programa»c~ao est¶a dispon¶³vel tanto para os comandos imperativos de rool quanto para construtores relacionados µa orienta»c~ao a objetos. A prova, na sem^antica de rool, de que tais leis s~ao corretas, ¶e tamb¶em uma contribui»c~ao do presente trabalho. Apresentamos refactorings como regras alg¶ebricas de re¯namento envolvendo programas. A prova da preserva»c~ao do comportamento ¶e realizada pela aplica»c~ao de leis de programa»c~ao a um lado da regra a ¯m de obtermos o lado oposto. N¶os generalizamos a t¶ecnica padr~ao de re¯namento de dados a ¯m de lidar com hierarquia de classes. Neste trabalho tamb¶em apresentamos como obter um sistema estruturado segundo um padr~ao de projeto, por meio da aplica»c~ao de regras de refactoring. Padr~oes de projeto constituem-se num objetivo natural para a realiza»c~ao de transforma»c~oes por meio da aplica»c~ao de refactorings. Trabalhos presentes na literatura sobre padr~oes de projeto que prop~oem a formaliza»c~ao dos mesmos, em geral, concentram-se em suas descri»c~oes formais, n~ao na transforma»c~ao de um sistema com vistas a estrutur¶a-lo de acordo com padr~oes de projeto. Tamb¶em apresentamos a transforma»c~ao de uma aplica»c~ao monol¶³tica para uma aplica»c~ao estruturada segundo um padr~ao arquitetural.
19

Cartographie des éricacées (Kalmia angustifolia, Ledum) en forêts d'épinette noire (Picea mariana) cas de la Côte-Nord

Van Lier, Olivier January 2009 (has links)
L'établissement et la croissance de l'épinette noire en régénération après une coupe en forêts boréales sont fréquemment affectés par la prolifération de plantes éricacées telles le Kalmia angustifolia . La compétition éricacées-épinette noire est fréquente au point d'entraîner une baisse significative du potentiel forestier dans la forêt boréale de l'est du Canada. Il est toujours difficile de proposer des scénarios sylvicoles qui garantissent la résilience des peuplements propices à l'envahissement. Ceci découle du manque de connaissance des impacts de l'aménagement sur la dynamique des éricacées à l'echelle du paysage ; ainsi que du manque de compréhension des mécanismes écologiques qui font qu'une pessière coupée se transforme en pessière à éricacées et non en pessière dense.L'objectif général de cette étude est de cartographier la distribution spatiale des éricacées au niveau régional. Après l'acquisition des données et de leur prétraitement, une interprétation experte a permis de produire les polygones pour l'entraînement des algorithmes de classification pour les images IKONOS. Deux séries de polygones (couverture de surface et strate arborescente) découlent de ces opérations. Chaque serie est associée à l'une des deux stratifications et contient toutes les classes thématiques de cette stratification. Une première segmentation fut appliquée sur une mosaïque de sept images IKONOS pour créer des objets spatiaux. Ces objets ont ensuite étés assignés à une classe thématique en faisant appel à la logique floue disponible dans le logiciel eCognition. Deux types de cartes thématiques (strate arborescente et couverture du sol) sont créés à l'aide des sites d'entraînement issus de la photo-interprétation experte.Les résultats furent validés à l'aide des placettes de sondage terrain (précision globale de 80 % pour les deux thématiques). 70% de l'étendue des cartes produites sur la mosaïque IKONOS furent ensuite utilisée pour son application à la classification de l'image Landsat-TM qui couvre toute la zone d'étude. Le 30% non utilisé des cartes de la mosaïque IKONOS ont servi à valider les résultats cartographiques de la classification de l'image Landsat-TM (précision globale de 88.0% pour la carte arborescente et de 78.4% pour la carte de la couverture du sol).Les méthodes et cartes résultantes seront utiles pour la gestion de la ressource forestière, en particulier pour la productivité de l'épinette noire dans les régions nordiques.
20

Segmentation de zones d'intérêt par processus objets : application à la détection des réseaux de failles sismiques / .

Keresztes, Barna 07 December 2009 (has links)
Cette thèse présente une nouvelle approche pour la détection de failles sismiques. Notre but est d'améliorer la qualité de détection en calculant les attributs classiques sur un support basé sur les connaissances a priori des objets. Plusieurs supports sont considérés : le filtrage linéaire utilisant des segments de longueur fixe et de direction variable, ainsi qu’un algorithme stochastique : les processus objet. Pour simuler ces processus, on propose deux modèles : soit utilisant une chaîne de segments, soit utilisant une courbe pour décrire une faille. Une des intérêts de cette méthode est qu’elle offre la possibilité d’utiliser un support commun pour les différents détecteurs de failles. On peut donc envisager un système pour fusionner les différents attributs utilisant les processus objet. / This thesis presents a new approach for seismic fault detection. Its goal is to increase the detection accuracy by computing some classical attributes on a support founded on an a priori knowledge about the faults. Several forms of support are proposed: a linear filtering method using fixed length segments of variable direction, respectively using a stochastic algorithm: the marked point processes. To simulate this process we propose two object models, using a network of connected linear segments and a more complex curved support which aims to describe each fault using one object. One interest of this approach is the possibility of using a common support for different fault detection operators. Then a whole detection framework can be proposed which acts like a decision fusion process.

Page generated in 0.0418 seconds