Ce mémoire présente le résultat de mon travail de thèse sur la génération d'impliqués premiers en logique équationnelle fermée, i.e., la génération des conséquences les plus générales de formules logiques contenants des équations et des disequations entre termes sans variables. Ce mémoire est divisé en trois parties. Tout d'abord, deux calculs de génération d'impliqués sont définis. Leur complétude pour la déduction est prouvée, ce qui signifie qu'ils sont tous deux capables de générer l'ensemble des impliqués modulo redondance d'une formule équationnelle fermée. Dans une deuxième partie, une structure de données arborescente est proposée pour stocker les impliqués générés, accompagnée d'algorithmes pour déceler les redondances et couper les branches de l'arbre lorsque c'est nécessaire. Cette structure de données est adaptée aux différents types de clauses (avec et sans symboles de fonctions, avec et sans contraintes) ainsi qu'aux différentes notions de redondance utilisées dans les calculs. En effet, chaque calcul utilise un critère de redondance légèrement différent des autres. Les preuves de correction et de terminaison des algorithmes sont fournies pour chaque algorithme. Enfin, une évaluation expérimentale des différentes méthodes de génération d'impliqués premiers est réalisée. Pour cela, un prototype de ces méthodes, écrit en Ocaml est comparé à des outils de génération d'impliqués premiers récents.Les résultats de ces expériences sont utilisés pour identifier les variantes les plus efficaces des algorithmes proposés. Les résultats sont prometteurs et dans la plupart des cas, meilleurs que ceux de l'état de l'art. / The work presented in this memoir deals with the generation of prime implicates in ground equational logic, i.e., of the most general consequences of formulae containing equations and disequations between ground terms.It is divided in three parts. First, two calculi that generate implicates are defined. Their deductive-completeness is proved, meaning they can both generate all the implicates up to redundancy of equational formulae.Second, a tree data structure to store the generated implicates is proposed along with algorithms to detect redundancies and prune the branches of the tree accordingly. This data structure is adapted to the different kinds of clauses (with and without function symbols, with and without constraints) and to the various formal definitions of redundancy used in the calculi since each calculus uses different -- although similar -- redundancy criteria. Termination and correction proofs are provided with each algorithm. Finally, an experimental evaluation of the different prime implicate generation methods based on research prototypes written in Ocaml is conducted including a comparison with state-of-the-art prime implicate generation tools. This experimental study is used to identify the most efficient variants of the proposed algorithms. These show promising results overstepping the state of the art.

D’après le dernier rapport du groupe d'experts intergouvernemental sur l'évolution du climat (GIEC), le réchauffement climatique devrait se poursuivre au cours du siècle prochain. La température atmosphérique moyenne pourrait augmenter de 0,3°C à 4,8°C avec des valeurs extrêmes allant de 1°C à 6°C en 2100. Ces changements de température auront des conséquences directes et indirectes sur l’ensemble de la biodiversité et plus particulièrement sur les poissons qui sont des animaux poïkilothermes. Dans cette étude, trois espèces ont été choisies en prenant en compte leur stratégie de reproduction et leur différence de tolérance thermique : la truite commune (Salmo trutta), le brochet (Esox lucius) et la carpe commune (Cyprinus carpio). Nous avons, pour chacune des trois espèces, appliqué les mêmes différences de température par rapport à leur température de référence (-4, -2, Tref, +2, +4°C) et étudié les effets sur la survie et le développement des embryons et des larves au cours de l’ensemble de la période d’alimentation endogène. Ce travail a confirmé la loi générale de l’impact de la température sur la période d’incubation (Q10 ~3). La truite commune montre une forte diminution de sa survie lors d’une augmentation de quatre degrés, néanmoins les larves survivantes sont plus grandes et ont un contenu énergétique plus important. La survie des larves de brochet augmente avec la température, ces larves sont les plus grandes et leur contenu énergétique est plus important à la température la plus élevée. La survie de la carpe n’est pas affectée par la température ; néanmoins les larves élevées à basse température sont les plus petites et présentent un faible contenu énergétique. Les résultats de survie pour les premiers stades de vie sont en concordance avec les modélisations des aires de répartition actuelle. Dans le futur, la prise en compte de la niche thermique théorique des premiers stades de vie pourrait permettre d’affiner les prévisions des aires de répartition / According to the latest report of the Intergovernmental Panel on Climate Change (IPCC), global warming is expected to continue over the next century, the average temperature could increase by 0.3 ° C to 4.8 ° C with extreme values ranging from 1 ° C to 6 ° C by 2100. These temperature changes will have direct and indirect consequences on the overall biodiversity and specifically fish which are poikilotherms. In this study three species were selected taking into account their reproductive strategy and their thermal tolerance: brown trout (Salmo trutta), pike (Esox lucius) and common carp (Cyprinus carpio). We have applied for all three species the same temperature range of from their referential temperature (-4, -2, Tref °C, +2, + 4 ° C). To carry out this study, we investigated biological traits related to survival and development during the endogenous feeding period. This work confirmed the general law of the impact of temperature during incubation phase (Q10 ~ 3). For brown trout, the results show a collapse of its population with an increase of four degrees; nevertheless surviving larvae were the longest and had a more energetic content. The survival rate of pike larvae increased when temperature increased, these larvae were the longest and the had more energetic content. The survival of the carp was not affected by temperature; nevertheless, at the lowest temperature (16°C), the larvae were smaller and had a lower energetic content. The survival results for the early stages of life are an agreement with the current distribution models. In view of this study the theoretical thermal niche species of early live stage should be undertaken to continue to refine prediction models from range

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Basée sur les perceptions de cadets et d'aînés ayant connu la séparation de leurs parents, cette étude exploratoire et qualitative vise à mieux comprendre le rôle joué par l'aîné auprès du cadet de même que les stratégies de soutien privilégiées lors du processus de séparation parentale. Les données ont été recueillies par le biais d'entrevues semi-structurées auprès de onze étudiant(e)s âgé(e)s entre 19 et 25 ans. Guidée par la théorie des rôles, l'étude explore les attentes des cadets et des aînés face au rôle d'aîné et décrit leurs perceptions devant les comportements ou stratégies d'adaptation des aînés pendant ou suivant la rupture de l'union parentale. Les résultats montrent que, surtout par sa présence, l'aîné joue un rôle important lors de cette transition familiale, mais qu'il n'est pas perçu de manière aussi satisfaisante par les cadets que par les aînés. La conclusion aborde les implications pour la pratique sociale et la recherche. / Based on sibling's perceptions of the rôle played by older sibling in the context of parental divorced, this exploratory qualitative study aims to better understand the strategies of social support chosen. Data was collected from eleven undergraduates (19-25 years), first and secondborn, by semi-structured interviews. This study, through rôle theory, explores expectations of both younger and older sibling's regarding the older sibling's rôle during and after the parental divorce. The results show that, especially by his presence, the older sibling plays an important part at the time of this family transition, but this rôle is not perceived as satisfactory by the younger sibling. The conclusion approaches the implications for the social practice and research.

Plusieurs études ont montré que les étoiles bleues de la branche horizontale (étoiles BHB) chaudes (Teff ≳ 11500 K) des amas globulaires présentent des anomalies d’abondances causées par le processus de la diffusion atomique. Il a été démontré que la diffusion atomique entraîne selon l’étoile, une stratification verticale de certains éléments chimiques. L’objectif de ce projet vise à élargir notre compréhension des étoiles BHB en menant une analyse de leurs propriétés physico-chimiques. L’emphase est mise sur les étoiles BHB du champ qui ont été beaucoup moins étudiées, mais qui, de par leur histoire évolutive et leur environnement différents, devraient permettre d’élargir le domaine des paramètres de base (comme la métallicité). Des modèles d’atmosphère stellaire calculés avec le code atmosphérique PHOENIX sont utilisés pour ce travail. Le spectrographe ESPaDOnS du télescope Canada-France-Hawaï a permis d’obtenir des spectres de très haute résolution (R = 81000) pour quatre étoiles BHB du champ. Le code de transfert radiatif ZEEMAN2 a été utilisé pour une analyse détaillée des raies spectrales. Les résultats de cette analyse indiquent l’existence d’une surabondance de métaux dans les étoiles chaudes HD213781 et Feige 86, marquant ainsi la présence de la diffusion atomique dans ces étoiles. Une stratification verticale du phosphore et une stratification marginale du fer sont détectées dans HD213781 et Feige 86, respectivement. Comme leurs homologues des amas globulaires, les étoiles BHB froides du champ HD128801, HD143459 et HZ27 ne montrent aucune signature de diffusion. Ces variations de l’abondance des éléments soulèvent une question lors de l’évaluation des paramètres atmosphériques (Teff et log g) à partir de modèles de métallicité fixe. De ce fait, l’effet de la métallicité est ici étudié pour 20 étoiles BHB connues dans les amas globulaires M3 et M13. Les paramètres atmosphériques de ces étoiles sont alors extraits en utilisant des modèles d’atmosphère de six métallicités [Fe/H] différentes variant entre -2:0 et +0:5 dex par rapport à la métallicité solaire. Deux méthodes d’analyse, spectroscopique et photométrique, sont utilisées. Seules les valeurs spectroscopiques de Teff et log g obtenues pour les étoiles plus chaudes montrent un changement, bien que léger, avec la métallicité. Par ailleurs, cette analyse souligne qu’un simple ajustement de la métallicité des modèles ne peut régler le problème de la faible gravité spectroscopique observée pour les étoiles BHB chaudes. Enfin, pour augmenter l’échantillon d’étoiles BHB chaudes connues dans le champ, de nouvelles observations de 21 étoiles ont été faites à l’Observatoire du Mont-Mégantic. Entre autres, trois nouvelles étoiles BHB du champ ont été caractérisées pour la première fois. / Several studies have shown that hot (Teff > 11500 K) blue horizontal branch stars (BHB stars) in globular clusters present abundance anomalies caused by the atomic diffusion process. It was demonstrated that atomic diffusion leads in certain stars to vertical stratification of some chemical elements. The aim of this project is to expand our comprehension of BHB stars by analyzing their physico-chemical properties. A special emphasis is put on field BHB stars. These stars are not as well studied, but because of their different evolutive history and environment, they should permit a widening of the domain of the basic parameters (like metallicity). Stellar atmosphere models computed with the atmospheric code PHOENIX were used for this work. The échelle spectrograph ESPaDOnS at the Canada-France-Hawaï telescope allowed to obtain high resolution (R = 81000) spectra of four field BHB stars. The radiative transfer code ZEEMAN2 was used for a detail analysis of the spectral lines. The results of this spectral analysis show the existence of an overabundance of metals in the hot stars HD213781 and Feige 86, indicating the presence of atomic diffusion in these stars. A vertical stratification of phosphorous and a marginal vertical stratification of iron are detected in HD213781 and Feige 86, respectively. Like their counterparts in globular clusters, the cold field BHB stars HD128801, HD143459, and HZ27 present no signature of atomic diffusion. These abundance variations raise a question for the evaluation of the atmospheric parameters from models with a fixed metallicity. Thereby, the metallicity effect is studied here for twenty known BHB stars in the globular clusters M3 and M13. The atmospheric parameters of these stars are extracted using atmosphere models for six different metallicities [Fe/H] in the range between -2:0 and +0:5 dex relative to the solar metallicity. Two analysis methods, based on spectroscopy and photometry, were used. Only the spectroscopic values of Teff and log g obtained for the hottest stars show a variation, although small, with the model metallicity. Otherwise, this analysis demonstrates that a simple adjustment of the model metallicity cannot solve the problem of the low spectroscopic gravity observed for the hot BHB stars. Finally, to increase the sample of known hot field BHB stars, new observations of 21 stars have been made at the Observatoire du Mont-Mégantic. Three new field BHB stars have been characterized for the first time.

Les Basques ont été parmi les premiers Européens à être en contact et à pratiquer le commerce avec les Premières Nations du nord-est de l’Amérique du Nord. Leurs activités de pêche et leurs relations avec les Premières Nations au XVIe siècle demeurent peu et mal connues dans la mesure où elles ont laissé peu de traces écrites et qu’il y a très peu de travaux traitant de la question. Notre étude porte principalement sur l’analyse de la langue et de la culture matérielle pour appréhender les relations nouées entre ces deux groupes car les premiers contacts entre eux ont été caractérisés par des échanges linguistiques et des échanges d’objets matériels. C’est essentiellement par les travaux historiques menés sur les ports basques, par les cartes anciennes, par les récits de voyage français, qui font souvent référence aux Basques, et par les collections d’objets provenant de sites basques et autochtones en Amérique du Nord que nous pouvons mieux connaître les activités des Basques et leurs relations avec les Premières Nations. Nous avons donc privilégié une approche multidisciplinaire et transversale qui mobilise l’histoire, la linguistique et l’archéologie dans un même travail de synthèse. / The Basques were among the first Europeans to be in contact and to trade with the Native people of north-eastern North America. Little is known or understood of their activities and relationships with the First Nations in the 16th century in so far as few printed records of their activities have survived and the scholarly works dealing with the topic are scarce and far between. The study focusses on language and material culture because the first contacts between these two groups are characterised by the exchange of words and material objects. The aim of this study is to reach a better understanding of the activities of the Basque and their relations with First Nations through historical research carried out in Basque ports, maps of the period, French travel accounts, which often refer to the Basques who preceded them, and collections of objects from Basque and First Nations archaeological sites in North America. This study is, therefore, a multidisciplinary undertaking which combines history, linguistics and archaeology in a single analytical work. / Euskaldunak lehenengoetarikoak izan ziren Ipar Amerikako ipar-ekialdeko Lehen Nazioekin harremantzen eta salerosketan aritzen. Haien XVI. Mendeko arrantza eta harremanen aztarna idatziak eskasak dira, idatziriko idazki gutxi geratu baitira eta ikasketa oso gutxi baitaude gai honi buruz. Hizkuntz eta kultura materialaren trukaketa izanen dira bide Euskaldun eta Lehen Nazioetakoen arteko harremana ulertzeko, horiexek izan baitziren haien harremanari hasiera eman zioten bi kontaktu motak. Gehienbat euskal portuei buruzko idazki notarioak aztertzen dituzten lan historikoak, mapa zaharrak, frantsesen bidai liburuak eta euskal zein Lehen Nazioen indusketa lekuetan aurkitu diren zenbait objektu landuko ditugu, euskaldunek Ipar Amerikako ipar-ekialdean zituzten zereginak eta bertakoekin zuten harremana hobe ulertzeko. Lan hau, beraz, jakintza-alor anitzeko lan bat izanen da, historia, hizkuntza eta arkeologia aztertuko dituena, analisi lan bakarrean.

Québec Université Laval, Bibliothèque 2012

La tomographie optique diffuse (DOT) se caractérise par l’utilisation de la lumière dans un régime de propagation diffusif pour sonder les tissus biologiques. L’utilisation de marqueurs fluorescents permet de cibler des processus biologiques précis (tomographie optique diffuse en fluorescence - FDOT) et d’améliorer le contraste dans les images obtenues. Les applications typiques de la DOT/FDOT sont la mammographie laser, l’imagerie cérébrale de nouveau-nés et les investigations non-invasives sur petits animaux, notamment pour l’imagerie moléculaire. Le présent projet fait partie du programme de recherche TomOptUS dirigé par le professeur Yves Bérubé-Lauzière. Un scanner optique pour petits animaux y est en cours de développement. Ce scanner possède la particularité de fonctionner avec une prise de mesures sans contact dans le domaine temporel. La première partie du projet a pour point de départ l’algorithme développé en FDOT par Vincent Robichaud qui permet la localisation spatiale d’une seule inclusion fluorescente ponctuelle immergée dans un milieu diffusant homogène ayant une géométrie cylindrique. Une nouvelle approche de localisation pour une pluralité d’inclusions discrètes est ici introduite. Cette dernière exploite l’information contenue dans le temps de vol des premiers photons provenant d’une émission de fluorescence. Chaque mesure permet de définir un lieu géométrique où une inclusion peut se trouver : ces lieux prennent la forme d’ovales en 2D ou d’ovoïdes en 3D. À partir de ces lieux, une carte de probabilité de présence des inclusions est construite : les maxima de la carte correspondent à la position des inclusions. Cette approche géométrique est soutenue par des simulations Monte Carlo en fluorescence dans des milieux reproduisant les propriétés optiques des tissus biologiques. Plusieurs expériences sont ensuite effectuées sur une mire optique homogène répliquant les propriétés optiques des tissus dans lequel des inclusions remplies de vert d’indocyanine (ICG) sont placées. L’approche permet la localisation avec une erreur positionnelle de l’ordre du millimètre. Les résultats démontrent que l’approche est précise, rapide et efficace pour localisation des inclusions fluorescentes dans un milieu hautement diffusant mimant les tissus biologiques. Des simulations Monte Carlo sur un modèle réaliste de souris montrent la faisabilité de la technique pour l’imagerie sur petits animaux. Le second volet de la thèse s’intéresse aux mesures intrinsèques par le développement d’une approche de reconstruction d’une carte des vitesses de propagation des ondes lumineuses diffuses dans un milieu diffusant hétérogène. De telles vitesses constituent un nouveau contraste pour de l’imagerie DOT. La méthode utilise une configuration en faisceaux lumineux analogue aux méthodes utilisées en tomographie par rayons X. Ici, toutefois, les temps d’arrivée des premiers photons sont utilisés plutôt que l’amplitude du signal. Des résultats sont présentés en 2D pour différentes configurations d’inclusions démontrant la validité de l’approche. Des simulations Monte Carlo sont utilisées pour simuler la propagation intrinsèque dans des milieux hétérogènes et pour venir appuyer la démarche.

Reconnu comme un enjeu environnemental planétaire, l'acceptabilité de l'origine anthropique des changements climatiques ne fait pratiquement plus de doute au sein de la communauté internationale. L'entrée en vigueur du Protocole de Kyoto en février 2005 a eu pour résultat de pousser davantage les États à se concerter, reconnaissant la nécessité de répondre globalement à un enjeu mondialisé. Or, le cas canadien et états-unien demeure particulier à cet égard: ces derniers se sont tous deux distanciés du Protocole, alors que ceux-ci sont parmi les principaux émetteurs de gaz à effets de serre dans le monde. Toutefois, ceci n'a pas signifié pour autant l'absence de politiques à l'égard des changements climatiques sur leur territoire. Paradoxalement, cela a eu pour effet d'inciter d'autres acteurs, cette fois subétatiques, à prendre le relais et à développer nombre de politiques novatrices et divergentes de celles de Washington et Ottawa. Ainsi, ce mémoire aborde de façon ,plus particulière le développement d'une paradiplomatie environnementale au Canada et aux Etats-Unis. A travers une étude de cas particulière, soit la Conférence des gouverneurs de la Nouvelle-Angleterre et des premiers ministres de l'Est du Canada, ce mémoire s'interroge sur le rôle, les capacités d'action et les limites des États fédérés nord-américains dans le déploiement d'une diplomatie parallèle dans le domaine des changements climatiques. Nous posons également une réflexion quant à la marge de manoeuvre que les États fédérés observent dans ce type d'enjeu, et quelle est la place de l'acteur subétatique dans la lutte contre les changements climatiques.

Cette thèse étudie les relations techniques entre l’art magique et le cinématographe et confronte la pratique de trois artistes magiciens à celle de Georges Méliès. Bien que le rapprochement ait souvent été considéré comme évident, le but est ici d’étudier en détail les liens techniques entre le cinéma et la magie. En effet, le spectacle magique présenté par les prestidigitateurs, les illusionnistes ou les manipulateurs répond à des règles établies, théorisées, et débattues au sein de la profession. Il n’y a pas une pratique, mais des genres et des modes de présentation différents, qui évoluent sans cesse. Analyser l’utilisation du cinématographe au regard de ces règles permet de mettre en évidence une continuité d’approche de la part des magiciens ; cette machine constitue pour eux un nouvel élément dans un spectacle déjà établi. Après avoir développé les formes et les pratiques associées à la prestidigitation, nous analyserons dans la première partie l’œuvre de Buatier de Kolta, qui implante une nouvelle forme : l’illusionnisme, ainsi qu’une technique, le Théâtre Noir, invention née par erreur. La seconde partie retrace le succès de Leopoldo Fregoli, qui pousse les limites des pièces magiques anglaises avec son spectacle de Transformisme : il ne repose plus sur la technique des identités altérées d’acteurs. Finalement, la troisième partie étudie l’implantation de la figure du manipulateur, perçue comme un artiste-virtuose et comme une forme de « magie moderne » par le public ; cette forme questionne les magiciens sur la place que doit tenir la manipulation dans leur art, au moment où se forment les premiers syndicats corporatifs. Plus précisément la dernière partie étudie l’adoption de cette forme dans l’œuvre de Gaston Velle, tant dans ses spectacles itinérants que dans ses premières vues animées. L’ensemble de ces questionnements sera rapproché des pratiques magiques et cinématographiques de Georges Méliès, qui emprunte à chacune de ces formes / This thesis studies the technical relations between the art of magic and the cinematograph, and confronts the practice of three magicians to that of Georges Méliès. Although the link between cinema and magic was often considered evident, the purpose here is to study in detail the technical links between them. Indeed, the magic show presented by the prestidigitators, the illusionists or the manipulators replies to established theorized rules, which are discussed within the profession. There is not one practice, but several genres and different modes of presentation, which evolve. Analyzing the use of the cinematograph within these rules reveals a continuity of understanding amongst the magicians, this machine constitutes for them a new tool in their already established show. The first part, develops the forms and the practices associated with prestidigitatation, and analyzes Buatier de Kolta's illusionist work, as well as a technique : The Black Art, which arose, by mistake from a more compex invention. The second part redefines Leopoldo Fregoli's success, which pushes the limits of the English Magic Theater with its transformism show that is no longer based on the technique of the actors’ distorted identities. Finally, the third part studies the magician-manipulator, perceived by the public as a virtuoso; this questions the magicians about the place that manipulation takes in the magic show. The third part will study the adoption of this form in Gaston Velle's work both in his itinerant shows and in his first animated views. All these questionings will be reviewed in relation to Georges Méliès' magic and cinematographic practices, which borrow from each of these forms