Specification of a partial replication protocol with TLA+

Nowadays, data available and used by companies is growing very fast creating the need to use and manage this data in the most efficient way. To this end, data is replicated overmultiple datacenters and use different replication protocols, according to their needs, like more availability or stronger consistency level. The costs associated with full data replication can be very high, and most of the times, full replication is not needed since information can be logically partitioned. Another problem, is that by using datacenters to store and process information clients become heavily dependent on them. We propose a partial replication protocol called ParTree, which replicates data to clients, and organizes clients in a hierarchy, using communication between them to propagate information. This solution addresses some of these problems, namely by supporting partial data replication and offline execution mode. Given the complexity of the protocol, the use of formal verification is crucial to ensure the protocol two correctness properties: causal consistency and preservation of data. The use of TLA+ language and tools to formally specificity and verify the proposed protocol are also described.

Pelvic lymphoscintigraphy: contribution to the preoperative staging of rectal cancer

PURPOSE: Preservation of the anal sphincter in surgery for cancer of the distal rectum in an attempt to avoid colostomy has been a main concern of colorectal surgeons. Various proposed procedures contradict oncological principles, especially with respect to pelvic lymphadenectomy. Therefore, prior knowledge of pelvic lymph node involvement is an important factor in choosing the operative technique, i.e., radical or conservative resection. Introduction of ultrasound, computerized tomography, and magnetic resonance have made preoperative study of the area possible. Nevertheless, these resources offer information of an anatomical nature only. Lymphoscintigraphy enables the morphological and functional evaluation of the pelvic area and contributes toward complementing the data obtained with the other imaging techniques. The objective of this prospective study is twofold: to standardize the lymphoscintigraphy technique and to use it to differentiate patients with rectal cancer from those with other coloproctologic diseases. CASUISTIC AND METHODS: Sixty patients with various coloproctologic diseases were studied prospectively. Ages ranged from 21 to 96 years (average, 51 and median, 55 years). Twenty-six patients were male and 34 were female. Thirty patients had carcinoma of the distal rectum as diagnosed by proctologic and anatomic-pathologic examinations, 20 patients had hemorrhoids, 5 had chagasic megacolon, 2 had diverticular disease, 2 had neoplasm of the right colon, and 1 had ulcerative colitis as diagnosed by proctologic exam and/or enema. The lymphoscintigraphy method consisted of injecting 0.25 mL of a dextran solution marked with radioactive technetium-99m into the right and left sides of the perianal region and obtaining images with a gamma camera. The results were analyzed statistically with a confidence level of 95% (P < .05) using the following statistical techniques: arithmetic and medium average, Fisher exact test, chi-square test corrected for continuity according to Yates, and distribution tables for the number of patients. RESULTS: In rectal cancer, the tracer progresses unilaterally or is absent; in other patients, the progress of the tracer is bilateral and symmetrical, although its progress may be slow. Statistical tests showed with high significance that the agreement index between the clinical diagnosis and the result of the lymphoscintigraphic exam was 93%. CONCLUSIONS: Lymphoscintigraphy is a standardized, painless, and harmless test that can be performed in all cases; it differentiates patients with rectal cancer from those with other coloproctological diseases.

Advances in radiochemotherapy in the treatment of head and neck cancer

New advances are being incorporated into the radiochemotherapy treatment of squamous cell carcinoma of the head and neck. Although the overall prognosis is poor in advanced stages, the possibility of incorporating combined protocols of chemotherapy and radiotherapy for organ preservation or for palliation in cases of recurrent/locally advanced stages that are not good surgical candidates must not be forgotten. In this context, there is an urgent need to incorporate quality of life questionnaires and functional evaluation into organ-preservation studies, as well as to assure the importance of surgical salvage after radiotherapy and chemotherapy protocols. The authors provide an extensive review of the advances occurring in the nonsurgical treatment of head and neck cancer. Special attention is given to different radiotherapy protocols, new chemotherapy combinations, molecular markers, and molecular therapy as well as the possibility of incorporating re-irradiation and adjuvant therapy after surgery.

Reconnaissance study of macrofossils from the upper purus river - Western Amazônia.

Fossils of wood, bone and teeth found along the Upper Purus River οf Amazonia. were studied using conventional microscopy and scanning electron microscopy. Mass spectometry was also used to investigate minor and trace element signatures of bone samples.The microsopy studies showed that there was little alteration of original textures. In the fossil wood samples, identified In thin section as tropical hardwood trees, the replacement of the original material with siderite suggests that fossilization occured in shallow sediments in which interstitial waters were saturated with respect to iron carbenate. In samples of both fossilized bone and wood, precipitation of secondary iron phases was commonly observed in cracks and voids. Other secondary phases Included silica, iron oxides, manganese carbonate. The intimate assοciation οf these secondary phases with the original biological structures could be evidence for a microbiological role in the formation of these phases. The similarity in rare earth element (REE) signatures for 2 fossil bone samples from different modern locations indicates their having shared similar diagenetic histories.The virtually complete preservation of original textures suggests that microscοpic studies could be useful in classifying fossil and even in identifying original materials. Rare carth signatures in fossilized bone may reflect ground water compositions at the time of fossilization.

Gestão de crises de âmbito policial

The issues concerning Crisis Situations under the scope of police activity, raised after incidents considered critical, has emerged with greater intensity during the most recent decades, posing a major challenge for police forces around the world. These are situations or events of crucial importance, involving hostage taken or barricaded individuals, in which inevitably human lives are at risk, requiring from law enforcement agencies a specific response capability, i.e., a type of intervention not framed under the parameters considered as routine, in order to obtain solutions to minimize the possibility of casualties. Because this is about impacting situations of extreme gravity, where the preservation of human lives is concerned and, in many cases, the very Rule of Law as well, we understand the need for police forces to adapt to new procedures and working methods. Such procedures are an enormously complex task that requires the coordination and articulation of several components, including not infrequently the performance of different police forces, as well as organizations and entities with varied powers and duties, which implies the need for effective management. This explains the emergence of Crisis Management Structures, imposing to determine which are their fundamental components, their importance, how they interconnect, and their major goal. The intrinsic features will also be analyzed in the aspect that we consider to be the fundamental groundwork of a Crisis Management Structure, i.e., Negotiation itself, considering it as a kind of police intervention, where a wide range of procedures feeds a channel of dialogue, aiming at minimizing the damage resultant from an extreme action, in particular, to prevent the death of any of those involved. This is in essence the path we have chosen to develop this study, trying to find out an answer to the fundamental question: What model of Crisis Management Structure should be adopted to manage a critical event involving hostage negotiation?

Gestão de correio eletrónico em ambiente organizacional : uma perspetiva arquivística

O presente estudo tem como objetivo compreender a valoração de uma mensagem de correio eletrónico em ambiente corporativo, e respetiva integração no arquivo empresarial. Objetivamos, nos primeiros capítulos, descrever o modelo metodológico aplicado. Seguidamente, apresentamos uma revisão bibliográfica assente em literatura inerente à temática dos circuitos informacionais na empresa, e documentação eletrónica resultante dos mesmos, com ênfase nas mensagens de correio eletrónico. A investigação empírica teve por base a aplicação de um inquérito por questionário, tendo por amostra um grupo profissional pré-selecionado, com acesso regular a um sistema de correio eletrónico. Os resultados obtidos através da análise do material empírico permitem-nos observar uma utilização preferencial do correio eletrónico face a outros suportes comunicacionais, constituindo-se as mensagens eletrónicas no documento produzido em maior escala, em ambiente profissional. Foram igualmente verificados casos de ausência de regulamentação para criação, gestão ou arquivo de mensagens, ou mesmo de um sistema de gestão documental que permita integração das mesmas. Com base na análise empírica, e em associação com a revisão bibliográfica explanada, concluímos que estas, e outras questões enunciadas ao longo do estudo, poderão constituir-se num sério obstáculo à gestão, preservação, recuperação e integridade da informação registada por meio de mensagens de correio eletrónico, caso não sejam criados e aplicados procedimentos e sistemas de gestão orientados para a documentação eletrónica, de forma a garantir o acesso a informação de fulcral importância para empresa, enquanto evidência e memória dos processos e atividades organizacionais.

Inventário e valorização do património arqueológico do concelho da Chamusca : da época Romana à época Moderna

O presente relatório resulta do estágio efetuado na Câmara Municipal da Chamusca. O mesmo teve como objetivo a realização de um inventário do património arqueológico do concelho da Chamusca, centrado nos períodos da época Romana à Moderna, elaborando conjuntamente uma observação sobre o respetivo povoamento do território. O inventário realizado compilou toda a informação identificada nas fontes bibliográficas nos documentos da época já publicados e nas informações orais que se foram recolhendo. Posteriormente, procedeu-se à confirmação dos dados no terreno, através de uma prospeção dirigida aos sítios nos quais havia indícios de ocorrências patrimoniais. O desenvolvimento deste projeto e deste tipo de investigação possibilitou a identificação/relocalização de um número muito significativo de sítios e potenciais sítios arqueológicos, num total de 136 sítios. O seu inventário foi sistematizado e permitiu, assim, a compilação do conhecimento do património arqueológico deste município, contribuindo diretamente para a sua salvaguarda, preservação e valorização junto da comunidade. A autarquia passou agora a ter um instrumento essencial para a definição das políticas de salvaguarda do património, bem como para a definição das estratégias de desenvolvimento do seu território.

Contributos para um Plano de Preservação no Arquivo Intermédio da Câmara Municipal de Sintra

Os aquivos municipais preservam a documentação definida legalmente como de conservação permanente, a memória e a experiência da Administração Local e, como tal, são agentes imprescindíveis à preservação dos direitos municipais. A preocupação com a preservação da documentação deve constituir um dos pilares principais do arquivo desde o início da sua criação. E não somente quando a documentação é transferida para o Arquivo Histórico, deve estar presente durante todo o ciclo de vida da documentação. Com a criação do PARAM (Programa de Apoio à Rede de Arquivos Municipais), os arquivos municipais ganham um novo incremento, não só a nível técnico como a nível financeiro, sendo-lhe reconhecido o seu devido valor e importância, na sua dupla dimensão, administrativa e cultural. Uma das funções do arquivo é disponibilizar a documentação que têm à sua guarda e que se encontra armazenada nos depósitos. Para tal é fundamental criar condições a curto, a médio e a longo prazo, implementando toda uma política integrada de preservação, envolvendo os demais serviços da instituição, fazendo-se o controlo do estado de conservação da documentação, aplicando uma metodologia da manipulação de documentos para disponibilizá-los tanto aos clientes internos como externos. O Arquivo Intermédio da Câmara Municipal de Sintra não possui plano de preservação documental, nem ações de preservação extensíveis aos objetos digitais, daí que a presente tese de mestrado pretenda ser um proposta de um contributo de um plano de preservação, que tenha em consideração os demais aspetos desde a localização e construção ou manutenção do edifício onde se encontra o arquivo, questões de segurança, de controlo ambiental, de luz/fotodegradação, o controlo integrado de pragas, danos causados por água, os desastres naturais, a poluição, a limpeza e vigilância na zona de depósitos e armazenamento e manuseamento dos documentos.

A educação para a saúde em meio escolar como veículo construtor para a mudança de comportamentos alimentares

Relatório de estágio de mestrado em Educação Pré-Escolar e Ensino do 1º Ciclo do Ensino Básico

Prestress losses in reinforced concrete beams strengthened with NSM-CFRP laminates

Using prestressed near surface mounted fibre reinforced polymers (NSM-FRP) is nowadays regaining the attention from the scientific community for the strengthening of existing reinforced concrete (RC) structures. The application of prestressed internal FRP bars and externally bonded prestressed FRPs has already been deeply investigated and revealed considerable benefits when compared to the corresponding passive solutions. A certain amount of prestress provides benefits mainly associated to structural integrity and material durability. Immediately after prestress transference, it is possible to close some of the existing cracks, decreasing the susceptibility of the element to corrosion and, a certain amount of deflection can be recovered due to the creation of a negative curvature. However, very few studies have been carried out to properly assess the preservation of prestress over time. In this context, several reinforced concrete beams strengthened with prestressed NSM carbon FRP (CFRP) laminates were prestressed and monitored for about 40 days. The data obtained from these experimental programs is in this paper presented and analysed. The observed prestress losses were later modelled using finite elements analysis and, although this topic is not addressed in this paper, the obtained results revealed considerable precision. The largest strain losses in the CFRP laminate were found to be mainly located in the extremities of the bonded length, while in the central zone most of the applied pre-strain was retained over time. The highest CFRP strain losses were observed in the first 6 to 12 days after prestress transfer, suggesting that the application of prestressed NSM-FRP will be very effective over time.

Local seismic cultures: the use of timber frame structures in the south of Portugal

Given the fact that using timber frame structures has proven to improve the seismic behavior of vernacular architecture, as has been reported in past earthquakes in many countries, its preservation as a traditional earthquake resistant practice is important. This paper firstly intends to evaluate whether the use of timber frames as a traditional seismic resistant technique for vernacular architecture in the South of Portugal, traditionally a seismic region, is still active. Secondly, the city of Vila Real de Santo António was selected as a case study because it also followed a Pombaline development contemporary to the reconstruction of Lisbon. The plan included the provision of timber frame partition walls for some of the buildings and, thus, an overview of the type of constructions originally conceived is provided. Finally, the alterations done in the original constructions and the current state of the city center are described and the effect of these changes on the seismic vulnerability of the city is discussed.

Potencialidades de elementos pré-fabricados de madeira na reabilitação

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

Mitigating the impact of occupational noise exposure for elderly workers: Setting the functional requirements for an ANC system

Noise affects people in very different aspects and in almost every aspect of our daily life. The most prominent impact of noise exposure is hearing loss. However, it can also impair people at their work settings due to other effects rather than hearing loss. Older works tend to be more susceptible to noise exposure effects at work, firstly because most of them already have some ‘natural’ hearing loss, as a results of the ageing process, and secondly because they also tend to be more susceptible at an psychological level. The current study is an attempt to describe the potential problem and to make a survey to identify the available active noise cancelation systems, as well as to specific the main requirements of this type of systems to be applied in such contexts. Several aspects of characteristics of the ANC systems were identified and are presented in this study. From the obtained results it was possible to have a clearer idea about the potential of this technology, and to confirm that this type of solution can be extremely important as a component of an active ageing program, as the preservation of hearing will also impact on the social life of the exposed workers.

Educação literária: a hora do conto no 1º ciclo do ensino básico

Relatório de estágio de mestrado em Educação Pré-Escolar e Ensino do 1º Ciclo do Ensino Básico

Cross-scale determinants of palm species distribution

We investigate palm species distribution, richness and abundance along the Mokoti, a seasonally-dry river of southeastern Amazon and compare it to the patterns observed at a large scale, comprising the entire Brazilian territory. A total of 694 palms belonging to 10 species were sampled at the Mokoti River basin. Although the species showed diverse distribution patterns, we found that local palm abundance, richness and tree basal area were significantly higher from the hills to the bottomlands of the study region, revealing a positive association of these measures with moisture. The analyses at the larger spatial scale also showed a strong influence of vapor pressure (a measure of moisture content of the air, in turn modulated by temperature) and seasonality in temperature: the richest regions were those where temperature and humidity were simultaneously high, and which also presented a lower degree of seasonality in temperature. These results indicate that the distribution of palms seems to be strongly associated with climatic variables, supporting the idea that, by 'putting all the eggs in one basket' (a consequence of survival depending on the preservation of a single irreplaceable bud), palms have become vulnerable to extreme environmental conditions. Hence, their distribution is concentrated in those tropical and sub-tropical regions with constant conditions of (mild to high) temperature and moisture all year round.