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.

Breaking the Pattern and Creating New Paths – Feminist Mizrahi Women Artists in Israel

This article addresses the work of Mizrahi women artists, i.e., Israeli-Jewish women of Asian or African ethnic origin, using the artist Vered Nissim as a case study. Nissim seeks to affirm the politics of identity and recognition, as well as feminism in order to create a paradigm shift with regards to the local regime of cultural representations in the Israeli art scene. Endeavouring to find ways of undermining the rigid imbalances between different social groups, she calls for a comprehensive reform of the status quo through artistic activism. Nissim employs a style, content, and medium that disrupts the accepted social order, using humour and irony as unique weapons with which she takes liberties with conventional moral, social, and economic values. Placing issues of race, class and gender at the centre of her work, she seeks to undermine and problematize essentialist attitudes, highlighting the political intersections of different identity categories as the critical analysis of intersectionality unfolds.

Task clustering on ETL systems – A pattern-oriented approach

Usually, data warehousing populating processes are data-oriented workflows composed by dozens of granular tasks that are responsible for the integration of data coming from different data sources. Specific subset of these tasks can be grouped on a collection together with their relationships in order to form higher- level constructs. Increasing task granularity allows for the generalization of processes, simplifying their views and providing methods to carry out expertise to new applications. Well-proven practices can be used to describe general solutions that use basic skeletons configured and instantiated according to a set of specific integration requirements. Patterns can be applied to ETL processes aiming to simplify not only a possible conceptual representation but also to reduce the gap that often exists between two design perspectives. In this paper, we demonstrate the feasibility and effectiveness of an ETL pattern-based approach using task clustering, analyzing a real world ETL scenario through the definitions of two commonly used clusters of tasks: a data lookup cluster and a data conciliation and integration cluster.

Postharvest changes and respiratory pattern of bacuri fruit (Platonia insignis Mart.) at different maturity stages during ambient storage

Bacuri (Platonia insignis, Mart.) is one of the most important among Amazonian fruits. However, little is known about its postharvest physiology, such as maturity stages, changes during ambient storage, and respiratory pattern. Fruits were harvested at three maturity stages based on epicarp colour: dark green, light green, and turning (50% yellow), in order to determine colour modification and respiratory pattern during ambient storage (25.2 ºC, 75.1 % RH). Fruit of all maturity stages showed, after three days of harvest, a non-climacteric respiratory pattern, with turning fruit presenting the highest CO2 production rate until the fourth storage day (177.63 mg.CO2.kg-1.h-1). Yellowing increased throughout storage as related to lightness, chromaticity, and hue angle reductions. Turning fruit can be stored at ambient conditions for up to 10 days without any loss in marketability.

Geographic pattern of genetic diversity in natural populations of Rosewood (Aniba rosaeodora), in the Central Amazonia

Rosewood (Aniba rosaeodora Ducke, Lauraceae) is an Amazonian evergreen tree and a source of the purest linalool, the main component of its essential oil, which is very valuable in the international perfumery market. After decades of over-exploitation it is currently considered as threatened. We evaluated the genetic diversity and its distribution in four populations in Central Amazonia. Thirty-five reliable RAPD markers were generated, of which 32 were polymorphic (91.4%). Variation was higher within the populations (76.5%; p < 0.0001) and geographic distribution contributed to population differentiation (23.4%; p < 0.0001). The Amazon River had a small influence on gene flow (3.3%; p < 0.0001), but we identified evidence of gene flow across the river. There were significant differences in marker frequencies (p < 0.05), in agreement with the low gene flow (Nm = 2.02). The correlation between genetic distance and gene flow was - 0.95 (p = 0.06) and between geographic distance and gene flow was -0.78 (p = 0.12). There was a geographic cline of variability across an East-West axis, influenced as well by the Amazon River, suggesting the river could be a barrier to gene flow. Although threatened, these Rosewood populations retain high diversity, with the highest levels in the Manaus population, which has been protected for over 42 years in a Reserve.

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)

Synthesis, antiangiogenesis evaluation and molecular docking studies of 1-Aryl-3-[(thieno[3,2-b]pyridin-7-ylthio)phenyl]ureas: Discovery of a new substitution pattern for type II VEGFR-2 Tyr kinase inhibitors

The synthesis and biological evaluation of novel 1-aryl-3-[2-, 3- or 4-(thieno[3,2-b]pyridin-7-ylthio)phenyl]ureas 3, 4 and 5 as VEGFR-2 tyrosine kinase inhibitors, are reported. The 1-aryl-3-[3-(thieno[3,2-b]pyridin-7-ylthio)phenyl]ureas 4a-4h, with the arylurea in the meta position to the thioether, showed the lowest IC50 values in enzymatic assays (10-206 nM), the most potent compounds 4d-4h (IC50 10-28 nM) bearing hydrophobic groups (Me, F, CF3 and Cl) in the terminal phenyl ring. A convincing rationalization was achieved for the highest potent compounds 4 as type II VEGFR-2 inhibitors, based on the simultaneous presence of: (1) the thioether linker and (2) the arylurea moiety in the meta position. For compounds 4, significant inhibition of Human Umbilical Vein Endothelial Cells (HUVECs) proliferation (BrdU assay), migration (wound-healing assay) and tube formation were observed at low concentrations. These compounds have also shown to increase apoptosis using the TUNEL assay. Immunostaining for total and phosphorylated (active) VEGFR-2 was performed by Western blotting. The phosphorylation of the receptor was significantly inhibited at 1.0 and 2.5 microM for the most promising compounds. Altogether, these findings point to an antiangiogenic effect in HUVECs.

Quantifying, generating and mitigating radio interference in Low-Power Wireless Networks

Doctoral Programme in Telecommunication - MAP-tele

Cognitive processes affect the gait of subjects with Parkinson’s and Alzheimer’s disease in dual tasks

Objective To investigate the relation between gait parameters and cognitive impairments in subjects with Parkinson’s disease (PD) and Alzheimer’s disease (AD) during the performance of dual tasks. Methods This was a cross-sectional study involving 126 subjects divided into three groups: Parkinson group (n = 43), Alzheimer group (n = 38), and control group (n = 45). The subjects were evaluated using the Timed Up and Go test administered with motor and cognitive distracters. Gait analyses consisted of cadence and speed measurements, with cognitive functions being assessed by the Brief Cognitive Screening Battery and the Clock Drawing Test. Statistical procedures included mixed-design analyses of variance to observe the gait patterns between groups and tasks and the linear regression model to investigate the influence of cognitive functions in this process. A 5% significant level was adopted. Results Regarding the subjects’ speed, the data show a significant difference between group vs task interaction (p = 0.009), with worse performance of subjects with PD in motor dual task and of subjects with AD in cognitive dual task. With respect to cadence, no statistical differences was seen between group vs task interaction (p = 0.105), showing low interference of the clinical conditions on such parameter. The linear regression model showed that up to 45.79%, of the variance in gait can be explained by the interference of cognitive processes. Conclusion Dual task activities affect gait pattern in subjects with PD and AD. Differences between groups reflect peculiarities of each disease and show a direct interference of cognitive processes on complex tasks.

Myocardial perfusion by contrast echocardiography. Establishment of normal pattern of intracoronary injection and safety in humans

OBJECTIVE: To establish the normal pattern and safety of echocardiographic contrast in patients with no significant obstruction of epicardial coronary arteries. METHODS: 67 patients with normal coronary arteries or obstructions < 50% were selected from 277 patients who underwent coronary angiography (CA). Mean age was 56 ± 11years and 36 were males. At the end CA, echocardiographic contrast was selectively injected into each coronary artery. The parasternal short axis of the left ventricle (LV) was divided into six segments: anterior (A), antero-lateral (AL), postero-lateral (PL), posterior (P), infero-septal (IS) and antero-septal (AS). Anterolateral (ALPM) and posteromedial papillary muscles (PMPM) were also considered. The pattern and intensity of the appearance of the myocardial contrast was visually analyzed. RESULTS: The right coronary artery (RCA) was dominant in 60 patients. Contrast appearance was sudden and simultaneous in the 3 muscle layers. All segments could be contrasted after the injection in both coronary arteries. 100% of the AS, A and AL segments, 97% of the PL and 98% of the ALPM were perfused by the left coronary artery (LCA). P and IS segments were perfused by the RCA in 85% and 82%, respectively, and by a dominant LCA in 71% of the cases. The PMPM was perfused by a dominant RCA in 77% and by a dominant LCA in 86%. There were no symptoms. CONCLUSION: Intracoronary injection of the sonicated solution is a safe procedure that allows for an excellent opacification of the myocardium and can potentially be used during routine CA.

Hypertension in a female nursing staff-pattern of occurrence, diagnosis, and treatment

OBJECTIVE: To report the pattern of occurrence, diagnosis, and treatment of hypertension in a female nursing staff of an emergency hospital. METHODS: We carried out a cross-sectional study that included interviews and blood pressure measurements of 494 nursing professionals at an emergency hospital in the city of Salvador, in the state of Bahia, Brazil. We considered hypertensive all individual with blood pressure > or = 140/90 mmHg or normal pressure if on regular treatment. RESULTS: We found a prevalence of hypertension of 36.4%. Only 18.3% of the individuals ignored their hypertensive condition, and 64.2% admitted not being having regular treatment. Of those individuals who were having treatment, 69.4% had elevated blood pressure on examination. The major reasons for not being on treatment was the occasional elevation of blood pressure (22.2%) and medical counseling (20.0%). CONCLUSION: The results point to the need to introduce hypertension control measures in this occupational group, because of the magnitude of the disease and the potential impact on diffusion of knowledge and measures to control hypertension.

Development of a semi-automatic self learning pattern recognition system for the control of electronic boards

This project was funded under the Applied Research Grants Scheme administered by Enterprise Ireland. The project was a partnership between Galway - Mayo Institute of Technology and an industrial company, Tyco/Mallinckrodt Galway. The project aimed to develop a semi - automatic, self - learning pattern recognition system capable of detecting defects on the printed circuits boards such as component vacancy, component misalignment, component orientation, component error, and component weld. The research was conducted in three directions: image acquisition, image filtering/recognition and software development. Image acquisition studied the process of forming and digitizing images and some fundamental aspects regarding the human visual perception. The importance of choosing the right camera and illumination system for a certain type of problem has been highlighted. Probably the most important step towards image recognition is image filtering, The filters are used to correct and enhance images in order to prepare them for recognition. Convolution, histogram equalisation, filters based on Boolean mathematics, noise reduction, edge detection, geometrical filters, cross-correlation filters and image compression are some examples of the filters that have been studied and successfully implemented in the software application. The software application developed during the research is customized in order to meet the requirements of the industrial partner. The application is able to analyze pictures, perform the filtering, build libraries, process images and generate log files. It incorporates most of the filters studied and together with the illumination system and the camera it provides a fully integrated framework able to analyze defects on printed circuit boards.

SQL based frequent pattern mining

Data mining, frequent pattern mining, database mining, mining algorithms in SQL

Advancing the understanding of brain function with multivariate pattern analysis

Magdeburg, Univ., Fak. für Naturwiss., Diss., 2009

Statistical pattern recognition for audio-forensics : empirical investigations on the application scenarios audio steganalysis and microphone forensics

Magdeburg, Univ., Fak. für Informatik, Diss., 2013