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.

Visual politics of the estado novo realized on the Alameda Dom Afonso Henriques in Lisbon – the construction of ideal citizenship?

The stylistic categorization of the Estado Novo has been intensely discussed by Portuguese art historians. The square Alameda Dom Afonso Henriques in Lisbon (Alameda) can be seen as paradigmatic for the architecture of power of the Estado Novo. The Alameda forms a gardened valley between two hills. There you find two prominent and highly propagandist buildings: The Instituto Superior Técnico (IST) and the Fonte Luminosa are dedicated to modern sciences and respectively to the harmonious contribution of nature to the city. The iconography of the Alameda as well as its incorporation into the propagandist use of urban planning in the 1930s and 1940s exemplify the visual politics during Salazarism. Urban planning programs intended to create cities that would preserve the character of a traditional catholic society and at the same time answer to the need to modernize the country and evoke the image of a progressive state. Thus, public buildings and urban squares such as the Alameda contributed to design a corporate image and to the ‘spirit’ of the regime.

Scaling In-Memory databases on multicores

Current computer systems have evolved from featuring only a single processing unit and limited RAM, in the order of kilobytes or few megabytes, to include several multicore processors, o↵ering in the order of several tens of concurrent execution contexts, and have main memory in the order of several tens to hundreds of gigabytes. This allows to keep all data of many applications in the main memory, leading to the development of inmemory databases. Compared to disk-backed databases, in-memory databases (IMDBs) are expected to provide better performance by incurring in less I/O overhead. In this dissertation, we present a scalability study of two general purpose IMDBs on multicore systems. The results show that current general purpose IMDBs do not scale on multicores, due to contention among threads running concurrent transactions. In this work, we explore di↵erent direction to overcome the scalability issues of IMDBs in multicores, while enforcing strong isolation semantics. First, we present a solution that requires no modification to either database systems or to the applications, called MacroDB. MacroDB replicates the database among several engines, using a master-slave replication scheme, where update transactions execute on the master, while read-only transactions execute on slaves. This reduces contention, allowing MacroDB to o↵er scalable performance under read-only workloads, while updateintensive workloads su↵er from performance loss, when compared to the standalone engine. Second, we delve into the database engine and identify the concurrency control mechanism used by the storage sub-component as a scalability bottleneck. We then propose a new locking scheme that allows the removal of such mechanisms from the storage sub-component. This modification o↵ers performance improvement under all workloads, when compared to the standalone engine, while scalability is limited to read-only workloads. Next we addressed the scalability limitations for update-intensive workloads, and propose the reduction of locking granularity from the table level to the attribute level. This further improved performance for intensive and moderate update workloads, at a slight cost for read-only workloads. Scalability is limited to intensive-read and read-only workloads. Finally, we investigate the impact applications have on the performance of database systems, by studying how operation order inside transactions influences the database performance. We then propose a Read before Write (RbW) interaction pattern, under which transaction perform all read operations before executing write operations. The RbW pattern allowed TPC-C to achieve scalable performance on our modified engine for all workloads. Additionally, the RbW pattern allowed our modified engine to achieve scalable performance on multicores, almost up to the total number of cores, while enforcing strong isolation.

Conflict in cross-functional teams

The present study is a qualitative analysis of the tensions that occur in cross-functional teams (CFTs) and the way in which they can affect the teams' accomplishments. The research is focused on a single case, COHTTEC 2005, a program aimed at transforming new technologies into businesses that took place in Lisbon, Portugal, starting March 2005. In this program, participants were organized in cross-functional teams that included researchers and management students. Semi-structured interviews were made to a sample of 17 participants. These interviews were recorded and transcribed. A table was then elaborated based on the primary data provided by the subjects and these data were classified in different categories. A three-stage model of group dynamics is proposed. The major findings of this project point to the role of interpersonal relationships on group outcomes. More specifically, several patterns associated with team malfunction were uncovered, the clearest ones being autocratic decision-making and arrogant behavior from some team members, as well as escalation in relationship conflict. Implications from these results are discussed, both for future research and for practice.

Perception of organizational politics and the effect of authenticity and affective commitment on deviance and task performance in contact centers

This study aimed to understand employees’ reactions to organizational politics in Contact Centers. Drawing from a sample of 187 supervisor-employee dyads, we studied the relationship between employees’ perceptions of organizational politics and supervisor-rated task performance and deviance, and mediation effects by authenticity at work and affective commitment. Results indicate that workers tend to react to workplace politics with deviant behavior and worse task performance. We found that the relationship between perceived politics and task performance was mediated by authenticity. The relationship between perceived politics and supervisor-rated deviance was mediated by affective commitment to the organization. Implications for management are discussed.

Contributos para um Plano de Preservação no Arquivo Intermédio da Câmara Municipal de Sintra

Os aquivos municipais preservam a documentação definida legalmente como de conservação permanente, a memória e a experiência da Administração Local e, como tal, são agentes imprescindíveis à preservação dos direitos municipais. A preocupação com a preservação da documentação deve constituir um dos pilares principais do arquivo desde o início da sua criação. E não somente quando a documentação é transferida para o Arquivo Histórico, deve estar presente durante todo o ciclo de vida da documentação. Com a criação do PARAM (Programa de Apoio à Rede de Arquivos Municipais), os arquivos municipais ganham um novo incremento, não só a nível técnico como a nível financeiro, sendo-lhe reconhecido o seu devido valor e importância, na sua dupla dimensão, administrativa e cultural. Uma das funções do arquivo é disponibilizar a documentação que têm à sua guarda e que se encontra armazenada nos depósitos. Para tal é fundamental criar condições a curto, a médio e a longo prazo, implementando toda uma política integrada de preservação, envolvendo os demais serviços da instituição, fazendo-se o controlo do estado de conservação da documentação, aplicando uma metodologia da manipulação de documentos para disponibilizá-los tanto aos clientes internos como externos. O Arquivo Intermédio da Câmara Municipal de Sintra não possui plano de preservação documental, nem ações de preservação extensíveis aos objetos digitais, daí que a presente tese de mestrado pretenda ser um proposta de um contributo de um plano de preservação, que tenha em consideração os demais aspetos desde a localização e construção ou manutenção do edifício onde se encontra o arquivo, questões de segurança, de controlo ambiental, de luz/fotodegradação, o controlo integrado de pragas, danos causados por água, os desastres naturais, a poluição, a limpeza e vigilância na zona de depósitos e armazenamento e manuseamento dos documentos.

Bioactive nanocomposite spheres with proved shape memory capability in bone defects

Bioactive glass nanoparticles (BGNPs) promote an apatite surface layer in physiologic conditions that lead to a good interfacial bonding with bone.1 A strategy to induce bioactivity in non-bioactive polymeric biomaterials is to incorporate BGNPs in the polymer matrix. This combination creates a nanocomposite material with increased osteoconductive properties. Chitosan (CHT) is a polymer obtained by deacetylation of chitin and is biodegradable, non-toxic and biocompatible. The combination of CHT and the BGNPs aims at designing biocompatible spheres promoting the formation of a calcium phosphate layer at the nanocomposite surface, thus enhancing the osteoconductivity behaviour of the biomaterial. Shape memory polymers (SMP) are stimuli-responsive materials that offer mechanical and geometrical action triggered by an external stimulus.2 They can be deformed and fixed into a temporary shape which remains stable unless exposed to a proper stimulus that triggers recovery of their original shape. This advanced functionality makes such SMPs suitable to be implanted using minimally invasive surgery procedures. Regarding that, the inclusion of therapeutic molecules becomes attractive.  We propose the synthesis of shape memory bioactive nanocomposite spheres with drug release capability.3   1.  L. L. Hench, Am. Ceram. Soc. Bull., 1993, 72, 93-98. 2.  A. Lendlein and S. Kelch, Angew Chem Int Edit, 2002, 41, 2034-2057. 3.  Ã . J. Leite, S. G. Caridade and J. F. Mano, Journal of Non-Crystalline Solids (in Press)

Construção de um manual de codificação e interpretação de memórias autobiográficas

Dissertação de mestrado integrado em Psicologia

Connecting free volume with shape memory properties in noncytotoxic gamma-irradiated polycyclooctene

The free volume holes of a shape memory polymer have been analysed considering that the empty space between molecules is necessary for the molecular motion, and the shape memory response is based on polymer segments acting as molecular switches through variable flexibility with temperature or other stimuli. Therefore, thermomechanical analysis (TMA) and positron annihilation lifetime spectroscopy (PALS) have been applied to analyse shape recovery and free volume hole sizes in gamma irradiated polycyclooctene (PCO) samples, as a non-cytotoxic alternative to more conventional PCO crosslinked via peroxide for future applications in medicine. Thus, a first approach relating structure, free volume holes and shape memory properties in gamma irradiated PCO is presented. The results suggest that free volume holes caused by gamma irradiation in PCO samples facilitate the recovery process by improving movement of polymer chains and open t possibilities for the design and control of the macroscopic response.

Enhanced resistive switching and multilevel behavior in bilayered HfAlO/HfAlOx structures for non-volatile memory applications

In this work, hafnium aluminum oxide (HfAlO) thin films were deposited by ion beam sputtering deposition technique on Si substrate. The presence of oxygen vacancies in the HfAlOx layer deposited in oxygen deficient environment is evidenced from the photoluminescence spectra. Furthermore, HfAlO(oxygen rich)/HfAlOx(oxygen poor) bilayer structures exhibit multilevel resistive switching (RS), and the switching ratio becomes more prominent with increasing the HfAlO layer thickness. The bilayer structure with HfAlO/HfAlOx thickness of 30/40 nm displays the enhanced multilevel resistive switching characteristics, where the high resistance state/ intermediate resistance state (IRS) and IRS/low resistance state resistance ratios are 102 and 5 105 , respectively. The switching mechanisms in the bilayer structures were investigated by the temperature dependence of the three resistance states. This study revealed that the multilevel RS is attributed to the coupling of ionic conduction and the metallic conduction, being the first associated to the formation and rupture of conductive filaments related to oxygen vacancies and the second with the formation of a metallic filament. Moreover, the bilayer structures exhibit good endurance and stability in time.

Effector memory CD4+ T cells are associated with cognitive performance in a senior population

Objective: Immunosenescence and cognitive decline are common markers of the aging process. Taking into consideration the heterogeneity observed in aging processes and the recently described link between lymphocytes and cognition, we herein explored the possibility of an association between alterations in lymphocytic populations and cognitive performance. Methods: In a cohort of cognitively healthy adults (n = 114), previously characterized by diverse neurocognitive/psychological performance patterns, detailed peripheral blood immunophenotyping of both the innate and adaptive immune systems was performed by flow cytometry. Results: Better cognitive performance was associated with lower numbers of effector memory CD4(+) T cells and higher numbers of naive CD8(+) T cells and B cells. Furthermore, effector memory CD4(+) T cells were found to be predictors of general and executive function and memory, even when factors known to influence cognitive performance in older individuals (e.g., age, sex, education, and mood) were taken into account. Conclusions: This is the first study in humans associating specific phenotypes of the immune system with distinct cognitive performance in healthy aging.

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.

Abnormal interactions between context, memory structure, and mood in schizophrenia: an ERP investigation

This study used event-related potentials to examine interactions between mood, sentence context, and semantic memory structure in schizophrenia. Seventeen male chronic schizophrenia and 15 healthy control subjects read sentence pairs after positive, negative, or neutral mood induction. Sentences ended with expected words (EW), within-category violations (WCV), or between-category violations (BCV). Across all moods, patients showed sensitivity to context indexed by reduced N400 to EW relative to both WCV and BCV. However, they did not show sensitivity to the semantic memory structure. N400 abnormalities were particularly enhanced under a negative mood in schizophrenia. These findings suggest abnormal interactions between mood, context processing, and connections within semantic memory in schizophrenia, and a specific role of negative mood in modulating semantic processes in this disease.