715 research outputs found
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..
Oral probiotic and prevention of Pseudomonas aeruginosa infections: a randomized, double-blind, placebo-controlled pilot study in intensive care unit patients
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
- …