405 resultados para Vérification formelle


Relevância:

10.00% 10.00%

Publicador:

Resumo:

La version intégrale de ce mémoire est disponible uniquement pour consultation individuelle à la Bibliothèque de musique de l’Université de Montréal (http://www.bib.umontreal.ca/MU).

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Le présent travail est encadré dans le domaine de la linguistique appliquée de l'espagnol comme langue étrangère (ELE), et plus spécifiquement dans l'enseignement du genre grammatical en ELE. Notre intérêt en tant que enseignants c’est de pouvoir établir une méthode fiable selon les critères du Plan curricular de l'Institut Cervantès et la technique du consciousness-raising, ainsi que élaborer des activités destinées à l'enseignement du genre grammatical dans la classe d’ELE. L'enseignement d'ELE au Québec suit les mêmes méthodes qu'en Europe. En ce qui concerne l'enseignement du genre grammatical, les études consultées ratifient le manque d'instruction pertinente à propos du genre grammatical, ainsi que la difficulté dans la concordance même dans des niveaux avancés. Cependant, l'analyse de manuels d'ELE utilisés dans les diverses institutions de Montréal permet de conclure que ceux-ci ne suivent pas les règles établies par le Plan curricular en ce qui concerne l'enseignement du genre. Pour vérifier ces faits un travail de champ a été mis en place avec 84 étudiants et étudiantes de six institutions de Montréal pendant deux mois et deux semaines. Les résultats de la recherche et l'analyse d'erreurs nous montrent qu’il y a des problèmes avec le genre grammatical chez les étudiants de niveau intermédiaire et que les erreurs ne disparaissent pas avec les activités de renfort créées. Il est donc nécessaire d’adopter une méthode plus appropriée à l'apprentissage du genre grammatical dans une classe d’ELE et la présence du professeur pour la présenter. En effet, l'exécution d'activités créées n'est pas suffisant, car bien que les résultats montrent un léger progrès dans le cas du groupe B, ou d’expérience, en comparaison au groupe A, ou de control, on a constaté qu’une instruction formelle aurait entrainé un meilleur et plus complet apprentissage du genre grammatical dans le cas de nos étudiants; de là la nécessité d'établir une méthode fiable pour son enseignement.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Ce mémoire présente les recherches et réflexions entourant la conception d’une application à base d’ontologie dédiée au e-recrutement dans le domaine des services de dotation de personnel en technologies de l’information à l’ère du Web Social. Cette application, nommée Combine, vise essentiellement à optimiser et enrichir la Communication Médiée par Ordinateur (CMO) des acteurs du domaine et utilise des concepts issus du paradigme technologique émergent qu’est le Web sémantique. Encore très peu discuté dans une perspective CMO, le présent mémoire se propose donc d’examiner les enjeux communicationnels relatifs à ce nouveau paradigme. Il présente ses principaux concepts, dont la notion d’ontologie qui implique la modélisation formelle de connaissances, et expose le cas de développement de Combine. Il décrit comment cette application fut développée, de l’analyse des besoins à l’évaluation du prototype par les utilisateurs ciblés, tout en révélant les préoccupations, les contraintes et les opportunités rencontrées en cours de route. Au terme de cet examen, le mémoire tend à évaluer de manière critique le potentiel de Combine à optimiser la CMO du domaine d’activité ciblé. Le mémoire dresse au final un portrait plutôt favorable quant à la perception positive des acteurs du domaine d’utiliser un tel type d’application, et aussi quant aux nets bénéfices en frais d’Interactions Humain-Ordinateur (IHO) qu’elle fait miroiter. Il avertit toutefois d’une certaine exacerbation du problème dit « d’engagement ontologique » à considérer lors de la construction d’ontologies modélisant des objets sociaux tels que ceux dont le monde du recrutement est peuplé.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Ce mémoire est composé de deux parties : une recherche sur le film Lagaan (2001) du réalisateur indien Ashutosh Gowariker, et un scénario de moyen métrage de fiction. La partie théorique analyse un courant émergeant du cinéma indien que Gowariker a initié avec Lagaan. Ce courant véhicule une vision progressiste de l’identité nationale et semble donc s’opposer au mouvement nationaliste hindutva par ses préoccupations gandhiennes proches de la Nouvelle vague indienne. Pourtant, du point de vue dramatique et esthétique, il adopte une facture commerciale qui correspond bien plus aux attentes du public du Bollywood post-1990. Conjuguant dimension intellectuelle militante et divertissement populaire, il cherche ainsi à réorienter sa vision de la société indienne. Mon analyse, à la fois formelle et sociologique, permettra de comprendre cette tendance dans son contexte sociopolitique. Le scénario raconte l’histoire d’Aastha, une jeune Indienne de caste inférieure luttant pour exister entre tradition et modernité dans l'Inde rurale contemporaine. Il montre la relation ambiguë qu’elle entretient avec une culture qu'elle aime profondément, mais qui est paradoxalement trop oppressante pour lui permettre de s'affirmer.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

La présente thèse de doctorat porte sur les processus internes au sein des équipes de travail pluriculturelles. Cette thèse se compose de trois articles et propose, d’une part, une mesure validée des valeurs culturelles au niveau individuel en langue française et, d’autre part, une mesure du degré d’homogénéité culturelle au sein des équipes de travail (ci-après ÉT). En outre, elle se penche sur la vérification empirique des nombreux liens entre l’homogénéité culturelle et les processus internes au sein des ÉT postulés par les auteurs mais jamais vérifiés empiriquement. Le premier article a pour but de faire le point sur la documentation scientifique concernant les équipes de travail pluriculturelles. Il présente une recension de la documentation portant sur ce type d’équipe, notamment l’impact présumé de la culture sur les comportements d’équipier, et les effets de la diversité culturelle sur la performance de l’équipe et sur ses processus internes. Le deuxième article, quant à lui, a pour objectif de valider la mesure des dimensions culturelles de Hofstede (1980, 1991, 1994) sur une base individuelle et en langue française. Cette étude a été réalisée en adaptant deux questionnaires, l’un développé par Hellmann (2000) et mesurant les dimensions culturelles de distance hiérarchique, de masculinité, de contrôle de l’incertitude et de collectivisme, et le second développé par Bearden, Money et Nevins (2006) et mesurant la dimension d’orientation à long terme. L’échantillon se compose de 453 répondants tous étudiants dans des programmes de baccalauréat à l’Université de Montréal et à l’Université du Québec à Montréal. Les résultats des deux analyses factorielles exploratoires effectuées ont fait ressortir sept facteurs distincts expliquant 41.6% de la variance pour le premier questionnaire et 61.6% de la variance pour le second. La composition de l’échantillon n’a pas permis de conduire d’analyse de variance afin de vérifier s’il se trouvait des différences significatives entre les différents groupes culturels de l’échantillon à l’étude, et ce, pour chacune des dimensions culturelles. Les limites de la recherche ainsi que des suggestions de recherches futures sont proposées. Enfin, le troisième article se penche sur les liens, postulés par de nombreux auteurs mais jamais confirmés empiriquement, entre l’homogénéité culturelle dans les équipes et les processus internes de l’équipe en termes de comportements productifs et de comportements contre-productifs. Afin d’étudier cette réalité, l’instrumentation de Hofstede (1980, 1991), conçue pour capter des différences au niveau des nations, a été opérationnalisée au niveau des individus (Temimi, Savoie et Duguay, 2008) et mis en relation avec les processus internes se déroulant au sein de l’équipe (Duguay, Temimi et Savoie, 2008; Rousseau, 2003; Temimi et Savoie, 2007). Cette étude a été réalisée auprès de 67 équipes variant en termes d’homogénéité culturelle. Les résultats indiquent que le degré d’homogénéité culturelle global s’avère positivement relié aux comportements productifs de l’équipe et négativement relié aux comportements contre-productifs. De plus, le degré d’homogénéité de la dimension culturelle de féminité ressort négativement relié aux comportements contre-productifs de flânerie sociale et de domination.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Cet ouvrage a été rédigé en LaTeX, ce qui permet d'atteindre directement certaines sections, notes ou références bibliographiques par le biais des hyperliens.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Au début de son Traité fondamental de la foi, Karl Rahner avise le lecteur que l’introduction au concept de christianisme qu’il propose se déploie à ce qu’il nomme un « premier niveau de réflexion » (erste Reflexionsstufe). S’il le distingue explicitement du niveau de réflexion des sciences entendues au sens usuel, il n’en donne pas de définition formelle, s’employant plutôt à le mettre en œuvre. Curieusement, eu égard à l’importance que lui accorde Rahner, la question de ce « plan » alternatif de compréhension et de justification de la foi chrétienne est demeurée pratiquement sans écho (un constat formulé par Max Seckler en 1984 et renouvelé par Karl H. Neufeld en 2006). C'est à cette question du « premier niveau de réflexion » chez Rahner que s'attache la présente étude. Après avoir dressé un état de la question, nous y présentons les jalons du déve-loppement du concept chez Rahner, depuis ses articles sur la formation des prêtres en contexte de pluralisme jusqu’au Traité fondamental de la foi. Nous y montrons ensuite en quoi la référence de Rahner à l'illative sense newmanien, contestée lorsqu’elle n’est pas négligée par les commentateurs, peut être une clé d’interprétation de la notion qui nous occupe, le « sens illatif » (et la Grammar of Assent) éclairant le « premier niveau de réflexion » (et le Traité fondamental), et vice versa. Nous y voyons enfin comment cette référence à Newman met sur la voie des Exercices spirituels d’Ignace de Loyola, lequel aura été pour Rahner non seulement un maître spirituel, mais également un maître de théologie. Ce qui paraissait n’être au début qu’une indication d’ordre didactique se révèle dès lors comme une caractérisation fondamentale de la théologie telle que la com-prend Rahner.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Thèse diffusée initialement dans le cadre d'un projet pilote des Presses de l'Université de Montréal/Centre d'édition numérique UdeM (1997-2008) avec l'autorisation de l'auteur.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

La majorité des hyperplasies macronodulaires bilatérales des surrénales avec syndrome de Cushing ACTH-indépendant (AIMAH) est due à l’expression aberrante de divers récepteurs hormonaux au niveau du cortex surrénalien. Les gènes responsables des AIMAH familiales avec récepteurs aberrants n’ont pas été identifiés. Le but de ce projet est de les identifier. Une étude de liaison, visant à identifier la ou les régions du génome comprenant le ou les gènes pouvant être en cause dans les AIMAH familiales, a été réalisée en utilisant l’ADN des membres d’une famille (10 malades et 7 sains) originaire du Québec, atteinte d’AIMAH et syndrome de Cushing et caractérisée par l’expression des récepteurs β-adrénergique et V1-vasopressine. Diverses régions chromosomiques entre les personnes atteintes et non-atteintes de la famille ont été soulignées. Un total de 707453 SNPs a été obtenu, et après analyse statistique, 159 SNPs significatifs, pouvant être associés au phénotype, ont été mis en évidence entre les deux groupes. Il a été constaté que la majorité de ces SNPs se situaient sur les régions chromosomiques 1q32.1 et 16q12.2. Une étude du transcriptome a aussi été réalisée en utilisant l’ADN des tumeurs de deux patients de la famille, ainsi que l’ADN d'autres tumeurs surrénaliennes. Les analyses statistiques ont permis d’identifier 15 gènes susceptibles d’être reliés à la maladie (11 surexprimés et 4 sous-exprimés). En utilisant les données de ces deux études, nous avons ciblé six gènes du chromosome 1 (ATP2B4, PPP1R12B, SOX13, CACNA1S, ADORA1et PHLDA3), un du chromosome 16 (CHD9) et un du chromosome 13 (SPRY2), afin de rechercher la présence de mutations. Le séquençage n’a révélé aucun changement de nucléotide dans les gènes PPP1R12B et SOX13. Dans les gènes ATP2B4, CACNA1S, ADORA1et PHLDA3, le séquençage a révélé des changements de nucléotides n’entrainant soit pas de changement d’acide aminé soit un changement d’acide aminé jugé « non pertinent », du fait qu’il ne permettait pas de différencier les sujets sains des sujets atteints. Pour ce qui est de CHD9 et SPRY2, le séquençage a permis d’identifier des changements de nucléotides entrainant des changements d’acides aminés de façon plus fréquente chez les sujets atteints par rapport aux sujets sains. En conclusion, nos travaux nous ont donc permis d’identifier, par étude de liaison et par analyse du transcriptome, des gènes candidats qui pourraient être responsables de cette pathologie. Le séquençage de ces gènes candidats a révélé des mutations de CHD9 et SPRY2. Ces résultats s’avèrent prometteurs puisque ces deux gènes produisent des protéines impliquées dans le remodelage de la chromatine et dans la régulation de la signalisation des protéines kinases. Le phénotypage et le génotypage des patients atteints doivent être poursuivis pour vérification.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

L’estime de soi joue un rôle central lorsqu’il est question de prédire les réactions des individus au feedback. En dépit de son influence indéniable sur les réactions des individus au feedback en contexte d’évaluation de potentiel, peu d’études se sont attardées aux facteurs pouvant en atténuer l’effet dans le cadre d’une telle démarche. Cette thèse vise à combler ce manque à travers deux articles empiriques répondant chacun à plusieurs objectifs de recherche. Dans cette optique, des données ont été amassées auprès de deux échantillons indépendants de candidats (étude 1, N = 111; étude 2, N = 153) ayant réalisé une évaluation de potentiel dans une firme-conseil spécialisée en psychologie industrielle. Le premier article vise à tester deux théories relatives à l’estime de soi s’affrontant lorsqu’il est question de prédire les réactions cognitives au feedback, la théorie de l’auto-valorisation et de l’auto-vérification. Pour mieux comprendre ce phénomène, l’influence de l’estime de soi et de la valence décisionnelle du feedback sur les deux composantes de l’appropriation cognitive du feedback en contexte d’évaluation, l’acceptation et la conscientisation, a été testé. Les résultats soutiennent les postulats de la théorie d’auto-valorisation lorsqu’il est question de prédire l’acceptation du feedback. En contrepartie, les résultats offrent peu de soutien à la théorie de l’auto-vérification dans la prédiction de la conscientisation à l’égard du feedback. Le second article vise à identifier des leviers modulables pour influencer favorablement les réactions des individus ayant une plus faible estime d’eux-mêmes. Pour ce faire, deux variables relatives à l’influence de la source ont été ciblées, la crédibilité perçue et les pratiques de confrontation constructive. Cet article comprend deux études, soit une première ayant pour objectif de valider un instrument mesurant la crédibilité perçue de la source et une seconde examinant les relations entre trois déterminants, soit l’estime de soi du candidat, la crédibilité perçue de la source et les pratiques de confrontation constructive, et deux réactions cognitives au feedback, l’acceptation et la conscientisation. Les analyses de la première étude font ressortir que l’échelle de crédibilité perçue présente des qualités psychométriques satisfaisantes et les résultats corroborent une structure unifactorielle. Les résultats de la seconde étude indiquent que les trois déterminants étudiés sont positivement reliés à l’acceptation et à la conscientisation. Les effets d’interaction significatifs font ressortir des conditions favorisant l’acceptation et la conscientisation chez les individus ayant une plus faible estime d’eux-mêmes. La crédibilité perçue atténue la relation entre l’estime de soi et l’acceptation alors que la confrontation constructive modère les relations entre l’estime de soi et, tant l’acceptation que la conscientisation. Enfin, la crédibilité perçue et la confrontation constructive interagissent dans la prédiction de la conscientisation, faisant ainsi ressortir l’importance d’établir sa crédibilité pour augmenter l’effet positif de la confrontation constructive. Les apports théorique et conceptuel de chacun des articles ainsi que les pistes d’intervention pratiques en découlant sont discutés séparément et repris dans une conclusion globale. Les retombées de cette thèse, tant sur le plan de la recherche que de l'intervention, sont également abordées dans cette dernière section.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Traditionnellement, les applications orientées objets légataires intègrent différents aspects fonctionnels. Ces aspects peuvent être dispersés partout dans le code. Il existe différents types d’aspects : • des aspects qui représentent des fonctionnalités métiers ; • des aspects qui répondent à des exigences non fonctionnelles ou à d’autres considérations de conception comme la robustesse, la distribution, la sécurité, etc. Généralement, le code qui représente ces aspects chevauche plusieurs hiérarchies de classes. Plusieurs chercheurs se sont intéressés à la problématique de la modularisation de ces aspects dans le code : programmation orientée sujets, programmation orientée aspects et programmation orientée vues. Toutes ces méthodes proposent des techniques et des outils pour concevoir des applications orientées objets sous forme de composition de fragments de code qui répondent à différents aspects. La séparation des aspects dans le code a des avantages au niveau de la réutilisation et de la maintenance. Ainsi, il est important d’identifier et de localiser ces aspects dans du code légataire orienté objets. Nous nous intéressons particulièrement aux aspects fonctionnels. En supposant que le code qui répond à un aspect fonctionnel ou fonctionnalité exhibe une certaine cohésion fonctionnelle (dépendances entre les éléments), nous proposons d’identifier de telles fonctionnalités à partir du code. L’idée est d’identifier, en l’absence des paradigmes de la programmation par aspects, les techniques qui permettent l’implémentation des différents aspects fonctionnels dans un code objet. Notre approche consiste à : • identifier les techniques utilisées par les développeurs pour intégrer une fonctionnalité en l’absence des techniques orientées aspects • caractériser l’empreinte de ces techniques sur le code • et développer des outils pour identifier ces empreintes. Ainsi, nous présentons deux approches pour l’identification des fonctionnalités existantes dans du code orienté objets. La première identifie différents patrons de conception qui permettent l’intégration de ces fonctionnalités dans le code. La deuxième utilise l’analyse formelle de concepts pour identifier les fonctionnalités récurrentes dans le code. Nous expérimentons nos deux approches sur des systèmes libres orientés objets pour identifier les différentes fonctionnalités dans le code. Les résultats obtenus montrent l’efficacité de nos approches pour identifier les différentes fonctionnalités dans du code légataire orienté objets et permettent de suggérer des cas de refactorisation.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

La version intégrale de cette thèse est disponible uniquement pour consultation individuelle à la Bibliothèque de musique de l’Université de Montréal (www.bib.umontreal.ca/MU).

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Nous analysons des bulles d'espace-temps d'épaisseur finie en relativité générale. Les conditions d'énergie sont utilisées afin d'obtenir un ensemble de critères permettant de restreindre la structure du bord de la bulle. Dans le cas des bulles statiques et à symétrie sphérique, nous obtenons quatre inégalités différentielles équivalentes aux trois conditions d'énergie les plus communes. Nous montrons qu'elles sont équivalentes à un ensemble de deux inégalités différentielles simples lorsque le potentiel gravitationnel effectif a une forme particulière. Nous paramétrons alors l'espace-temps de manière à rendre la vérification de ces inégalités plus simple lorsqu'il sera question de bulles d'espace-temps. Nous traitons en particulier quatre formes de bulles, toutes caractérisées par un extérieur de type Schwarzschild de Sitter. Nous montrons que notre méthode donne les bons résultats lorsque la limite où l'épaisseur de la bulle tend vers zéro est prise. Nous terminons par un traitement succinct du problème d'une onde gravitationnelle se propageant dans un nuage de bulles d'espace-temps.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Travail réalisé en cotutelle (Université de Paris IV-La Sorbonne).

Relevância:

10.00% 10.00%

Publicador:

Resumo:

En démontrant sa capacité d’identifier les pneumothorax, de différencier les différentes causes d’insuffisance respiratoire chez les patients dyspnéiques et de confirmer la position d’un tube endotrachéal lors d’une intubation endotrachéale, l’échographie pulmonaire a pris une place prépondérante dans la prise en charge des patients de soins critiques. La majorité des études, notamment celles sur l’intubation endotrachéale, ont évalué la performance de cliniciens possédant une expérience considérable en échographie pulmonaire et souvent dans un cadre idéal permettant des examens d’une durée prolongée. Considérant la disponibilité grandissante de l’échographie ciblée lors des situations de stabilisation et de réanimation des patients de soins critiques, nous voulions évaluer la capacité d’un groupe de clinicien hétérogène en termes de formation échographique à identifier la présence ou l’absence de glissement pleural sur de courtes séquences (comparable à la durée probable d’un examen lors de condition de réanimation) d’échographie pulmonaire enregistrées chez des patients intubés. Un total de 280 courtes séquences (entre 4 et 7 secondes) d’échographie pulmonaire démontrant la présence ou l’absence de glissement pleural chez des patients intubés en salle d’opération ont été enregistrées puis présentées de façon aléatoire à deux groupes de cliniciens en médecine d’urgence. Le deuxième groupe avait la possibilité de s’abstenir advenant une incertitude de leur réponse. Nous avons comparé la performance selon le niveau de formation académique et échographique. Le taux moyen d’identification adéquate de la présence ou l’absence du glissement pleural par participant était de 67,5% (IC 95% : 65,7-69,4) dans le premier groupe et 73,1% (IC 95% : 70,7-75,5) dans le second (p<0,001). Le taux médian de réponse adéquate pour chacune des 280 séquences était de 74,0% (EIQ : 48,0-90,0) dans le premier groupe et 83,7% (EIQ : 53,3-96,2) dans le deuxième (p=0,006). Le taux d’identification adéquate de la présence ou absence d’un glissement pleural par les participants des deux groupes était nettement supérieur pour les séquences de l’hémithorax droit par rapport à celles de l’hémithorax gauche (p=0,001). Lorsque des médecins de formation académique et échographique variable utilisent de courtes séquences d’échographie pulmonaire (plus représentatives de l’utilisation réelle en clinique), le taux d’identification adéquate de la présence ou l’absence de glissement pleural est plus élevé lorsque les participants ont la possibilité de s’abstenir en cas de doute quant à leur réponse. Le taux de bonnes réponses est également plus élevé pour les séquences de l’hémithorax droit, probablement dû à la présence sous-jacente du cœur à gauche, la plus petite taille du poumon gauche et l’effet accru du pouls pulmonaire dans l’hémithorax gauche. Considérant ces trouvailles, la prudence est de mise lors de l’utilisation de l’identification du glissement pleural sur de courtes séquences échographique comme méthode de vérification de la position d’un tube endotrachéal lors d’une intubation endotrachéale, et ce, particulièrement pour l’hémithorax gauche. Aussi, une attention particulière devrait être mise sur la reconnaissance du pouls pulmonaire lors de l’enseignement de l’échographie pulmonaire.