Shared lives social impact bond feasibility study

Loneliness and isolation among the elderly is an enormous problem in Portugal. Interventions to tackle loneliness worldwide have had limited success, and new approaches are needed. Shared Lives is an adult foster placement service in the UK that shows significant promise in tackling both loneliness, isolation and other societal challenges linked with ageing. This feasibility study suggests that replicating a Shared Lives service in Portugal, using a Social Impact Bond (SIB), is viable and likely to create both social and financial value for all stakeholders involved. This study provides recommendations for how a Shared Lives SIB could be designed and implemented.

A shared-disk parallel cluster file system

Dissertação apresentada para obtenção do Grau de Doutor em Informática Pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

New evidence of shared dinosaur across upper jurassic proto-North Atlantic: stegosaurus from Portugal

Naturwissenschaften 94,367–374

Implementation for spatial data of the shared nearest neighbour with metric data structures

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Policies to improve the lives of Slum Dwellers – from international agreements to local contexts. The Brazilian case-study

Last decades economic development induced massive international and regional migration flows directed to the urban spaces. The magnitude and swiftness of these processes determined that several cities’ authorities would fail to respond to the increasing demands of many social services. The right to an “adequate housing” emerged as a political concern, leading governments and institutions to develop housing programmes directed to improve the lives of slum dwellers. This paper presents a diachronic evolution of these specific housing policies in the paradigmatic case-study of Brazil, critically analysing the evolving roles played by the multiple levels of decision (from international institutions to local communities) in the development and implementation of such measures.

Business development in Siemens global shared services delivery center Portugal

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Divulgar ciência para diferentes públicos. Uma experiência no projeto STOL - Science Through Our Lives

O estágio que aqui se relata enquadra-se no âmbito do mestrado em Comunicação de Ciência, da Faculdade de Ciências Sociais Humanas (FCSH) da Universidade Nova de Lisboa (UNL) e do Instituto de Tecnologia Química e Biológica (ITQB). Foi realizado no projeto STOL – Science Through Our Lives, do Centro de Biologia Molecular e Ambiental (CBMA) da Escola de Ciências da Universidade do Minho (ECUM), e teve a duração de três meses. Esta componente prática do mestrado permitiu desenvolver um trabalho in loco, com o objetivo de servir, sobretudo, a comunicação de ciência informal. As principais atividades desenvolvidas foram exposições (Homo numericus; “Ponto a Ponto Enche a Ciência o Espaço), produção de materiais educativos (Objetos Educativos para a Casa das Ciências), campanhas de sensibilização (Comemoração do Dia Mundial da Água), auscultação do público (Vox Pop), crónicas de jornal (coluna “Aqui há Ciência”) e estabelecimento de parcerias estratégicas entre o STOL e outras forças vivas da região (AVianense e “Diário do Minho”). Ao integrar as atividades a decorrer no projeto STOL, foi possível contribuir com sugestões e novos materiais, e implementar projetos cujo principal objetivo foi o contacto direto com o público. De todo o trabalho se obteve um feedback positivo, conforme se documenta neste relatório e respetivos anexos. Se alguns constrangimentos podem ser enunciados (falta de recursos económicos e humanos, fraca tradição de envolvimento da população com a ciência e vice-versa, e a considerável falta de apoio institucional a atividades de divulgação de ciência), também devem ser evidenciados aspetos muito positivos como a dinâmica do grupo STOL, a capacidade de envolver diferentes públicos nas suas atividades, diferenciar estratégias para esses grupos, e finalmente, avaliar, sempre que possível, o seu desempenho, incluindo os resultados nas atividades seguintes. Neste contexto foram aplicados os conhecimentos adquiridos durante o primeiro ano curricular do mestrado, permitindo o ganho de experiência na área de trabalho onde a autora se sente realizada e pretende permanecer.

Is there a potential win for companies when women enrich their role of workers through the enrichement of their family lives?

While the work-family relation conflict literature has received much attention, there is a lack of empirical evidence towards work-family positive relation. Furthermore, there is a lack of understanding and recognition of possible benefits obtained by skills’ development during maternity. This study concludes that a family-work relation has a positive outcome, namely the enrichment. It was evident that there is a potential win when women enrich their role as workers through the enrichment of their family lives. Moreover, this enrichment is perceived by mothers along the development of their children; each age and phase have different challenges and enable different skills’ improvement. The findings support the notion that not all work and family experiences are negative and experiences from the work and home can improve outcomes both inside and outside the workplace.

Rely-guarantee protocols for safe interference over shared memory

Mutable state can be useful in certain algorithms, to structure programs, or for efficiency purposes. However, when shared mutable state is used in non-local or nonobvious ways, the interactions that can occur via aliases to that shared memory can be a source of program errors. Undisciplined uses of shared state may unsafely interfere with local reasoning as other aliases may interleave their changes to the shared state in unexpected ways. We propose a novel technique, rely-guarantee protocols, that structures the interactions between aliases and ensures that only safe interference is possible. We present a linear type system outfitted with our novel sharing mechanism that enables controlled interference over shared mutable resources. Each alias is assigned separate, local roles encoded in a protocol abstraction that constrains how an alias can legally use that shared state. By following the spirit of rely-guarantee reasoning, our rely-guarantee protocols ensure that only safe interference can occur but still allow many interesting uses of shared state, such as going beyond invariant and monotonic usages. This thesis describes the three core mechanisms that enable our type-based technique to work: 1) we show how a protocol models an alias’s perspective on how the shared state evolves and constrains that alias’s interactions with the shared state; 2) we show how protocols can be used while enforcing the agreed interference contract; and finally, 3) we show how to check that all local protocols to some shared state can be safely composed to ensure globally safe interference over that shared memory. The interference caused by shared state is rooted at how the uses of di↵erent aliases to that state may be interleaved (perhaps even in non-deterministic ways) at run-time. Therefore, our technique is mostly agnostic as to whether this interference was the result of alias interleaving caused by sequential or concurrent semantics. We show implementations of our technique in both settings, and highlight their di↵erences. Because sharing is “first-class” (and not tied to a module), we show a polymorphic procedure that enables abstract compositions of protocols. Thus, protocols can be specialized or extended without requiring specific knowledge of the interference produce by other protocols to that state. We show that protocol composition can ensure safety even when considering abstracted protocols. We show that this core composition mechanism is sound, decidable (without the need for manual intervention), and provide an algorithm implementation.