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.

Doctrine de l’entreprise et école de Rennes : La dimension sociétale, politique et philosophique des activités économiques affirmée - Présentation d’un courant de pensée au service de l’homme

La Doctrine de l’entreprise démontre sa permanence dans le temps en s’alimentant de la sève juridique que les incessantes réformes législatives viennent fluidifier. Mais, plus encore que sa permanence, ce sont les sources de la Doctrine de l’entreprise qui semble aujourd’hui sérieusement revigorer. La première partie de nos développements sera consacrée à l’étude de ces résultats à travers une présentation de certaines évolutions récentes du droit des sociétés, du droit des procédures collectives et plus généralement du droit des activités commerciales. De plus, l’analyse de la Doctrine de l’entreprise ne semble jamais avoir eu autant d’actualités à l’heure d’une gouvernance d’entreprise malmenée, des pouvoirs en leur sein questionnés, de place de l’entreprise dans la société civile revendiquée, de responsabilité planétaire des acteurs de l’économie affirmée, et d’avenir de l’être humain et de sa civilisation en danger ; il s’agira de la seconde partie de nos développements. Nombre de réformes et de discussions nous semblent donner à la Doctrine de l’entreprise un avenir brillant, du moins tout autant que l’a été son passé et que l’est son présent. Néanmoins, ce second temps de notre réflexion ne saurait gommer quelques critiques. Quelques mots conclusifs termineront notre propos et mettront en lumière les potentialités que recèle en son for la Doctrine de l’entreprise porteuse d’un message qui n’a été que peu perçu.

Identification et localisation des préoccupations fonctionnelles dans un code légataire Java

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.

Analyse des nouvelles formes organisationnelles hospitalières en émergence au Mali

Au Mali, une loi hospitalière a été adoptée en 2002 pour définir le cadre institutionnel d’une réforme majeure. Cette loi a décrété des transformations substantielles de la structure interne, tant administrative que clinique des établissements publics hospitaliers notamment l’implication des populations locales dans la prise de décision de l’établissement, l’autonomie administrative et financière à travers la délégation budgétaire et l’implication des professionnels de santé à la gestion, l’intégration des services de spécialité et la participation du secteur privé au service public hospitalier. Cependant, la capacité des hôpitaux à réussir les transformations prévues a été remise en question par la majorité des acteurs internes et externes. L’objectif de cette thèse a été d’étudier de quelle manière l’hôpital malien se transforme sous la pression de la décentralisation des pouvoirs de l’État et d’étudier comment les groupes d’acteurs réagissent face à ces changements à partir de deux cadres d’analyse. Le premier cadre intègre les caractéristiques essentielles des transformations hospitalières en termes de différents types de décentralisation et le second cadre inspiré des travaux de Crozier et coll. (1977) analyse les jeux de pouvoir entre les groupes d’acteurs hospitaliers selon deux niveaux à savoir un niveau stratégique et systémique. Pour cela, nous avons conduit une étude multiple de deux cas et utilisé trois modes de collecte des données à savoir les entrevues semi-structurées auprès des informateurs clés, l’analyse documentaire, et l’observation lors de réunions. Dans un premier temps, les analyses ont révélé pour les changements intervenus dans la structure, selon l’importance des responsabilités attribuées à l’hôpital public, (1) plusieurs variantes de la décentralisation. Globalement, l’intention politique était focalisée sur une délégation puis une déconcentration et une dévolution; les mécanismes mis en place ont penché plus vers une déconcentration puis une délégation et une dévolution tandis que les transformations réellement effectuées dans les établissements publics hospitaliers ont plutôt confirmé une déconcentration en plus d’une délégation particulièrement dans le cas de l’implication des populations locales dans la gestion hospitalière. Tandis que l’hôpital public pouvait faire des recettes à partir du recouvrement partiel des coûts des soins auprès des usagers, l’État gardait une main forte sur la gestion financière et la gestion du personnel, et définissait les directives et les objectifs à poursuivre. (2) Les analyses apportent une compréhension des liens existant entre les différents éléments du processus de réforme, le type de mécanisme mis en place dans le cadre de la réforme semble déterminer le type de transformation effectué selon les fonctions que peut assurer l’hôpital public. La logique traduit le passage de la délégation vers une déconcentration qui est jugée comme étant la forme la moins poussée d’une décentralisation. Dans un deuxième temps, les résultats confirment la présence de conflit entre les normes professionnelles établies et reconnues par les professionnels de santé et les normes organisationnelles et institutionnelles mises en avant par la réforme. Elles sont défendues par la majorité des gestionnaires qui sont imputables face aux autorités alors que les normes professionnelles dominent dans les services cliniques. Les deux cas ont mis en évidence le soutien de leur direction générale, il existait une tension dans les réactions des médecins, qui a été variable selon le type de changement structurel visé, tandis que les infirmiers se sont montrés plutôt accessibles face aux nouvelles mesures introduites par la réforme. L’une des originalités de cette thèse tient au fait que très peu de travaux sur les pays en développement ont tenté d’opérationnaliser de façon multidimensionnelle les concepts de décentralisation avant d’analyser les variantes susceptibles d’exister entre eux et les stratégies développées par les groupes d’acteurs de l’hôpital. En outre, alors que la pertinence de la prise en compte des caractéristiques du contexte organisationnel dans la mise en place des réformes des systèmes de soins est au cœur des préoccupations, ce travail est l’un des premiers à analyser l’influence de l’interaction entre le processus de réforme hospitalière et les prises de position des acteurs. Les résultats de cette thèse fournissent des recommandations aux décideurs politiques et aux gestionnaires quant aux modes de changement structurel à privilégier ou en éviter dans la planification, l’exécution et la mise en œuvre du processus de réforme hospitalière en fonction des caractéristiques du contexte organisationnel sanitaire. La planification de la réforme est essentielle : Élaborer un projet d’établissement discuté et validé par l’ensemble des acteurs de l’hôpital. Ce projet doit être compatible avec les objectifs du schéma d’organisation sanitaire nationale et déterminer les moyens en personnel et en équipements, dont l’hôpital doit disposer pour réaliser ses objectifs. Concevoir un cadre budgétaire et financier hospitalier flexible (qui va alléger la chaine de prise de décision), sur lequel reposera le nouveau système de gestion des hôpitaux. La capacité de mobilisation et d’exécution des ressources hospitalières devrait renforcer l’autonomie de gestion. Enfin, promouvoir une culture de l’évaluation et faciliter les évaluations périodiques de la mise en œuvre de la réforme hospitalière par des organismes d’évaluation externes et indépendants.

Développement d’une approche de régulation des essais cliniques dans un contexte de pays en développement : le cas du Mali

Le Mali est devenu un milieu attractif pour les essais cliniques. Cependant, le cadre de réglementation pour leur surveillance y est très limité. Le pays manque de l’expertise, de l’infrastructure et des ressources nécessaires pour mettre en œuvre pleinement la régulation. Ceci représente un risque pour la sécurité des sujets de recherche et l’intégrité des résultats scientifiques. Il ne permet pas non plus de s’aligner sur les normes internationales en vigueur, telles que la déclaration d’Helsinki, les directives éthiques internationales du Conseil des organisations internationales des sciences médicales (CIOMS) ou les réglementations de pays industrialisés comme les États-Unis, le Canada ou l’Union Européenne. Pour améliorer la situation, la présente étude vise à comprendre les enjeux de la régulation des essais cliniques au Mali afin de suggérer des pistes de solutions et des recommandations. L’étude a été réalisée à l’aide de méthodes qualitatives, soit l’examen de documents officiels et des entrevues semi-dirigées avec les principaux acteurs impliqués dans les essais cliniques. La théorie néo-institutionnelle a servi de toile de fond à l’analyse des données. L’approche néo-institutionnelle consiste à expliquer l’influence de l’environnement sur les organisations. Selon cette approche, l’environnement s’assimile à des champs organisationnels incluant les connexions locales ou non, les liens horizontaux et verticaux, les influences culturelles et politiques ainsi que les échanges techniques. Les résultats présentés dans un premier article montrent l’existence de nombreux enjeux reflétant la carence du système de régulation au Mali. La coexistence de quatre scénarios d’approbation des essais cliniques illustre bien l’inconsistance des mécanismes. Tout comme l’absence d’inspection, l’inconsistance des mécanismes traduit également l’intervention limitée des pouvoirs publics dans la surveillance réglementaire. Ces enjeux résultent d’une double influence subie par les autorités réglementaires et les comités d’éthique. Ceux-ci sont, d’une part, influencés par l’environnement institutionnel sous pressions réglementaires, cognitives et normatives. D’autre part, les pouvoirs publics subissent l’influence des chercheurs qui opèrent comme des entrepreneurs institutionnels en occupant un rôle central dans le champ de la régulation. Dans un second article, l’étude propose une analyse détaillée des facteurs influençant la régulation des essais cliniques. Ces facteurs sont synthétisés en cinq groupes répartis entre deux sphères d’influence. L’analyse montre combien ces facteurs influencent négativement la régulation, notamment : 1) la structuration inachevée du champ de régulation due à un faible degré d’interactions, une absence de structure de coordination, d’informations mutuelles et de conscience dans la constitution des interdépendances; et 2) les positions relatives des acteurs impliqués dans la construction du champ de régulation se manifestant par une faible autorité des pouvoirs publics et l’ascendance des groupes de recherche. Enfin, dans un troisième article nous proposons quelques mécanismes qui, s’ils sont mis en œuvre, pourraient améliorer la régulation des essais cliniques au Mali. Ces mécanismes sont présentés, en référence au cadre théorique, sous trois types de vecteurs d’influence, notamment réglementaires, normatifs et cognitifs-culturels. En guise de conclusion, l’étude envoie un signal fort pour la nécessité d’une régulation appropriée des essais cliniques au Mali. Elle montre que la plupart des problèmes de fond en matière de régulation relèvent d’un besoin de restructuration du champ organisationnel et de renforcement de la position des pouvoirs publics.

Développement d’une méthode d’extraction des contaminants émergents dans les solides particulaires par LDTD-APCI-MS/MS

Douze contaminants émergents (composés pharmaceutiques, pesticides et hormones) ont été quantifiés et extraits de l'eau de rivières et d’échantillons d'eaux usées municipales. La séparation des solides en suspension est effectuée par filtration des échantillons d'eau. L'effet de filtration sur les concentrations de contaminants dissous a été évaluée afin de minimiser les pertes de composés cibles. Les échantillons ont été lyophilisés et ont été extraits en deux cycles par ultrasons combinés avec une étape de nettoyage sur cartouche d’extraction de type C18. La quantification a été réalisée en utilisant la spectrométrie de masse. Les recouvrements de la méthode pour tous les composés ont varié de 68 à 112% dans toutes les matrices étudiées, sauf pour le sulfaméthoxazole et le diclofénac où des recouvrements plus modestes ont été obtenus (38 à 85%). Les limites de détection pour les 12 analytes dans les sédiments et particules en suspension (SPM) de la rivière variaient de 0,7 à 9,4 ng g-1 et de 21 à 92 ng g-1, pour les échantillons SPM de station d'épuration. Tous les contaminants émergents cibles ont été détectés à des concentrations variant de 3 à 5440 ng g-1 dans les matrices étudiées, les concentrations les plus élevées ont été observées dans les échantillons SPM de stations d'épuration. Une partie importante de certains de ces contaminants est clairement associée aux sédiments de rivière ou aux particules en suspension. L’optimisation des processus de traitement de l'eau et le devenir environnemental doit absolument tenir compte de la fraction de contaminants qui liée à des particules si on espère avoir un bilan de masse raisonnable.

Pour un modèle chrétien de réconciliation dans la société luba : une interprétation des pratiques traditionnelles luba de réconciliation à partir de Genèse 32–33 et une proposition d’appropriation chrétienne contemporaine

Pour des raisons de limitation, cette thèse analyse le thème de la réconciliation à partir des pratiques traditionnelles des Baluba du Katanga; elle concerne et s'applique également aux autres ethnies bantu en Afrique Centrale où ces pratiques sont similaires.

Adolescence, immigration et santé mentale : schisme et articulation des discours soignants autour des orientations et des stratégies d'intervention en contexte ethnopsychiatrique

La souffrance psychologique des adolescents fait l'objet d'une attention croissante des pouvoirs publics, des mondes associatifs, et bien sûr des cliniciens et des travailleurs psychosociaux. Pour les adolescents migrants, cette souffrance, aggravée par la fragilité, les malaises et les tensions de l'adolescence, est compliquée par l'appareil de santé publique bureaucratique complexe destiné à traduire dans le langage des soins le malaise des attitudes, des comportements et des tendances qui se dégagent de leur statut de migrant tantôt mal vécu, tantôt réprouvé par leur environnement et leur parcours personnel et familial. Ce mémoire de maîtrise a exploré l'un d'entre eux, celui de la clinique de psychiatrie transculturelle, où l'écoute de ce qui se dit importe tout autant que la traduction et la gestion de ces souffrances. En utilisant une approche anthropologique, j'analyse les discours et les attitudes de dix thérapeutes et les travailleurs sociaux qui interviennent auprès de ces familles. Cette recherche montre que le cadre de gestion sociale et culturelle qui inclut les soignants et les familles, et les ambivalences de jeunes adolescents, ne peut être analysé sans référencer le contexte plus large des différences de classes, d'accès au pouvoir, d'orientations et de bagages culturels affectant à la fois le vécu des adolescents et la manière avec laquelle leurs angoisses seront communiquées et traduites. Dans cette perspective particulière, les paradoxes et les résistances de certains professionnels médicaux et sociaux, dont les positions qu'ils occupent au sein des structures du pouvoir, autrement, pourraient les tenter de s'engager dans des diagnostics faciles liés à la socialisation prétendument difficile de ces adolescences. Au lieu de cela, ils créent des stratégies uniques qui respectent les idiomes officiels encadrant leur autorité médicale et sociale.

Les Violettes rouges suivi de L'échec du système des genres dans La Maladie de la mort de Marguerite Duras

Le roman, Les Violettes rouges, met en scène une jeune femme cherchant vengeance à l'époque de la conquête de l'Ouest américain. Il joue sur les codes du western, tout en les transgressant, puisque le héros cow-boy et vengeur est une femme, Lou. Plus libre encore que les héros du western traditionnel, Lou s'approprie des éléments du « masculin » et du « féminin » pour incarner un corps puissant et sensuel qui sera vecteur de violence. Les systèmes hiérarchiques et injustes érigés par l'homme blanc se voient ébranlés par les actes de révolte de Lou. L'essai L'échec du système des genres dans La Maladie de la mort de Marguerite Duras explore, par le biais de la pensée de certains théoriciens féministes et par l'entremise de certaines questions sur les identités sexuées selon la catégorie d'analyse du gender, l'impossible rencontre entre l'homme et la femme du récit de Duras. L'échec du système double et duel entre le masculin et le féminin est exprimé, entre autres, par un système de voiles et de voilements, de regards aveugles, par un féminin fuyant et, ultimement, par un renversement des pouvoirs. Ici, la conception double des genres se voit remise en cause puisqu'elle rend stérile toute rencontre entre l'homme et la femme du récit et ultimement, entre le masculin et le féminin.

The Seemingly Unrelated Dynamic Cointegration Regression Model and Testing for Purching Power Parity.

This paper studies seemingly unrelated linear models with integrated regressors and stationary errors. By adding leads and lags of the first differences of the regressors and estimating this augmented dynamic regression model by feasible generalized least squares using the long-run covariance matrix, we obtain an efficient estimator of the cointegrating vector that has a limiting mixed normal distribution. Simulation results suggest that this new estimator compares favorably with others already proposed in the literature. We apply these new estimators to the testing of purchasing power parity (PPP) among the G-7 countries. The test based on the efficient estimates rejects the PPP hypothesis for most countries.

La compétence du tribunal arbitral dans l'arbitrage commercial

"Mémoire présenté à la Faculté des études supérieures En vue de l'obtention du grade de Maîtrise en droit (L.L.M)"

Une analyse de la sanction économique en droit international

Le principal reproche qui est adressé au droit international est la faiblesse de ses mécanismes de sanctions. Pour cette raison, plusieurs penseurs juridiques ont conclu que le droit international n'existait pas. Le présent mémoire vise donc à étudier la rhétorique derrière cette affirmation et à examiner sa validité. Pour ce faire, nous analysons dans un premier temps la relation entre la sanction et le droit à travers le cadre positiviste du XIXe siècle. Nous étudions tour à tour les soi-disant critères constitutifs de la sanction. Nous les comparons avec d'autres ordres non juridiques pour ensuite rejeter le postulat positiviste qui fait de la contrainte et de la centralisation des pouvoirs les éléments essentiels de la sanction. Nous étudions ensuite le cadre d'adoption des sanctions économiques du Conseil de sécurité des Nations Unies. Cette étape nous permet d'expliquer les principales faiblesses et limitations du droit international. Parmi celles-ci, le manque de coopération internationale, le droit de veto et le principe de la souveraineté nationale sont les éléments qui freinent l'adoption des sanctions coopération internationale. Nous examinons ensuite les objectifs derrière l'imposition des sanctions ainsi que leur efficacité. Finalement, nous étudions les embargos en général et les embargos sur les armes. Cette étude nous permet d'une part de démontrer les effets des sanctions économiques sur la population civile et sur les États tiers. D'autre part, elle nous permet de mieux comprendre les problèmes relatifs à l'administration d'une sanction, ainsi qu'aux mesures de contournement des interdictions.

La constitutionnalisation de la juridiction inhérente au Canada : origines et fondements

Bien que la juridiction inhérente des cours superIeures constitue une notion souvent utilisée par les tribunaux au Canada, plusieurs facettes importantes de cette notion demeurent inconnues et incomprises. Le présent mémoire s'attarde à retracer l'origine et les fondements des pouvoirs inhérents afin d'en expliquer la constitutionnalisation dans l'ordre constitutionnel canadien contemporain. Pour ce faire, nous avons retracé l'essence des pouvoirs inhérents au moyen d'une démarche historique afin d'énoncer une théorie constitutionnelle cohérente des pouvoirs inhérents qui permettra de juger du bien-fondé de leurs nombreuses manifestations contemporaines. L'enchâssement de la juridiction inhérente dans la Constitution canadienne repose sur le statut, la nature et les caractéristiques uniques des cours supérieures. Plus particulièrement, le principe constitutionnel de l'indépendance judiciaire constitue le fondement contemporain de la constitutionnalisation de la juridiction inhérente. Cette constatation permet alors d'avancer l'idée selon laquelle les pouvoirs inhérents nécessaires au maintien de l'indépendance judiciaire des cours supérieures doivent être élevés au rang de normes constitutionnelles supralégislatives.

La reconnaissance juridique de l’« entreprise citoyenne » ou la conséquence de la perception nouvelle de l’entreprise en tant que construction collective

Aux frontières de la réflexion éthique se situe celle sur le droit des affaires et la gouvernance d’entreprise. Les droits français et nord-américains des entreprises matérialisent un souci d’éthique dans la perception qu’ils offrent de l’équilibre des pouvoirs au sein de la firme. La définition de la finalité des pouvoirs des dirigeants relevant de la corporate governance suscite une éthique liée à cette finalité. En concevant l’entreprise comme une construction collective où doivent intervenir les stakeholders, les instruments juridiques introduisent l’éthique dans la prise de décision des dirigeants et créent un sentiment de développement et de citoyenneté collectifs. La saisine par le monde juridique des paradigmes de la stakeholder theory et de la responsabilité sociale des entreprises témoigne d’une composante sociale caractérisant l’entreprise et consacre l’avènement d’une entreprise nouvelle que certains qualifient d’« entreprise du troisième type ». Loin de n’être qu’une « tour d’ivoire », cette entreprise dispose (par l’intermédiaire de l’espace discrétionnaire dont les dirigeants jouissent dans leur pouvoir de décision) des moyens efficients pour se préoccuper du bien commun et adopter un comportement éthique.