Realização de uma arquitectura diffServ com configuração transparente de QOS

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia Electrotécnica e de Computadores

Supporting NAT traversal and secure communications in a protocol implementation framework

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Type inference for conversation types

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Functional studies on magnetic resonance

Dissertation submitted in Faculdade de Ciências e Tecnologia of Universidade Nova de Lisboa for the degree of Master in Biomedical Engineering

Protocolo de fisioterapia, com auxílio de biofeedback electromiográfico, em utentes com disfunções do ombro: efeitos na dor, funcionalidade e estabilidade dinâmica

RESUMO: Introdução: A dor e disfunções do movimento no complexo articular do ombro (CAO) são comuns e debilitantes. O uso de exercícios segundo os pressupostos de estabilidade dinâmica (ED), com auxílio de Biofeedback electromiográfico (BEMG) tem vindo a ser referido, como uma forma de aumentar a efectividade da intervenção nas disfunções do complexo articular do ombro (DCAO)Objectivo Principal: Estudar os efeitos de um protocolo de intervenção, com BEMG, cujas finalidades foram abolir a dor, aumentar a funcionalidade e a ED da omoplata, em utentes com DCAO. Objectivos secundários: Comparar os subgrupos e quanto às características, resultados, tempos de intervenção total e até atingir critérios de alta; Comparar os resultados nos momentos inicial e final. Métodos: Foi realizado um coorte clínico, longitudinal, retrospectivo, observacional, analítico. A amostra foi constituída por 82 sujeitos, divididos em dois subgrupos (n=53 SCSA e n=29 IGU). Os instrumentos de medida utilizados foram a EVA, o DASH, o SPADI e o BEMG. Foi seguido o protocolo de ED proposto por Santos e Matias (2007), de acordo com as 3 fases de intervenção por eles descritas, realizando uma sessão semanal, monitorizando exercícios que seguem estes princípios, com BEMG. Foram avaliadas as variáveis dor, postura, padrão de recrutamento, controlo motor, posição inicial da omoplata (PIO), amplitudes articulares (AA’s), força muscular (FM) e postura. Para analisar os dados, recorreu-se a estatística descritiva e inferencial. Resultados: A intervenção foi efectiva na abolição da dor no momento (0,43 para 0,00/10EVA no subgrupo SCSA e 0,66 para 0,00/10EVA no subgrupo IGU) na pior dor (5,47/10EVA para 0,06/10EVA no subgrupo SCSA e 5,28/10 para 0,14/10 no subgrupo IGU), no aumento da função (28,57 para 0,66/100DASH e 39,00 para 0,63/100SAPDI no subgrupo SCSA e 25,80 para 0,38/100DASH e 28,19 para 0,39/100 no subgrupo IGU) e no aumento da ED da omoplata com normalização do padrão de recrutamento, controlo motor, PIO dentro do espectro de normalidade e boa capacidade de controlar a sua posição, ao longo do movimento do membro superior (MS). A intervenção proporcionou, ainda a normalização das AA’s, FM e autocorrecção postural. O tempo médio de intervenção foi de 6,45semanas no subgrupo SCSA e 5,83sem no subgrupo IGU. Estes resultados são semelhantes comparativamente a estudos que utilizaram uma intervenção baseada nos mesmos princípios (Matias e Cruz, 2004; Cunha e Matias, 2006; Santos e Matias, 2007; Rodrigues e Matias, 2009). Conclusão: O protocolo de intervenção aplicado, com uso de exercícios baseados nos princípios da ED e uso de BEMG, permitiu o alcance dos objectivos, junto de utentes com DCAO (SCSA e IGU). Verificou-se que, independentemente da condição, os resultados foram idênticos em ambos subgrupos, não apresentando diferenças significativas entre as variáveis de medida final, o tempo total de intervenção e os tempos até atingir os critérios de alta, expecto para a Dor, sendo este superior no subgrupo SCSA.---------------------------------------- ABSTRACT:Introduction: Movement disorders and pain in the shoulder joint complex (SJC) are common and debilitating. The use of exercises under the premises of dynamic stability (DS), with the aid of electromyographic biofeedback (EMGBF) has been mentioned as a way to increase the effectiveness of the intervention in disorders of the shoulder joint complex (DSJC) Main Objective: To evaluate the results of an intervention protocol, with EMGBF whose aims were to abolish the pain, increase functionality and DS of the scapula in patients with DSJC. Objectives: To compare the subgroups and the characteristics, outcomes, and total intervention times to reach discharge criteria; to compare the results at the beginning and at the end. Methods: We conducted a clinical cohort, longitudinal, retrospective, observational analysis. The sample consisted of 82 subjects, divided into two subgroups (n = 53 shoulder impingement syndrome SIS n = 29 shoulder joint instability SJI). The measurement instruments used were the VAS, DASH, SPADI, and EMGBF. It was followed the DS protocol proposed by Santos and Matias (2007), according to the three phases of intervention, described by performing a weekly session, monitoring exercises that follow these principles, with EMGBF. The variables were pain, posture, recruitment pattern, motor control, the initial position of the scapula (IPS), range of motion (ROM), muscular strength (MS) and posture. To analyze the data, we used the descriptive and inferential statistics. Results: The intervention was effective in abolishing the pain at the time (0.43 to 0.00/10 VAS in the SIS subgroup and 0.66 to 0.00/10 VAS in the SJI subgroup) in worst pain (5.47 to 0,06/10 VAS in the SIS subgroup and 5.28/ to 0.14/10 VAS in the SJI subgroup), increasing the function (28,57 to 0,66/100 DASH and 39,00 to 0,63/100 SAPDI in the SIS subgroup and 25,80 to 0,38/100 DASH and 28,19 to 0,39/100 SPADI in the SJI subgroup) and the increase in DS of the scapula with normalization of the pattern recruitment, motor control, IPS within the spectrum of normalcy and good ability to control its position along the movement of the upper limb (UL). The intervention provided, although the normalization of ROM, MS and self-correcting posture. The average length of intervention was 6.45 weeks in the SIS subgroup and 5.83 in the IS subgroup. These results are comparable with similar studies that used an intervention based on the same principles (Matias e Cruz, 2004; Cunha e Matias, 2006; Santos e Matias, 2007; Rodrigues e Matias, 2009). Conclusion: The intervention protocol implemented with the use of exercises based on the principles of DS and the use of EMGBF was effective, allowing the accomplishment of goals, in patients with DSJC (SIS and SJI). It was found that, regardless of condition, the results were identical in both groups, showing no significant differences between the variables of the final measure, the total time of intervention and the times to reach discharge criteria, except for pain, which was higher in the SIS subgroup.

Stochastic model of transcription initiation of closely spaced promoters in escherichia coli

Dissertação para obtenção do Grau de Mestre em Engenharia Biomédica

Hybrid link-state path-vector protocol ++

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores Mestrado Integrado em Engenharia Electrotécnica e de Computadores

Type-based protocol conformance and aliasing control in concurrent java programs

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

On the cloud deployment of a session abstraction for service/data aggregation

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

A random access MAC protocol for MPR satellite networks

Dissertação apresentada para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Functional brain perfusion evaluation with Arterial Spin Labeling at 3 Tesla

Dissertation submitted in Faculdade de Ciências e Tecnologia of Universidade Nova de Lisboa for the degree of Master of Biomedical Engineering

Evaluation and optimization of a session-based middleware for data management

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

Self-initiation expatriation: A focus on Italian and Portuguese students

The purpose of this work project is to analyze the phenomenon of self-initiated expatriation (SIE) through its link to the Protean Career and Career Capital theories, focusing in particular on Italian and Portuguese students attending a Master in the business area. The main research questions are to understand the reasons driving the intention to expatriate, after the conclusion of the academic path, using three main categories (Adventure Motivation, Work Characteristic Motivation and instrumental Motivation) and the intention to repatriate. A sample of Italian and Portuguese students was obtained. Italians show a higher intention to expatriate relative to Portuguese; nevertheless, no other significant differences were found among the two populations, because of the similar cultural background and economic situation. Additionally, several heterogeneities were observed considering other clusters defined by Gender, Teaching Language of the Master and Past International Experiences, across the two nationalities. Furthermore, possible future researches and practical implications were discussed.

A logical foundation for session-based concurrent computation

Linear logic has long been heralded for its potential of providing a logical basis for concurrency. While over the years many research attempts were made in this regard, a Curry-Howard correspondence between linear logic and concurrent computation was only found recently, bridging the proof theory of linear logic and session-typed process calculus. Building upon this work, we have developed a theory of intuitionistic linear logic as a logical foundation for session-based concurrent computation, exploring several concurrency related phenomena such as value-dependent session types and polymorphic sessions within our logical framework in an arguably clean and elegant way, establishing with relative ease strong typing guarantees due to the logical basis, which ensure the fundamental properties of type preservation and global progress, entailing the absence of deadlocks in communication. We develop a general purpose concurrent programming language based on the logical interpretation, combining functional programming with a concurrent, session-based process layer through the form of a contextual monad, preserving our strong typing guarantees of type preservation and deadlock-freedom in the presence of general recursion and higher-order process communication. We introduce a notion of linear logical relations for session typed concurrent processes, developing an arguably uniform technique for reasoning about sophisticated properties of session-based concurrent computation such as termination or equivalence based on our logical approach, further supporting our goal of establishing intuitionistic linear logic as a logical foundation for sessionbased concurrency.

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.