Speculative execution by using software transactional memory

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do Grau de Mestre em Engenharia Informática.

Study of behavioural and neural bases of visuo-spatial working memory with an fMRI paradigm based on an n-back task

The goal of this study was to propose a new functional magnetic resonance imaging (fMRI) paradigm using a language-free adaptation of a 2-back working memory task to avoid cultural and educational bias. We additionally provide an index of the validity of the proposed paradigm and test whether the experimental task discriminates the behavioural performances of healthy participants from those of individuals with working memory deficits. Ten healthy participants and nine patients presenting working memory (WM) deficits due to acquired brain injury (ABI) performed the developed task. To inspect whether the paradigm activates brain areas typically involved in visual working memory (VWM), brain activation of the healthy participants was assessed with fMRIs. To examine the task's capacity to discriminate behavioural data, performances of the healthy participants in the task were compared with those of ABI patients. Data were analysed with GLM-based random effects procedures and t-tests. We found an increase of the BOLD signal in the specialized areas of VWM. Concerning behavioural performances, healthy participants showed the predicted pattern of more hits, less omissions and a tendency for fewer false alarms, more self-corrected responses, and faster reaction times, when compared with subjects presenting WM impairments. The results suggest that this task activates brain areas involved in VWM and discriminates behavioural performances of clinical and non-clinical groups. It can thus be used as a research methodology for behavioural and neuroimaging studies of VWM in block-design paradigms.

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.

Using the GPU to design complex profile extrusion dies

In the present work the benefits of using graphics processing units (GPU) to aid the design of complex geometry profile extrusion dies, are studied. For that purpose, a3Dfinite volume based code that employs unstructured meshes to solve and couple the continuity, momentum and energy conservation equations governing the fluid flow, together with aconstitutive equation, was used. To evaluate the possibility of reducing the calculation time spent on the numerical calculations, the numerical code was parallelized in the GPU, using asimple programing approach without complex memory manipulations. For verificationpurposes, simulations were performed for three benchmark problems: Poiseuille flow, lid-driven cavity flow and flow around acylinder. Subsequently, the code was used on the design of two real life extrusion dies for the production of a medical catheter and a wood plastic composite decking profile. To evaluate the benefits, the results obtained with the GPU parallelized code were compared, in terms of speedup, with a serial implementation of the same code, that traditionally runs on the central processing unit (CPU). The results obtained show that, even with the simple parallelization approach employed, it was possible to obtain a significant reduction of the computation times.

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.

Design of a bifurcated stent graft, with its accompanying delivery system.

Abdominal Aortic Aneurysms (AAA) haemorhaging is a life-threatening disease. An aneurysm is a permanent swelling of an artery due to a weakness in its wall. Current surgical repair involves opening the chest or abdomen, gaining temporary vascular control of the aorta and suturing a prosthetic graft to the healthy aorta within the aneurysm itself The outcome of this surgical approach is not perfect, and the quality of life after this repair is impaired by postoperative pain, sexual dysfunction, and a lengthy hospital stay resulting in high health costs. All these negative effects are related to the large incision and extensive tissue dissection. Endovascular grafting is an alternative to the standard surgical method. This treatment is a less invasive method of treating aortic aneurysms. It involves a surgical exposure of the common femoral arteries where the stent graft can be inserted through by an over-the-wire technique. All manipulations are controlled from a remote place by the use of a catheter and this technique avoids the need to directly expose the diseased artery through a large incision or an extensive dissection. The proposed design method outlined in this project is to develop the endovascular approach. The main aim is to design an unitary bifurcated stent graft (1 e- bifurcated graft as a single component) to treat these Abdominal Aortic Aneurysms. This includes the delivery system and deployment mechanism necessary to first accurately position the stent graft across the aneurysm sac and also across the iliac bifurcation, and secondly fix the stent graft in position by using expandable metal stents. Thus, excluding the aneurysm from the circulation and therefore preventing rupture. Miniaturisation is a critical aspect of this design, as the smaller the crimped stent graft the easier to guide through the vascular system to the desired location. Biocompatibility is an important aspect. The preferred materials for this prosthesis are to use Shape Memory Alloys for the stent and a multifilament fabric for the graft. A taper design is applied for the geometry as this gives a favourable flow characteristic and reduced wave reflections. Adequate testing of the stent graft to prove its durability and the ease of the method of deployment is a prerequisite. A bench test facility has being designed and build to replicate the cardiovascular system and the disease in question aortic aneurysms at the iliac bifurcation. The testing here shows the feasibility of the proposed delivery system and the durability of the stent graft across the aneurysm sac. Finally, these endovascular treatments offer the economic advantage of short hospital stays or even treatment as an outpatient, as well as elimination of the need for postoperative intensive care The risk of developing an aneurysm increases with age, that is one of the mam reasons to look for less invasive ways of treating aneurysms. Consequently, there is enormous pressure to develop and use these devices rapidly.

Software for Explicitly Parallel Memory-Centric Processor Architecture

Advances in computer memory technology justify research towards new and different views on computer organization. This paper proposes a novel memory-centric computing architecture with the goal to merge memory and processing elements in order to provide better conditions for parallelization and performance. The paper introduces the architectural concepts and afterwards shows the design and implementation of a corresponding assembler and simulator.

Subjective Memory Deficits in People with and without Dementia: Findings from the 10/66 Dementia Research Group Pilot Studies in Low- and Middle-Income Countries

OBJECTIVES To compare subjective memory deficit (SMD) in older adults with and without dementia or depression across multiple centers in low- and middle-income countries (LAMICs). DESIGN Secondary analysis of data from 23 case control studies. SETTING Twenty-three centers in India, Southeast Asia (including China), Latin America and the Caribbean, Nigeria, and Russia. PARTICIPANTS Two thousand six hundred ninety-two community-dwelling people aged 60 and older in one of three groups: people with dementia, people with depression, and controls free of dementia and depression. MEASUREMENTS SMD was derived from the Geriatric Mental State examination. RESULTS Median SMD frequency was lowest in participants without dementia (26.2%) and higher in those with depression (50.0%) and dementia (66.7%). Frequency of SMD varied between centers. Depression and dementia were consistently associated with SMD. Older age and hypochondriasis were associated with SMD only in subjects without dementia. In those with dementia, SMD was associated with better cognitive function, whereas the reverse was the case in controls. CONCLUSION Associations with SMD may differ between subjects with and without dementia living in LAMICs.

Cerebellar transcranial direct current stimulation modulates verbal working memory.

BACKGROUND: Neuroimaging studies show cerebellar activations in a wide range of cognitive tasks and patients with cerebellar lesions often present cognitive deficits suggesting a cerebellar role in higher-order cognition. OBJECTIVE: We used cathodal transcranial direct current stimulation (tDCS), known to inhibit neuronal excitability, over the cerebellum to investigate if cathodal tDCS impairs verbal working memory, an important higher-order cognitive faculty. METHOD: We tested verbal working memory as measured by forward and backward digit spans in 40 healthy young participants before and after applying cathodal tDCS (2 mA, stimulation duration 25 min) to the right cerebellum using a randomized, sham-controlled, double-blind, cross-over design. In addition, we tested the effect of cerebellar tDCS on word reading, finger tapping and a visually cued sensorimotor task. RESULTS: In line with lower digit spans in patients with cerebellar lesions, cerebellar tDCS reduced forward digit spans and blocked the practice dependent increase in backward digit spans. No effects of tDCS on word reading, finger tapping or the visually cued sensorimotor task were found. CONCLUSION: Our results support the view that the cerebellum contributes to verbal working memory as measured by forward and backward digit spans. Moreover, the induction of reversible "virtual cerebellar lesions" in healthy individuals by means of tDCS may improve our understanding of the mechanistic basis of verbal working memory deficits in patients with cerebellar lesions.

Aggravation of chronic stress effects on hippocampal neurogenesis and spatial memory in LPA₁ receptor knockout mice.

BACKGROUND The lysophosphatidic acid LPA₁ receptor regulates plasticity and neurogenesis in the adult hippocampus. Here, we studied whether absence of the LPA₁ receptor modulated the detrimental effects of chronic stress on hippocampal neurogenesis and spatial memory. METHODOLOGY/PRINCIPAL FINDINGS Male LPA₁-null (NULL) and wild-type (WT) mice were assigned to control or chronic stress conditions (21 days of restraint, 3 h/day). Immunohistochemistry for bromodeoxyuridine and endogenous markers was performed to examine hippocampal cell proliferation, survival, number and maturation of young neurons, hippocampal structure and apoptosis in the hippocampus. Corticosterone levels were measured in another a separate cohort of mice. Finally, the hole-board test assessed spatial reference and working memory. Under control conditions, NULL mice showed reduced cell proliferation, a defective population of young neurons, reduced hippocampal volume and moderate spatial memory deficits. However, the primary result is that chronic stress impaired hippocampal neurogenesis in NULLs more severely than in WT mice in terms of cell proliferation; apoptosis; the number and maturation of young neurons; and both the volume and neuronal density in the granular zone. Only stressed NULLs presented hypocortisolemia. Moreover, a dramatic deficit in spatial reference memory consolidation was observed in chronically stressed NULL mice, which was in contrast to the minor effect observed in stressed WT mice. CONCLUSIONS/SIGNIFICANCE These results reveal that the absence of the LPA₁ receptor aggravates the chronic stress-induced impairment to hippocampal neurogenesis and its dependent functions. Thus, modulation of the LPA₁ receptor pathway may be of interest with respect to the treatment of stress-induced hippocampal pathology.

The combination of social and personal contexts affects dominance hierarchy development in shore crabs, Carcinus maenas

Many animals that live in groups maintain competitive relationships, yet avoid continual fighting, by forming dominance hierarchies. We compare predictions of stochastic, individual-based models with empirical experimental evidence using shore crabs to test competing hypotheses regarding hierarchy development. The models test (1) what information individuals use when deciding to fight or retreat, (2) how past experience affects current resource-holding potential, and (3) how individuals deal with changes to the social environment. First, we conclude that crabs assess only their own state and not their opponent's when deciding to fight or retreat. Second, willingness to enter, and performance in, aggressive contests are influenced by previous contest outcomes. Winning increases the likelihood of both fighting and winning future interactions, while losing has the opposite effect. Third, when groups with established dominance hierarchies dissolve and new groups form, individuals reassess their ranks, showing no memory of previous rank or group affiliation. With every change in group composition, individuals fight for their new ranks. This iterative process carries over as groups dissolve and form, which has important implications for the relationship between ability and hierarchy rank. We conclude that dominance hierarchies emerge through an interaction of individual and social factors, and discuss these findings in terms of an underlying mechanism. Overall, our results are consistent with crabs using a cumulative assessment strategy iterated across changes in group composition, in which aggression is constrained by an absolute threshold in energy spent and damage received while fighting.

Influence of a lifestyle intervention in preschool children on physiological and psychological parameters (Ballabeina): study design of a cluster randomized controlled trial.

Childhood obesity and physical inactivity are increasing dramatically worldwide. Children of low socioeconomic status and/or children of migrant background are especially at risk. In general, the overall effectiveness of school-based programs on health-related outcomes has been disappointing. A special gap exists for younger children and in high risk groups. This paper describes the rationale, design, curriculum, and evaluation of a multicenter preschool randomized intervention study conducted in areas with a high migrant population in two out of 26 Swiss cantons. Twenty preschool classes in the German (canton St. Gallen) and another 20 in the French (canton Vaud) part of Switzerland were separately selected and randomized to an intervention and a control arm by the use of opaque envelopes. The multidisciplinary lifestyle intervention aimed to increase physical activity and sleep duration, to reinforce healthy nutrition and eating behaviour, and to reduce media use. According to the ecological model, it included children, their parents and the teachers. The regular teachers performed the majority of the intervention and were supported by a local health promoter. The intervention included physical activity lessons, adaptation of the built infrastructure; promotion of regional extracurricular physical activity; playful lessons about nutrition, media use and sleep, funny homework cards and information materials for teachers and parents. It lasted one school year. Baseline and post-intervention evaluations were performed in both arms. Primary outcome measures included BMI and aerobic fitness (20 m shuttle run test). Secondary outcomes included total (skinfolds, bioelectrical impedance) and central (waist circumference) body fat, motor abilities (obstacle course, static and dynamic balance), physical activity and sleep duration (accelerometry and questionnaires), nutritional behaviour and food intake, media use, quality of life and signs of hyperactivity (questionnaires), attention and spatial working memory ability (two validated tests). Researchers were blinded to group allocation. The purpose of this paper is to outline the design of a school-based multicenter cluster randomized, controlled trial aiming to reduce body mass index and to increase aerobic fitness in preschool children in culturally different parts of Switzerland with a high migrant population. Trial Registration: (clinicaltrials.gov) NCT00674544.

Striking immunodominance hierarchy of naturally occurring CD8+ and CD4+ T cell responses to tumor antigen NY-ESO-1.

Immunodominance has been well-demonstrated in many antiviral and antibacterial systems, but much less so in the setting of immune responses against cancer. Tumor Ag-specific CD8+ T cells keep cancer cells in check via immunosurveillance and shape tumor development through immunoediting. Because most tumor Ags are self Ags, the breadth and depth of antitumor immune responses have not been well-appreciated. To design and develop antitumor vaccines, it is important to understand the immunodominance hierarchy and its underlying mechanisms, and to identify the most immunodominant tumor Ag-specific T cells. We have comprehensively analyzed spontaneous cellular immune responses of one individual and show that multiple tumor Ags are targeted by the patient's immune system, especially the "cancer-testis" tumor Ag NY-ESO-1. The pattern of anti-NY-ESO-1 T cell responses in this patient closely resembles the classical broad yet hierarchical antiviral immunity and was confirmed in a second subject.

Crítical memory of three school debates

As reflection on the education in the Escola Elisava and of the design education in general, the intervention tries to treat the debates that for many years had existed tacitly between the different academic classes, showing the critical situation that it supposes - especially for the fragile design - that one any of these classes influences over the others. From middle of the 90s, the progressive adoption generalized in the higher education of the Anglo-Saxon model ¿with clear predominance of the institutional thing¿ has showed the indicative character of the critique that here is exhibited.

Long-term persistence of HIV-1 vaccine-induced CD4+CD45RA-CD62L-CCR7- memory T-helper cells.

OBJECTIVE: To determine in chimpanzees if candidate HIV-1 subunit protein vaccines were capable of eliciting long-lasting T-cell memory responses in the absence of viral infection, and to determine the specific characteristics of these responses. DESIGN: A longitudinal study of cell-mediated immune responses induced in three chimpanzees following immunization with subunit envelope glycoproteins of either HIV-1 or herpes simplex virus (HSV)-2. Following these pre-clinical observations, four human volunteers who had been immunized 7 years previously with the same HIV-1 vaccine candidate donated blood for assessment of immune responses. METHODS: Responses were monitored by protein and peptide based ELISpot assays, lymphocyte proliferation, and intracellular cytokine staining. Humoral responses were assessed by enzyme-linked immunosorbent assay and virus neutralization assays. RESULTS: Although antigen (Ag)-specific CD4 T-cell responses persisted for at least 5 years in chimpanzees, CD8 T-cell responses were discordant and declined within 2 years. Detailed cellular analyses revealed that strong Th1 in addition to Th2 type responses were induced by AS2/gp120 and persisted, whereas CD8 T-cell memory declined in peripheral blood. The specificity of both Th and cytotoxic T-lymphocyte responses revealed that the majority of responses were directed to conserved epitopes. The remarkable persistence of Ag-specific CD4 T-cell memory was characterized as a population of the CD45RA-CD62L-CCR7- "effector phenotype" producing the cytokines IFNgamma, IL-2 and IL-4 upon epitope-specific recognition. Importantly, results in chimpanzees were confirmed in peripheral blood of one of four human volunteers studied more than 7 years after immunization. CONCLUSION: These studies demonstrate that epitope-specific Th1 and Th2 cytokine-dependent Th responses can be induced and maintained for longer than 5 years by immunization with subunit proteins of HIV-1.