The Programmable City

AbstractThe worldwide proliferation of mobile connected devices has brought about a revolution in the way we live, and will inevitably guide the way in which we design the cities of the future. However, designing city-wide systems poses a new set of challenges in terms of scale, manageability and citizen involvement. Solving these challenges is crucial to making sure that the vision of a programmable Internet of Things (IoT) becomes reality. In this article we will analyse these issues and present a novel programming approach to designing scalable systems for the Internet of Things, with an emphasis on smart city applications, that addresses these issues

The Programmable City

AbstractThe worldwide proliferation of mobile connected devices has brought about a revolution in the way we live, and will inevitably guide the way in which we design the cities of the future. However, designing city-wide systems poses a new set of challenges in terms of scale, manageability and citizen involvement. Solving these challenges is crucial to making sure that the vision of a programmable Internet of Things (IoT) becomes reality. In this article we will analyse these issues and present a novel programming approach to designing scalable systems for the Internet of Things, with an emphasis on smart city applications, that addresses these issues

Typhlitis

Tiflite, síndrome fleo-cecal e enterocolite neutropénica serão denominações diversas do que parece ser uma infecção localizada à mucosa cecal, provocada por Clostridia. Habitualmente descrita em doentes neutropénicos, com leucémias ou após terapêutica anti-neoplásica, também tem sido descrita em doentes infectados por vírus da imunodeficiência humana, como no caso que apresentamos. O seu diagnóstico nem sempre é claro, tornando-se ainda mais problemático em doentes imunodeprimidos, nos quais múltiplas situações e podem apresentar com sintomas semelhantes. Todavia a um diagnóstico precoce deve seguir-se uma terapêutica médica agressiva, e se nalguns casos uma intervenção cirúrgica se sorna imperiosa, noutros poderá ser desnecessária. O seu controle a médio e a longo prazo poderá ser particularmente difícil

Comparative evaluation of therapeutic interventions during hemorrhagic shock

Trabalho apresentado ao 31º International Symposium on Intensive Care and Emergency Medicine, 2011, Bruxelas

Endocytic intermediates involved with the intracellular trafficking of a fluorescent cellular prion protein

We have investigated the intracellular traffic of PrPc, a glycosylphosphatidylinositol (GPI)-anchored protein implicated in spongiform encephalopathies. A fluorescent functional green fluorescent protein (GFP)-tagged version of PrPc is found at the cell surface and in intracellular compartments in SN56 cells. Confocal microscopy and organelle-specific markers suggest that the protein is found in both the Golgi and the recycling endosomal compartment. Perturbation of endocytosis with a dynamin I-K44A dominant-negative mutant altered the steady-state distribution of the GFP-PrPc, leading to the accumulation of fluorescence in unfissioned endocytic intermediates. These pre-endocytic intermediates did not seem to accumulate GFP-GPI, a minimum GPI-anchored protein, suggesting that PrPc trafficking does not depend solely on the GPI anchor. We found that internalized GFP-PrPc accumulates in Rab5-positive endosomes and that a Rab5 mutant alters the steady-state distribution of GFP-PrPc but not that of GFP-GPI between the plasma membrane and early endosomes. Therefore, we conclude that PrPc internalizes via a dynamin-dependent endocytic pathway and that the protein is targeted to the recycling endosomal compartment via Rab5-positive early endosomes. These observations indicate that traffic of GFP-PrPc is not determined predominantly by the GPI anchor and that, different from other GPI-anchored proteins, PrPc is delivered to classic endosomes after internalization

Determinants of health care utilisation: The case of Timor-Leste

© The Author(s) 2018. Background: Health financing and delivery reforms designed to achieve universal health coverage (UHC) need to be informed by an understanding of factors that both promote access to health care and undermine it. This study examines the level of health care utilisation in Timor-Leste and the factors that drive it. Methods: Data from a nationally representative cross-sectional survey of health care utilisation in 1712 households were used to develop multilevel models exploring how need and predisposing and enabling factors explain health care utilisation at both primary and secondary care facilities. Results: Need was found to be the key driver in seeking both primary care and hospital services. Rural households were less likely to go to hospital (odds ratio 0.7) than urban households. The poorest quintile was also less likely to use more expensive hospital services than other socio-economic groups. Conclusions: Understanding the determinants of seeking health care in Timor-Leste is of considerable policy significance, because health care is free at the point of use. Our findings indicate that the public resources for health care are subsidising the rich more than the poor. Health care reforms in Timor-Leste need to reduce the 'other' costs of health care, such as distance barriers, to address these inequities

Completeness and decidability results for hybrid(ised) logics

Adding to the modal description of transition structures the ability to refer to specific states, hybrid(ised) logics provide an interesting framework for the specification of reconfigurable systems. The qualifier ‘hybrid(ised)’ refers to a generic method of developing, on top of whatever specification logic is used to model software configurations, the elements of an hybrid language, including nominals and modalities. In such a context, this paper shows how a calculus for a hybrid(ised) logic can be generated from a calculus of the base logic and that, moreover, it preserves soundness and completeness. A second contribution establishes that hybridising a decidable logic also gives rise to a decidable hybrid(ised) one. These results pave the way to the development of dedicated proof tools for such logics used in the design of reconfigurable systems