Real-time collaborative editing of OutSystems DSL models

Real-time collaborative editing systems are common nowadays, and their advantages are widely recognized. Examples of such systems include Google Docs, ShareLaTeX, among others. This thesis aims to adopt this paradigm in a software development environment. The OutSystems visual language lends itself very appropriate to this kind of collaboration, since the visual code enables a natural flow of knowledge between developers regarding the developed code. Furthermore, communication and coordination are simplified. This proposal explores the field of collaboration on a very structured and rigid model, where collaboration is made through the copy-modify-merge paradigm, in which a developer gets its own private copy from the shared repository, modifies it in isolation and later uploads his changes to be merged with modifications concurrently produced by other developers. To this end, we designed and implemented an extension to the OutSystems Platform, in order to enable real-time collaborative editing. The solution guarantees consistency among the artefacts distributed across several developers working on the same project. We believe that it is possible to achieve a much more intense collaboration over the same models with a low negative impact on the individual productivity of each developer.

A Classificação Internacional de Funcionalidade, Incapacidade e Saúde : um modelo multidimensional e multideterminado da funcionalidade em idosos assistidos na Rede

RESUMO: Os estudos sobre a funcionalidade da população idosa têm uma representação importante naquilo que é o atual conhecimento da demografia do mundo. Portugal posiciona-se e perspetiva-se como pertencendo aos países mais envelhecidos, possuindo uma rede de cuidados pós-agudos – a Rede Nacional de Cuidados Continuados Integrados (RNCCI)– que assiste uma parcela importante dessa população. Os aspetos conceptuais da funcionalidade de acordo com a OMS e operacionalizados pela Classificação Internacional de Funcionalidade (CIF), não mereceram até agora suficiente aplicabilidade no nosso país, inviabilizando a possibilidade de oferecermos contributos para a sua operacionalização. Da mesma forma, também os Core Sets da Classificação não têm sido sujeitos a processos de validação que contemplem amostras portuguesas, mantendo-se desconhecimento da especificidade dos fatores contextuais na nossa população. O presente estudo tem como objetivos conhecer a evolução da funcionalidade dos idosos assistidos na RNCCI na região do Algarve nas unidades de convalescença e média duração, validar o Core Set Geriátrico da OMS e propor uma versão abreviada da sua modalidade abrangente, no contexto destes cuidados. A amostra constituída por 451 idosos, dos quais 62,1% eram mulheres, revelou na pré-morbilidade níveis favoráveis de funcionalidade, com exceção para as Atividades Domésticas. Contudo, os mais idosos (≥ 85 anos), os indivíduos sem escolaridade, as mulheres e os viúvos/solteiros apresentaram mais casos desfavoráveis quando comparados com os seus pares. Na evolução da funcionalidade observámos melhorias significativas em todos os domínios avaliados, com diferenças relativamente à idade e à escolaridade; apesar dos resultados positivos os mais idosos e os indivíduos sem escolaridade apresentaram níveis inferiores de evolução. No entanto, a funcionalidade alcançada revelou ficar com resultados significativamente inferiores na comparação com aquela que os indivíduos possuíam na pré-morbilidade. Os modelos de regressão revelaram que as Funções Mentais, a Perceção do Estado de Saúde e a atividade Usar o Telefone, foram as variáveis que melhor explicaram os outcomes da funcionalidade alcançada. A validação do Core Set Geriátrico foi possível na maioria das categorias, sendo que foi no componente das Funções do Corpo onde esse processo revelou maior fragilidade. As Funções Neuromusculoesqueléticas e Relacionadas com o Movimento foram aquelas que registaram em ambos os momentos avaliativos frequências mais elevadas de deficiência, enquanto no componente Atividades & Participação isso ocorreu na atividade Utilização dos Movimentos Finos da Mão. Os capítulos Apoios e Relacionamentos e Atitudes foram considerados os Fatores Ambientais mais Facilitadores mas também com maior impacto Barreira. A proposta para o Core Set Geriátrico Abreviado resultou das categorias independentes que explicaram os modelos da funcionalidade alcançada e cujo resultado engloba um conjunto de 27 categorias, com um enfoque importante no componente Atividades/Participação de onde se destacam os domínios da Mobilidade e dos Auto Cuidados. A funcionalidade dos indivíduos e das populações deve ser considerada uma variável incontornável da Saúde Pública, cuja avaliação deve refletir uma abordagem biopsicossocial, apoiada na Classificação Internacional de Funcionalidade. A operacionalização da Classificação a partir dos Core Sets necessita de pesquisa mais aprofundada relativamente às caraterísticas psicométricas dos seus qualificadores e dos seus processos de validação.-----------ABSTRACT: The studies about the functioning of the elderly play an important role on what the present knowledge of the demography in the world is. Portugal figures high on the most aged countries, having a network of post-acute care - the National Network of Integrated Continuous Care (RNCCI) - which assists a large part of that population. The conceptual aspects of functioning according to WHO and operated by the International Classification of Functioning (ICF), have been insufficiently addressed concerning its adequate applicability in our country, hindering the contributions of its operation. In the same way, also the Core Sets of the Classification have not been subjected to validation procedures that include portuguese samples, keeping the unawareness of specificity of the contextual factors in our population. The objectives of the present study were to know the evolution of the functioning of the elderly assisted in the RNCCI in the Algarve region in units of convalescence and average duration, validate the WHO Geriatric Core Set and propose an abridged version of this comprehensive core set in this healthcare context. The sample was composed by 451 elderly people, of which 62.1% were women, they showed favourable levels in functioning in the pre-morbid state, except for Domestic Activities. However, the oldest (≥ 85 years), the individuals with no education, women and widowed/ unmarried showed more unfavourable cases when compared to their peers. In the evolution of functioning we observed significant improvements in all domains assessed, with diferences with respect to age and education. In spite of positive results, the oldest and the individuals with no education showed lower levels of evolution. However, the functioning achieved showed significantly lower results when compared to the those observed in pre-morbidity state. Regression models reveal that Mental Functions, the Perceived Health Status and the Use of the Phone activity, were the variables that better explain the functioning of the outcomes achieved. The validation of the Geriatric Core Set of ICF was possible in most categories, and Body Functions was the component where this process showed greatest weakness. Neuromusculoskeletal and Movement-Related Functions experienced in both evaluation times with higher rates of disability, while in the Activities & Participation component this occurred in the Fine Hand Use activity. The Support and Relationships and Attitudes chapters were considered the Environmental Factors most Facilitators but also with greater impact Barrier. The proposal for the Brief Geriatric Core Set has resulted from the independent categories that explained the regression models of functioning and includes a set of 27 categories, with na important emphasis on Activities & Participation component where we can highlight the areas of Mobility and Self Care domains. The functioning of individuals and populations should be considered as an unavoidable variable of Public Health, of which the assessment should reflect a biopsychosocial approach, based on the International Classification of Functioning. The operationalization of the Classification from the Core Sets requires further research regarding the psychometric characteristics of their qualifiers and their validation procedure.

Use of Poisson spatiotemporal regression models for the Brazilian Amazon Forest: malaria count data

INTRODUCTION: Malaria is a serious problem in the Brazilian Amazon region, and the detection of possible risk factors could be of great interest for public health authorities. The objective of this article was to investigate the association between environmental variables and the yearly registers of malaria in the Amazon region using Bayesian spatiotemporal methods. METHODS: We used Poisson spatiotemporal regression models to analyze the Brazilian Amazon forest malaria count for the period from 1999 to 2008. In this study, we included some covariates that could be important in the yearly prediction of malaria, such as deforestation rate. We obtained the inferences using a Bayesian approach and Markov Chain Monte Carlo (MCMC) methods to simulate samples for the joint posterior distribution of interest. The discrimination of different models was also discussed. RESULTS: The model proposed here suggests that deforestation rate, the number of inhabitants per km², and the human development index (HDI) are important in the prediction of malaria cases. CONCLUSIONS: It is possible to conclude that human development, population growth, deforestation, and their associated ecological alterations are conducive to increasing malaria risk. We conclude that the use of Poisson regression models that capture the spatial and temporal effects under the Bayesian paradigm is a good strategy for modeling malaria counts.

Investing beyond the core: The case of Soares da Costa

This study aims to analyze how Grupo Soares da Costa, a diversified group centered on construction, behaved in terms of strategy to the current crisis. More specifically, it purposes to understand why Soares da Costa was forced to abandon its strategic plan “Ambições Renovadas”, which was about diversification and internationalization, to decide to focus on it core business. This study uses a SWOT analysis, the examination of the strategic plans and annual reports and the conclusions of two interviews that were carried out. Being the construction sector such a traditional and significant sector to the Portuguese economy, it is important to understand what a company can do to overcome such circumstances. To deal with all the negative circumstances, Soares da Costa should give priority to projects that require low levels of initial capital and diversify geographically to markets with similar characteristics of Angola and Mozambique, where Soares da Costa already excels.

Hepatitis B virus infection in children, adolescents, and their relatives: genotype distribution and precore and core gene mutations

INTRODUCTION:The objectives of this study were evaluate hepatitis B virus (HBV) serological markers in children and adolescents followed up at the Child Institute of the Hospital das Clínicas, Faculdade de Medicina de São Paulo, Universidade de São Paulo; identify chronic HBV carriers and susceptible individuals in the intrafamilial environment; characterize HBV genotypes; and identify mutations in the patients and household contacts. METHODS: Ninety-five hepatitis B surface antigen-positive children aged <19 years and 118 household contacts were enrolled in this study. Commercial kits were used for the detection of serological markers, and PCR was used for genotyping. RESULTS: Hepatitis B e antigen (HBeAg) was detected in 66.3% (63/95) of cases. Three of the 30 HBeAg-negative and anti-HBeAg-positive patients presented with precore mutations and 11 presented with mutations in the basal core promoter (BCP). Genotype A was identified in 39 (43.8%) patients, genotype D in 45 (50.6%), and genotype C in 5 (5.6%). Of the 118 relatives, 40 were chronic HBV carriers, 52 presented with the anti-HBc marker, 19 were vaccinated, and 7 were susceptible. Among the relatives, genotypes A, D, and C were the most frequent. One parent presented with a precore mutation and 4 presented with BCP mutations. CONCLUSIONS: Genotypes A and D were the most frequent among children, adolescents, and their relatives. The high prevalence of HBV in the families showed the possibility of its intrafamilial transmission.

Simplified wind turbine models for wind energy integration into power systems

This paper analyses the boundaries of simplified wind turbine models used to represent the behavior of wind turbines in order to conduct power system stability studies. Based on experimental measurements, the response of recent simplified (also known as generic) wind turbine models that are currently being developed by the International Standard IEC 61400-27 is compared to complex detailed models elaborated by wind turbine manufacturers. This International Standard, whose Technical Committee was convened in October 2009, is focused on defining generic simulation models for both wind turbines (Part 1) and wind farms (Part 2). The results of this work provide an improved understanding of the usability of generic models for conducting power system simulations.

Development of 3D in vitro models for prediction of hepatic metabolism and toxicity

The development of human cell models that recapitulate hepatic functionality allows the study of metabolic pathways involved in toxicity and disease. The increased biological relevance, cost-effectiveness and high-throughput of cell models can contribute to increase the efficiency of drug development in the pharmaceutical industry. Recapitulation of liver functionality in vitro requires the development of advanced culture strategies to mimic in vivo complexity, such as 3D culture, co-cultures or biomaterials. However, complex 3D models are typically associated with poor robustness, limited scalability and compatibility with screening methods. In this work, several strategies were used to develop highly functional and reproducible spheroid-based in vitro models of human hepatocytes and HepaRG cells using stirred culture systems. In chapter 2, the isolation of human hepatocytes from resected liver tissue was implemented and a liver tissue perfusion method was optimized towards the improvement of hepatocyte isolation and aggregation efficiency, resulting in an isolation protocol compatible with 3D culture. In chapter 3, human hepatocytes were co-cultivated with mesenchymal stem cells (MSC) and the phenotype of both cell types was characterized, showing that MSC acquire a supportive stromal function and hepatocytes retain differentiated hepatic functions, stability of drug metabolism enzymes and higher viability in co-cultures. In chapter 4, a 3D alginate microencapsulation strategy for the differentiation of HepaRG cells was evaluated and compared with the standard 2D DMSO-dependent differentiation, yielding higher differentiation efficiency, comparable levels of drug metabolism activity and significantly improved biosynthetic activity. The work developed in this thesis provides novel strategies for 3D culture of human hepatic cell models, which are reproducible, scalable and compatible with screening platforms. The phenotypic and functional characterization of the in vitro systems performed contributes to the state of the art of human hepatic cell models and can be applied to the improvement of pre-clinical drug development efficiency of the process, model disease and ultimately, development of cell-based therapeutic strategies for liver failure.

Predicting market direction with hidden Markov models

This paper develops the model of Bicego, Grosso, and Otranto (2008) and applies Hidden Markov Models to predict market direction. The paper draws an analogy between financial markets and speech recognition, seeking inspiration from the latter to solve common issues in quantitative investing. Whereas previous works focus mostly on very complex modifications of the original hidden markov model algorithm, the current paper provides an innovative methodology by drawing inspiration from thoroughly tested, yet simple, speech recognition methodologies. By grouping returns into sequences, Hidden Markov Models can then predict market direction the same way they are used to identify phonemes in speech recognition. The model proves highly successful in identifying market direction but fails to consistently identify whether a trend is in place. All in all, the current paper seeks to bridge the gap between speech recognition and quantitative finance and, even though the model is not fully successful, several refinements are suggested and the room for improvement is significant.

Knowledge management framework based on brain models and human physiology

The life of humans and most living beings depend on sensation and perception for the best assessment of the surrounding world. Sensorial organs acquire a variety of stimuli that are interpreted and integrated in our brain for immediate use or stored in memory for later recall. Among the reasoning aspects, a person has to decide what to do with available information. Emotions are classifiers of collected information, assigning a personal meaning to objects, events and individuals, making part of our own identity. Emotions play a decisive role in cognitive processes as reasoning, decision and memory by assigning relevance to collected information. The access to pervasive computing devices, empowered by the ability to sense and perceive the world, provides new forms of acquiring and integrating information. But prior to data assessment on its usefulness, systems must capture and ensure that data is properly managed for diverse possible goals. Portable and wearable devices are now able to gather and store information, from the environment and from our body, using cloud based services and Internet connections. Systems limitations in handling sensorial data, compared with our sensorial capabilities constitute an identified problem. Another problem is the lack of interoperability between humans and devices, as they do not properly understand human’s emotional states and human needs. Addressing those problems is a motivation for the present research work. The mission hereby assumed is to include sensorial and physiological data into a Framework that will be able to manage collected data towards human cognitive functions, supported by a new data model. By learning from selected human functional and behavioural models and reasoning over collected data, the Framework aims at providing evaluation on a person’s emotional state, for empowering human centric applications, along with the capability of storing episodic information on a person’s life with physiologic indicators on emotional states to be used by new generation applications.

Flood resilient housing recovery models: a theoretical case study in Maldives

Natural disasters are events that cause general and widespread destruction of the built environment and are becoming increasingly recurrent. They are a product of vulnerability and community exposure to natural hazards, generating a multitude of social, economic and cultural issues of which the loss of housing and the subsequent need for shelter is one of its major consequences. Nowadays, numerous factors contribute to increased vulnerability and exposure to natural disasters such as climate change with its impacts felt across the globe and which is currently seen as a worldwide threat to the built environment. The abandonment of disaster-affected areas can also push populations to regions where natural hazards are felt more severely. Although several actors in the post-disaster scenario provide for shelter needs and recovery programs, housing is often inadequate and unable to resist the effects of future natural hazards. Resilient housing is commonly not addressed due to the urgency in sheltering affected populations. However, by neglecting risks of exposure in construction, houses become vulnerable and are likely to be damaged or destroyed in future natural hazard events. That being said it becomes fundamental to include resilience criteria, when it comes to housing, which in turn will allow new houses to better withstand the passage of time and natural disasters, in the safest way possible. This master thesis is intended to provide guiding principles to take towards housing recovery after natural disasters, particularly in the form of flood resilient construction, considering floods are responsible for the largest number of natural disasters. To this purpose, the main structures that house affected populations were identified and analyzed in depth. After assessing the risks and damages that flood events can cause in housing, a methodology was proposed for flood resilient housing models, in which there were identified key criteria that housing should meet. The same methodology is based in the US Federal Emergency Management Agency requirements and recommendations in accordance to specific flood zones. Finally, a case study in Maldives – one of the most vulnerable countries to sea level rise resulting from climate change – has been analyzed in light of housing recovery in a post-disaster induced scenario. This analysis was carried out by using the proposed methodology with the intent of assessing the resilience of the newly built housing to floods in the aftermath of the 2004 Indian Ocean Tsunami.

The future of airline business models:

This research is titled “The Future of Airline Business Models: Which Will Win?” and it is part of the requirements for the award of a Masters in Management from NOVA BSE and another from Luiss Guido Carlo University. The purpose is to elaborate a complete market analysis of the European Air Transportation Industry in order to predict which Airlines, strategies and business models may be successful in the next years. First, an extensive literature review of the business model concept has been done. Then, a detailed overview of the main European Airlines and the strategies that they have been implementing so far has been developed. Finally, the research is illustrated with three case studies

Hepatitis B virus genotypes and mutations in the basal core promoter and pre-core/core in chronically infected patients in southern Brazil: a cross-sectional study of HBV genotypes and mutations in chronic carriers

Introduction In Brazil, little data exist regarding the distribution of genotypes in relation to basal core promoter (BCP) and precore/core mutations among chronic hepatitis B virus (HBV) carriers from different regions of the country. The aim of this study was to identify HBV genotypes and the frequency of mutations at the BCP and precore/core region among the prevalent genotypes in chronic carriers from southern Brazil. Methods Nested-polymerase chain reaction (nested-PCR) products amplified from the S-polymerase gene, BCP and precore/core region from 54 samples were sequenced and analyzed. Results Phylogenetic analysis of the S-polymerase gene sequences showed that 66.7% (36/54) of the patients were infected with genotype D (D1, D2, D3), 25.9% (14/54) with genotype A (A1, A2), 5.6% (3/54) with subgenotype C2, and 2% (1/54) with genotype E. A comparison of virological characteristics showed significant differences between genotypes A, C and D. The comparison between HBeAg status and the G1896A stop codon mutation in patients with genotype D revealed a relationship between HBV G1896A precore mutants and genotype D and hepatitis B e antigen (HBeAg) seroconversion. Genotype D had a higher prevalence of the G1896A mutation and the presence of a thymine at position 1858. Genotype A was associated with a higher prevalence of the G1862T mutation and the presence of a cytosine at position 1858. Conclusions HBV genotype D (D3) is predominant in HBV chronic carriers from southern Brazil. The presence of mutations in the BCP and precore/core region was correlated with the HBV genotype and HBeAg negative status.

Avaliação económica em transplantação renal : abordagem estratégica do processo de doação e análise de custo-utilidade do programa de transplantação renal versus hemodiálise

SUMÁRIO - O desafio atual da Saúde Pública é assegurar a sustentabilidade financeira do sistema de saúde. Em ambiente de recursos escassos, as análises económicas aplicadas à prestação dos cuidados de saúde são um contributo para a tomada de decisão que visa a maximização do bem-estar social sujeita a restrição orçamental. Portugal é um país com 10,6 milhões de habitantes (2011) com uma incidência e prevalência elevadas de doença renal crónica estadio 5 (DRC5), respetivamente, 234 doentes por milhão de habitantes (pmh) e 1.600 doentes/pmh. O crescimento de doenças associadas às causas de DRC, nomeadamente, diabetes Mellitus e hipertensão arterial, antecipam uma tendência para o aumento do número de doentes. Em 2011, dos 17.553 doentes em tratamento substitutivo renal, 59% encontrava-se em programa de hemodiálise (Hd) em centros de diálise extra-hospitalares, 37% viviam com um enxerto renal funcionante e 4% estavam em diálise peritoneal (SPN, 2011). A lista ativa para transplante (Tx) renal registava 2.500 doentes (SPN 2009). O Tx renal é a melhor modalidade terapêutica pela melhoria da sobrevida, qualidade de vida e relação custo-efetividade, mas a elegibilidade para Tx e a oferta de órgãos condicionam esta opção. Esta investigação desenvolveu-se em duas vertentes: i) determinar o rácio custo-utilidade incremental do Tx renal comparado com a Hd; ii) avaliar a capacidade máxima de dadores de cadáver em Portugal, as características e as causas de morte dos dadores potenciais a nível nacional, por hospital e por Gabinete Coordenador de Colheita e Transplantação (GCCT), e analisar o desempenho da rede de colheita de órgãos para Tx. Realizou-se um estudo observacional/não interventivo, prospetivo e analítico que incidiu sobre uma coorte de doentes em Hd que foi submetida a Tx renal. O tempo de seguimento mínimo foi de um ano e máximo de três anos. No início do estudo, colheram-se dados sociodemográficos e clínicos em 386 doentes em Hd, elegíveis para Tx renal. A qualidade de vida relacionada com a saúde (QVRS) foi avaliada nos doentes em Hd (tempo 0) e nos transplantados, aos três, seis, 12 meses, e depois, anualmente. Incluíram-se os doentes que por falência do enxerto renal transitaram para Hd. Na sua medição, utilizou-se um instrumento baseado em preferências da população, o EuroQol-5D, que permite o posterior cálculo dos QALY. Num grupo de 82 doentes, a QVRS em Hd foi avaliada em dois tempos de resposta o que permitiu a análise da sua evolução. Realizou-se uma análise custo-utilidade do Tx renal comparado com a Hd na perspetiva da sociedade. Identificaram-se os custos diretos, médicos e não médicos, e as alterações de produtividade em Hd e Tx renal. Incluíram-se os custos da colheita de órgãos, seleção dos candidatos a Tx renal e follow-up dos dadores vivos. Cada doente transplantado foi utilizado como controle de si próprio em diálise. Avaliou-se o custo médio anual em programa de Hd crónica relativo ao ano anterior à Tx renal. Os custos do Tx foram avaliados prospetivamente. Considerou-se como horizonte temporal o ciclo de vida nas duas modalidades. Usaram-se taxas de atualização de 0%, 3% e 5% na atualização dos custos e QALY e efetuaram-se análises de sensibilidade one way. Entre 2008 e 2010, 65 doentes foram submetidos a Tx renal. Registaram-se, prospetivamente, os resultados em saúde incluíndo os internamentos e os efeitos adversos da imunossupressão, e o consumo dos recursos em saúde. Utilizaram-se modelos de medidas repetidas na avaliação da evolução da QVRS e modelos de regressão múltipla na análise da associação da QVRS e dos custos do transplante com as características basais dos doentes e os eventos clínicos. Comparativamente à Hd, observou-se melhoria da utilidade ao 3º mês de Tx e a qualidade de vida aferida pela escala EQ-VAS melhorou em todos os tempos de observação após o Tx renal. O custo médio da Hd foi de 32.567,57€, considerado uniforme ao longo do tempo. O custo médio do Tx renal foi de 60.210,09€ no 1º ano e 12.956,77€ nos anos seguintes. O rácio custo-utilidade do Tx renal vs Hd crónica foi de 2.004,75€/QALY. A partir de uma sobrevivência do enxerto de dois anos e cinco meses, o Tx associou-se a poupança dos custos. Utilizaram-se os dados nacionais dos Grupos de Diagnóstico Homogéneos e realizou-se um estudo retrospectivo que abrangeu as mortes ocorridas em 34 hospitais com colheita de órgãos, em 2006. Considerou-se como dador potencial o indivíduo com idade entre 1-70 anos cuja morte ocorrera a nível hospitalar, e que apresentasse critérios de adequação à doação de rim. Analisou-se a associação dos dadores potenciais com características populacionais e hospitalares. O desempenho das organizações de colheita de órgãos foi avaliado pela taxa de conversão (rácio entre os dadores potenciais e efetivos) e pelo número de dadores potenciais por milhão de habitantes a nível nacional, regional e por Gabinete Coordenador de Colheita e Transplantação (GCCT). Identificaram-se 3.838 dadores potenciais dos quais 608 apresentaram códigos da Classificação Internacional de Doenças, 9.ª Revisão, Modificações Clínicas (CID- 9-MC) que, com maior frequência, evoluem para a morte cerebral. O modelo logit para dados agrupados identificou a idade, o rácio da lotação em Unidades de Cuidados Intensivos e lotação de agudos, existência de GCCT e de Unidade de Transplantação, e mortalidade por acidente de trabalho como fatores preditivos da conversão dum dador potencial em efetivo e através das estimativas do modelo logit quantificou-se a probabilidade dessa conversão. A doação de órgãos deve ser assumida como uma prioridade e as autoridades em saúde devem assegurar o financiamento dos hospitais com programas de doação, evitando o desperdício de órgãos para transplantação, enquanto um bem público e escasso. A colheita de órgãos deve ser considerada uma opção estratégica da atividade hospitalar orientada para a organização e planeamento de serviços que maximizem a conversão de dadores potenciais em efetivos incluindo esse critério como medida de qualidade e efetividade do desempenho hospitalar. Os resultados deste estudo demonstram que: 1) o Tx renal proporciona ganhos em saúde, aumento da sobrevida e qualidade de vida, e poupança de custos; 2) em Portugal, a taxa máxima de eficácia da conversão dos dadores cadavéricos em dadores potenciais está longe de ser atingida. O investimento na rede de colheita de órgãos para Tx é essencial para assegurar a sustentabilidade financeira e promover a qualidade, eficiência e equidade dos cuidados em saúde prestados na DRC5.

Building 3D City Models: Testing and Comparing Laser Scanning and Low-Cost UAV Data Using FOSS Technologies

Contém resumo

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.