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é

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..

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..

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

Policy packages for modal shift and CO2 reduction in Lille, France

This paper proposes different policy scenarios to cut CO2 emissions caused by the urban mobility of passengers. More precisely, we compare the effects of the ‘direct tool’ of carbon tax, to a combination of ‘indirect tools’ – not originally aimed at reducing CO2 (i.e. congestion charging, parking charges and a reduction in public transport travel time) in terms of CO2 impacts through a change in the modal split. In our model, modal choices depend on individual characteristics, trip features (including the effects of policy tools), and land use at origin and destination zones. Personal “CO2 emissions budgets” resulting from the trips observed in the metropolitan area of Lille (France) in 2006 are calculated and compared to the situation related to the different policy scenarios. We find that an increase of 50% in parking charges combined with a cordon toll of €1.20 and a 10% travel time decrease in public transport services (made after recycling toll-revenues) is the winning scenario. The combined effects of all the policy scenarios are superior to their separate effects

The burden of disease among Brazilian older adults and the challenge for health policies : results of the Global Burden of Disease Study 2017

Background: Brazil is the world’s fifth most populous nation, and is currently experimenting a fast demographic aging process in a context of scarce resources and social inequalities. To understand the health profile of older adults in Brazil is fundamental for planning public policies. Methods: The estimates were derived from data obtained through the collaboration between the Brazilian Ministry of Health and the Institute of Health Metrics and Evaluation of the University of Washington. The Brazilian Institute of Geography and Statistics provided the population estimates. Data on causes of death came from the Mortality Information System. To calculate morbidity, population-based studies on the prevalence of diseases in Brazil were comprehensively searched, in addition to information obtained from national databases such as the Hospital Information System, the Outpatient Information System, and the Injury Information System. We presented the Global Burden of Disease (GBD) 2017 estimates among Brazilian older adults (60+ years old) for life expectancy at birth (LE), healthy life expectancy (HALE), cause-specific mortality, years of life lost (YLLs), years lived with disability (YLDs), and disability-adjusted life years (DALYs), from 2000 to 2017. Results: LE at birth significantly increased from 71.3 years (95% UI to 70.9-71.8) to 75.2 years (95% UI 74.7-75.7). There was a trend of increasing HALE, from 62.2 years (95% UI 59.54-64.5) to 65.5 years (95% UI 62.6-68.0). The proportion of DALYs among older adults increased from 7.3 to 10.3%. Chronic noncommunicable diseases are the leading cause of death among middle aged and older adults, while Alzheimer’s disease is a leading cause only among older adults. Mood disorders, musculoskeletal pain, and hearing or vision losses are among the leading causes of disability. Conclusions: The increase in LE and the decrease of the DALYs rates are probably results of the improvement of social conditions and health policies. However, the smaller increase of HALE than LE means that despite living more, people spend a substantial time of their old age with disability and illness. Preventable or potentially controllable diseases are responsible for most of the burden of disease among Brazilian older adults. Health investments are necessary to obtain longevity with quality of life in Brazil