Ripples

https://digitalcommons.library.umaine.edu/mmb-ps/1002/thumbnail.jp

Approche à base de vérification formelle de modèle pour une utilisation sécuritaire de la cuisinière d'un habitat intelligent

Pour s'assurer que les personnes âgées soient en sécurité au domicile, le projet INOVUS s'intéresse aux risques liés à l'utilisation de la cuisinière. Dans le cadre de ce projet, les travaux de M.Sc. présentés dans ce mémoire se concentrent sur la perspective logicielle de la détection et de la prévention des risques physiques pour la personne, lors de la réalisation de tâches utilisant la cuisinière. Dans un premier temps, une revue des risques à domicile recensés dans la littérature a permis de définir la couverture nécessaire à une telle solution. Certaines situations dangereuses ont ensuite été sélectionnées pour définir un modèle de solution satisfaisant. Le développement d'une solution de sécurité pour la personne entraîne des contraintes de fiabilité de très haut niveau pour la technologie produite.Pour répondre à ce besoin, la proposition de ces travaux de M.Sc. est l'utilisation de spécifications formelles. Ces outils permettent d'obtenir un plus haut degré de fiabilité de logiciels. En se basant sur ces outils, un modèle de solution a été élaboré pour le projet INOVUS, et ce à l'aide du vérificateur de modèle ALLOY. Enfin, une implémentation en Java de ce prototype a été réalisée afin d'évaluer les résultats de détection des situations dangereuses. Ce prototype permet alors à la fois de valider l'approche de développement choisie, ainsi que d'établir une preuve de concept d'une telle solution de sécurité

Raylene L. Ramsay, French Women in Politics. Writing Power, Paternal Legitimization and Material Legacies

La faible représentation des femmes dans la vie politique française a longtemps été considérée comme un French paradox : malgré la vitalité des revendications féministes, malgré les avancées obtenues dans le domaine social, leur absence dans les différentes instances de gouvernement est criante. à ce paradoxe initial, l’adoption de la loi sur la parité de 2000 en a ajouté un second : la France est devenue l’un des pays les plus novateurs en matière de législation, en voulant assurer l’égal ac..

Tim Causer, Margot Finn, et Philip Schofield, dirs., Jeremy Bentham and Australia: Convicts, utility and empire

Ce volume collectif accompagne, à quelques mois d’intervalle, la publication de l’édition critique des textes consacrés par Bentham à l’Australie (Panopticon versus New South Wales and other writings on Australia) chez UCL Press sous la direction de Tim Causer et Philip Schofield. Les versions numériques des deux ouvrages sont disponibles en accès ouvert sur le site de l’éditeur. Bentham consacre un premier essai au système pénal en Australie en 1791, à peine six ans après le début des dépor..

Towards a paradigm SWITCH: Integrating urban water management in Belo Horizonte, Brazil.

A prime objective of an integrated, holistic approach is to deliver more effective provision of water resource services carrying minimum risks and improved sustainability. This is the core mission of the 6th EU Framework project, “Sustainable Water Management to Improve Tomorrow’s Cities’ Health” (SWITCH). The focus of the innovative management approach will be centred in demonstration cities such as Belo Horizonte in Brazil, through the formation of strategic Learning Alliances (LAs) comprising organisations having a shared interest in and vision of future urban water management. The paper explores both the LA formation and the challenges to be faced in the negotiating process which will be concerned with expected issues and “pay-offs”, as well as opportunities and difficulties especially related to feasibility as opposed to sustainability

Raylene L. Ramsay, French Women in Politics. Writing Power, Paternal Legitimization and Material Legacies

La faible représentation des femmes dans la vie politique française a longtemps été considérée comme un French paradox : malgré la vitalité des revendications féministes, malgré les avancées obtenues dans le domaine social, leur absence dans les différentes instances de gouvernement est criante. à ce paradoxe initial, l’adoption de la loi sur la parité de 2000 en a ajouté un second : la France est devenue l’un des pays les plus novateurs en matière de législation, en voulant assurer l’égal ac..

Fatal case of hemolytic-uremic syndrome in an adult due to a rare serogroup O91 Entero hemorrhagic Escherichia coli associated with a Clostridium difficile infection. More than meets the eye

AbstractHemolytic-uremic syndrome due to enterohemorrhagic Escherichia coli, belonging to serogroup O91 has rarely been described. We report here a case of post-diarrheal HUS due to EHEC O91 in an elderly patient for whom diagnosis was delayed given a previously diagnosed C. difficile infection. This case highlights the usefulness of Shiga-toxin detection