Concise server-wide causality management for eventually consistent data stores

Large scale distributed data stores rely on optimistic replication to scale and remain highly available in the face of net work partitions. Managing data without coordination results in eventually consistent data stores that allow for concurrent data updates. These systems often use anti-entropy mechanisms (like Merkle Trees) to detect and repair divergent data versions across nodes. However, in practice hash-based data structures are too expensive for large amounts of data and create too many false conflicts. Another aspect of eventual consistency is detecting write conflicts. Logical clocks are often used to track data causality, necessary to detect causally concurrent writes on the same key. However, there is a nonnegligible metadata overhead per key, which also keeps growing with time, proportional with the node churn rate. Another challenge is deleting keys while respecting causality: while the values can be deleted, perkey metadata cannot be permanently removed without coordination. Weintroduceanewcausalitymanagementframeworkforeventuallyconsistentdatastores,thatleveragesnodelogicalclocks(BitmappedVersion Vectors) and a new key logical clock (Dotted Causal Container) to provides advantages on multiple fronts: 1) a new efficient and lightweight anti-entropy mechanism; 2) greatly reduced per-key causality metadata size; 3) accurate key deletes without permanent metadata.

Integration of geometric consistency contributory factors in three-leg junctions collision prediction models of Portuguese two-lane national highways

This paper aims at developing a collision prediction model for three-leg junctions located in national roads (NR) in Northern Portugal. The focus is to identify factors that contribute for collision type crashes in those locations, mainly factors related to road geometric consistency, since literature is scarce on those, and to research the impact of three modeling methods: generalized estimating equations, random-effects negative binomial models and random-parameters negative binomial models, on the factors of those models. The database used included data published between 2008 and 2010 of 177 three-leg junctions. It was split in three groups of contributing factors which were tested sequentially for each of the adopted models: at first only traffic, then, traffic and the geometric characteristics of the junctions within their area of influence; and, lastly, factors which show the difference between the geometric characteristics of the segments boarding the junctionsâ area of influence and the segment included in that area were added. The choice of the best modeling technique was supported by the result of a cross validation made to ascertain the best model for the three sets of researched contributing factors. The models fitted with random-parameters negative binomial models had the best performance in the process. In the best models obtained for every modeling technique, the characteristics of the road environment, including proxy measures for the geometric consistency, along with traffic volume, contribute significantly to the number of collisions. Both the variables concerning junctions and the various national highway segments in their area of influence, as well as variations from those characteristics concerning roadway segments which border the already mentioned area of influence have proven their relevance and, therefore, there is a rightful need to incorporate the effect of geometric consistency in the three-leg junctions safety studies.

Avaliação experimental de compósitos de agregados leves impregnados com PCM, para aplicação em pavimentos rodoviários

Este trabalho visa, em primeiro lugar, a caracterização experimental do comportam ento de argamassas com materiais de mudança de fase (PCM) incorporados através de agregados leves, comparativamente com argamassas de referência sem incorporação de PCM. Verifica-se que a aplicação de argamassas com PCM em camadas de desgaste de pavimentos contribui para a minimização dos potenciais efeitos negativos de gelo e degelo. Os estudos experimentais permitem concluir que o método utilizado de impregnação de PCM em materiais porosos, para posterior incorporação em argamassa ou betão, é um método simples, mas muito eficaz. Os resultados indicam ainda que os materiais compósitos com PCM incorporado, podem melhorar a inércia térmica, bem como, atrasar o tempo de eventual ocorrência de congelamento sob a camada de desgaste de um pavimento

Epidemic store for massive scale systems

The MAP-i doctoral program of the Universities of Minho, Aveiro and Porto

Controlo da qualidade de betões

Dissertação de mestrado em Construção e Reabilitação Sustentáveis

Mais além de quem escreve: “Eu também posso ser Ilustrador”: desenvolvendo múltiplas linguagens num projeto curricular integrado

Relatório de estágio de mestrado em Educação Pré-Escolar

O desafio da sustentabilidade e da solidariedade na prática dos profissionais de turismo. O turismo de voluntariado no Brasil

Tese de Doutoramento em Geografia - Geografia Humana

Para um (novo) modelo de intervenção penal na União Europeia: uma reflexão a partir do princípio de legalidade como limite material de atuação da Procuradoria Europeia

Tese de Doutoramento em Ciências Jurídicas (área de especialização em Ciências Jurídicas - Públicas)

Prontidão escolar: validação de um instrumento Lollipop Test numa amostra portuguesa: crenças de progenitores e educadores de infância

Dissertação de mestrado integrado em Psicologia

Mudança narrativa: emergência e evolução de protonarrativas em terapia cognitivo - comportamental

Dissertação de mestrado integrado em Psicologia

O Display da morte na ficção de José Saramago

Tese de Doutoramento em Ciências da Literatura (área de especialização em Literatura Portuguesa).

Development and psychometric properties of ECPICID-AVC to measure informal caregivers’ skills when caring for older stroke survivors at home

Introduction: Informal caregivers provide a significant part of the total care needed by dependent older people poststroke. Although informal care is often the preferred option of those who provide and those who receive informal care, informal caregivers often report lack of preparation to take care of older dependent people. This article outlines the development and psychometric testing of informal caregivers’ skills when providing care to older people after a stroke – ECPICID-AVC. Design: Prospective psychometric instrument validation study. Methods: Eleven experts participated in a focus group in order to delineate, develop and validate the instrument. Data were gathered among adult informal caregivers (n = 186) living in the community in Northern Portugal from August 2013 to January 2014. Results: The 32-item scale describes several aspects of informal caregiver’s skills. The scale has eight factors: skill to feed/hydrate by nasogastric feeding, skill to assist the person in personal hygiene, skill to assist the person for transferring, skill to assist the person for positioning, skill to provide technical aids, skill to assist the person to use the toilet, skill to feed/hydrate and skill to provide technical aids for dressing/undressing. Analysis demonstrated adequate internal consistency (Cronbach’s alpha = 0.83) and good temporal stability 0.988 (0.984–0.991). Conclusion: The psychometric properties of the measurement tool showed acceptable results allowing its implementation in clinical practice by the nursing community staff for evaluating practical skills in informal caregivers when providing care to older stroke survivors living at home.

História da Biologia no séc. XX – momentos epistemológicos relevantes

Nesta comunicação apresentamos os três momentos epistemológicos mais pertinentes na história da Biologia no séc. XX. Começamos por enunciar o papel da Embriologia no início daquele século, com teorias vinculadas ao paradigma mecanicista-newtoniano (darwinismo) e ao aristotélico - ptolemaico (criacionismos).Este momento manifesta a passagem de um paradigma a um outro dentro da Biologia, e daí a sua importância.O segundo momento por nós escolhido situa-se inevitavelmente nos anos 60, com o surgimento do DNA. A capacidade, fornecida pela tecnologia, de visualizar o interior da célula criou a necessidade de recorrer à teoria da informação para descrição dos fenómenos observados. Tal marcará para sempre o desenvolvimento da biologia molecular, a sua instauração como teoria predominante, e quase exclusiva, da Biologia contemporânea, enquadrada no paradigma mecanicista newtoniano. O terceiro e último momento por nós salientado vincula-se a uma eventual transição dentro da Biologia, com teorias a emergirem alicerçadas no holismo epistemológico do pretenso paradigma da complexidade. Eventual transição e pretenso paradigma pois na história da ciência precisamos que passem mais uns três decénios para sabermos se as teorias biológicas que nos anos 80 surgiram conotados com o movimento da auto-organização se podem considerar como tendo constituído como novo paradigma; para tal, terá que se tornar o predominante na cultura ocidental, como nos lembra Kuhn. Algumas das teorias biológicas vinculadas a esse eventual paradigma, que caracterizamos, surgiram antes dos anos 80 mas a sua dimensão extremamente minoritária em biologia quase as eclipsaram; sobreviveram curiosamente graças às ciências sociais e humanas, sendo que actualmente possuem um estatuto de legitimidade dentro de alguma linhagem científica em Biologia. Os seus autores principais são G.Bateson, H. Maturana, F. Varela, S. Kauffman e H. Atlan

Influence of climate on clinical diagnostic dry eye tests: pilot study

Purpose. To analyze dry eye disease (DED) tests and their consistency in similar nonsymptomatic population samples living in two geographic locations with different climates (Continental vs. Atlantic). Methods. This is a pilot study including 14 nonsymptomatic residents from Valladolid (Continental climate, Spain) and 14 sex-matched and similarly aged residents from Braga (Atlantic climate, Portugal); they were assessed during the same season (spring) of two consecutive years. Phenol red thread test, conjunctival hyperemia, fluorescein tear breakup time, corneal and conjunctival staining, and Schirmer test were evaluated on three different consecutive visits. Reliability was assessed using the intraclass correlation coefficient and weighted kappa (J) coefficient for quantitative and ordinal variables, respectively. Results. Fourteen subjects were recruited in each city with a mean (TSD) age of 63.0 (T1.7) and 59.1 (T0.9) years (p = 0.08) in Valladolid and Braga, respectively. Intraclass correlation coefficient and J values of the tests performed were below 0.69 and 0.61, respectively, for both samples, thus showing moderate to poor reliability. Subsequently, comparisons were made between the results corresponding to the middle and higher outdoor relative humidity (RH) visit in each location as there were no differences in mean temperature (p Q 0.75) despite RH values significantly differing (p e 0.005). Significant (p e 0.05) differences were observed between Valladolid and Braga samples on tear breakup time (middle RH visit, 2.76 T 0.60 vs. 5.26 T 0.64 seconds; higher RH visit, 2.61 T 0.32 vs. 5.78 T 0.88 seconds) and corneal (middle RH, 0.64 T 0.17 vs. 0.14 T 0.10; higher RH, 0.60 T 0.22 vs. 0.0 T 0.0) and conjunctival staining (middle RH, 0.61 T 0.17 vs. 0.14 T 0.08; higher RH, 0.57 T 0.15 vs. 0.18 T 0.09). Conclusions. This pilot study provides initial evidence to support that DED test outcomes assessing the ocular surface integrity and tear stability are climate dependent. Future large-sample studies should support these outcomes also in DED patients. This knowledge is fundamental for multicenter clinical trials. Lack of consistency in diagnostic clinical tests for DED was also corroborated. (Optom Vis Sci 2015;92:e284Ye289)

Validation of a method to measure light distortion surrounding a source of glare

Our objective was to validate a new device dedicated to measure the light disturbances surrounding bright sources of light under different sources of potential variability. Twenty subjects were involved in the study. Light distortion was measured using an experimental prototype (light distortion analyzer, CEORLab, University of Minho, Portugal) comprising twenty-four LED arrays panel at 2 m. Sources of variability included: intrasession and intersession repeated measures, pupil size (3 versus 6 mm), defocus (þ0.50) correction for the working distance, angular resolution (15 deg versus 30 deg), temporal stimuli presentation, and pupil size. Size, shape, location, and irregularity parameters have been obtained. At a low speed of presentation of the stimuli, changes in angular resolution did not have an effect on the results of the parameters measured. Results did not change with pupil size. Intensity of the central glare source significantly influenced the outcomes. Examination time was reduced by 30% when a 30 deg angular resolution was explored instead of 15 deg. Measurements were fast and repeatable under the same experimental conditions. Size and shape parameters showed the highest consistency, whereas location and irregularity parameters showed lower consistency. The system was sensitive to changes in the intensity of the central glare source but not to pupil changes in this sample of healthy subjects.