Intention recognition, commitment and their roles in the evolution of cooperation

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

Multiple Mechanical Complications in ST-Segment Elevation Myocardial Infarction with Angiographically Normal Coronary Arteries

This case report discusses an unusual presentation of ST-segment elevation myocardial infarction (STEMI) with normal coronary arteries and severe mechanical complications successfully treated with surgery. An 82-year-old man presented STEMI with angiographically normal coronary arteries and no major echocardiographic alterations at discharge. At the first month follow-up, he complained of fatigue and dyspnea, and contrast echocardiography complemented by cardiac magnetic resonance imaging revealed a large left ventricular apical aneurysm with a thrombus communicating by two jets of a turbulent flow to an aneurysmatic formation of the right ventricular apex. The patient underwent a Dor procedure, which was successful. Ventricular septal defects and ventricular aneurysms are rare but devastating complications of STEMI, with almost all patients presenting multivessel coronary artery disease. Interestingly in this case, the angiographic pattern was normal.

Multiple Sclerosis and Motherhood Choice: an Observational Study in Portuguese Women Patients

INTRODUCTION. Multiple sclerosis (MS) is a disabling disease occurring mainly in women of childbearing age. MS may interfere with family planning and motherhood decision. AIM. To study the influence of MS diagnosis and course of the disease on motherhood decision. PATIENTS AND METHODS. The cohort of 35 to 45-year-old female patients diagnosed with MS for at least ten years was selected from six Portuguese MS centers. A structured questionnaire was applied to all patients in consecutive consultation days. Clinical records were reviewed to characterize and collect information about the disease and pregnancies. RESULTS. One hundred women were included; mean age at MS diagnosis was 26.3 ± 5.0 years; 90% of the participants presented with a relapsing-remitting MS; 57% had no pregnancies after the diagnosis. MS type and number of relapses were not significantly different between women with or without pregnancies after the diagnosis (p = 0.39 and p = 0.50, respectively). Seventy-seven percent of the patients did not have the intended number of pregnancies. Main reasons given were fear of future disability and the possibility of having relapses. Forty-three women considered that pregnancy might worsen MS. CONCLUSION. In our population, motherhood choice was unrelated to the MS type and the number of relapses. However, a relevant number of women had fewer pregnancies than those intended before MS diagnosis and believed that pregnancy could worsen the disease. An effort to better inform the patients should be made to minimize the impact of MS diagnosis on motherhood decision.

Multiple Haemangiomas, Diaphragmatic Eventration and Beckwith-Wiedemann Syndrome: An Unusual Association

A 6-month-old girl with Beckwith-Wiedemann syndrome, multiple haemangiomas (axillary, laryngeal, pulmonary and hepatic) and diaphragmatic eventration was reported. All tumours responded to treatment with propranolol. The surgical correction of diaphragmatic eventration was crucial to a better outcome.

Mutational Analysis of Portuguese Families with Multiple Endocrine Neoplasia Type 1 Reveals Large Germline Deletions

OBJECTIVE: To determine the spectrum of MEN1 mutations in Portuguese kindreds, and identify mutation-carriers. PATIENTS, DESIGN AND RESULTS: Six unrelated MEN1 families were studied for MEN1 gene mutations by single-strand conformational polymorphism (SSCP) and DNA sequence analysis of the coding region and exon-intron boundaries of the MEN1 gene. These methods identified 4 different heterozygous mutations in four families: two mutations are novel (mt 1539 delG and mt 655 ims 11 bp) and two have been previously observed (mt 735 del 46p and mt 1656 del C) all resulting in a premature stop codon. In the remaining two families, in whom no mutations or abnormal MEN1 transcripts were detected, segregation studies of the 5' intragenic marker D11S4946 and codon 418 polymorphism in exon 9 revealed two large germline deletions of the MEN1 gene. Southern blot and tumour loss of heterozygosity analysis confirmed and refined the limits of these deletions, which spanned the MEN1 gene at least from: exon 7 to the 3' untranslated region, in one family, and the 5' polymorphic site D11S4946 to exon 9 (obliterating the initiation codon), in the other family. Twenty-six mutant-gene carriers were identified, 6 of which were asymptomatic. CONCLUSIONS: These results emphasize the importance of the detection of MEN1 germline deletions in patients who do not have mutations of the coding region. Important clues indicating the presence of such deletions may be obtained by segregation studies using the intragenic polymorphisms D11S4946 and at codon 418. The detection of these mutations will help in the genetic counselling of clinical management of the MEN1 families in Portugal.

Desenvolvimento de um ensaio de hibridação múltipla (MHA-MULTIPLE REGION HYBRIDIZATION ASSAY) para identificação presumível de vírus da imunodeficiência humana do tipo 1 (HIV-1) dos subtipos B, G e de formas recombinantes CRF14_BG e CRF02_AG circulantes em Portugal

A maioria dos métodos utilizados na caracterização genética do HIV-1 baseia-se na análise de regiões específicas do genoma viral, fornecendo informação parcial sobre o mesmo e, por consequência, revelando-se inadequados para a identificação de vírus recombinantes. O único método que permite uma caracterização integral do genoma viral passa pela sua sequenciação completa. No entanto, este é um método dispendioso, laborioso e de difícil implementação quando se pretende a análise de elevados números de amostras. Como alternativa a este último, o conjunto de métodos genericamente designados de MHA (Multiple Region Hybridization Assay) baseiam-se na amplificação, por PCR em tempo-real, de várias regiões ao longo do genoma viral e na sua caracterização com sondas específicas (TaqMan). Tendo este modelo por base, o objectivo deste estudo foi o desenvolvimento de um ensaio de hibridação múltipla (MHABG0214) passível de ser aplicado ao estudo de um elevado número de amostras. Este método foi desenvolvido tendo como objectivo a genotipagem as estirpes circulantes dominantes na epidemia Portuguesa, nomeadamente os subtipos B, G e formas genéticas recombinantes CRF02_AG e CRF14_BG. Com base em alinhamentos de sequências de referência de genoma completo, delinearam-se primers universais e subtipo-específicos para a amplificação de diversas regiões codificantes distribuídas ao longo do genoma do HIV-1 (Gag, Protease, Transcriptase Reversa, Integrase, Rev, Gp120 e Gp41). A optimização foi efectuada, inicialmente, para um conjunto de amostras de referência e seguidamente avaliada num conjunto de 50 amostras clínicas. O MHABG0214 foi implementado numa estratégia de PCR em tempo-real, numa detecção dependente de SYBR® Green I para todas as regiões ou, como alternativa, usando sondas TaqMan (Gp41). Apresentamos ainda uma estratégia em que a análise de resultados se baseia, simplesmente, numa abordagem usando PCR/gel de agarose convencional. Estas abordagens constituem ferramentas úteis na identificação das estirpes de HIV-1 em Portugal.

Multi-GPU support on the marrow algorithmic skeleton framework

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

Data-centric concurrency control on the java programming language

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

Real-time labview assessment on adsorption systems

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

Preventing atomicity violations with contracts

Concurrent programming is a difficult and error-prone task because the programmer must reason about multiple threads of execution and their possible interleavings. A concurrent program must synchronize the concurrent accesses to shared memory regions, but this is not enough to prevent all anomalies that can arise in a concurrent setting. The programmer can misidentify the scope of the regions of code that need to be atomic, resulting in atomicity violations and failing to ensure the correct behavior of the program. Executing a sequence of atomic operations may lead to incorrect results when these operations are co-related. In this case, the programmer may be required to enforce the sequential execution of those operations as a whole to avoid atomicity violations. This situation is specially common when the developer makes use of services from third-party packages or modules. This thesis proposes a methodology, based on the design by contract methodology, to specify which sequences of operations must be executed atomically. We developed an analysis that statically verifies that a client of a module is respecting its contract, allowing the programmer to identify the source of possible atomicity violations.

Multiple lymphoid nodules in bone marrow biopsy in immunocompetent patient with cytomegalovirus infection: an immunohistochemical analysis

In Brazil, a high prevalence of cytomegalovirus (CMV) infection has been documented. In immunocompetent adults CMV infection is usually asymptomatic and therefore morphologic and immunophenotypic bone marrow changes have rarely been described. The authors report the case of a previously healthy patient who developed fever of undetermined origin. The diagnosis of acute CMV infection was based on serological testing. A computed tomographic scan showed mediastinal lymphadenopathy. A bone marrow biopsy revealed a hypercellular haematopoiesis with eosinophilia and large mixed T- and B-cell lymphoid aggregates. In spite of bcl-2 positivity, their reactive nature was demonstrated. Polymerase chain reaction (PCR) and immunohistochemistry were unable to detect CMV-DNA in paraffin-embedded bone marrow sections. Much like in other systemic disorders, the lymphoid nodules in this case seemed to be caused by immunological mechanisms, possibly due to cytokines released in response to the systemic infectious process.

Child programming: an adequate domain specific language for programming specific robots

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

Mycetoma fungal infection: multiple organisms as colonizers or pathogens?

We describe a patient with mycetoma or Madura foot, in which histopathological stains of the bone and surface cultures suggested three different organisms including Nocardia species as the cause. Criteria for the diagnosis of the organisms, differentiation between colonizer and pathogen, and significance of mixed infections are discussed.

Towards an algorithmic skeleton framework for programming the Intel R Xeon PhiTM processor

The Intel R Xeon PhiTM is the first processor based on Intel’s MIC (Many Integrated Cores) architecture. It is a co-processor specially tailored for data-parallel computations, whose basic architectural design is similar to the ones of GPUs (Graphics Processing Units), leveraging the use of many integrated low computational cores to perform parallel computations. The main novelty of the MIC architecture, relatively to GPUs, is its compatibility with the Intel x86 architecture. This enables the use of many of the tools commonly available for the parallel programming of x86-based architectures, which may lead to a smaller learning curve. However, programming the Xeon Phi still entails aspects intrinsic to accelerator-based computing, in general, and to the MIC architecture, in particular. In this thesis we advocate the use of algorithmic skeletons for programming the Xeon Phi. Algorithmic skeletons abstract the complexity inherent to parallel programming, hiding details such as resource management, parallel decomposition, inter-execution flow communication, thus removing these concerns from the programmer’s mind. In this context, the goal of the thesis is to lay the foundations for the development of a simple but powerful and efficient skeleton framework for the programming of the Xeon Phi processor. For this purpose we build upon Marrow, an existing framework for the orchestration of OpenCLTM computations in multi-GPU and CPU environments. We extend Marrow to execute both OpenCL and C++ parallel computations on the Xeon Phi. We evaluate the newly developed framework, several well-known benchmarks, like Saxpy and N-Body, will be used to compare, not only its performance to the existing framework when executing on the co-processor, but also to assess the performance on the Xeon Phi versus a multi-GPU environment.