Maintaining the correctness of transactional memory programs

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

Lightweight monitoring of transactional memory programs

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

Prescription patterns of pharmaceuticals

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Economics from the NOVA – School of Business and Economics

Spatial Patterns and Irregularities of the electoral data: general elections in Canada

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

Narrative Memory in Hyperfiction and Games

The aim of this paper is to address some theoretical issues concerning the narrative practice in cyberspace. From a narratological perspective it intends to clarify the functioning of time and space in storytelling. For that purpose it traces the concept(s) of memory inherited from rhetoric; the use of memory as a narrative device in traditional accounts; the adaptations imposed by hyperfiction. Using practical examples (including two Portuguese case studies - InStory 2006, and Noon 2007) it will show how narrative memory strategies can be helpful in game literacy. The main purpose is to contribute to serious game research and (trans)literary studies.

Smart windows with permanent memory effect

Dissertação para obtenção do Grau de Mestre em Engenharia Química e Bioquímica

Life cycle and reproductive patterns of Triatoma rubrovaria (Blanchard, 1843) (Hemiptera: Reduviidae) under constant and fluctuating conditions of temperature and humidity

The aim of this study was to evaluate the temperature and relative humidity influence in the life cycle, mortality and fecundity patterns of Triatoma rubrovaria. Four cohorts with 60 recently laid eggs each were conformed. The cohorts were divided into two groups. In the controlled conditions group insects were maintained in a dark climatic chamber under constant temperature and humidity, whereas triatomines of the ambiental temperature group were maintained at room temperature. Average incubation time was 15.6 days in the controlled conditions group and 19.1 days in the ambiental temperature. In group controlled conditions the time from egg to adult development lasted 10 months while group ambiental temperature took four months longer. Egg eclosion rate was 99.1% and 98.3% in controlled conditions and ambiental temperature, respectively. Total nymphal mortality in controlled conditions was 52.6% whereas in ambiental temperature was 51.8%. Mean number of eggs/female was 817.6 controlled conditions and 837.1 ambiental temperature. Fluctuating temperature and humidity promoted changes in the life cycle duration and in the reproductive performance of this species, although not in the species mortality.

Predictive analytical and numerical modeling for orthogonal cutting

In this thesis, a predictive analytical and numerical modeling approach for the orthogonal cutting process is proposed to calculate temperature distributions and subsequently, forces and stress distributions. The models proposed include a constitutive model for the material being cut based on the work of Weber, a model for the shear plane based on Merchants model, a model describing the contribution of friction based on Zorev’s approach, a model for the effect of wear on the tool based on the work of Waldorf, and a thermal model based on the works of Komanduri and Hou, with a fraction heat partition for a non-uniform distribution of the heat in the interfaces, but extended to encompass a set of contributions to the global temperature rise of chip, tool and work piece. The models proposed in this work, try to avoid from experimental based values or expressions, and simplifying assumptions or suppositions, as much as possible. On a thermo-physical point of view, the results were affected not only by the mechanical or cutting parameters chosen, but also by their coupling effects, instead of the simplifying way of modeling which is to contemplate only the direct effect of the variation of a parameter. The implementation of these models was performed using the MATLAB environment. Since it was possible to find in the literature all the parameters for AISI 1045 and AISI O2, these materials were used to run the simulations in order to avoid arbitrary assumption.

Comparison of feeding and defecation patterns between fifth-instar nymphs of Triatoma patagonica (Del Ponte, 1929) and Triatoma infestans (Klug, 1934) under laboratory conditions

Among the vectors of Chagas disease, Triatoma patagonica is a species in the process of adaptation to the human environment. However, its vector competence is not well known. This study had the aim of evaluating and comparing feeding and defecation patterns among fifth-instar nymphs of Triatoma patagonica and Triatoma infestans that were fed ad libitum. The results showed that nymphs of Triatoma patagonica had a feeding pattern similar to that of Triatoma infestans. Sixty nine percent and 58% of nymphs of Triatoma patagonica and Triatoma infestans, respectively, produced their first defecation within five minutes after being fed. Triatoma patagonica defecated during feeding, with an average time until first defecation that was shorter than that of Triatoma infestans (3.4 and 6.2 min, respectively). The nymphs of Triatoma patagonica were capable of defecating during or immediately after feeding.

Tool for discovering sequential patterns in financial markets

The goal of this thesis is the study of a tool that can help analysts in finding sequential patterns. This tool will have a focus on financial markets. A study will be made on how new and relevant knowledge can be mined from real life information, potentially giving investors, market analysts, and economists new basis to make informed decisions. The Ramex Forum algorithm will be used as a basis for the tool, due to its ability to find sequential patterns in financial data. So that it further adapts to the needs of the thesis, a study of relevant improvements to the algorithm will be made. Another important aspect of this algorithm is the way that it displays the patterns found, even with good results it is difficult to find relevant patterns among all the studied samples without a proper result visualization component. As such, different combinations of parameterizations and ways to visualize data will be evaluated and their influence in the analysis of those patterns will be discussed. In order to properly evaluate the utility of this tool, case studies will be performed as a final test. Real information will be used to produce results and those will be evaluated in regards to their accuracy, interest, and relevance.

Gas tungsten arc welding of NiTi shape memory alloy

Shape memory alloys are characterized by the ability of recovering their initial shape after being deformed and by superelasticity. Since the discovery of these alloys, a new field of interest emerged not only for the scientific community but also to many industries. However, these alloys present poor machinability which constitute a constrain in the design of complex components for new applications. Thus, the demand for joining techniques able to join these alloys without compromising their properties became of great importance to enlarge the complexity of existing applications. Literature shows that these alloys are joined mainly using laser welding. In the present study, similar NiTi butt joints, were produced using TIG welding. The welds were performed in 1.5 mm thick plates across the rolling direction. A special fixture and gas assist device was designed and manufactured. Also a robot arm was adapted to accommodate the welding torch to assure the repeatability of the welding parameters. Welds were successfully achieved without macroscopic defects, such as pores and distortions. Very superficial oxidation was seen on the top surface due to insufficient shielding gas flow on the weld face. The welded joints were mechanically tested and structurally characterized. Testing methods were used to evaluate macro and microstructure, as well as the phase transformation temperatures, the mechanical single and cyclic behaviour and the shape recovery ability. Differential Scanning Calorimetry (DSC), Scanning Electron Microscopy (SEM), Energy Dispersive Spectroscopy (EDS), microhardness measurements were techniques also used to evaluate the welded joints. A depletion in Ni in the fusion zone was seen, as well as a shift in Ms temperature. For strain values of 4% the accumulated irrecoverable strain was of about 30% and increased with the strain imposed during cycling. Nevertheless, a complete recovery of initial shape was observed when testing the shape memory effect on a dedicated device that introduces a deformation of 6.7%. That is, the welding procedure does not remove the ability of the specimens to recover their initial shape.

Analyzing Geospatial patterns of syrian refugee flows in southeastern Turkey by use of remote sensing and complementary data

Crisis-affected communities and global organizations for international aid are becoming increasingly digital as consequence geotechnology popularity. Humanitarian sector changed in profound ways by adopting new technical approach to obtain information from area with difficult geographical or political access. Since 2011, turkey is hosting a growing number of Syrian refugees along southeastern region. Turkish policy of hosting them in camps and the difficulty created by governors to international aid group expeditions to get information, made such international organizations to investigate and adopt other approach in order to obtain information needed. They intensified its remote sensing approach. However, the majority of studies used very high-resolution satellite imagery (VHRSI). The study area is extensive and the temporal resolution of VHRSI is low, besides it is infeasible only using these sensors as unique approach for the whole area. The focus of this research, aims to investigate the potentialities of mid-resolution imagery (here only Landsat) to obtain information from region in crisis (here, southeastern Turkey) through a new web-based platform called Google Earth Engine (GEE). Hereby it is also intended to verify GEE currently reliability once the Application Programming Interface (API) is still in beta version. The finds here shows that the basic functions are trustworthy. Results pointed out that Landsat can recognize change in the spectral resolution clearly only for the first settlement. The ongoing modifications vary for each case. Overall, Landsat demonstrated high limitations, but need more investigations and may be used, with restriction, as a support of VHRSI.

Writing to queens while crises proceed: In memory of Manuel Jacinto Nunes

The project of writing to a fictional Portuguese-speaking Queen on the crises proceeding since 2008 builds on Letters to Queen Elizabeth written by the British Academy and was first published in 2013. This expanded edition signals greater awareness of the complementarity between economic potential and cultural legacy in the Community of Portuguese-speaking Countries (CPLP) insofar as its members, observers and their areas of economic integration encompass the globe. The edition is dedicated to the memory of Manuel Jacinto Nunes, who supported the project as dean of the economics section at the Lisbon Academy of Science. The cover shows a Crown with nine CPLP flags as jewels in the shape of a 7 rising from the waves. The waves of lusophonia appear far gentler than Poe’s maelstrom, reproduced in the back flap. This material, inserted in the proceedings published on IICT’s 130th anniversary, is used at NOVASBE through its Center for Globalization and Governance (CG&G).

Frequency of metabolic syndrome and the food intake patterns in adults living in a rural area of Brazil

INTRODUCTION: Metabolic syndrome (MetS), a risk factor for atherosclerosis and coronary heart disease, is related to an inadequate food intake pattern. Its incidence is increasing among Brazilian adults, including those living in rural areas. Our aim was not only to describe the frequency of MetS in adults with or without MetS but also to compare their food intake pattern as assessed by the healthy eating index (HEI) and serum albumin and C reactive protein (CRP) levels. METHODS: Men and women (n = 246) living in a small village in Brazil were included. MetS was characterized according to the adult treatment panel (ATP III) criteria. Groups were compared by chi-square, student t or Mann-Whitney tests. RESULTS: MetS was diagnosed in 15.4% of the cases. The MetS group showed higher CRP (1.8±1.2 vs. 1.0±0.9 mg/dl) and lower albumin (4.3±0.3 vs. 4.4±0.3 g/dl) serum levels compared to the control group. Additionally, the MetS group showed lower scores (median[range]) in the HEI compared to the control group (53.5[31.2-78.1] vs 58[29.7-89.5], respectively). The MetS group also had decreased scores for total fat and daily variety of food intake. CONCLUSIONS: The results suggest that adults with MetS displayed chronic mild inflammation and a poorer food intake pattern than the control group.

Untitled: Figurations of memory

The next pages will describe my experience and results of making connections between cognitive sciences and art; the transformations of my memories being the object of study and motivation for this process of self-discovery. The human body reacts according to innumerable neural functions and external stimuli. Neurons respond to the evocation of experienced events, building virtual images, map-like constellations sometimes fulfilled by imagination, desires or knowledge promoting in this way their constant reshaping. This document offers an insight into my recollections as matter. As matter these recollections take on different states and I hope to give you a better sense of my personal voice using my experience with glass to explore this transformation and accompanying my journey with lectures and scientific readings about the mind functions.