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.

The importance of the ligation of the inferior thyroid artery in parathyroid function after subtotal thyroidectomy

We prospectively studied the effects of the ligation of the inferior thyroid artery (ITA) on postoperative hypoparathyroidism in 48 patients who underwent functional subtotal thyroidectomy. Patients were randomized into two groups: A, with bilateral ligation of the ITA and B, without ligation of the ITA. Parathyroid function was checked preoperatively and after surgery by clinical examination and measurement of total calcium, intact PTH, urinary calcium, and AMPc. RESULTS: A significant incidence of postoperative hypocalcemia occurred: 17% in group A and 13% in B on the 4th postoperative day. Six months later, the incidence was 5% in Group A and 0% in Group B. These differences were not statistically significant between the two groups, and neither were any of the other clinical and laboratory observations. CONCLUSION: The ligation of the ITA was not an important causal factor for the occurrence of postoperative hypocalcemia after subtotal thyroidectomy.

Necrotizing fasciitis in a newborn infant: a case report

We report the case of a one-day-old newborn infant, female, birth weight 1900 g, gestational age 36 weeks presenting with necrotizing fasciitis caused by E. coli and Morganella morganii. The newborn was allowed to fall into the toilet bowl during a domestic delivery. The initial lesion was observed at 24 hours of life on the left leg at the site of the venipuncture for the administration of hypertonic glucose solution. Despite early treatment, a rapid progression occurred resulting in a fatal outcome. We call attention to the risk presented by this serious complication in newborns with a contaminated delivery, and highlight the site of the lesion and causal agents.

Analysis of a controversial decision process: the case of the pumped hydro storage power plant Atdorf in Germany

Based on the report for the unit “Métodos Interactivos de Participação e Decisão A” (Interactive methods of participation and decision A), coordinated by Prof. Lia Maldonado Teles de Vasconcelos and Prof. Nuno Miguel Ribeiro Videira Costa. This unit was provided for the PhD Program in Technology Assessment in 2015/2016.

Crowdfunding campaigns: Perceived quality and success

Research in Crowdfunding is an emerging priority within the field of Entrepreneurship. Hundreds of platforms provide nowadays multiple Crowdfunding schemes which are intended to make it easier for entrepreneurs and others to collect money from the crowd. However, only a few campaigns become successful as others don’t reach the pre-established funding goal. It is thus necessary to keep on understanding the dynamics of these platforms and the factors which justify success. The asymmetry of information has been shown to be a delicate issue as people perceive quality in different manners. As so, this research aims to understand which components of perceived quality mostly influence investments decisions. Mainly Entrepreneurship and Marketing theories were explored along the way. This is research follows a causal approach where nineteen hypotheses are tested. An experimental survey was conducted and data was collected from 127 people who were asked to evaluate one of the most important pieces of any Crowdfunding campaign – the pitch video – and consequently invest on the presented products.

Um processo de injeção de plásticos: melhoria do programa de controlo estatístico

O presente artigo resulta de um projeto de investigação que aborda a melhoria de um programa de controlo estatístico de um processo de injeção de plásticos, tendo por base a aplicação das ferramentas básicas da qualidade, nomeadamente a análise de Pareto, o diagrama de Ishikawa e os gráficos de controlo. Paralelamente às ferramentas básicas da qualidade, foi também utilizada a metodologia Análise ao Sistema de Medida (Measurement Systems Analysis), com recurso ao software Minitab. A metodologia empregue neste projeto foi o estudo de caso.

Amazonia boliviana: arqueología de los Llanos de Mojos

A arqueologia da Amazônia boliviana ou das "Terras Baixas" compreende um imenso território que mostra, a luz da informação disponível, significativas descontinuidades espaço-temporais. A identificação nesta área de sociedades constituindo "cacicados da floresta tropical" a partir de critérios baseados em preconceitos, requer a reavaliação da pré-história regional do ponto de vista causal. A arqueologia beniana (de Llanos de Mojos) é conhecida, fundamentalmente, a partir das escavações de Erland Nordenskiöld, que sem dúvida estabeleceu as bases conceituais existentes atualmente. Entre os anos de 1977 e 1981 uma missão do Museu de La Plata (Argentina), sob a direção de B. Dougherty, e em estreita colaboração com o Instituto de Arqueologia de La Paz (Bolívia) e com o Amazonian Ecosystem Research (EUA), conduziu pesquisas sistemáticas considerando variados itens antropológicos e produzindo numerosas datações de radiocarbono. Estas contribuições ajudaram a esclarecer, mas não a simplificar o panorama pré-hispânico regional, tão importante na temática arqueológica sul-americana. Complementa este artigo uma exaustiva lista de bibliografias que facilita o acesso ao conhecimento sobre este grande território.

Measuring university-to-work success: development of a new scale

Purpose – The purpose of this paper is to develop a subjective multidimensional measure of early career success during university-to-work transition. Design/methodology/approach – The construct of university-to-work success (UWS) was defined in terms of intrinsic and extrinsic career outcomes, and a three-stage study was conducted to create a new scale. Findings – A preliminary set of items was developed and tested by judges. Results showed the items had good content validity. Factor analyses indicated a four-factor structure and a second-order model with subscales to assess: career insertion and satisfaction, confidence in career future, income and financial independence, and adaptation to work. Third, the authors sought to confirm the hypothesized model examining the comparative fit of the scale and two alternative models. Results showed that fits for both the first- and second-order models were acceptable. Research limitations/implications – The proposed model has sound psychometric qualities, although the validated version of the scale was not able to incorporate all constructs envisaged by the initial theoretical model. Results indicated some direction for further refinement. Practical implications – The scale could be used as a tool for self-assessment or as an outcome measure to assess the efficacy of university-to-work programs in applied settings. Originality/value – This study provides a useful single measure to assess early career success during the university-to-work transition, and might facilitate testing of causal models which could help identify factors relevant for successful transition.

Avaliação de defeitos no processo de fabricação de lamelas para pisos de madeira engenheirados com uso de ferramentas de controle de qualidade

Os defeitos das lamelas são responsáveis em grande parte pelo retrabalho, perdas e diminuição da qualidade do piso acabado. Esses defeitos geram aumento de custos de produção sendo um fator muito importante para o processo de fabricação de pisos de madeira. Este trabalho tem por objetivos classificar e quantificar os defeitos ocorrentes na produção de lamelas, buscar causas, propor soluções e melhorias através da aplicação de ferramentas de qualidade como: “Brainstorming", “ Diagrama de Pareto", “Diagrama de Ishikawa" e 5W2H . Foram amostrados 1598,47 m² de lamelas das seguintes espécies: Muiracatiara (Astronium lecointei Ducke), amendoim (Pterogyne nitens Tul), cabreúva (Myroxylon Balsamum Harms) e timborana (Pseudopiptadenia suaveolens Miq) com as seguintes dimensões: espessuras (2,5mm e 3,5mm), larguras (76,2mm, 82,5mm e 127mm), comprimentos (450mm a 1.200mm). O defeito mais freqüente encontrado na produção de lamelas foi a marca de serra (31%), seguido de corte da madeira feito pelo fornecedor (23%) e falta de instrução de trabalho (15%). As principais causas dos defeitos de marca de serra são devidas aos problemas de manutenção de serras da empresa fornecedora de madeira.

Implementação de ferramentas Lean numa empresa de componentes para calçado

Dissertação de mestrado em Engenharia Industrial

Balanceamento e redefinição de layouts de células de costura de uma empresa da indústria automóvel

Dissertação de mestrado integrado em Engenharia e Gestão Industrial

Performance assessment of electrically small antennas for implantable microsystems with wireless power and communications

Dissertação de mestrado integrado em Engenharia Biomédica (área de especialização em Eletrónica Médica)

Controlo de qualidade e inspeção visual por imagem: definição de uma aplicação para registo de alterações e avaliação de desempenho

Dissertação de mestrado em Engenharia e Gestão da Qualidade

Estudo e conceção de um sistema de encaixe rápido e simples para próteses de membros inferiores

Dissertação de mestrado integrado em Engenharia Biomédica

External and internal dynamics in the EU's counter-terrorism policy: a political and legal analysis

Tese de Doutoramento em Ciência Política e Relações Internacionais