26 resultados para Vérification temporelle

em Université de Montréal


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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

Relevância:

10.00% 10.00%

Publicador:

Resumo:

L'athérosclérose est une maladie inflammatoire chronique caractérisée par l'accumulation de cholestérol dans la paroi artérielle et associée à une réponse immunitaire anormale dans laquelle les macrophages jouent un rôle important. Récemment, il a été démontré que les vaisseaux lymphatiques jouent un rôle primordial dans le transport inverse du cholestérol (Martel et al. JCI 2013). L’objectif global de mon stage de maîtrise a été de mieux caractériser la dysfonction lymphatique associée à l’athérosclérose, en étudiant de plus près l’origine physiologique et temporelle de ce mauvais fonctionnement. Notre approche a été d’étudier, depuis l’initiation de l’athérosclérose jusqu’à la progression d’une lésion athérosclérotique tardive, la physiologie des deux constituants principaux qui forment les vaisseaux lymphatiques : les capillaires et collecteurs lymphatiques. En utilisant comme modèle principal des souris Ldlr-/-; hApoB100+/+, nous avons pu démontrer que la dysfonction lymphatique est présente avant même l’apparition de l’athérosclérose, et que cette dysfonction est principalement associée avec un défaut au niveau des vaisseaux collecteurs, limitant ainsi le transport de la lymphe des tissus périphériques vers le sang. De plus, nous avons démontré pour la première fois l’expression du récepteur au LDL par les cellules endothéliales lymphatiques. Nos travaux subséquents démontrent que ce défaut de propulsion de la lymphe pourrait être attribuable à l’absence du récepteur au LDL, et que la dysfonction lymphatique observée précocement dans l’athérosclérose peut être limitée par des injections systémiques de VEGF (vascular endothelial growth factor) –C. Ces résultats suggèrent que la caractérisation fonctionnelle de la capacité de pompage des vaisseaux collecteurs serait une condition préalable à la compréhension de l'interaction entre la fonction du système lymphatique et la progression de l'athérosclérose. Ultimement, nos travaux nous ont amené à considérer de nouvelles cibles thérapeutiques potentielles dans la prévention et le traitement de l’athérosclérose.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

La présence d’Escherichia coli pathogènes en élevages porcins entraine des retards de croissance et la mortalité. La transmission des E. coli pathogènes entre les élevages et l'abattoir d’un même réseau de production n'est pas bien décrite. La détection des gènes de virulence des E. coli pathogènes pourrait permettre d’identifier un marqueur de contamination dans le réseau. L’objectif de cette étude a été d’identifier un marqueur de contamination E. coli dans un réseau de production porcine défini afin de décrire certains modes de transmission des E. coli pathogènes. Pour ce faire, une région géographique comprenant 10 fermes d’engraissement, un abattoir et un réseau de transport a été sélectionnée. Trois lots de production consécutifs par ferme ont été suivis pendant 12 mois. Des échantillons environnementaux ont été prélevés à l’intérieur et à l’extérieur des fermes (3 visites d’élevage), dans la cour de l’abattoir (2 visites lors de sorties de lot) et sur le camion de transport. La détection des gènes de virulence (eltB, estA, estB, faeG, stxA, stx2A, eae, cnf, papC, iucD, tsh, fedA) dans les échantillons a été réalisée par PCR multiplexe conventionnelle. La distribution temporelle et spatiale des gènes de virulence a permis d’identifier le marqueur de contamination ETEC/F4 défini par la détection d’au moins un gène d’entérotoxine ETEC (estB, estA et eltB) en combinaison avec le gène de l’adhésine fimbriaire (faeG). La distribution des échantillons positifs ETEC/F4 qualifie la cour de l’abattoir comme un réservoir de contamination fréquenté par les transporteurs, vecteurs de contamination entre les élevages. Ceci suggère le lien microbiologique entre l’élevage, les transporteurs et l’abattoir jouant chacun un rôle dans la dissémination des microorganismes pathogènes et potentiellement zoonotiques en production porcine.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Dans ce mémoire, je cherche à rendre compte de l’inaction des individus à l’égard de la lutte contre les changements climatiques. Je soutiens que la procrastination permet d’expliquer l’inaction de certaines personnes à la fois informées et préoccupées par cet enjeu environnemental. Dans un premier temps, je présente différentes conceptions de la procrastination en philosophie. J’avance que la procrastination n’est pas nécessairement un comportement irrationnel et propose une définition descriptive de celle-ci. Dans un deuxième temps, je valide la légitimité du concept de la procrastination pour décrire l’attitude de certains individus face au changement climatique. Dans un troisième temps, je présente différents facteurs de la procrastination relative au changement climatique, à savoir les émotions négatives, la perspective temporelle, les préférences intransitives et la dissonance cognitive. Je conclus que la procrastination eu égard au changement climatique s’explique ultimement par une stratégie à court terme de régulation des émotions.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Le papier bioactif est obtenu par la modification de substrat du papier avec des biomolécules et des réactifs. Ce type de papier est utilisé dans le développement de nouveaux biocapteurs qui sont portables, jetables et économiques visant à capturer, détecter et dans certains cas, désactiver les agents pathogènes. Généralement les papiers bioactifs sont fabriqués par l’incorporation de biomolécules telles que les enzymes et les anticorps sur la surface du papier. L’immobilisation de ces biomolécules sur les surfaces solides est largement utilisée pour différentes applications de diagnostic comme dans immunocapteurs et immunoessais mais en raison de la nature sensible des enzymes, leur intégration au papier à grande échelle a rencontré plusieurs difficultés surtout dans les conditions industrielles. Pendant ce temps, les microcapsules sont une plate-forme intéressante pour l’immobilisation des enzymes et aussi assez efficace pour permettre à la fonctionnalisation du papier à grande échelle car le papier peut être facilement recouvert avec une couche de telles microcapsules. Dans cette étude, nous avons développé une plate-forme générique utilisant des microcapsules à base d’alginate qui peuvent être appliquées aux procédés usuels de production de papier bioactif et antibactérien avec la capacité de capturer des pathogènes à sa surface et de les désactiver grâce à la production d’un réactif anti-pathogène. La conception de cette plate-forme antibactérienne est basée sur la production constante de peroxyde d’hydrogène en tant qu’agent antibactérien à l’intérieur des microcapsules d’alginate. Cette production de peroxyde d’hydrogène est obtenue par oxydation du glucose catalysée par la glucose oxydase encapsulée à l’intérieur des billes d’alginate. Les différentes étapes de cette étude comprennent le piégeage de la glucose oxydase à l’intérieur des microcapsules d’alginate, l’activation et le renforcement de la surface des microcapsules par ajout d’une couche supplémentaire de chitosan, la vérification de la possibilité d’immobilisation des anticorps (immunoglobulines G humaine comme une modèle d’anticorps) sur la surface des microcapsules et enfin, l’évaluation des propriétés antibactériennes de cette plate-forme vis-à-vis l’Escherichia coli K-12 (E. coli K-12) en tant qu’un représentant des agents pathogènes. Après avoir effectué chaque étape, certaines mesures et observations ont été faites en utilisant diverses méthodes et techniques analytiques telles que la méthode de Bradford pour dosage des protéines, l’électroanalyse d’oxygène, la microscopie optique et confocale à balayage laser (CLSM), la spectrométrie de masse avec désorption laser assistée par matrice- temps de vol (MALDI-TOF-MS), etc. Les essais appropriés ont été effectués pour valider la réussite de modification des microcapsules et pour confirmer à ce fait que la glucose oxydase est toujours active après chaque étape de modification. L’activité enzymatique spécifique de la glucose oxydase après l’encapsulation a été évaluée à 120±30 U/g. Aussi, des efforts ont été faits pour immobiliser la glucose oxydase sur des nanoparticules d’or avec deux tailles différentes de diamètre (10,9 nm et 50 nm) afin d’améliorer l’activité enzymatique et augmenter l’efficacité d’encapsulation. Les résultats obtenus lors de cette étude démontrent les modifications réussies sur les microcapsules d’alginate et aussi une réponse favorable de cette plate-forme antibactérienne concernant la désactivation de E. coli K-12. La concentration efficace de l’activité enzymatique afin de désactivation de cet agent pathogénique modèle a été déterminée à 1.3×10-2 U/ml pour une concentration de 6.7×108 cellules/ml de bactéries. D’autres études sont nécessaires pour évaluer l’efficacité de l’anticorps immobilisé dans la désactivation des agents pathogènes et également intégrer la plate-forme sur le papier et valider l’efficacité du système une fois qu’il est déposé sur papier.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Cette recherche porte sur les pratiques d’intervention des agents de réponse en intervention de crise (RIC), de leur partenaire fixe et des agents en attente de la formation du Service de police de la Ville de Montréal (SPVM) auprès des personnes en crise ou atteintes de troubles mentaux. Les agents RIC sont des patrouilleurs de première ligne qui ont reçu une formation complète sur les principes d’intervention en contexte de crise ou de santé mentale. Ce modèle de réponse spécialisée est une solution proactive qui a pour but d’améliorer l’action policière en situation de crise et de veiller à une meilleure prise en charge de ces personnes par les ressources institutionnelles. La désinstitutionnalisation des soins et des services psychiatriques a eu pour effet une augmentation du nombre de personnes atteintes de troubles mentaux dans la communauté. Par conséquent, cet accroissement a engendré des rapports plus fréquents entre les services policiers et cette clientèle. Les interventions en contexte de crise ou de santé mentale sont particulières et complexes, de même qu’elles requièrent un niveau supérieur de compréhension des crises humaines. Les autorités policières ont admis que ces interventions représentent une part significative de leur travail et que la formation policière traditionnelle ne les prépare pas suffisamment pour intervenir adéquatement auprès de cette population. En réponse à ces considérations et dans l’objectif d’améliorer leur capacité d’agir, les forces policières se sont dotées de modèles de réponse policière spécialisée en intervention de crise. L’approche la plus répandue est l’équipe d’intervention de crise (« crisis intervention team » ou « CIT »), aussi appelée le modèle de Memphis. Il existe plusieurs variantes de ce modèle, mais les composantes principales, c’est-à-dire la formation avancée et la consolidation d’un partenariat avec le système de santé demeurent dans l’ensemble de ces structures. L’objectif de cette recherche consiste à sonder les perceptions des agents RIC, de leur partenaire fixe et des agents en attente de la formation afin de comprendre et de contraster leurs visions et leurs pratiques d’intervention en contexte de crise ou de santé mentale. Chaque groupe a apporté des précisions intéressantes. Nous avons conduit 12 entrevues qualitatives avec des policiers du SPVM. De façon générale, les participants rapportent que leurs pratiques d’intervention auprès des personnes en crise ou atteintes de troubles mentaux sont davantage ancrées dans une perspective de relation d’aide. Ils mentionnent également que la communication, l’écoute et la confiance doivent être privilégiées avant tout autre stratégie dans les situations qui les permettent et que la force doit être employée seulement lorsqu’elle est nécessaire, c’est-à-dire lorsque leur sécurité ou celle d’autrui est en péril ou lorsque la communication n’est pas possible. Puis, ils admettent que le recours à l’expertise des intervenants en santé mentale permet une analyse plus approfondie de la situation et de l’état mental de la personne visée par l’intervention. D’autre part, en ce qui concerne les limites de la formation policière traditionnelle, les candidats ont soulevé qu’il y a un manque de connaissances en matière de santé mentale ainsi qu’une difficulté associée à l’évaluation de l’état de la personne et du besoin de transport ont été soulevés. Sur le plan des apprentissages, les agents RIC disent avoir une compréhension plus globale de la problématique de santé mentale, de meilleures habiletés communicationnelles, une analyse plus approfondie de la situation, de plus grandes connaissances juridiques, une compréhension du fonctionnement des services hospitaliers ainsi qu’une appréciation particulière pour le partage de savoirs et les principes d’endiguement. Ils font part également de l’importance des rapports pour documenter l’évolution de l’état mental d’une personne et ils ajoutent que la dimension temporelle joue un rôle clé dans la résolution définitive de la problématique. Au sujet des partenaires, ils évoquent des retombées similaires. Toutefois, à la suite de la formation, ils reconnaissent davantage l’importance de leur rôle dans la sécurité de leur partenaire et ils y accordent dorénavant une attention marquée lors de ces interventions. Enfin, les agents non formés formulent des attentes relatives au développement d’outils et de compétences, ce qui leur sera rendu dans la formation RIC. Globalement, les agents RIC et les partenaires interviewés ont modifié leurs pratiques pour les arrimer avec la philosophie des interventions en contexte de crise ou de santé mentale. Ils ont également davantage confiance en leurs capacités et habiletés d’intervention auprès des personnes en crise ou atteintes de troubles mentaux grâce aux connaissances acquises dans la formation.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Contexte La connectomique, ou la cartographie des connexions neuronales, est un champ de recherche des neurosciences évoluant rapidement, promettant des avancées majeures en ce qui concerne la compréhension du fonctionnement cérébral. La formation de circuits neuronaux en réponse à des stimuli environnementaux est une propriété émergente du cerveau. Cependant, la connaissance que nous avons de la nature précise de ces réseaux est encore limitée. Au niveau du cortex visuel, qui est l’aire cérébrale la plus étudiée, la manière dont les informations se transmettent de neurone en neurone est une question qui reste encore inexplorée. Cela nous invite à étudier l’émergence des microcircuits en réponse aux stimuli visuels. Autrement dit, comment l’interaction entre un stimulus et une assemblée cellulaire est-elle mise en place et modulée? Méthodes En réponse à la présentation de grilles sinusoïdales en mouvement, des ensembles neuronaux ont été enregistrés dans la couche II/III (aire 17) du cortex visuel primaire de chats anesthésiés, à l’aide de multi-électrodes en tungstène. Des corrélations croisées ont été effectuées entre l’activité de chacun des neurones enregistrés simultanément pour mettre en évidence les liens fonctionnels de quasi-synchronie (fenêtre de ± 5 ms sur les corrélogrammes croisés corrigés). Ces liens fonctionnels dévoilés indiquent des connexions synaptiques putatives entre les neurones. Par la suite, les histogrammes peri-stimulus (PSTH) des neurones ont été comparés afin de mettre en évidence la collaboration synergique temporelle dans les réseaux fonctionnels révélés. Enfin, des spectrogrammes dépendants du taux de décharges entre neurones ou stimulus-dépendants ont été calculés pour observer les oscillations gamma dans les microcircuits émergents. Un indice de corrélation (Rsc) a également été calculé pour les neurones connectés et non connectés. Résultats Les neurones liés fonctionnellement ont une activité accrue durant une période de 50 ms contrairement aux neurones fonctionnellement non connectés. Cela suggère que les connexions entre neurones mènent à une synergie de leur inter-excitabilité. En outre, l’analyse du spectrogramme dépendant du taux de décharge entre neurones révèle que les neurones connectés ont une plus forte activité gamma que les neurones non connectés durant une fenêtre d’opportunité de 50ms. L’activité gamma de basse-fréquence (20-40 Hz) a été associée aux neurones à décharge régulière (RS) et l’activité de haute fréquence (60-80 Hz) aux neurones à décharge rapide (FS). Aussi, les neurones fonctionnellement connectés ont systématiquement un Rsc plus élevé que les neurones non connectés. Finalement, l’analyse des corrélogrammes croisés révèle que dans une assemblée neuronale, le réseau fonctionnel change selon l’orientation de la grille. Nous démontrons ainsi que l’intensité des relations fonctionnelles dépend de l’orientation de la grille sinusoïdale. Cette relation nous a amené à proposer l’hypothèse suivante : outre la sélectivité des neurones aux caractères spécifiques du stimulus, il y a aussi une sélectivité du connectome. En bref, les réseaux fonctionnels «signature » sont activés dans une assemblée qui est strictement associée à l’orientation présentée et plus généralement aux propriétés des stimuli. Conclusion Cette étude souligne le fait que l’assemblée cellulaire, plutôt que le neurone, est l'unité fonctionnelle fondamentale du cerveau. Cela dilue l'importance du travail isolé de chaque neurone, c’est à dire le paradigme classique du taux de décharge qui a été traditionnellement utilisé pour étudier l'encodage des stimuli. Cette étude contribue aussi à faire avancer le débat sur les oscillations gamma, en ce qu'elles surviennent systématiquement entre neurones connectés dans les assemblées, en conséquence d’un ajout de cohérence. Bien que la taille des assemblées enregistrées soit relativement faible, cette étude suggère néanmoins une intrigante spécificité fonctionnelle entre neurones interagissant dans une assemblée en réponse à une stimulation visuelle. Cette étude peut être considérée comme une prémisse à la modélisation informatique à grande échelle de connectomes fonctionnels.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

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

Relevância:

10.00% 10.00%

Publicador:

Resumo:

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

Relevância:

10.00% 10.00%

Publicador:

Resumo:

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

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Les langages de programmation typés dynamiquement tels que JavaScript et Python repoussent la vérification de typage jusqu’au moment de l’exécution. Afin d’optimiser la performance de ces langages, les implémentations de machines virtuelles pour langages dynamiques doivent tenter d’éliminer les tests de typage dynamiques redondants. Cela se fait habituellement en utilisant une analyse d’inférence de types. Cependant, les analyses de ce genre sont souvent coûteuses et impliquent des compromis entre le temps de compilation et la précision des résultats obtenus. Ceci a conduit à la conception d’architectures de VM de plus en plus complexes. Nous proposons le versionnement paresseux de blocs de base, une technique de compilation à la volée simple qui élimine efficacement les tests de typage dynamiques redondants sur les chemins d’exécution critiques. Cette nouvelle approche génère paresseusement des versions spécialisées des blocs de base tout en propageant de l’information de typage contextualisée. Notre technique ne nécessite pas l’utilisation d’analyses de programme coûteuses, n’est pas contrainte par les limitations de précision des analyses d’inférence de types traditionnelles et évite la complexité des techniques d’optimisation spéculatives. Trois extensions sont apportées au versionnement de blocs de base afin de lui donner des capacités d’optimisation interprocédurale. Une première extension lui donne la possibilité de joindre des informations de typage aux propriétés des objets et aux variables globales. Puis, la spécialisation de points d’entrée lui permet de passer de l’information de typage des fonctions appellantes aux fonctions appellées. Finalement, la spécialisation des continuations d’appels permet de transmettre le type des valeurs de retour des fonctions appellées aux appellants sans coût dynamique. Nous démontrons empiriquement que ces extensions permettent au versionnement de blocs de base d’éliminer plus de tests de typage dynamiques que toute analyse d’inférence de typage statique.