Vérification temporelle des systèmes cycliques et acycliques basée sur l’analyse des contraintes

Nous présentons une nouvelle approche pour formuler et calculer le temps de séparation des événements utilisé dans l’analyse et la vérification de différents systèmes cycliques et acycliques sous des contraintes linéaires-min-max avec des composants ayant des délais finis et infinis. Notre approche consiste à formuler le problème sous la forme d’un programme entier mixte, puis à utiliser le solveur Cplex pour avoir les temps de séparation entre les événements. Afin de démontrer l’utilité en pratique de notre approche, nous l’avons utilisée pour la vérification et l’analyse d’une puce asynchrone d’Intel de calcul d’équations différentielles. Comparée aux travaux précédents, notre approche est basée sur une formulation exacte et elle permet non seulement de calculer le maximum de séparation, mais aussi de trouver un ordonnancement cyclique et de calculer les temps de séparation correspondant aux différentes périodes possibles de cet ordonnancement.

Les logiques de localisation des entreprises multinationales au Québec : une analyse des systèmes d'affaires et des relations industrielles en région

L’objet de ce mémoire est de comprendre les logiques de localisation des entreprises multinationales au Québec. À l’aide de deux études de cas, basées sur cinq investissements, nous avons examiné les facteurs qui ont permis à deux filiales d’entreprises multinationales étrangères d’obtenir un investissement ou un réinvestissement. La littérature sur la localisation des entreprises multinationales à l’étranger nous a aidé à identifier trois types d’attributs qui sont susceptibles d’influencer l‘obtention d’un investissement par la filiale locale : les attributs internes à la filiale, les attributs liés à la relation qu’entretient la filiale avec son siège social et les attributs liés aux contextes d’affaires dans lesquels la filiale exerce son activité. Nos résultats permettent d’établir plusieurs constats. Premièrement, les facteurs pris en compte dans les décisions d’investissement varient selon les échelles internationales, nationales, provinciales et locales. Les sièges sociaux des entreprises multinationales procèdent à une sélection successive de facteurs dans la perspective d’arriver à un meilleur compromis. Par conséquent, un facteur ne peut à lui seul expliquer un investissement. Le poids et la diversité des facteurs peuvent varier en fonction des situations. Deuxièmement, la complémentarité des attributs internes de la filiale avec son contexte d’affaires local a fortement contribué à l’obtention d’investissements. La technologie de production, les compétences des employés ainsi que la capacité de la direction locale à promouvoir les atouts de la filiale auprès des comités d’investissement représentent des éléments clés. La présence d’institutions locales fortes et coordonnées est également à prendre en compte dans le soutien apporté au développement de la filiale.

Interopérabilité et normalisation des systèmes de cyberjustice : Orientations

Un résumé en anglais est également disponible.

Interopérabilité et normalisation des systèmes de cyberjustice : Orientations

En partant des travaux en cours tendant au développement de la cyberjustice ­ soit la greffe en ligne (e-filing) et les systèmes intégrés d’information de justice (integrated justice information systems), l’auteur nous propose une analyse quant à l’interopérabilité et à la normalisation des outils « visant à faciliter le traitement et la solution judiciaire et extrajudiciaire des différends et qui tiennent compte de la complexité des paramètres juridiques et des flux d’information concernés ». Pour répondre à cette complexité, l’auteur propose la mise en place d’une grille d’analyse des risques juridiques aussi bien pour la justice civile que pénale.

Algorithmique et complexité des systèmes à compteurs

Réalisé en cotutelle avec l'École normale supérieure de Cachan – Université Paris-Saclay

Algorithmique et complexité des systèmes à compteurs

Réalisé en cotutelle avec l'École normale supérieure de Cachan – Université Paris-Saclay

Identification de QTL à pression artérielle dans le chromosome 18 du rat et analyse des gènes candidats Adrb2 et Nedd4l associés à l’hypertension essentielle

L’hypertension constitue un facteur majeur de risque de maladies cardiovasculaires et touche à un pourcentage important de la population humaine. Il s’agit d’une maladie complexe étant donné son caractère multifactoriel. La régulation de la pression artérielle (PA) est sous contrôle de plusieurs gènes, appelés loci pour traits quantitatifs ou QTL, et elle est le résultat de leur interaction. Étant donné que la PA est un trait quantitatif sous contrôle de plusieurs composantes comme les facteurs génétiques et environnementaux, l’étude de l’hypertension est limitée chez les populations humaines. Ainsi la stratégie principale pour l’étude de cette maladie est l’identification de QTL à PA chez des souches congéniques de rat construites à partir des lignées hyper- et normotendues; à savoir les souches Dahl salt-sensitive [1] et Lewis, respectivement. Des études précédentes dans notre laboratoire ont localisé trois QTL à PA au niveau du chromosome 18 chez le rat. Au cours de ce projet, de nouvelles sous-souches ont été construites afin de raffiner la cartographie de ces QTL. Ainsi, les C18QTL1, C18QTL3 et C18QTL4 ont été définis. Des analyses moléculaires ont été effectuées sur deux gènes candidats pour le C18QTL3; à savoir, Adrb2 et Nedd4l associés précédemment à l’hypertension. La comparaison des résultats de séquençage des régions régulatrices et codantes de ces deux gènes, ainsi que leur analyse d’expression par qRT-PCR chez les souches contrastantes DSS et Lewis, n’ont pas montré de différence significative pouvant expliquer la variation du phénotype observé. Des études plus poussées devront être effectuées sur ces deux gènes et, le cas échéant, l’analyse d’autres gènes contenus dans le C18QTL3 devra être entamée afin d’identifier le gène responsable de ce QTL.

La télémédecine en radiothérapie : développement d’un modèle et analyse des coûts

But : La radiothérapie (RT) est disponible seulement dans les grandes villes au Québec. Les patients atteints de cancer vivant en zone rurale doivent voyager pour obtenir ces soins. Toute proportion gardée, moins de ces patients accèdent à la RT. L’accessibilité serait améliorée en instaurant de petits centres de RT qui dépendraient de la télémédecine (téléRT). Cette étude tente (1) de décrire un modèle (population visée et technologie) réaliste de téléRT; (2) d’en estimer les coûts, comparativement à la situation actuelle où les patients voyagent (itineRT). Méthode : (1) À l’aide de données probantes, le modèle de téléRT a été développé selon des critères de : faisabilité, sécurité, absence de transfert des patients et minimisation du personnel. (2) Les coûts ont été estimés du point de vue du payeur unique en utilisant une méthode publiée qui tient compte des coûts en capitaux, de la main d’oeuvre et des frais généraux. Résultats : (1) Le modèle de téléRT proposé se limiterait aux traitements palliatifs à 250 patients par année. (2) Les coûts sont de 5918$/patient (95% I.C. 4985 à 7095$) pour téléRT comparativement à 4541$/patient (95%I.C. 4351 à 4739$) pour itineRT. Les coûts annuels de téléRT sont de 1,48 M$ (d.s. 0,6 M$), avec une augmentation des coûts nets de seulement 0,54 M$ (d.s. 0,26 M$) comparativement à itineRT. Si on modifiait certaines conditions, le service de téléRT pourrait s’étendre au traitement curatif du cancer de prostate et du sein, à coûts similaires à itineRT. Conclusion : Ce modèle de téléRT pourrait améliorer l’accessibilité et l’équité aux soins, à des coûts modestes.

Sociétés rurales et développement durable : transformations récentes des agricultures, stratégies paysannes et soutenabilité des systèmes ruraux en Afrique sahélo-soudanienne : cas du département de Bignona (Sénégal méridional)

Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal

La reconstruction juridique de l’Irak et de l’Afghanistan et l’influence des systèmes juridiques occidentaux

Mémoire présenté pour l’obtention du Master II de Droit International Public et dirigé par Monsieur Jean-François MARCHI, Maître de Conférences. Année 2005-2006. L’auteure souhaiterait, en premier lieu, remercier l’équipe du C.E.R.I.C. et tout particulièrement son directeur de recherche, monsieur Jean-François Marchi, pour lui avoir accordé sa confiance et son aide tout au long de cette étude passionnante et enrichissante. Elle désirerait également saluer Harith Al Dabbagh, Maître assistant à la Faculté de droit de l’Université de Mossoul (Irak) et Doctorant en droit privé à l’Université Aix-Marseille III, pour le temps consacré lors de leurs discussions, permettant à l’auteure d’en apprendre davantage sur son pays, l’Irak. Sans oublier enfin ses proches pour leur contribution à travers leur soutien constant et l’intérêt porté à l’égard de ce travail.

Modélisation et analyse des interventions d’équitation thérapeutique utilisées à des fins de réadaptation

Contexte et problématique. Selon l’Association Canadienne d’Équitation Thérapeutique (ACET), l’équitation thérapeutique comprend toutes les activités équestres s’adressant à une clientèle présentant des déficiences. L’équitation thérapeutique compte plusieurs approches, notamment l’hippothérapie, une stratégie de réadaptation offerte par des ergothérapeutes, physiothérapeutes et orthophonistes. L’hippothérapie se base sur le mouvement tridimensionnel induit par le cheval lequel favorise l’amélioration de diverses fonctions neuromotrices notamment le tonus du tronc et de la tête, la posture debout et les ajustements posturaux. Bien que les approches d’équitation thérapeutique prennent de l’ampleur au Québec, il n’y a toujours aucune règlementation officielle. Il existe donc une confusion importante entre les différentes approches d’équitation thérapeutique et l’hippothérapie actuellement reconnue comme la seule approche médicale de réadaptation utilisant le cheval. Les clientèles présentant de lourdes déficiences neuro-musculo-squelettiques se voient donc régulièrement référées dans des centres qui n’offrent pas d’hippothérapie et sont confrontées à des risques importants. Objectifs. Modéliser les interventions d’équitation thérapeutique afin de rendre explicites les composantes de ces interventions et les liens qui les unissent ainsi qu’analyser la plausibilité des interventions à atteindre les résultats escomptés. Méthodologie. Les interventions d’équitation thérapeutique ont été modélisées par des entrevues réalisées auprès des principales personnes offrant des services d’équitation thérapeutique au Québec. Une revue de la littérature a été conduite sur les principes de réadaptation qui sous-tendent les interventions. L’ensemble des données recueillies ont été analysé selon une procédure habituelle d’analyse de contenu qualitatif. Résultats. Les modèles créés permettent d’améliorer les connaissances des pratiques d’équitation thérapeutiques et d’hippothérapie au Québec. Conséquences. Les modèles permettent d’entamer une réflexion sur la règlementation de ces pratiques au Québec et au Canada ainsi que de soutenir les processus de références dans les différents centres québécois.

Portrait et analyse des stratégies à base territoriale pour contrer la pauvreté et l'exclusion dans le territoire de La Petite-Patrie à Montréal. Conditions d’une action intégrée

L’objet de la présente thèse est la lutte contre la pauvreté. Elle cherche à identifier les conditions favorisant la sortie de la pauvreté dans un territoire urbain, ici le quartier de la Petite-Patrie. par une approche territoriale intégrée. S’inscrivant dans la mouvance des multiples initiatives de lutte contre la pauvreté et l’exclusion au Québec, le postulat qui fonde cette recherche est le suivant : la lutte contre la pauvreté par l’approche territoriale intégrée permet : 1) d’instaurer des conditions favorisant la sortie de la pauvreté et 2) de renverser les processus qui mènent à l’appauvrissement des personnes et, du même coup, d’améliorer les conditions et la qualité de vie de celles-ci dans un territoire particulier. Les résultats de cette recherche permettent : 1) de contribuer à la compréhension des dynamiques de lutte contre la pauvreté grâce à une approche considérant les acteurs agissant dans un territoire et, 2) d’éclairer les différents niveaux de conception et de mise en œuvre des politiques et des stratégies d’action, tant au niveau de l’État que de la société civile, sachant que les dispositifs d’intervention intégrés se créent à l’interface des initiatives locales ou régionales et des nouvelles formes de politiques publiques en matière de lutte contre la pauvreté. Les grandes conclusions qui émergent de cette recherche sont au nombre de trois : 1) Si la multidimentionnalité de la pauvreté est acceptée par plusieurs auteurs, on ne peut pas parler d’une seule pauvreté, mais de diverses pauvretés. Les visages de la pauvreté dans le territoire de La Petite-Patrie témoignent de cette diversité des pauvretés, et appellent une variété de stratégies d’action ; 2) Les personnes en situation de pauvreté, en fonction de leurs capacités d’agir, peuvent être appréhendées selon un double profil qui structure de façon importante leur processus de sortie de la pauvreté : le premier groupe rassemble les personnes en situation de pauvreté qui ont des initiatives découlant de leurs capacités d’agir, et le second groupe qui réunit les personnes en situation de pauvreté dont la capacité d’initiative est altérée, apparemment de façon durable, par leurs conditions de vie. Toute stratégie publique de sortie de la pauvreté dans un espace donné devrait alors considérer cette dimension relative aux capacités de rapprochement des individus et des ressources pour soutenir le développement d’une stratégie territoriale intégrée de lutte à la pauvreté plus efficace pour les personnes dont le processus de désaffiliation est plus avancé; 3) Les acteurs de lutte contre la pauvreté dans un territoire, pour réunir les conditions d’une action intégrée et mettre en place des conditions favorables de lutte contre la pauvreté, doivent s’appuyer sur la concertation, les alliances intersectorielles, le leadership inclusif et concerté, les passerelles formelles et fonctionnelles entre acteurs institutionnels, et sur une démarche hybride (emploi et défense des droits) qui constituent des ingrédients fondamentaux pour toute action ou intervention en faveur des personnes en situation de pauvreté vivant dans un cadre territorial défini et accepté par l’ensemble des acteurs locaux. Ce caractère hybride de la démarche permet d’agir de façon différenciée sur les deux groupes de la population. L’intégration est donc avant tout stratégique, c’est-à-dire fondée sur l’articulation d’une pluralité de logique d’action.

Hugo Loetscher et l’impureté linguistique : äs tischört und plutschins : traduction et analyse des procédés d’adaptation

Hugo Loetscher (1929-2009) a joué un rôle important dans la littérature suisse alémanique du 20e siècle. On lui accole souvent l’étiquette de « cosmopolite suisse », tant il a réussi le pari de s’intéresser au vaste monde sans jamais renier son milieu et son pays d’origine. L’essai dont il est question ici, äs tischört und plutschins. Über das Unreine in der Sprache, eine helvetische Situierung, adopte une perspective suisse pour proposer une réflexion sur le lien entre langue, littérature et nation, sur la place des langues minoritaires dans le monde globalisé et sur l’idéal – critiquable selon Loetscher – de « pureté » linguistique. Ce mémoire, en plus de présenter une traduction de l’essai de Loetscher, qui était jusqu’à ce jour inédit en français, réfléchit à l’actualité de ce texte dans le contexte québécois et au processus de traduction d’un auteur suisse germanophone pour un public francophone diversifié, en s’appuyant sur les théories de la stylistique comparée d’Alfred Malblanc et du skopos de Katharina Reiß et Hans J. Vermeer. Notre étude se penche d’une part sur le rôle d’éléments péritextuels comme les notes de bas de page qui, dans le processus d’adaptation, permettent au translatum, c’est-à-dire au résultat de l’acte de traduction, au texte cible, de respecter son objectif de départ, son skopos. D’autre part, l’analyse aborde la question d’une possible utilisation de régionalismes (québécois ou suisses) dans un translatum en français standard dont le texte source porte lui-même sur la diversité linguistique et les variantes régionales et dialectales.