16969 research outputs found
Sort by
Les grands modèles de langage peuvent-ils comprendre les automates?
L’émergence récente des modèles de langage de très grande taille (LLM) tels que GPT-4, DeepSeek, Claude 3, Gemini ou LLaMA 3 bouleverse l’automatisation des activités de production logicielle, depuis la rédaction de spécifications jusqu’aux étapes de vérification et de test. Dans ce contexte, les automates finis demeurent un formalisme central : ils décrivent les comportements séquentiels de nombreux composants logiciels, et ramènent les tests fonctionnels à la simple vérification de l’acceptation d’une chaîne d’entrée. Cette étude interroge les capacités de ces modèles à raisonner symboliquement sur des automates finis. Deux problèmes fondamentaux sont évalués : (i) la vérification d’acceptation, consistant à déterminer si un automate accepte une chaîne donnée; (ii) la génération d’une séquence acceptante minimale, qui requiert la production d’une chaîne de longueur minimale menant vers un état d’acceptation. Nous combinons pour cela cinq formats de représentation (Liste de transitions, Liste d’adjacence, DOT, Langage naturel contrôlé, et un format hybride) avec quatre stratégies de prompting (Question fermée, Approche normale, Approche assistée et Approche générique), explorant l’effet de ces choix sur les performances des LLM. Trois axes complémentaires structurent notre analyse expérimentale : la complexité structurelle des automates (Nombre d’états), la richesse de leur alphabet, et la longueur des chaînes d’entrée à traiter. Cette combinaison permet d’évaluer la robustesse des modèles face à des variations de structure, de contenu symbolique et de profondeur séquentielle, dans des conditions proches des applications réelles. Les résultats font apparaître des tendances robustes : les formats textuels, en particulier ceux encadrés par une approche assistée, obtiennent la meilleure précision pour la vérification d’acceptation. En revanche, la génération de la chaîne minimale reste extrêmement dépendante de la stratégie de prompt adopté. On observe que certains modèles, bien qu’ayant correctement identifié les transitions intermédiaires, échouent à synthétiser une réponse minimale, révélant une difficulté persistante dans le suivi des dépendances longues et la planification séquentielle. En termes de temps de calcul, la vérification d’acceptation nécessite entre 9 et 10 heures selon le nombre d’états, et entre 15 et 16 heures pour les alphabets élargis. La génération de séquences minimales dure de 12 à 13 heures sur les automates de tailles croissantes, et jusqu’à 20 heures avec de grands alphabets. Le benchmark sur la longueur des chaînes présente un coût supplémentaire, entre 11 et 13 heures, la complexité augmentant proportionnellement avec la longueur des séquences à traiter. En synthèse, nos observations offrent une cartographie fine des capacités et limites actuelles des LLMs dans des tâches formelles impliquant des automates finis, et fournissent des repères méthodologiques pour sélectionner un format de représentation et une stratégie de prompt engineering adaptés aux exigences de la vérification logicielle.
_____________________________________________________________________________
MOTS-CLÉS DE L’AUTEUR : Grands modèles de langage (LLMs), Théorie des automates, Vérification formelle, Génération de séquences, Ingénierie des prompts, Raisonnement symbolique, Représentations structurées
La participation aux caractéristiques de l'organisation du travail et son impact sur l'intention de quitter des employés du secteur du commerce au détail du vêtement
Le secteur du commerce de détail de vêtements fait face à un taux de roulement élevé, en grande partie dû à des conditions de travail exigeantes et une faible reconnaissance des employés.es de première ligne. Dans un contexte de distance hiérarchique marquée, leur participation aux décisions organisationnelles reste limitée, ce qui peut affecter leur engagement et leur intention de quitter. Cette étude vise à analyser l'impact de leur participation aux caractéristiques de l'organisation du travail sur leur intention de quitter, en tenant compte des exigences et ressources propres au secteur. En s’appuyant sur le modèle de l’organisation du travail (OT) (Humphrey et al., 2007) et en intégrant la notion de distance hiérarchique, l’étude examine les liens entre la participation des employés.es aux dimensions motivationnelles, sociales et contextuelles du travail et leur engagement envers leur organisation. Les résultats mettent en évidence les caractéristiques organisationnelles ayant l’influence la plus significative sur l’intention de quitter, tout en soulignant les défis posés par la structure hiérarchique verticale, typique du commerce de détail. Cette étude postule que les caractéristiques motivationnelles, sociales et contextuelles de l’organisation du travail constituent un cadre pertinent pour comprendre comment la participation à l’organisation du travail peut renforcer la rétention des employés.es dans l’industrie du détail. Pour vérifier les hypothèses de recherche, un devis corrélationnel a été utilisé et un sondage a été mené auprès de conseillers.es en vente au détail, recruté.es via un échantillonnage volontaire. Au total, 295 participants.es ont répondu au questionnaire. D’un point de vue théorique, cette recherche enrichit la littérature émergente sur la notion de participation. Elle introduit deux nouveaux outils de mesure ainsi qu’une échelle inédite conçue pour évaluer les caractéristiques de l’organisation du travail. Cette échelle a été spécifiquement adaptée afin de traduire les particularités de l’OT en intégrant la distance hiérarchique et la relation avec le siège social, tout en tenant compte des spécificités du secteur de la vente au détail de vêtements. Par ailleurs, elle apporte une contribution précieuse en identifiant les caractéristiques de l’OT ayant le plus d’influence sur l’intention des employés.es de quitter leur poste, en se basant sur leur perception de la participation plutôt que sur leur simple satisfaction. Elle met ainsi en évidence le contexte de la distance hiérarchique et des interactions avec le siège social, ouvrant des perspectives pour ajuster les pratiques de gestion et renforcer la rétention des employés. Sur le plan pratique, les résultats fournissent un éclairage sur la façon dont l'organisation du travail peut encourager des comportements participatifs. Certaines caractéristiques organisationnelles, perçues par les employés.es comme participatives, semblent avoir un potentiel significatif pour réduire le roulement du personnel. Cependant, en ce qui concerne l’industrie et les caractéristiques contextuelles, les résultats s’avèrent moins concluants. Néanmoins, ces constats permettent de formuler de nombreuses recommandations d’interventions au niveau des caractéristiques motivationnelles, sociales et contextuelles telles qu’encourager l’autonomie, renforcer les interactions sociales et créer des occasions de dialogue avec la direction pour promouvoir un environnement de travail bienveillant, axé sur la collaboration et l’engagement des employés.es.
_____________________________________________________________________________
MOTS-CLÉS DE L’AUTEUR : Participation des employés.es, Organisation du travail (OT), Intention de quitter, Distance hiérarchique, Vente au détail, Rétention des employés.es, Roulement du personnel, Secteur du vêtemen
Perturbation du trafic intracellulaire dans un modèle in vitro de la sclérose latérale amyotrophique juvénile : rôle de la protéine Sigma-1R
La sclérose latérale amyotrophique (SLA) est une maladie neurodégénérative rare affectant les motoneurones. Ses symptômes incluent la perte de contrôle des mouvements volontaires et peuvent mener à la paralysie. La SLA évolue rapidement et environ 80% des patients décèdent dans les cinq années suivant le diagnostic. La forme juvénile de la maladie (jSLA) est plus rare et se distingue par l’apparition des symptômes avant l’âge de 25 ans. La pathologie de la jSLA inclue l’agrégation de protéines, l’altération des niveaux de protéines et l’hyperexcitabilité neuronale qui a été associée avec une faible expression du canal potassique Kv1.2. Une mutation a été identifiée dans la séquence codante de la protéine Sigma-1R (S1R) (c.304G>C, p.E102Q) en lien avec la jSLA. S1R est une protéine chaperonne qui exerce des rôles dans le transport nucléocytoplasmique et les processus autophagiques. Cependant, les mécanismes par lesquels S1R exerce ces fonctions et comment le variant E102Q altère l’activité neuronale ne sont toujours pas élucidés. À l’aide de modèles cellulaires, nous avons évalué l’impact du variant E102Q sur la localisation de S1R. Ensuite, nous avons testé le déplacement de la protéine de liaison à l’ARN, TDP43, du noyau au cytoplasme, puis les niveaux des marqueurs autophagiques p62, LC3B-I et LC3B-II. Finalement, nous avons évalué les effets du variant dans le trafic de Kv1.2 à la membrane plasmique. Nos données montrent que le variant cause l’accumulation de dimères nucléaires de S1R, qu’il bloque le transport nucléocytoplasmique et qu’il module les niveaux d’activité autophagique. Il en résulte la restreinte des fonctions de S1R dans le transport de Kv1.2 à la membrane lors de son activation par un agoniste. Ces résultats supportent et valident certaines dysfonctions associées au variant E102Q de la jSLA, mettant en évidence son impact dans ces multiples rôles et ouvrant des voies pour des recherches plus approfondies.
_____________________________________________________________________________
MOTS-CLÉS DE L’AUTEUR : Sigma-1R, SLA, trafic intracellulaire, autophagie, Kv1.
Effets modulateurs de la SUMOylation sur les interactions protéine-protéine
Les modifications post-traductionnelles des protéines permettent de modifier de manière rapide et réversible leurs fonctions biologiques. En particulier, la SUMOylation permet de renforcer les interactions impliquées dans différents processus nucléaires allant de la transcription des gènes à la réparation de l’ADN. La SUMOylation consiste en l’apposition d’une protéine nommée SUMO sur des protéines cibles via l’action séquentielle d’une enzyme E1 d’activation, d’une enzyme E2 de conjugaison et d’une protéine E3 ligase. SUMO interagit avec de courts motifs hydrophobes présents chez de nombreuses protéines et plusieurs évidences montrent qu’elle est nécessaire au bon fonctionnement de la protéine Methyl CpG Binding Protein 2 (MeCP2), un régulateur transcriptionnel. Ce projet vise ainsi à évaluer l’effet modulateur de la SUMOylation auprès des interactions protéine-protéine impliquant MeCP2. Pour ce faire, des interacteurs identifiés par la littérature et des prédictions de structures via le programme Alphafold ont été produits et purifiés. Leurs interactions avec MeCP2 ont été caractérisées in vitro par des techniques biophysiques telles que le GST-pulldown sur une version sauvage ainsi qu’une version SUMOylée de MeCP2. Parallèlement, l’élaboration d’un système de criblage en cellule permettra la caractérisation en milieu cellulaire de l’impact de la SUMOylation de MeCP2 sur ses différents partenaires. Ces travaux évalueront l’importance de la SUMOylation et son rôle dans la modulation des interactions protéinesprotéines chez MeCP2. À long terme, ces résultats pourront contribuer à faciliter le développement de médicaments ciblant la modulation des interactions protéines-protéines via des changements de SUMOylation sur des cibles spécifiques telles que les mutations de MeCP2 observé dans le syndrome Rett, un désordre neurologique.
_____________________________________________________________________________
MOTS-CLÉS DE L’AUTEUR : Interactions protéine-protéine, Small Ubiquitine-like Modifier, SUMO, SUMOylation, SUMO interacting Motifs, SIM, MeCP2, IMA3, ZNF451, p53, HDAC1, TBL1R, syndrome de Rett, Alphafol
Quand le concept d'inclusion échappe à l'évaluation de projet d'aide internationale féministe du Canada
Le concept d’inclusion est valorisé dans les discours institutionnels sur l’évaluation de projets, l’intersectionnalité et les indicateurs de suivi. Cependant, l’inclusion porte aussi des stigmates équivoques lorsqu’il est question de participation réelle ou symbolique dans les projets. Cela renvoie à l’histoire même du terme passant de la réclusion à l’ouverture. L’évaluation de projet, dans la Politique d’aide internationale féministe du Canada, parce qu’elle exergue de rapports de pouvoir et d’enjeux de reconnaissance, devient une place de choix pour l’étude de ce construit social. À cet effet, la présente recherche, menée dans le cadre d’un mémoire de maîtrise en gestion de projet, explore l’inclusion et construit les caractéristiques qui soutiennent son opérationnalisation en évaluation de projet. C’est par une démarche exploratoire et une épistémologie constructiviste, que la théorie ancrée de Kathy Charmaz et la pensée complexe d’Edgar Morin sont mobilisées. Appuyée sur une analyse qualitative de huit entrevues réalisées auprès d’acteur·ice·s de la sphère managériale de l’aide internationale, la codification, effectuée à l'aide du logiciel NVivo, s'organise selon les séquences : initiale, focalisée et théorique. Cette étude aboutit à un modèle de l’inclusion-évaluation qui en distingue trois caractéristiques. L’inclusion transformative, formée de coapprentissage réorganisant les rapports de pouvoir. L’inclusion dynamique, construite au fur et à mesure que le projet s’adapte à son environnement d’intervention. Puis, l’inclusion dialectique, animée par des récits de projets divergents et subjectifs. Ces caractéristiques s’associent significativement à la manière dont les personnes conçoivent leur interaction avec l’évaluation de projet. Quand elles se situent à distance, les personnes ont une lecture plutôt transformative de l’inclusion. Lorsqu’elles se rapprochent, leur compréhension est davantage dynamique. Puis à mi-distance, leur perspective est plus dialectique. Ce maillage relationnel montre que toute personne qui interagit avec l’évaluation de projet développe une conception de l’inclusion. Le modèle de l’inclusion-évaluation ouvre une discussion, éclairée par les apports du féminisme, de la sociologie et des sciences de gestion, afin d’outiller la pratique évaluative. Il est alors démontré que la recherche-action participative, combinée à l’usage de cadres interactifs intersectionnels, et de récit-croisé évaluatif favorise l’inclusion. Finalement, ce mémoire révèle comment l’inclusion peut être prise en compte dans la recherche managériale, pour contribuer au rayonnement qui revient aux savoirs endogènes de la personne.
_____________________________________________________________________________
MOTS-CLÉS DE L’AUTEUR : inclusion, évaluation de projet, politique d’aide internationale féministe, théorie ancrée, pensée complexe, justice sociale, voix marginalisées, intersectionnalité, indicateur
Mon crâne, à sa manière d'heurter le sol suivi de "Savoir mordre" : écrire la disparition de soi
Ce mémoire en recherche-création explore l'imaginaire de la disparition de soi. Il prend la forme d’une suite poétique dans laquelle un je s'adresse à un vous, depuis l'angoisse voire l'imminence d'une disparition, d'une dissolution subjective. Le dialogue entre les deux voix, ainsi que les jeux de silences autour desquels celui-ci s'articule, s'inspirent en outre du cadre de la cure psychanalytique. Dans cette optique, l'adresse au vous vise notamment à rendre compte de l'effort du je pour rester ancré dans la parole : tant que le je parle, il ne disparaît pas tout à fait. La division du texte en plusieurs sections épouse quant à elle les mouvements et les soubresauts de cette parole paradoxale. Au-delà de la seule dimension thématique, le travail d’écriture cherche à performer l’enjeu de cette disparition de soi, en mettant à mal les assises du sujet et son inscription dans le langage, au profit d’une voix à la fois entamée par le processus de dissolution, mais également en passe de se ré-engendrer dans le lieu de cette parole inquiète. Le mémoire articule au texte poétique une démarche réflexive sur les modalités d'une écriture de la disparition de soi. Cette réflexion s'effectue à partir des théories psychanalytiques du sujet, à partir desquelles l’essai vise, dans une première partie, à circonscrire conceptuellement le lieu d'une telle disparition subjective. Dans la mesure où la psychanalyse appréhende le sujet essentiellement comme un sujet-parlant, l’enjeu d’une disparition de soi est alors envisagé comme la possibilité logique d’un point de contact avec un en deçà de l’ordre symbolique, qui nierait le sujet et menacerait son intégrité. Cette perspective invite à situer la disparition de soi au regard de la pré-histoire du sujet, mais également au regard de la persistance de ce temps originel au sein de l’économie subjective, sous le mode d’un territoire que Jacques Lacan nomme le réel. Dans une seconde partie, il s’agit d’envisager la manière dont ce lieu, cet en deçà du langage, pourrait être concrètement approché par l’écriture, en s’appuyant sur des démarches d’écrivain·es (Marguerite Duras, Hélène Cixous, Huguette Gaulin, Madeleine Gagnon) qui, selon l’expression de Marie- Hélène Brousse, ont justement su garder un « rapport avec un cristal de réel ».
_____________________________________________________________________________
MOTS-CLÉS DE L’AUTEUR : disparition de soi, théories du sujet, psychanalyse, Lacan, poési
Le désir de neutre des garçons altérés : autodestructions ascétiques et éthique du (dé)devenir dans la littérature queer québécoise contemporaine
Notre époque est marquée par des dispositifs de normalisation répondant à des politiques identitaires qui valorisent une homogénéisation des différences. Ces dernières décennies, on a ainsi vu se cristalliser une identité homonormative érigée en modèle par la majorité, ne laissant que peu de place à l’exploration d’une subjectivité queer, c’est-à-dire d’un devenir-minoritaire axé sur la création de nouveaux possibles. Cette thèse vise à montrer comment la littérature queer québécoise, publiée ces dix dernières années, incarne ce malaise à travers la représentation de pratiques dites « autodestructrices ». En sortant des habituelles considérations psychologisantes et moralisatrices à cet égard, et en privilégiant plutôt une approche philosophique poststructuraliste, mon objectif est de voir en quoi ces représentations, loin de traduire un désir de mort, signalent au contraire un désir de vie. D’abord, je m’applique à recontextualiser cette production littéraire en brossant un portrait de la société de contrôle dans laquelle nous vivons, où le sentiment de honte est devenu la norme, et des impacts que cela peut avoir sur le sujet queer. Ensuite, je montre comment le leitmotiv de toute cette littérature est la volonté des personnages queers de « péter le cube », c’est-à-dire de détruire les carcans sociaux qui les enserrent à travers la déconstruction de leur moi. Je propose ainsi que l’enjeu sociologique de la disparition de soi, récurrent dans la littérature contemporaine, acquière ici une dimension philosophique afin de donner une forme littéraire au désir de Neutre et à l’éthique du dédevenir qui est spécifique aux personnes queers. Dans mon troisième chapitre, je plonge plus concrètement dans l’analyse des oeuvres littéraires en m’intéressant à la façon dont les personnages y tracent des lignes de fuite dans le but de remettre en question les modèles du couple et de la famille. Comme je le montre dans mon quatrième chapitre, c’est ce qui les amène à pénétrer dans des espaces hétérotopiques afin de se défaire de leur identité (par divers procédés d’impersonnalisation/anonymisation) et ainsi d’explorer leurs désirs et leur subjectivité refoulée. Enfin, dans mon cinquième chapitre, j’analyse comment les thèmes de la sexualité et de la consommation de drogue, et plus largement de l’abjection de soi, permettent aux personnages queers de se déterritorialiser et de se rendre plus poreux au contact d’autrui, afin de s’altérer et de se réinventer en dehors de la norme. Ma thèse souligne ainsi le pouvoir qu’a la littérature queer de nous décentrer et d’offrir à ses auteurs un espace pour explorer leur multitude, c’est-à-dire les devenirs qui se trouvent en eux.
_____________________________________________________________________________
MOTS-CLÉS DE L’AUTEUR : littérature queer, homonormativité, autodestruction, désidentité, subjectivité, ascétisme, disparition, devenir, Neutre, désir, chemsex, abjectio
Le récit-photovoice : un projet de création avec un groupe de femmes immigrantes dans une perspective d'empowerment
La présente recherche vise à concevoir et à élaborer un projet de création de type récit-photovoice (Simmonds et al., 2015) avec des femmes immigrantes en apprentissage du français langue seconde, et ce, dans le but de renforcer le pouvoir sur leur vie (empowerment). La recherche a été menée selon une démarche de création conjuguée (Gagné, 2018) et les principes méthodologiques de la recherche-action, de type récit-photovoice avec un groupe de sept femmes immigrantes. Les données ont été recueillies pendant les phases d’implantation et de réalisation du projet de recherche et pendant l’intervention pédagogique qui s’est déroulée dans l’organisme communautaire, la Maison de l’amitié, à Montréal. Elles proviennent des comptes-rendus des carnets photovoice des participantes, d’entretiens semi-dirigés, d’une rencontre de type focus group et du journal de bord de la chercheure. La question de recherche était : est-ce que l’activité créatrice (récit-photovoice) peut être un moyen d’empowerment? L’objectif principal de la recherche était de mettre en relief les conditions favorables à la réalisation d’une activité créatrice de type récit-photovoice avec des femmes immigrantes en concevant et en planifiant des ateliers avec la pédagogie de création conjuguée combinée une approche pédagogique inclusive. Pour illustrer les manifestations de cinq formes de pouvoir relatives à l’empowerment, la recherche s’est appuyée sur des activités concrètes tenues dans l’organisme partenaire : la production des carnets photovoice des participantes ; l’identification d’un enjeu commun spécifique au photovoice ; la participation des femmes à une exposition des carnets photovoice et à une lecture publique ; une rencontre focus group ayant pour but de partager les savoirs issus de la recherche. Les résultats de la recherche démontrent que l’activité créatrice et la réalisation de récits photovoice sont des leviers d’expression favorisant l’empowerment de femmes immigrantes. Le récit-photovoice a constitué une méthode adéquate pour amener des femmes immigrantes à prendre conscience de leur propre pouvoir à travers les récits-photovoice de leurs parcours migratoires.
_____________________________________________________________________________
MOTS-CLÉS DE L’AUTEUR : création conjuguée, photovoice, récit-photovoice, empowerment, agentivité, femmes immigrantes, activité créatrice, pédagogie inclusive
Modulation de la voie de signalisation Hippo par l'a-TGG : rôles anti-inflammatoires et anti-invasifs dans un modèle cellulaire de glioblastome humain U87
Le glioblastome (GBM) est la tumeur maligne la plus fréquente et la plus agressive du système nerveux central chez l’adulte. Malgré les traitements standards actuels de chirurgie, radiothérapie et chimiothérapie à base de témozolomide, le pronostic des patients demeure très sombre, avec une survie médiane inférieure à 15 mois. La résistance aux traitements vient en partie de la nature du GBM. Ce n’est pas une tumeur homogène. Elle s’infiltre dans le tissu sain et génère un environnement inflammatoire qui facilite sa progression. Pour y faire face, des stratégies nouvelles se développent. Elles visent les voies de signalisation impliquées dans la croissance, l’invasion, ou l’inflammation, telles que les voies MAPK/ERK, PI3K/mTOR, NFkB et Hippo. La voie Hippo, potentiellement régule la prolifération cellulaire, l’apoptose et l’homéostasie des tissus. Si elle se dérègle, YAP et TAZ s’activent de façon anormale et favorisent la croissance de la tumeur. Dans ce contexte, des composés d’origine naturelle en mesure de moduler la voie Hippo représentent une piste thérapeutique innovante pour le traitement du GBM. L’α-TGG (1,3,6-tri-O-galloyl-α-D-glucose), un dérivé synthétique du β-TGG extrait de Terminalia chebula, a été identifié pour ses propriétés anti-inflammatoires et antitumorales potentielles. Afin d’évaluer son intérêt dans le cadre du GBM, nous l’avons comparé à VT107, un inhibiteur clinique de la voie Hippo. À l’aide de la Concanavaline A (ConA) pour induire une réponse inflammatoire dans les cellules U87, nous avons observé que l’α-TGG et le VT107 inhibent la phosphorylation d’ERK et d’IκB, la conversion de la proMMP-2 en MMP-2 active, ainsi que l’expression de plusieurs marqueurs pro-inflammatoires tels que COX2, AICDA, CCL22 et TLR4. Nous avons également exploré l’effet de la ConA sur les effecteurs en aval de la voie Hippo. La ConA augmente l’expression de COX2 et IL6, tout en réduisant celles de AXL, CTGF et CYR61, et en induisant l’expression de NF2, un régulateur négatif de YAP. La répression génique de YAP1 et TEAD a mis en évidence leur rôle différentiel dans cette régulation : YAP1 et TEAD contrôlent l’induction de NF2, tandis que seul TEAD module l’expression de CYR61. Ces résultats indiquent que la ConA active la voie Hippo et que l’α-TGG, en mimant les effets du VT107, pourrait représenter une stratégie thérapeutique ciblée et complémentaire aux traitements conventionnels du GBM.
_____________________________________________________________________________
MOTS-CLÉS DE L’AUTEUR : α-TGG, VT107, Hippo, Inflammation, Invasion, ERK, IκB, Glioblastome, Concanavalin
Séminaire théorique : Gouvernance et transitions écologiques : approches, paradoxes et responsabilités. Cahier du séminaire du 3 octobre 2025
Cahier de recherche du groupe des Chercheur.e.s en Responsabilité Sociale et Développement Durable (CRSDD) consacré au thème de la gouvernance et les transitions écologiques : approches, paradoxes et responsabilités. Résumés critiques d'articles portant sur ce sujet. Cahier de recherche élaboré sous la supervision de Corinne Gendron et Stéphanie Yates