CATIE-AQ/frenchKEYWORDS huggingface dataset:
Quoique très difficile à résoudre, le problème de satisfiabilité Booléenne (SAT) est fréquemment utilisé lors de la modélisation d’applications industrielles. À cet effet, les deux dernières décennies ont vu une progression fulgurante des outils conçus pour trouver des solutions à ce problème NP-complet. Deux grandes avenues générales ont été explorées afin de produire ces outils, notamment l’approche logicielle et matérielle. Afin de raffiner et améliorer ces solveurs, de nombreuses techniques et heuristiques ont été proposées par la communauté de recherche. Le but final de ces outils a été de résoudre des problèmes de taille industrielle, ce qui a été plus ou moins accompli par les solveurs de nature logicielle. Initialement, le but de l’utilisation du matériel reconfigurable a été de produire des solveurs pouvant trouver des solutions plus rapidement que leurs homologues logiciels. Cependant, le niveau de sophistication de ces derniers a augmenté de telle manière qu’ils restent le meilleur choix pour résoudre SAT. Toutefois, les solveurs modernes logiciels n’arrivent toujours pas a trouver des solutions de manière efficace à certaines instances SAT. Le but principal de ce mémoire est d’explorer la résolution du problème SAT dans le contexte du matériel reconfigurable en vue de caractériser les ingrédients nécessaires d’un solveur SAT efficace qui puise sa puissance de calcul dans le parallélisme conféré par une plateforme FPGA. Le prototype parallèle implémenté dans ce travail est capable de se mesurer, en termes de vitesse d’exécution à d’autres solveurs (matériels et logiciels), et ce sans utiliser aucune heuristique. Nous montrons donc que notre approche matérielle présente une option prometteuse vers la résolution d’instances industrielles larges qui sont difficilement abordées par une approche logicielle.

Mots-clés : SAT , Solveur matériel , Solveur matériel parallèle sur FPGA
Les surfaces de subdivision fournissent une méthode alternative prometteuse dans la modélisation géométrique, et ont des avantages sur la représentation classique de trimmed-NURBS, en particulier dans la modélisation de surfaces lisses par morceaux. Dans ce mémoire, nous considérons le problème des opérations géométriques sur les surfaces de subdivision, avec l'exigence stricte de forme topologique correcte. Puisque ce problème peut être mal conditionné, nous proposons une approche pour la gestion de l'incertitude qui existe dans le calcul géométrique.  Nous exigeons l'exactitude des informations topologiques lorsque l'on considère la nature de robustesse du problème des opérations géométriques sur les modèles de solides, et il devient clair que le problème peut être mal conditionné en présence de l'incertitude qui est omniprésente dans les données. Nous proposons donc une approche interactive de gestion de l'incertitude des opérations géométriques, dans le cadre d'un calcul basé sur la norme IEEE arithmétique et la modélisation en surfaces de subdivision. Un algorithme pour le problème planar-cut est alors présenté qui a comme but de satisfaire  à l'exigence topologique mentionnée ci-dessus.

Mots-clés : Incertitude , Robustesse , Calcul géométrique , Arithmétique en précision finie , Arithmétique des intervalles , Surfaces de subdivision
Dans la Recherche du temps perdu, toute relation filiale est une relation où le fils fait inévitablement souffrir sa mère en commettant, selon Proust, une forme de parricide. La lecture des œuvres pré-Recherche de l’auteur, telles la nouvelle « La confession d’une jeune fille » et l’article « Sentiments filiaux d’un parricide »  permettent de comprendre cette relation ambigüe, au cœur de laquelle se trouve l’amour incommensurable que ressent le fils pour le parent, un amour si intense qu’il en est étouffant. Dans ces conditions, le parent en vient à symboliser aux yeux de l’enfant la Loi contre laquelle il doit se rebeller à coup de gestes de cruauté. Le fils,  s’il est de ceux qui peuvent soutenir la vue de leurs crimes, entre alors dans un cercle vicieux : par sa cruauté, il tue – symboliquement ou réellement – le parent aimé et il en jouit. Suite à ce sadisme, il ressent une insupportable culpabilité qui le mène à une dévotion masochiste encore plus grande pour son parent. Or, par le personnage du narrateur de la Recherche du temps perdu, Proust démontre que la seule manière de se libérer de cette douloureuse culpabilité, c’est l’Art. Le crime ultime qu’est la création excuse les actes de cruauté antérieurs et les justifie même. C’est la seule manière de transformer la souffrance vécue (issue entre autres de la culpabilité d’avoir pris plaisir à faire souffrir un parent aimé) en idées universelles, en œuvre d’art.

Mots-clés : À la recherche du temps perdu , Mère , Homosexualité , Sexualité , Masochisme , Sadisme , Culpabilité , Création , Sadism
"La Flûte enchantée" (1975), téléfilm d’Ingmar Bergman, pose, dans une perspective sociologique, la question de l’adaptation de l’oeuvre alliée aux intentions esthétiques de son auteur. En quoi Bergman est-il parvenu à adapter "La Flûte enchantée" à la société, principalement suédoise, de 1975 à laquelle son film est destiné ? Comment développe-t-il sa contribution esthétique entre le respect de l’oeuvre, tant sur le plan de son contenu dramatique que sur le plan de sa réception, et l’innovation qui est à la base de son approche cinématographique ? De par son mode de diffusion télévisuel, le film de Bergman rend l’opéra accessible au plus grand nombre. De par ses réarrangements du livret, traduit en suédois, il réactualise l’oeuvre de Mozart. De par ses traits esthétiques, il exprime une vision de son auteur sur la représentation même d’un opéra sur scène et marque de son empreinte l’histoire des mises à l’écran d’opéras.

Mots-clés : Opéra , Mozart , Bergman , Cinéma , Sociologie , "Mondes de l'art" , Film-opéra , Esthétique
Parmi les compositeurs québécois de la génération née dans les années 1920, Serge Garant (1929-1986) est souvent considéré comme l’un des représentant les plus radicaux de la modernité musicale. Les mélodies pour voix et piano, un genre auquel le compositeur consacre le plus grand nombre de pièces dans les premières années de sa carrière, se prêtent particulièrement bien à une analyse des explorations des idiomes dodécaphonique et sériel suite à l’abandon du système tonal. Lefebvre et Provost associent le début de la maturité du compositeur aux Caprices (1954), un cycle de mélodies où l’écriture sérielle est employée comme dans la majeure partie de la production ultérieure de Garant. Le degré d’adéquation entre la forme musicale et la structure littéraire des poèmes utilisés, ainsi que le type de mise en musique de ces derniers permettent de constater que les deux syntaxes ont chacune été utilisées de part et d’autre de l’année charnière 1954. Le fait que des éléments de la maturité musicale de Garant soient déjà présents dans des pièces remontant à 1951 permet finalement de nuancer le processus qui mena à l’affirmation de son langage.

Mots-clés : Analyse , Atonalité , Dodécaphonisme , Sérialisme , Mélodie , Québec , Poésie , Harmonie , Forme musicale
L'allergie au lait de vache (ALV) représente l'allergie alimentaire la plus fréquemment rencontrée durant l'enfance. Cette allergie a longtemps été reconnue comme transitoire mais des données récentes révèlent que celle-ci est persistante chez environ 15% des enfants qui en sont touchés durant l'enfance, posant ainsi un risque à leur santé. La présente étude examine 26 enfants avec ALV et 12 enfants contrôles recrutés au CHU Sainte-Justine durant l’hiver 2011-2012. L'objectif étant de comparer la densité minérale osseuse (DMO) et les niveaux sériques de 25(OH)D d'enfants prépubères avec ALV non résolue à un groupe contrôle d'enfants avec autres allergies alimentaires, en plus d'évaluer les apports en calcium et en vitamine D ainsi que l'adhérence à la supplémentation chez cette population. La DMO lombaire (L2-L4) ne diffère pas significativement entre les groupes. Cependant, une faible densité osseuse, caractérisée par un score-Z entre -1,0 et -2,0 pour l'âge et le sexe, est détectée chez plus de 30% des enfants avec ALV et plus de 16% du groupe contrôle, sans allergie au lait. Tel qu'attendu, les apports en calcium sont significativement moins élevés chez les enfants avec ALV comparé au groupe contrôle, avec près de 90% de tous nos participants ne rencontrant pas les besoins pour l’âge en vitamine D. Plus de la moitié des enfants avec ALV présentent une concentration de 25(OH)D inférieure à 75 nmol/L. Cependant, notre étude n'a décelé aucune différence entre les niveaux sériques de 25(OH)D des enfants avec ALV comparativement au groupe contrôle. Enfin, l'adhérence à la supplémentation est jugée adéquate chez plus de 75% de notre groupe d'enfants avec ALV, soit ≧ 4 journées par semaine, un facteur aussi associé à une meilleure atteinte de leurs apports nutritionnels en calcium et en vitamine D. Enfin, ces résultats soulignent l'importance de suivre la santé osseuse d'enfants avec ALV ainsi qu'avec allergies multiples, qui présentent un risque de faible densité osseuse. L'intervention nutritionnelle devrait suivre l'adhérence à la supplémentation chez les enfants avec ALV non résolue, afin d'optimiser les apports nutritionnels insuffisants en calcium et en vitamine D

Mots-clés : allergie , lait , densité osseuse , vitamine D , calcium , enfants , Calcium
Une communication honnête entre l’adolescent(e) et son parent est associée à un développement plus sain chez l’adolescent(e) (Stattin & Kerr, 2000). La présente étude s’intéresse à la façon dont les parents peuvent favoriser l’honnêteté chez leurs adolescents. En nous basant sur la Théorie de l’Autodétermination (Deci & Ryan, 2000), nous postulons que plus les parents soutiennent l’autonomie de leurs adolescents, plus ceux-ci sont honnêtes avec leurs parents. Nous postulons également qu’il y aurait deux variables médiatrices de cette relation : l’intégration de la valeur de l’honnêteté chez les adolescents ainsi que leur perception des coûts et des bénéfices vis-à-vis du fait d’être honnête avec leurs parents. Des analyses de modélisation par équations structurales se basant sur 174 dyades parent-adolescent ont démontré que plus les parents soutiennent l’autonomie de leurs adolescents, plus les adolescents intègrent la valeur de l’honnêteté et plus ils perçoivent des bénéfices élevés, et de faibles coûts, à être honnêtes avec leurs parents. L’intégration de la valeur de l’honnêteté et le fait de percevoir davantage de bénéfices que de coûts à être honnête prédisaient par la suite une communication plus honnête entre l’adolescent(e) et son parent. Le fait que le parent valorise l’honnêteté contribuait aussi à l’intégration de la valeur de l’honnêteté chez l’adolescent(e).

Mots-clés : Honnêteté , Soutien à l'autonomie , Théorie de l'autodétermination , Analyse coût-bénéfice , Valeur , Dévoilement de soi , Values
La présente recherche a pour objectif d’étudier les effets que peuvent exercer la conception du travail sur le type de conflit qui émerge en milieu de travail. La notion de conception du travail se divise en trois dimensions, soit les caractéristiques reliées à la tâche, les caractéristiques reliées aux connaissances et les caractéristiques sociales. Ces dimensions sont mises en relation avec les deux types de conflit en milieu de travail, soit le conflit relié à la tâche et le conflit relié à la relation. Cette recherche vise également à vérifier l’effet modérateur des traits de personnalités sur les relations entre les dimensions de la conception du travail et celles du conflit en milieu de travail. Cette recherche est basée sur 473 participants qui occupent un emploi rémunéré et qui ont vécu une situation de conflit en milieu de travail allant  jusqu’à 6 mois avant la période de sondage, allant du 14 au 18 janvier 2012.   Les résultats indiquent qu’il n’y a pas de relations particulières entre la conception du travail et le type de conflit en milieu de travail. En ce qui a trait aux effets des traits de personnalité, les résultats indiquent que ces variables n’ont aucuns effets modérateurs sur la relation entre la conception du travail et le type de conflit en milieu de travail.   Globalement, les résultats ne démontrent aucune relation entre la conception du travail et les types de conflit en milieu de travail, ou les effets modérateurs que les traits de personnalités peuvent avoir sur ces relations.

Mots-clés : conception du travail , conflit en milieu de travail , conflict relié à la tâche , conflit relié à la relation , trait de personnalité , Model des cinq facteurs
Les anomalies du tube neural (ATN) sont des malformations congénitales très fréquentes chez l’humain en touchant 1-2 nouveau-nés sur 1000 naissances. Elles résultent d’une fermeture incomplète du tube neural lors de l’embryogenèse. L’étiologie des ATN est complexe impliquant des facteurs environnementaux et des facteurs génétiques. La souris représente un outil puissant afin de mieux comprendre la génétique des ATN. Particulièrement, la souris modèle a impliqué fortement la voie de la polarité cellulaire planaire (PCP) dans ces malformations. Dans cette étude, nous avons identifié et caractérisé une nouvelle souris mutante, Skam26Jus dans le but d’identifier un nouveau gène causant les ATN. Skam26Jus a été générée par l’agent mutagène N-Ethyl-N-Nitrosuera. Cette souris est caractérisée par une queue en forme de boucle ou de crochet, soit un phénotype associé aux ATN. La complémentation génétique de la souris Skam26Jus avec une souris mutante d’un gène de la voie PCP Vangl2 (Looptail) a montré une interaction génétique entre le gène muté chez Skam26Jus et Vangl2, suggérant que ces deux gènes fonctionnent dans des voies de signalisation semblables ou parallèles. Un total de 50% des embryons doubles hétérozygotes avec un phénotype de la queue présentent un spina bifida. La cartographie par homozygotie du génome entier suivie par un clonage positionnel a permis d’identifier Lrp6 comme le gène muté chez Skam26Jus. Une mutation homozygote, p.Ile681Arg, a été identifiée dans Lrp6 chez les souris ayant une queue en boucle/crochet. Cette mutation était absente dans 30 souches génétiques pures indiquant que cette mutation est spécifique au phénotype observé. Une étude de phénotype-génotype évalue la pénétrance à 53 % de la mutation Ile681Arg. Lrp6 est connu pour activer la voie canonique Wnt/β-caténine et inhiber la voie non canonique Wnt/PCP. Le séquençage de la région codante et de la jonction exon-intron de LRP6 chez 268 patients a mené à l’identification de quatre nouvelles rares mutations faux sens absentes chez 272 contrôles et de toutes les bases de données publiques. Ces mutations sont p.Tyr306His ; p.Tyr373Cys ; p.Val1386Ile; p.Tyr1541Cys et leur pathogénicité prédite in silico indiquent que p.Val1386Ile est bénigne, et que p.Tyr306Hiset p.Tyr373Cys et p.Tyr1541Cys sont i possiblement dommageables. Les mutations p.Tyr306His, p.Tyr373Cys et p.Tyr1541Cys ont affecté l’habilité de LRP6 d’activer la voie Wnt/β-caténine en utilisant le système rapporteur luciférase de pTOPflash. Nos résultats suggèrent que LRP6 joue un rôle dans le développement des ATN chez une petite fraction de patients ayant une ATN. Cette étude présente aussi Skam26Jus comme un nouveau modèle pour étudier les ATN chez l’humain et fournit un outil important pour comprendre les mécanismes moléculaires à l’origine des A TN.

Mots-clés : Anomalies du tube neural , mutagenèse ENU , souris modèle , Lrp6 , signalisation Wnt , polarité cellulaire planaire
L’état d’attention sans réflexion, aussi appelé « mindfulness », a démontré des effets positifs en clinique pour les désordres émotionnels associés à diverses conditions. Le nombre d’études portant sur la caractérisation des substrats neuronaux de cet état attentionnel croît, mais il importe d’investiguer davantage à ce chapitre pour éventuellement améliorer les interventions cliniques. La présente étude compte aider à déterminer, par la magnétoencéphalographie, quelles régions cérébrales sont en corrélation avec le mindfulness chez des experts, i.e. des méditants Zen. Ces derniers cultivent un état dans lequel ils s’abstiennent de rechercher ou de rejeter les phénomènes sensoriels, ce qui en fait d’excellents candidats à la présente étude. Dans un contexte de stimulations visuelles émotionnelles, il fut demandé aux méditants tantôt d’observer les images dans un état de mindfulness (condition expérimentale), tantôt dans un état dit normal (condition contrôle) où aucun effort particulier d’attention n’était requis. Les résultats d’analyse suggèrent que les participants expérimentèrent une intensité émotionnelle moins importante en mindfulness : les cotes subjectives ainsi qu’une réponse magnétique cérébrale reliée aux émotions nommée Potentiel Positif Tardif magnétique (PPTm) suggèrent cela. Cependant, le résultat le plus statistiquement probant dépasse la nature affective des stimuli. Il s’agit d’une diminution temporellement soutenue de l’activité de fréquence gamma au niveau des zones visuelles associatives du lobe temporal droit, sans égard à la nature des images. Également, une suppression de l’activité gamma d’une zone du cortex préfrontal latéral gauche fut observée. Ceci pourrait indiquer une diminution de la conceptualisation des stimuli reliée au langage et aux processus réflectifs du soi.

Mots-clés : Magnétoencéphalographie , Régulation émotionnelle , Fréquence gamma , Potentiel positif tardif , Méditation , Mindfulness , Zen , Cerveau , Bouddhisme
La thymectomie est un geste chirurgical fréquemment nécessaire lors des interventions cardiaques en période néonatale. Il est connu que la résection du thymus entraîne une lymphopénie ne semblant pas avoir de conséquences cliniques graves. La lymphopénie constatée serait plus importante chez les patients ayant eu une chirurgie cardiaque de type Fontan. Toutefois, on ignore si la lymphopénie est uniquement secondaire à la thymectomie ou si elle est liée à ce type particulier de chirurgie cardiaque.  La présente recherche porte sur 19 patients opérés selon l'approche Fontan;  ils ont été comparés à 6 patients "contrôle" ayant eu une thymectomie au cours d'une chirurgie cardiaque d'un autre type. Les résultats indiquent que les patients de type Fontan accusent une diminution du nombre de cellules naïves CD4+ et CD8+ et plus particulièrement une baisse de leurs émigrants thymiques (CD45RA+CD31+/CD4+). On note en contrepartie une expansion du répertoire mémoire (CD45RO+). Ces altérations lymphocytaires sont comparables aux contrôles.  Il semble donc que les anomalies lymphocytaires relevées soient reliées principalement à la thymectomie et non pas au type de chirurgie. Les infections plus importantes chez les Fontan, quant à elles, pourraient s'expliquer par une évolution post-opératoire défavorable.

Mots-clés : lymphopénie , thymectomie , Fontan , chirurgie cardiaque , émigrants thymiques
Le développement de la compétence orthographique est particulièrement difficile pour les dyslexiques. Orthographier en français implique la prise en compte de connaissances et de stratégies variées. Cette étude a pour objectifs de décrire l’utilisation des stratégies de production orthographiques de 32 élèves dyslexiques (ED) âgés de 9 à 12 ans ainsi que d’établir les liens entre les stratégies orthographiques et la compétence orthographique. Les élèves devaient orthographier 24 mots sous dictée et commenter, pour chaque mot, les stratégies employées. Les performances des ED ont été comparées à celles de 25 normo scripteurs de même âge chronologique (CA) et à celles de 24 normo scripteurs de même compétence écrite (CE). Les résultats indiquent que les stratégies phonologiques sont les plus utilisées par tous les groupes de participants. Si aucun type de stratégies n’est lié à la compétence orthographique des ED, la stratégie visuo-orthographique nous éclaire sur les résultats des CA et des CE.

Mots-clés : dysorthographie , trouble d’apprentissage , trouble de la lecture , écriture , orthographe , apprentissage de l’orthographe , stratégies , français , didactique
Listeria monocytogenes (L. monocytogenes) est un pathogène majeur en santé publique comme les épisodes de 2008 dans les fromages et les charcuteries l’ont démontré. Au Canada, il n’y a pas de surveillance règlementaire de ce microorganisme dans les étapes précédant la transformation de produits prêts-à-manger. Ainsi, la présence et la circulation de ce microorganisme dans ces environnements est peu documentée. Pour décrire ces phénomènes, nous avons effectué un échantillonnage dans une usine d’abattage et de découpe de porcs au Québec, principalement dans les parcs d’attente, et dans l’environnement de l’abattage et de découpe : les échantillonages ont été effectués après lavage et désinfection sur une période de 2 ans. Un nombre de 874 échantillons a été récoltés. Le protocole de détection utilisé était inspiré de la méthode MFHPB-30 de Santé Canada. Les sérotypes ont été obtenus par PCR et les isolats caractérisés par un génotypage RFLP-PFGE en utilisant les enzymes de restriction Apa1 et Asc1. Nous avons détecté la présence de Listeria monocytogemes dans toutes ces étapes de la production. De ces échantillons positifs, 4 sérotypes (principalement 1/2b) ont émergé. Les patrons PFGE ont démontré la présence d’une variété de génotypes dans les zones d’attente et d’abattage de l’usine et la présence d’un type majeur dans l’environnement de la zone de découpe (le type 1 représentant 96.1% des souches à cette étape). De plus, nous avons démontré des liens entre les souches retrouvés au début de la production, en attente, et les souches retrouvées dans la zone de découpe. Ces résultats suggèrent que Listeria monocytogenes entre dans l’usine avec les animaux, contamine les étapes suivantes de la production et que certaines souches peuvent être sélectionnées et leur croissance favorisé dans l’environnement, devenant majoritaires, persistantes et préoccupantes en regars de la santé publique.

Mots-clés : Listeria monocytogenes , PFGE , Porc , Abattoir , Environnement , Découpe , Parcs d’attente
Le rôle de la communauté militaire internationale dans le cadre des opérations de maintien de la paix (OMP) s’est profondément transformé depuis la fin de la Guerre froide. En effet, elle intervient de plus en plus fréquemment dans des guerres civiles ou intra-étatiques, particulièrement lorsque les autorités en place ne sont plus en mesure d’assurer la sécurité de la population. Par ailleurs, le rôle des militaires ne se limite plus à la fonction traditionnelle de combattants. Ils doivent maintenant assumer des tâches qui visent beaucoup plus le développement de relations avec la population civile dont la coopération est un élément essentiel à la réussite de ce type d’intervention.   L’objectif de ce mémoire est d’analyser l’opinion de la population civile de la région de Bihać par rapport à l’intervention des militaires dans le cadre de l’OMP en Bosnie-Herzégovine. L’historique du conflit dans cette région, l’état des connaissances sur les sources d’insatisfaction de la population par rapport au déroulement des OMP en général, ainsi que des entrevues avec des informateurs-clés nous permettent d’identifier deux problématiques distinctes, soit : (1) l’écart important entre les attentes et les besoins de la population et le mandat confié par l’ONU; et (2) la dichotomie entre la formation de base des militaires et ce qui est attendu d’eux dans le cadre de ces interventions.

Mots-clés : Sociologie militaire , Opérations de maintien de la paix , Communauté internationale , Nations-Unies , Bosnie-Herzégovine , SFOR , Casques bleus , SFOR