Pattern operators for grid

The definition and programming of distributed applications has become a major research issue due to the increasing availability of (large scale) distributed platforms and the requirements posed by the economical globalization. However, such a task requires a huge effort due to the complexity of the distributed environments: large amount of users may communicate and share information across different authority domains; moreover, the “execution environment” or “computations” are dynamic since the number of users and the computational infrastructure change in time. Grid environments, in particular, promise to be an answer to deal with such complexity, by providing high performance execution support to large amount of users, and resource sharing across different organizations. Nevertheless, programming in Grid environments is still a difficult task. There is a lack of high level programming paradigms and support tools that may guide the application developer and allow reusability of state-of-the-art solutions. Specifically, the main goal of the work presented in this thesis is to contribute to the simplification of the development cycle of applications for Grid environments by bringing structure and flexibility to three stages of that cycle through a commonmodel. The stages are: the design phase, the execution phase, and the reconfiguration phase. The common model is based on the manipulation of patterns through pattern operators, and the division of both patterns and operators into two categories, namely structural and behavioural. Moreover, both structural and behavioural patterns are first class entities at each of the aforesaid stages. At the design phase, patterns can be manipulated like other first class entities such as components. This allows a more structured way to build applications by reusing and composing state-of-the-art patterns. At the execution phase, patterns are units of execution control: it is possible, for example, to start or stop and to resume the execution of a pattern as a single entity. At the reconfiguration phase, patterns can also be manipulated as single entities with the additional advantage that it is possible to perform a structural reconfiguration while keeping some of the behavioural constraints, and vice-versa. For example, it is possible to replace a behavioural pattern, which was applied to some structural pattern, with another behavioural pattern. In this thesis, besides the proposal of the methodology for distributed application development, as sketched above, a definition of a relevant set of pattern operators was made. The methodology and the expressivity of the pattern operators were assessed through the development of several representative distributed applications. To support this validation, a prototype was designed and implemented, encompassing some relevant patterns and a significant part of the patterns operators defined. This prototype was based in the Triana environment; Triana supports the development and deployment of distributed applications in the Grid through a dataflow-based programming model. Additionally, this thesis also presents the analysis of a mapping of some operators for execution control onto the Distributed Resource Management Application API (DRMAA). This assessment confirmed the suitability of the proposed model, as well as the generality and flexibility of the defined pattern operators

Petri net model decomposition - a model based approach supporting distributed execution

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Electrotécnica, Especialidade de Sistemas Digitais, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Chromatic reintegration of historical mortars with lime-based pozzolanic consolidant products

3rd Historic Mortars Conference, 11-14 September 2013, Glasgow, Scotland

Mental health care assessed based on structure, process and outcome : a retrospective cohort study

RESUMO: As doenças mentais são comuns, universais e associadas a uma significativa sobrecarga pessoal, familiar, social e económica. Os Serviços de Saúde Mental devem abordar de forma adequada as necessidades dos pacientes e familiares tanto ao nível clínico como também ao nível social. O presente estudo foi realizado num período de grande transformação nos sistemas de saúde primário e de saúde mental em Portugal, num Departamento de Psiquiatria desenvolvido com base nos princípios da OMS. Os objectivos incluem a caracterização: 1) das Unidades Funcionais do Departamento; 2) dos pacientes internados pela primeira vez no internamento de agudos; 3) da utilização dos serviços nas equipas comunitárias após a alta; e 4) da avaliação de alguns dos indicadores de qualidade do departamento, com recurso ao modelo de Donabedian sobre a articulação entre a Estrutura-Processo-Resultados. Metodologia: Foi escolhido um estudo de coorte retrospectivo. Todos os pacientes internados pela primeira vez entre 2008 e 2010 foram incluídos no estudo. Os seus processos clínicos e a base de dados do hospital onde são registados todos os contactos que estes tiveram com os profissionais de saúde mental foram revistos de forma a obter dados sociodemográficos e clínicos, durante o período do estudo e após a alta. Os instrumentos utilizados foram o WHO-ICMHC (Classificação Internacional de Cuidados de Saúde Mental), para caracterizar o Departamento, o AIESMP (Avaliação Inicial de Enfermagem em Saúde Mental e Psiquiatria) para recolha dos dados sociodemográficos, e o VSSS (Escala de Satisfação com os Serviços de Verona) de forma a avaliar a satisfação dos pacientes em relação aos cuidados recebidos. A análise estatística incluiu a análise descritiva, quantitativa e qualitativa dos dados. Resultados: As Unidades Funcionais do Departamento revelaram níveis elevados de articulação e consistência com as necessidades de cuidados psiquiátricos e reabilitação psicossocial dos pacientes. Os 543 pacientes admitidos pela primeira vez eram maioritariamente (56.9%) mulheres, caucasianas (81.2%), com diagnóstico de perturbações do humor (66.3%), internadas voluntariamente (59.7%), e uma idade média de 45.1 anos. Estas eram significativamente mais velhas, mais frequentemente empregadas, casadas/coabitar e tinham uma prevalência mais elevada de perturbações do humor, comparativamente aos homens. O internamento compulsivo era mais significativo nos homens (54.7%). A taxa de abandono no pós-alta (4.2%) e a taxa de reinternamentos (2.9%) na quinzena após a alta revelaram-se inferiores aos padrões na literatura internacional. De forma global, a satisfação dos pacientes com os cuidados de saúde mental foi positiva. Conclusões: Os cuidados prestados mostraram-se eficazes, adaptados e baseados nas necessidades e problemas específicos dos pacientes. A continuidade e a abrangência de cuidados foram difundidos e mantidos ao longo do processo de cuidados. Este Departamento pode ser considerado um exemplo de como proporcionar tratamento digno e eficiente, e uma referência para futuros serviços de psiquiatria.-------------- ABSTRACT: Mental health disorders are common, universal, and associated with heavy personal, family, social and economic burden. Mental health services should be aimed at adequately addressing patients’ and families’ needs at clinical and social level. The current study was carried out at a time of great transformation in the health and mental health systems in Portugal, in a Psychiatric Department developed taking in consideration the WHO principles. The objectives included characterizing: 1) the Psychiatric Department’s different units; 2) the patients admitted for the first time to the inpatient unit; 3) their use of community mental health services after discharge; and 4) assessing some of the department’s quality indicators, with resource to Donabedian’s Structure-Process-Outcome model. Methodology: A retrospective cohort design was chosen. All the firstly admitted patients in the period between 2008 and 2010 were included in the study. Their clinical records and the hospital’s database which registers all of the contacts the patients had with the mental health professionals during the study period, were reviewed to retrieve sociodemographic and clinical data and information on follow-up. The instruments used were the WHO International Classification of Mental Health Care (ICMHC) to characterize the department, the Initial Nurses’ Assessment in Mental Health and Psychiatry (AIESMP) for patients’ sociodemographic data, and the Verona Service Satisfaction Scale (VSSS) to assess patients’ satisfaction with care received. Statistical analysis included descriptive, quantitative and qualitative analysis of the data. Results: The Department’s Functional units revealed high levels of articulation, and were consistent with patients’ needs for psychiatric care and psychosocial rehabilitation. The 543 patients firstly admitted were mainly (56.9%) female, Caucasian (81.2%), diagnosed with mood disorders (66.3%), voluntarily admitted (59.7%), and with a mean age of 45.1 years. Female patients were significantly older, more frequently employed, married/cohabiting and had a higher prevalence of mood disorders when compared to males. Involuntary admission was more significant in males (54.7%). Dropout rates during follow-up (4.2%) and readmission rates (2.9%) in the fortnight following discharge were lower than standards in international literature. Overall patients’ satisfaction with mental health care was positive. Conclusions: The care delivered was effective, adapted and based on the patients’ specific needs and problems. Continuity and comprehensiveness of care was endorsed and maintained throughout the care process. This department may be considered an example of both humane and effective treatment, and a reference for future psychiatric care.

Past/present and future worries: na fMRI study

For the past decade, numerous imaging techniques gave rise to remarka-ble progresses in the understanding of brain’s structure and function. Amongst the wide variety of studies onto the field of neuroscience, neuropsychiatric re-searches with resource to neuroimaging have attracted increasing attention. The present study will focus on the identification of brain areas recruited while normative subjects read sentences related to past/present or future wor-ries. Our main aim was to accurately characterize these brain areas while providing them with a time-stamp that would hopefully help us understand the implications of past/present memories and future envisioning in worrying episodes. With that purpose, functional magnetic resonance imaging data was collected from ten healthy individuals. The obtained data was processed and statistically treated using the General Linear Model and both Fixed and Ran-dom Effects Analysis for group-level results. Thereafter, a Multi-Voxel Pattern Analysis with Searchlight Mapping was performed in order to find patterns of activation that allow differentiation between conditions. The obtained results indicate higher brain activation while reading sen-tences related to past/present worries when compared to future worry or neu-tral sentences. The main areas include frontal cortex, posterior parietal, occipital and temporal areas. Worrying, per se, was characterized by activation of the medial posterior parietal cortex, left posterior occipital lobe and left central temporal lobe. With the searchlight mapping approach we were able to further identify patterns of distinction between conditions, which were located in the parietal, limbic and frontal lobes.

Concurrent tabling

In the past few years Tabling has emerged as a powerful logic programming model. The integration of concurrent features into the implementation of Tabling systems is demanded by need to use recently developed tabling applications within distributed systems, where a process has to respond concurrently to several requests. The support for sharing of tables among the concurrent threads of a Tabling process is a desirable feature, to allow one of Tabling’s virtues, the re-use of computations by other threads and to allow efficient usage of available memory. However, the incremental completion of tables which are evaluated concurrently is not a trivial problem. In this dissertation we describe the integration of concurrency mechanisms, by the way of multi-threading, in a state of the art Tabling and Prolog system, XSB. We begin by reviewing the main concepts for a formal description of tabled computations, called SLG resolution and for the implementation of Tabling under the SLG-WAM, the abstract machine supported by XSB. We describe the different scheduling strategies provided by XSB and introduce some new properties of local scheduling, a scheduling strategy for SLG resolution. We proceed to describe our implementation work by describing the process of integrating multi-threading in a Prolog system supporting Tabling, without addressing the problem of shared tables. We describe the trade-offs and implementation decisions involved. We then describe an optimistic algorithm for the concurrent sharing of completed tables, Shared Completed Tables, which allows the sharing of tables without incurring in deadlocks, under local scheduling. This method relies on the execution properties of local scheduling and includes full support for negation. We provide a theoretical framework and discuss the implementation’s correctness and complexity. After that, we describe amethod for the sharing of tables among threads that allows parallelism in the computation of inter-dependent subgoals, which we name Concurrent Completion. We informally argue for the correctness of Concurrent Completion. We give detailed performance measurements of the multi-threaded XSB systems over a variety of machines and operating systems, for both the Shared Completed Tables and the Concurrent Completion implementations. We focus our measurements inthe overhead over the sequential engine and the scalability of the system. We finish with a comparison of XSB with other multi-threaded Prolog systems and we compare our approach to concurrent tabling with parallel and distributed methods for the evaluation of tabling. Finally, we identify future research directions.

Molybdenum-containing proteins from Sulphate Reducing Bacteria: studying proteins with novel cofactors and revealing new features of old enzymes

Dissertação apresentada para a obtenção do Grau de Doutor em Bioquímica, especialidade de Bioquímica-Física pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

The simple economics of risk-sharing agreements between the NHS and the pharmaceutical industry

The Janssen-Cilag proposal for a risk-sharing agreement regarding bortezomib received a welcome signal from NICE. The Office of Fair Trading report included risk-sharing agreements as an available tool for the National Health Service. Nonetheless, recent discussions have somewhat neglected the economic fundamentals underlying risk-sharing agreements. We argue here that risk-sharing agreements, although attractive due to the principle of paying by results, also entail risks. Too many patients may be put under treatment even with a low success probability. Prices are likely to be adjusted upward, in anticipation of future risk-sharing agreements between the pharmaceutical company and the third-party payer. An available instrument is a verification cost per patient treated, which allows obtaining the first-best allocation of patients to the new treatment, under the risk sharing agreement. Overall, the welfare effects of risk-sharing agreements are ambiguous, and care must be taken with their use.

Chaînes opératoires and resource-exploitation strategies in chimpanzee (Pan troglodytes) nut cracking

Journal of Human Evolution, V. 55, pp. 148-163

Georeferencing Road Accidents with Google Earth: Transforming Information into Knowledge for Decision Support

Over the last fifty years mobility practices have changed dramatically, improving the way travel takes place, the time it takes but also on matters like road safety and prevention. High mortality caused by high accident levels has reached untenable levels. But the research into road mortality stayed limited to comparative statistical exercises which go no further than defining accident types. In terms of sharing information and mapping accidents, little progress has been mad, aside from the normal publication of figures, either through simplistic tables or web pages. With considerable technological advances on geographical information technologies, research and development stayed rather static with only a few good examples on dynamic mapping. The use of Global Positioning System (GPS) devices as normal equipments on automobile industry resulted in a more dynamic mobility patterns but also with higher degrees of uncertainty on road traffic. This paper describes a road accident georeferencing project for the Lisbon District involving fatalities and serious injuries during 2007. In the initial phase, individual information summaries were compiled giving information on accidents and its majour characteristics, collected by the security forces: the Public Safety Police Force (Polícia de Segurança Pública - PSP) and the National Guard (Guarda Nacional Republicana - GNR). The Google Earth platform was used to georeference the information in order to inform the public and the authorities of the accident locations, the nature of the location, and the causes and consequences of the accidents. This paper also gives future insights about augmented reality technologies, considered crucial to advances to road safety and prevention studies. At the end, this exercise could be considered a success because of numerous consequences, as for stakeholders who decide what to do but also for the public awareness to the problem of road mortality.

Improving discovery in the life sciences using semantic Web technologies and linked data: design principles for life sciences knowledge organization systems

Dissertation presented to obtain the Ph.D degree in Bioinformatics

Bridging environmental conflicts with social metabolism : forestry expansion and socioeconomic change

Dissertação apresentada para obtenção do Grau de Doutor em Ciências do Ambiente, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Lean enterprise resource planning

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia e Gestão Industrial

A framework for scientific computing with GPUs

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

Assessment of metadata associated with geotag pictures

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