A qualitive reasoning approach for improving query results for sketch based queries by topological analysis of spatial aggregation

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Treatment of a nineteenth century male portrait in oil including the characterisation of materials, technique and a study of the lead soap aggregation in the paint composite

Dissertação para obtenção do Grau de Mestre em Conservação e Restauro

Modulation of α-synuclein aggregation and toxicity

Dissertação para obtenção do Grau de Mestre em Genética Molecular e Biomedicina

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.

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

In vitro screening of Amazonian plants for hemolytic activity and inhibition of platelet aggregation in human blood

In the present study, different aerial parts from twelve Amazonian plant species found in the National Institute for Amazon Research's (INPA's) Adolpho Ducke Forest Reserve (in Manaus, Amazonas, Brazil) were collected. Separate portions of dried, ground plant materials were extracted with water (by infusion), methanol and chloroform (by continuous liquid-solid extraction) and solvents were removed first by rotary evaporation, and finally by freeze-drying which yielded a total of seventy-one freeze-dried extracts for evaluation. These extracts were evaluated initially at concentrations of 500 and 100 µg/mL for in vitro hemolytic activity and in vitro inhibition of platelet aggregation in human blood, respectively. Sixteen extracts (23 % of all extracts tested, 42 % of all plant species), representing the following plants: Chaunochiton kappleri (Olacaceae), Diclinanona calycina (Annonaceae), Paypayrola grandiflora (Violaceae), Pleurisanthes parviflora (Icacinaceae), Sarcaulus brasiliensis (Sapotaceae), exhibited significant inhibitory activity towards human platelet aggregation. A group of extracts with antiplatelet aggregation activity having no in vitro hemolytic activity has therefore been identified. Three extracts (4 %), all derived from Elaeoluma nuda (Sapotaceae), exhibited hemolytic activity. None of the plant species in this study has known use in traditional medicine. So, these data serve as a baseline or minimum of antiplatelet and hemolytic activities (and potential usefulness) of non-medicinal plants from the Amazon forest. Finally, in general, these are the first data on hemolytic and inhibitory activity on platelet aggregation for the genera which these plant species represent.

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.

Controlled aggregation of gold nanoparticles in a di-ureasilmatrix. Optical and micro indentation investigation

Nanocomposite materials with an organic-inorganic urea-silicate (di-ureasil) based matrix containing gold nanoparticles (NPs) were synthesized and characterized by optical (UV/Vis) spectroscopy and indentation measurement. The urea silicate gels were obtained by reaction between silicon alkoxyde modified by isocyanate group and polyethylene glycol oligomer with amine terminal groups in presence of catalyst. The latter ensures the successful incorporation of citrate-stabilized gold NPs in the matrix. It is shown that using a convenient destabilizing agent (AgNO3) and governing the preparative conditions, the aggregation degree of gold NPs can be controlled. The developed synthesis procedure significantly simplifies the preparative procedure of gold/urea silicate nanocomposites, compared to the procedure using gold NPs, preliminary covered with silica shells. Mechanical properties of the prepared sample were characterised using depth sensing indentation methods (DSI) and an idea about the type of aggregation structures was suggested.

A survey of distributed data aggregation algorithms

Distributed data aggregation is an important task, allowing the de- centralized determination of meaningful global properties, that can then be used to direct the execution of other applications. The resulting val- ues result from the distributed computation of functions like count, sum and average. Some application examples can found to determine the network size, total storage capacity, average load, majorities and many others. In the last decade, many di erent approaches have been pro- posed, with di erent trade-o s in terms of accuracy, reliability, message and time complexity. Due to the considerable amount and variety of ag- gregation algorithms, it can be di cult and time consuming to determine which techniques will be more appropriate to use in speci c settings, jus- tifying the existence of a survey to aid in this task. This work reviews the state of the art on distributed data aggregation algorithms, providing three main contributions. First, it formally de nes the concept of aggrega- tion, characterizing the di erent types of aggregation functions. Second, it succinctly describes the main aggregation techniques, organizing them in a taxonomy. Finally, it provides some guidelines toward the selection and use of the most relevant techniques, summarizing their principal characteristics.

Flow updating: fault-tolerant aggregation for dynamic networks

Documento submetido para revisão pelos pares. A publicar em Journal of Parallel and Distributed Computing. ISSN 0743-7315

Female hippocampus vulnerability to environmental stress, a precipitating factor in tau aggregation pathology

Tau-mediated neurodegeneration is a central event in Alzheimer's disease (AD) and other tauopathies. Consistent with suggestions that lifetime stress may be a clinically-relevant precipitant of AD pathology, we previously showed that stress triggers tau hyperphosphorylation and accumulation; however, little is known about the etiopathogenic interaction of chronic stress with other AD risk factors, such as sex and aging. This study focused on how these various factors converge on the cellular mechanisms underlying tau aggregation in the hippocampus of chronically stressed male and female (middle-aged and old) mice expressing the most commonly found disease-associated Tau mutation in humans, P301L-Tau. We report that environmental stress triggers memory impairments in female, but not male, P301L-Tau transgenic mice. Furthermore, stress elevates levels of caspase-3-truncated tau and insoluble tau aggregates exclusively in the female hippocampus while it also alters the expression of the molecular chaperones Hsp90, Hsp70, and Hsp105, thus favoring accumulation of tau aggregates. Our findings provide new insights into the molecular mechanisms through which clinically-relevant precipitating factors contribute to the pathophysiology of AD. Our data point to the exquisite sensitivity of the female hippocampus to stress-triggered tau pathology.

Influence of caffeine on blood pressure and platelet aggregation

OBJECTIVE: Studies have demonstrated that methylxanthines, such as caffeine, are A1 and A2 adenosine receptor antagonists found in the brain, heart, lungs, peripheral vessels, and platelets. Considering the high consumption of products with caffeine in their composition, in Brazil and throughout the rest of the world, the authors proposed to observe the effects of this substance on blood pressure and platelet aggregation. METHODS: Thirteen young adults, ranging from 21 to 27 years of age, participated in this study. Each individual took 750mg/day of caffeine (250mg tid), over a period of seven days. The effects on blood pressure were analyzed through the pressor test with handgrip, and platelet aggregation was analyzed using adenosine diphosphate, collagen, and adrenaline. RESULTS: Diastolic pressure showed a significant increase 24 hours after the first intake (p<0.05). This effect, however, disappeared in the subsequent days. The platelet aggregation tests did not reveal statistically significant alterations, at any time during the study. CONCLUSION: The data suggest that caffeine increases diastolic blood pressure at the beginning of caffeine intake. This hypertensive effect disappears with chronic use. The absence of alterations in platelet aggregation indicates the need for larger randomized studies.

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.