O professor de Língua Portuguesa como revisor de textos – os casos da cliticização e da regência verbal: que atitude normativa em Angola?

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Consultoria e Revisão Linguística

Planning and verification of multipath routing protocols

Conventionally the problem of the best path in a network refers to the shortest path problem. However, for the vast majority of networks present nowadays this solution has some limitations which directly affect their proper functioning, as well as an inefficient use of their potentialities. Problems at the level of large networks where graphs of high complexity are commonly present as well as the appearing of new services and their respective requirements, are intrinsically related to the inability of this solution. In order to overcome the needs present in these networks, a new approach to the problem of the best path must be explored. One solution that has aroused more interest in the scientific community considers the use of multiple paths between two network nodes, where they can all now be considered as the best path between those nodes. Therefore, the routing will be discontinued only by minimizing one metric, where only one path between nodes is chosen, and shall be made by the selection of one of many paths, thereby allowing the use of a greater diversity of the present paths (obviously, if the network consents). The establishment of multi-path routing in a given network has several advantages for its operation. Its use may well improve the distribution of network traffic, improve recovery time to failure, or it can still offer a greater control of the network by its administrator. These factors still have greater relevance when networks have large dimensions, as well as when their constitution is of high complexity, such as the Internet, where multiple networks managed by different entities are interconnected. A large part of the growing need to use multipath protocols is associated to the routing made based on policies. Therefore, paths with different characteristics can be considered with equal level of preference, and thus be part of the solution for the best way problem. To perform multi-path routing using protocols based only on the destination address has some limitations but it is possible. Concepts of graph theory of algebraic structures can be used to describe how the routes are calculated and classified, enabling to model the routing problem. This thesis studies and analyzes multi-path routing protocols from the known literature and derives a new algebraic condition which allows the correct operation of these protocols without any network restriction. It also develops a range of software tools that allows the planning and the respective verification/validation of new protocols models according to the study made.

Visual and verbal processing effects on human memory

In this study in the field of Consumer Behavior, brand name memory of consumers with regard to verbal and visual incongruent and congruent information such as memory structure of brands was tested. Hence, four experimental groups with different constellations of verbal and visual congruity and incongruity were created to compare their brand name memory performance. The experiment was conducted in several classes with 128 students, each group with 32 participants. It was found that brands, which are presented in a congruent or moderately incongruent relation to their brand schema, result in a better brand recall than their incongruent counterparts. A difference between visual congruity and moderately incongruity could not be confirmed. In contrast to visual incongruent information, verbal incongruent information does not result in a worse brand recall performance.

A comparison of four DNA extraction protocols for the analysis of urine from patients with visceral leishmaniasis

Introduction Polymerase chain reaction (PCR) may offer an alternative diagnostic option when clinical signs and symptoms suggest visceral leishmaniasis (VL) but microscopic scanning and serological tests provide negative results. PCR using urine is sensitive enough to diagnose human visceral leishmaniasis (VL). However, DNA quality is a crucial factor for successful amplification. Methods A comparative performance evaluation of DNA extraction methods from the urine of patients with VL using two commercially available extraction kits and two phenol-chloroform protocols was conducted to determine which method produces the highest quality DNA suitable for PCR amplification, as well as the most sensitive, fast and inexpensive method. All commercially available kits were able to shorten the duration of DNA extraction. Results With regard to detection limits, both phenol: chloroform extraction and the QIAamp DNA Mini Kit provided good results (0.1 pg of DNA) for the extraction of DNA from a parasite smaller than Leishmania (Leishmania) infantum (< 100fg of DNA). However, among 11 urine samples from subjects with VL, better performance was achieved with the phenol:chloroform method (8/11) relative to the QIAamp DNA Mini Kit (4/11), with a greater number of positive samples detected at a lower cost using PCR. Conclusion Our results demonstrate that phenol:chloroform with an ethanol precipitation prior to extraction is the most efficient method in terms of yield and cost, using urine as a non-invasive source of DNA and providing an alternative diagnostic method at a low cost.

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.

Secure multiParty computation protocols

Dissertação de Mestrado em Engenharia Informática

Transcranial direct current stimulation based metaplasticity protocols in working memory

It has been already shown that delivering tDCS that are spaced by an interval alters its impact on motor plasticity. These effects can be explained, based on metaplasticity in which a previous modification of activity in a neuronal network can change the effects of subsequent interventions in the same network. But to date there is limited data assessing metaplasticity effects in cognitive functioning.

Validade discriminante do Teste de Aprendizagem Auditivo-Verbal de Rey: comparação entre idosos normais e idosos na fase inicial da doença de Alzheimer

Objetivo: Este estudo transversal visa avaliar a validade discriminante do Teste de Aprendizagem Auditivo-Verbal de Rey (RAVLT), ao comparar uma amostra de idosos normais com uma de pacientes na fase inicial da doença de Alzheimer (DA). Métodos: Pacientes na fase inicial da DA (n = 35) e controles saudáveis (n = 35) pareados de acordo com a idade e a escolaridade foram submetidos ao Teste de Aprendizagem Auditivo-Verbal de Rey, ao Miniexame do Estado Mental e à Escala de Depressão Geriátrica. O desempenho dos dois grupos foi comparado por meio do teste de Mann-Whitney em cada etapa do RAVLT e, mediante a análise ROC, foi avaliada a validade discriminante do teste nas duas populações estudadas. Resultados: O grupo na fase inicial da DA teve desempenho significativamente pior em todas as etapas do RAVLT quando comparado ao grupo controle, e as etapas demonstraram bom poder diagnóstico, com áreas sobre a curva ROC oscilando entre 0,806 e 0,989 (A1 = 0,806; A2 = 0,869; A3 = 0,958; A4 = 0,947; A5 = 0,989; A6 = 0,962; A7 = 0,985; TOTAL = 0,975; LOT = 0,895; REC = 0,915). Conclusão: Os resultados sugerem que o Teste de Aprendizagem Auditivo-Verbal de Rey é eficaz para discriminar idosos normais de idosos na fase inicial da doença de Alzheimer.

The use of canonical correlation analysis to assess the relationship between executive functioning and verbal memory in older adults

Executive functioning (EF), which is considered to govern complex cognition, and verbal memory (VM) are constructs assumed to be related. However, it is not known the magnitude of the association between EF and VM, and how sociodemographic and psychological factors may affect this relationship, including in normal aging. In this study, we assessed different EF and VM parameters, via a battery of neurocognitive/psychological tests, and performed a Canonical Correlation Analysis (CCA) to explore the connection between these constructs, in a sample of middle- aged and older healthy individuals without cognitive impairment (N = 563, 50+ years of age). The analysis revealed a positive and moderate association between EF and VM independently of gender, age, education, global cognitive performance level, and mood. These results confirm that EF presents a significant association with VM performance.

Poder e valores da linguagem verbal na publicidade

A publicidade sabe que tem de procurar as estratégias mais diretas e mais eficientes na construção das suas mensagens. A ser assim, pode parecer que o imediatismo das imagens ligado às facilidades tecnológicas tenderá a secundarizar o poder da componente verbal na elaboração dos anúncios. O presente texto procura mostrar como a componente verbal é uma dimensão imprescindível da linguagem publicitária, utilizando estratégias diversificadas que podem ir da ausência (quase) absoluta de palavras até a usos em que é a própria mensagem verbal o principal elemento estruturador do anúncio.

Assessment of the DIXTAL DX-2710 Automated Oscillometric Device for Blood Pressure Measurement with the Validation Protocols of the British Hypertension Society (BHS) and the Association for the Advancement of Medical Instrumentation (AAMI)

OBJECTIVE: To assess the Dixtal DX2710 automated oscillometric device used for blood pressure measurement according to the protocols of the BHS and the AAMI. METHODS: Three blood pressure measurements were taken in 94 patients (53 females 15 to 80 years). The measurements were taken randomly by 2 observers trained to measure blood pressure with a mercury column device connected with an automated device. The device was classified according to the protocols of the BHS and AAMI. RESULT: The mean of blood pressure levels obtained by the observers was 148±38/93±25 mmHg and that obtained with the device was 148±37/89±26 mmHg. Considering the differences between the measurements obtained by the observer and those obtained with the automated device according to the criteria of the BHS, the following classification was adopted: "A" for systolic pressure (69% of the differences < 5; 90% < 10; and 97% < 15 mmHg); and "B" for diastolic pressure (63% of the differences < 5; 83% < 10; and 93% < 15 mmHg). The mean and standard deviation of the differences were 0±6.27 mmHg for systolic pressure and 3.82±6.21 mmHg for diastolic pressure. CONCLUSION: The Dixtal DX2710 device was approved according to the international recommendations.

Resposta cardiovascular ao Stroop: comparação entre teste computadorizado e verbal

FUNDAMENTO: O teste de Stroop requer que o indivíduo responda a elementos específicos de um estímulo enquanto inibe processos mais automatizados. OBJETIVO: Comparar a reatividade cardiovascular induzida pela versão computadorizada do teste palavra-cor de Stroop - TESTINPACS® com versão tradicional baseada na leitura de palavras impressas. MÉTODOS: A amostra de conveniência foi constituída por 20 mulheres (22,4 ± 4,1 anos). Análises de variância com medidas repetidas foram utilizadas para comparar efeitos principais entre testes (computadorizado, verbal), assim como entre etapas do teste (linha de base, Stroop 1, Stroop 3) das variáveis fisiológicas (pressão arterial, arritmia sinusal respiratória, frequência cardíaca e frequência respiratória). Testes t para amostras pareadas foram utilizados para comparar as médias pressóricas entre o Stroop 3 e a linha de base. Ademais, a magnitude dos efeitos (d') foi estimada a fim avaliar o impacto das diferenças entre as medidas fisiológicas relativas ao Stroop 3 e a linha de base. RESULTADOS: As duas versões do instrumento produziram elevação significativa em frequência cardíaca (p<0,01) e pressão arterial sistólica (p<0,05) quando medidas resultantes do Stroop 3 foram comparadas às de base. Não se verificaram, contudo, diferenças significativas produzidas pelas diferentes versões do teste sobre as demais variáveis investigadas. Estatísticas d' confirmaram a grande magnitude dos efeitos (-1,04 a +1,49) entre as medidas do Stroop 3 e da linha de base. CONCLUSÃO: Conclui-se que a presente versão computadorizada TESTINPACS® do teste de Stroop constitui instrumento útil para induzir reatividade cardiovascular em mulheres.

Comparison of Contemporary Protocols for High-speed Data Transport via 10 Gbps WAN Connections

This work is dedicated to comparison of open source as well as proprietary transport protocols for highspeed data transmission via IP networks. The contemporary common TCP needs significant improvement since it was developed as general-purpose transport protocol and firstly introduced four decades ago. In nowadays networks, TCP fits not all communication needs that society has. Caused of it another transport protocols have been developed and successfully used for e.g. Big Data movement. In scope of this research the following protocols have been investigated for its efficiency on 10Gbps links: UDT, RBUDP, MTP and RWTP. The protocols were tested under different impairments such as Round Trip Time up to 400 ms and packet losses up to 2%. Investigated parameters are the data rate under different conditions of the network, the CPU load by sender andreceiver during the experiments, size of feedback data, CPU usage per Gbps and the amount of feedback data per GiByte of effectively transmitted data. The best performance and fair resources consumption was observed by RWTP. From the opensource projects, the best behavior is showed by RBUDP.

Instal·lació i disseny de protocols d'operació del subdetector SPD. de LHCb. Algorismes de trigger.

Estudi elaborat a partir d’una estada al Laboratori Europeu de Física de Partícules (CERN), Suissa, entre maig i setembre del 2006. L’estada al laboratori CERN ha tingut dues vessants complementàries, les dues relacionades amb la imminent posada en marxa de l'experiment LHCb a finals del 2007, quan l'accelerador LHC comenci a funcionar. D'una banda, s’ha treballat en la integració del subdetector SPD en LHCb, i de l'altra al desenvolupament dels algorismes de trigger de LHCb.