• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 142
  • 26
  • 10
  • 1
  • Tagged with
  • 186
  • 77
  • 56
  • 43
  • 31
  • 28
  • 27
  • 22
  • 19
  • 18
  • 17
  • 15
  • 15
  • 15
  • 14
  • 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.
1

Les effets du contrôle de constitutionnalité sur la constitution. Essai sur les normes constitutionnelles dans les discours juridiques / The effects of judicial review on the Constitution. Essay on Constitutional norms in legal discourses.

Boda, Jean-Sébastien 19 October 2010 (has links)
L’instauration d’un contrôle de constitutionnalité au sein du système juridique a d’importantes conséquences sur la façon d’appréhender la constitution. En effet, si l’on estime traditionnellement que les juges qui en sont chargés ne font qu’appliquer des normes constitutionnelles préexistantes, l’étude théorique de la production normative au sein du système juridique permet d’envisager le pouvoir créateur des juridictions à travers leur aptitude à attribuer une signification juridique aux énoncés qu’elles interprètent. On peut alors considérer qu’en exerçant un contrôle de constitutionnalité, les juges sont bien en mesure de produire les normes constitutionnelles qu’ils sont réputées « découvrir » dans le texte de la constitution et appliquer aux cas qui leur sont soumis. L’analyse du discours juridique amène à conclure que l’usage de ce pouvoir créateur par les juges constitutionnels a des effets sur la représentation de la constitution. La mise en avant fréquente de normes formulées de façon très générale, notamment les fameux principes, traduit une tendance à avoir de la constitution une conception axiologique, qui s’illustre notamment à travers le rapprochement esquissé entre les jurisprudences constitutionnelle et européenne. / The establishment of judicial review within the legal system has important consequences on the way the constitution is comprehended. Indeed, even though it is generally acknowledged that the judges, who are assigned to such a task, only enforce pre-existing constitutional norms, theoretical studies about norm production within the legal system allows to consider their normative power as regards to their ability to assign legal meaning to text they interpret. We can therefore consider that when they carry out judicial review, the judges are able to produce constitutional norms which they are supposedly « discovering » in the wording of the Constitution and apply it to the cases submitted to them. The analysis of the legal discourse brings us to conclude that the use of such a normative power by constitutional judges impacts on the representation of the Constitution. Frequently putting forward norms expressed in a very general manner, in particular the much talked about principles, reflects a trend towards an axiological conception of the constitution, which especially illustrates itself through a closer connection outlined between constitutional and European case law.
2

Étude des risques de cancer associés à l'exposition environnementale aux pesticides en milieu rural au Québec

Gangbè, Marcellin Comlan January 2002 (has links)
Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.
3

ACTC - une algèbre de processus temporisée pour la spécification et vérification d'interfaces matérielles

Gandrabur, Simona January 2000 (has links)
Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.
4

Etude comparative et historique du vocabulaire relatif à la poterie en bantou.

Bostoen, Koen A.G. 22 April 2004 (has links)
Le présent ouvrage envisage la présentation des conclusions comparatives résultant de l’inventaire systématique et de l’analyse linguistique du vocabulaire relatif à la poterie en bantou. À partir des données comparatives provenant de l’ensemble des langues bantoues actuellement documentées, l’organisation interne et l’évolution historique de ce domaine particulier de vocabulaire technique sont examinées. Portant sur la lexicologie diachronique, l’étude associe une approche onomasiologique et une approche sémasiologique. Non seulement plusieurs reconstructions formelles sont proposées à différents niveaux chronologiques et géographiques, mais ceux-ci font également l’objet d’une analyse sémantique approfondie. Les quatre chapitres de la thèse traitent du lexique portant sur cinq catégories conceptuelles majeures du champ sémantique en question : le travail de la poterie lui-même, l’artisan, les matières premières, les différents types de produits finis et enfin les procédés et outils typiques de la chaîne opératoire céramique. Les résultats obtenus sont confrontés aux modèles historiques et culturels apportés par les approches spécifiques aux études archéologiques et ethnoarchéologiques d’une part, et d’autre part, aux connaissances qui découlent de l’étude comparative du vocabulaire bantou relatif à d’autres techniques. Dans un cadre plus général, l’étude aboutit à quelques réflexions sur les rapports qu’entretiennent les langues et les cultures de même qu’à quelques propositions en vue de l’approfondissement de la méthode ‘Wörter und Sachen’. Ainsi, elle met en lumière certains traits méthodologiques spécifiques à l’exploitation des vocabulaires techniques dans la reconstruction de l’histoire très ancienne des sociétés dépourvues de traditions écrites et de vestiges iconographiques.
5

Restauration de sources radioastronomiques en milieu radioélectrique hostile : Implantation de détecteurs temps réel sur des spectres dynamiques.

Dumez-Viou, Cedric 28 September 2007 (has links) (PDF)
L'étude de l'Univers est effectuée de façon quasi-exclusive grâce aux ondes électromagnétiques. La radioastronomie qui étudie la bande radio du spectre est couramment obligée d'observer hors de ses bandes protégées. Il faut donc pouvoir observer des sources dans des bandes où les émissions des systèmes de télécommunication sont souvent proches et donc très puissantes.<br /><br />Les travaux de cette thèse ont eu pour but de développer et d'implanter des méthodes temps réel de traitements numériques visant à atténuer les interférences ambiantes afin de restaurer les radiosources naturelles lors d'observation avec une antenne unique sans informations a priori.<br />Le cœur de ces traitements est basé sur l'estimation de la moyenne d'un échantillon suivant une loi du Khi-2 en présence de points aberrants.<br />Un récepteur numérique multi-instruments à grande dynamique élaboré à la station de radioastronomie de Nançay a servi de banc de test à ces divers algorithmes.<br /><br />La bande corrompue par Iridium est maintenant observable et les sources HI situées dans la bande allouée aux radars sont de nouveau<br />accessibles. Les observations du Soleil et de Jupiter effectuées en<br />bande décamétrique sont maintenant de bien meilleure qualité.<br />Un algorithme a été développé pour configurer le récepteur en tant que détecteur et enregistreur rapide d'évènements très brefs (<100 ms) en milieu parasité. Il est aujourd'hui utilisé pour l'enregistrement de structures fines Joviennes.
6

Architectures matérielles pour filtres morphologiques avec des grandes éléments structurants

Bartovsky, Jan 14 November 2012 (has links) (PDF)
Cette thèse se concentre sur la mise en œuvre d'implantations matérielles dédiées des filtres morphologiques fondamentaux, basés sur des itérations d'érosions/dilatations. L'objectif principal de cette thèse est de proposer une mise en oeuvre efficace et programmable de ces opérateurs en utilisant des algorithmes en flot de données et considérant les besoins applicatifs globaux. Dans la première partie, nous étudions les algorithmes existants pour les opérateurs morphologiques fondamentaux et leur réalisation sur des différentes plates-formes informatiques. Nous nous intéressons plus particulièrement à un algorithme basé sur la file d'attente pour la mise en œuvre de la dilatation car il permet de réaliser l'accès séquentiel aux données avec une latence minimale, ce qui est très favorable pour le matériel dédié. Nous proposons ensuite un autre algorithme réalisant l'ouverture morphologique, sous angle arbitraire, basé sur le même principe d'une file d'attente, permettant d'obtenir directement des mesures de granulométrie. La deuxième partie présente la mise en oeuvre matérielle des algorithmes efficaces au moyen d'unités de traitement à flot de données. Nous commençons par l'unité de dilatation 1-D, puis grâce à la séparabilité de la dilatation nous construisons des unités 2-D rectangulaire et polygonale. L'unité de traitement pour l'ouverture orientée et spectre modèle est ainsi décrit. Nous présentons également une méthode de parallélisation de calcul en dupliquant des unités de traitement. Toutes les unités de traitement proposés sont évalués expérimentalement par la réalisation des prototypes à base de circuits programmables (FPGA), et les résultats en termes d'occupation de surface et de vitesse de traitement sont discutées. Dans la troisième partie, les unités de calcul proposées sont utilisées dans deux applications différentes, illustrant ainsi leur capacité de répondre exigences des applications embarquées a basse consommation. Les principales contributions de cette thèse sont : i) proposition d'un nouvel algorithme d'ouverture sous angle arbitraire, ii) réalisation des architectures matérielles dédiées et programmables d'opérateurs morphologiques fondamentaux à l'élément structurant large et sous angle arbitraire ; iii) amélioration de la performance obtenue grâce à l'exploitation de plusieurs niveaux de parallélisme. Les résultats suggèrent que les performances de temps réel précédemment irréalisable de ces opérateurs traditionnellement coûteux peuvent être atteints même pour des longues concaténations d'opérateurs ou des images à haute résolution.
7

La culture matérielle des Munduruku du Haut-Tapajos en Amazonie brésilienne : Kapikipi Jewa wy dadam / Material culture Munduruku upper Tapajós in the Brazilian Amazon : Kapikipi Jewa wy dadam

Dos Anjos Farias Lemoine, Maria Soeli 30 November 2012 (has links)
Cette thèse porte sur des peuples nommés Munduruku. Elle étudie l’évolution de leur culture matérielle et de leur système éducatif. Le sens du mot « indigène » est précisé afin de respecter leur terminologie : "être Munduruku" signifie « être de vrais hommes ». Avec l’accord de leurs leaders, nous les avons rencontrés en 2005 sous réserve du respect des règles. Leur culture matérielle a subi d’importants changements, particulièrement sur le plan architectural. Les maisons carrées en paille observées au début du XX siècle ont été remplacées par des rectangulaires, avec des parois en bois et un toit en zinc. Les colliers originaux, faits main avec des graines de puca et décorés avec des animaux taillés en noix de coco ont laissé la place à des missanga made in China. Les anciennes calebasses à usage alimentaire ont cédé la place à des verres. Quant au hamac en écorce, s’il est encore utilisé, il n’est plus fabriqué chez les Munduruku étudiés. Nous utiliserons le matériel collecté pour analyser leur savoir faire. L’environnement de ce peuple est également décrit. Notre recherche ne couvrant qu’une partie de son immense territoire, elle ne peut pas être considérée comme achevée. / This Phd deals with the peoples named Munduruku. We’ll study the evolution of both their material culture and their educational system. The meaning of the word “native” is defined in order to respect the Munduruku terminology: “being Munduruku” means “being real men”. In 2005 ,their leaders first granted us permission to meet them on condition we respect the rules. Their material culture has undergone drastic changes particularly as far as architecture is concerned. The square-shaped straw houses observed at the beginning of the twentieth century have been replaced by rectangular ones with wooden walls and zinc rooftops. Missangas made in China have taken the place ot the original necklaces handcrafted with puca seeds and adorned with animals carved in coconuts. The former calabashes used for food or beverage have been replaced by glasses . As to the hammock made of bark still used today, it is no longer crafted by the Munduruku studied. We’ll use the collected materials to analyze their know how. The Munduruku environment is described as well. As our research only partially covers their huge territory, it can’t be considered as completed yet.
8

La céramique domestique du Premier Moyen âge (VIe-XIIème siècle) : l'exemple du sillon lorrain

Prouteau, Rachel 16 November 2013 (has links)
Depuis un quart de siècle, l'archéologie préventive a permis de découvrir un nombre considérable de sites d'habitats ruraux et urbains du premier Moyen Âge, riches en céramiques. Ce mobilier entièrement neuf a permis d'entreprendre pour la première fois l'étude de la céramique domestique de la vallée de la Moselle. Alors que l'essentiel des connaissances portait jusqu'à présent sur la céramique funéraire, il devenait possible de réaliser l'étude technique de la céramique domestique.Si des caractéristiques de l'Antiquité tardive sont encore visibles à travers certains récipients à pâte rugueuse et à pâte fine, les VIe-VIIe siècles se déterminent par la production de formes nouvelles probablement issues du monde franc : vases et écuelles carénés, jattes à paroi évasée, tasses, pots globulaires peu décorés à fond plat avec ou sans oreille de préhension. Ce mobilier est comparable aux productions des grands ateliers de la période mérovingienne comme Mayen, Huy et Maastricht.A partir du VIIIe siècle, une rupture morphologique intervient dans la céramique domestique. On observe une diversification des formes fermées (pots, pots ansés, pots verseurs, cruchons) et des formes ouvertes (poêlons, jattes/écuelles à base en piédestal, écuelles à paroi arrondie, gobelets tronconiques et couvre-feux). Les pots à oreilles de préhension ou à col perforé évoluent vers des formes plus globulaires avec des fonds bombés. Leurs décors se composent d'ondulations associées ou non à des lignes incisées.Les courants stylistiques introduits dans la région à partir du VIIIe siècle traduisent une forte influence venue de Belgique, du Luxembourg, des Pays-Bas et de la vallée du Rhin, influence qui peut être mise en rapport avec l'expansion carolingienne qui facilita les échanges.La période des Xe-XIIe siècles habituellement synonyme de révolution en Europe occidentale surprend par une forte continuité technique et morphologique des différents types de récipients. Le nombre de pots à oreilles de préhension diminue au profit de pots à col perforé de trous de suspension. Les formes ouvertes se réduisent aux jattes, aux écuelles à paroi évasée et aux couvre-feux. Les décors sont rares, présents seulement sur quelques pots et pots ansés. Les productions restent caractéristiques de celles de l?Europe du nord-ouest. Il faut attendre le début du XIIIe siècle pour rencontrer une véritable révolution céramique et entrer dans une nouvelle aire chrono-culturelle. / For twenty-five years preventive archaeology has enabled to find a significant number of rural and urban settlement sites from the Early Middle Ages , which were riche in ceramics.These completely new material has enabled to study for the first time household ceramics in the Moselle Valley. Whereas the essential part of knowledge used to concern funerary ceramic, it began possible to carry out the study of every day crockery. While Late Antique features still remain visible in some rough and smooth clay body vessels, 6th and 7th centuries are characterized by new shapes, probably coming from the Frankish area: carinate shaped vases and bowls, flared wall bowls, cups, flat based slightly decorated globular pots, with or without handle can be compared to the craft production in the outstanding Merovingian workshops such as Mayen, Huy and Maastricht.From the end of the 8th century, a morphological break occurs in domestic ceramic pottery. Closed shapes diversify (pots, pots with handles, with spouts, jugs) as well as in open shapes (skillet, bowls with pedestal base, curved bowls, goblets in the shape of a truncated cone, lids). Pots with handles or perforated neck are very decorated. They evolve towards more globular shapes with rounded bottoms.Stylistic influences introduced in the region from the 8th century reflect a strong impact of Belgium, the Luxembourg, the Netherlands and the Rhine Valley. This could be related to the Carolingian expansion which facilitated exchanges.Whereas the period between the 10th and 12th centuries usually means Revolution in Eastern Europe, it is surprising to find a large technical and morphological continuity in the different kinds of containers.The number of pots with handles decreases, whereas the pots with perforated neck for hanging are more numerous. Open shapes are limited to bowls, curved bowls and lids.Decorated ceramics are barely present, only a few pots and pots with handles can be found. Production is still typical of North-western Europe.It is not until the beginning of 13th century that a real revolution takes place in ceramics, leading to a new chronological and cultural area.
9

Design et implémentation sur FPGA d'un algorithme DES

Amoud, Mohamed January 2008 (has links)
Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal.
10

Acceleration of a bioinformatics application using high-level synthesis / Accélération d'une application en bioinformatique utilisant une synthèse de haut niveau

Abbas, Naeem 22 May 2012 (has links)
Les avancées dans le domaine de la bioinformatique ont ouvert de nouveaux horizons pour la recherche en biologie et en pharmacologie. Les machines comme les algorithmes utilisées aujourd'hui ne sont cependant plus en mesure de répondre à la demande exponentiellement croissante en puissance de calcul. Il existe donc un besoin pour des plate-formes de calculs spécialisées pour ce types de traitement, qui sauraient tirer partie de l'ensemble des technologie de calcul parallèle actuelles (Grilles, multi-coeurs, GPU, FPGA). Dans cette thèse nous étudions comment l'utilisation d'outils de synthèse de haut niveau peut aider à la conception d'accélérateurs matériels spécialisés massivement parallèles. Ces outils permettent de réduire considérablement les temps de conception mais ne sont pas conçus pour produire des architectures matérielles massivement parallèles efficaces. Les travaux de cette thèse se sont attachés à dégager des techniques de parallélisation, ainsi que les moyens d'exprimer efficacement ce parallélisme, pour des outils de type HLS. Nous avons appliqué ces résultats à une application de bioinformatique connue sous le nom de HMMER. Cet algorithme qui pourrait être un bon candidat à une accélération matérielle est très délicat à paralléliser. Nous avons proposé un schéma d'exécution parallèle original, basé sur une réécriture mathématique de l'algorithme, qui a été suivi par une exploration des schéma d'exécution matériels possible sur FPGA. Ce résultat à ensuite donnée lieu à une mise en œuvre sur un accélérateur matériel et a démontré des facteurs d'accélération encourageants. Les travaux démontre également la pertinence des outils de HLS pour la conception d'accélérateur matériel pour le calcul haute performance en Bioinformatique, à la fois pour réduire les temps de conception, mais aussi pour obtenir des architectures plus efficaces et plus facilement reciblables d'un plateforme à une autre. / The revolutionary advancements in the field of bioinformatics have opened new horizons in biological and pharmaceutical research. However, the existing bioinformatics tools are unable to meet the computational demands, due to the recent exponential growth in biological data. So there is a dire need to build future bioinformatics platforms incorporating modern parallel computation techniques. In this work, we investigate FPGA based acceleration of these applications, using High-Level Synthesis. High-Level Synthesis tools enable automatic translation of abstract specifications to the hardware design, considerably reducing the design efforts. However, the generation of an efficient hardware using these tools is often a challenge for the designers. Our research effort encompasses an exploration of the techniques and practices, that can lead to the generation of an efficient design from these high-level synthesis tools. We illustrate our methodology by accelerating a widely used application -- HMMER -- in bioinformatics community. HMMER is well-known for its compute-intensive kernels and data dependencies that lead to a sequential execution. We propose an original parallelization scheme based on rewriting of its mathematical formulation, followed by an in-depth exploration of hardware mapping techniques of these kernels, and finally show on-board acceleration results. Our research work demonstrates designing flexible hardware accelerators for bioinformatics applications, using design methodologies which are more efficient than the traditional ones, and where resulting designs are scalable enough to meet the future requirements.

Page generated in 0.0353 seconds