Partial replication in distributed software transactional memory

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

Effect of surfactant on PDLC films with and without permanent memory effect

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

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

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

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.

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).

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.

Application of different heuristic classes in memory-based and stimulus-based decisions

This paper studies the drivers of heuristic application in different decision types. The study compares differences in frequencies of heuristic classes' such as recognition, one-reason choice and trade-off applied in, respectively, memory-based and stimulus-based choices as well as in high and low involvement decisions. The study has been conducted online among 205 participants from 28 countries.

Help-seeking for 'memory loss' by older adults in India : patient, caregiver and health providers' perspectives

ABSTRACT: Background. In India, prevalence rates of dementia and prodromal amnestic Mild Cognitive Impairment (MCI) are 3.1% and 4.3% respectively. Most Indians refer to the full spectrum of cognitive disorders simply as ‘memory loss.’ Barring prevention or cure, these conditions will rise rapidly with population aging. Evidence-based policies and practices can improve the lives of affected individuals and their caregivers, but will require timely and sustained uptake. Objectives. Framed by social cognitive theories of health behavior, this study explores the knowledge, attitudes and practices concerning cognitive impairment and related service use by older adults who screen positive for MCI, their primary caregivers, and health providers. Methods. I used the Montreal Cognitive Assessment to screen for cognitive impairment in memory camps in Mumbai. To achieve sampling diversity, I used maximum variation sampling. Ten adults aged 60+ who had no significant functional impairment but screened positive for MCI and their caregivers participated in separate focus groups. Four other such dyads and six doctors/ traditional healers completed in-depth interviews. Data were translated from Hindi or Marathi to English and analyzed in Atlas.ti using Framework Analysis. Findings. Knowledge and awareness of cognitive impairment and available resources were very low. Physicians attributed the condition to disease-induced pathology while lay persons blamed brain malfunction due to normal aging. Main attitudes were that this condition is not a disease, is not serious and/or is not treatable, and that it evokes stigma toward and among impaired persons, their families and providers. Low knowledge and poor attitudes impeded help-seeking. Conclusions. Cognitive disorders of aging will take a heavy toll on private lives and public resources in developing countries. Early detection, accurate diagnosis, systematic monitoring and quality care are needed to compress the period of morbidity and promote quality of life. Key stakeholders provide essential insights into how scientific and indigenous knowledge and sociocultural attitudes affect use and provision of resources.

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.

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.

Development of paper transistor with memory effect

This work will discuss the use of different paper membranes as both the substrate and dielectric for field-effect memory transistors. Three different nanofibrillated cellulose membranes (NFC) were used as the dielectric layer of the memory transistors (NFC), one with no additives, one with an added polymer PAE and one with added HCl. Gallium indium zinc oxide (GIZO) was used as the device’s semiconductor and gallium aluminium zinc oxide (GAZO) was used as the gate electrode. Fourier transform infrared spectroscopy (FTIR) was used to access the water content of the paper membranes before and after vacuum. It was found that the devices recovered their water too quickly for a difference to be noticeable in FTIR. The transistor’s electrical performance tests yielded a maximum ION/IOFF ratio of around 3,52x105 and a maximum subthreshold swing of 0,804 V/decade. The retention time of the dielectric charge that grants the transistor its memory capabilities was accessed by the measurement of the drain current periodically during 144 days. During this period the mean drain current did not lower, leaving the retention time of the device indeterminate. These results were compared with similar devices revealing these devices to be at the top tier of the state-of-the-art.

Versão portuguesa do CANE (Camberwell Assessment of Need for the Elderly) : desenvolvimento e dados preliminares

RESUMO - A avaliação de necessidades de cuidados é crucial no planeamento, monitorização e avaliação de serviços de psiquiatria e saúde mental, bem como na investigação e na clínica. Este princípio é obviamente aplicável aos serviços responsáveis por populações de pessoas mais velhas. O instrumento CANE — Camberwell Assessment of Need for the Elderly possibilita uma avaliação consistente das necessidades de utentes idosos, nomeadamente em situações de patologia neuropsiquiátrica. Procede-se a uma avaliação cruzada, entrevistando a pessoa em questão, o seu cuidador informal e o técnico responsável. Esta avaliação multidimensional abrange domínios da esfera biológica, psicológica e social, sendo aplicável na comunidade ou em internamento (regime parcial ou completo). A utilidade do CANE tem sido evidenciada em contextos clínicos, de investigação e de avaliação de serviços. Existem múltiplas traduções a nível internacional, a maioria das quais validada. Na área da epidemiologia psiquiátrica nem sempre estão disponíveis os dados relativos à qualidade das adaptações de instrumentos, pelo que se apresenta o processo de desenvolvimento da versão portuguesa (de acordo com as regras para validação transcultural, no processo de tradução-retroversão). A aplicabilidade da versão portuguesa foi satisfatória neste estudo-piloto, representando a primeira fase de um trabalho multicêntrico nacional. Nesta fase inicial, foram considerados casos de idosos com patologia neuropsiquiátrica (maioritariamente demência — 71,4%), em dois centros (Lisboa e Porto) (n = 21). A média de idades foi 73,9 (± 6,3) anos, sendo 76,2% do sexo feminino. A maioria vivia em casa, apresentava co-morbilidade somática e estava em contacto com um cuidador informal (em geral, familiares do sexo feminino). Os avaliadores identificaram necessidades, nem sempre cobertas, nas seguintes dimensões: cuidados com a casa, alimentação, actividades diárias, memória, saúde física, sofrimento psicológico, companhia e dinheiro/economias. Nem sempre a perspectiva de doentes, cuidadores, técnicos e avaliadores foi inteiramente coincidente. Estes resultados preliminares da aplicação da versão portuguesa do CANE são consistentes quanto à sua validade ecológica, facial e de conteúdo, estando em curso contributos adicionais para a validação efectiva numa amostra de maior dimensão.