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.

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

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

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.

Machine ethics via logic programming

Machine ethics is an interdisciplinary field of inquiry that emerges from the need of imbuing autonomous agents with the capacity of moral decision-making. While some approaches provide implementations in Logic Programming (LP) systems, they have not exploited LP-based reasoning features that appear essential for moral reasoning. This PhD thesis aims at investigating further the appropriateness of LP, notably a combination of LP-based reasoning features, including techniques available in LP systems, to machine ethics. Moral facets, as studied in moral philosophy and psychology, that are amenable to computational modeling are identified, and mapped to appropriate LP concepts for representing and reasoning about them. The main contributions of the thesis are twofold. First, novel approaches are proposed for employing tabling in contextual abduction and updating – individually and combined – plus a LP approach of counterfactual reasoning; the latter being implemented on top of the aforementioned combined abduction and updating technique with tabling. They are all important to model various issues of the aforementioned moral facets. Second, a variety of LP-based reasoning features are applied to model the identified moral facets, through moral examples taken off-the-shelf from the morality literature. These applications include: (1) Modeling moral permissibility according to the Doctrines of Double Effect (DDE) and Triple Effect (DTE), demonstrating deontological and utilitarian judgments via integrity constraints (in abduction) and preferences over abductive scenarios; (2) Modeling moral reasoning under uncertainty of actions, via abduction and probabilistic LP; (3) Modeling moral updating (that allows other – possibly overriding – moral rules to be adopted by an agent, on top of those it currently follows) via the integration of tabling in contextual abduction and updating; and (4) Modeling moral permissibility and its justification via counterfactuals, where counterfactuals are used for formulating DDE.

Conception and first results of a cross-sectional national study on the demography, disease characteristics and socioeconomics status of the Portuguese patients with multiple sclerosis : the PORT-MS study

RESUMO: Introdução e objetivos: Não existia um estudo multicêntrico que descrevesse as características dos doentes com EM, da doença em si, ou do seu tratamento, em Portugal.Métodos: Doentes McDonald 2010 positivos foram sequencialmente recrutados em 7 centros entre Maio e Novembro 2014. Aplicou-se um Caderno de Recolha de Dados incidindo na demografia, doença, educação e emprego (estudo PORT-MS). Resultados: 561 doentes incluídos. Primeiros sintomas aos 30,2±10,5 anos (RRMS 29,2±10, PPMS 39,4±11,7, p<0,001); diagnóstico 3,2±5,3 anos depois (RRMS 3,0±5,1, PPMS 4,9±2,5, p=0,002); tempo de doença após diagnóstico 9,4±7,2 anos (semelhante RRMS no diagnóstico e PPMS); idade atual 42,9±12,4 anos (grupo RRMS no diagnóstico 42,0±12,1, PPMS 52,5±11,3, p<0,001); EDSS atual 2,5 (RRMS 2.0, PPMS 6.0); proporção feminino:masculino é 2,5:1 (RRMS semelhante, PPMS 1,1:1, p<0,05); no diagnóstico RRMS 90,6%, SPMS 0,9%, PPMS 8,6%; 9,5% dos RRMS encontravam-se em SP na inclusão (nomeadamente os com mais idade no diagnóstico e/ou atualidade ou tempo de doença mais prolongado). PPMS mais frequente em doentes diagnosticados mais tardiamente (p<0,001), onde aumenta também ligeiramente a proporção de mulheres na PPMS. Nas últimas décadas: novos casos mostram estabilidade na proporção de géneros e tipos de doença; idade nos primeiros sintomas e no diagnóstico aumentou ligeiramente, tempo entre eles diminuiu ligeiramente. Proporção sob DMT (Maio 2014): global 84,5%; atualmente RRMS 90,4%; SPMS 70,8%; PPMS 36,8%; progressivas agregadas 48%. Tipo de DMT, amostra global: interferões 56,5%, GA 18,4%, Natalizumab 11,6%, Fingolimod 9,7%. Global: economicamente ativos 61,5%, desemprego 13,5%, 74,1% dos não activos estão reformados por doença. Gravidezes após diagnóstico em 15% mulheres. Casos com história familiar positiva 7,8%. Discussão e conclusões: Incluída cerca de 10% da população portuguesa. Resultados congruentes com dados internacionais. Elevada proporção sob DMT, mesmo EDSS alto e formas progressivas. Terapêuticas de segunda linha sub representadas. Doentes jovens e com doença ligeira com vida económica ativa; restantes essencialmente reformados por doença.---------------- ABSTRACT : Background/aims: In Portugal, there wasn’t a multicentric study on the general characteristics (demography, disease milestones, DMT, socioeconomic status) of Multiple Sclerosis patients. Methods: Patients fulfilling McDonald 2010 criteria were sequentially recruited from May to November 2014 in 7 centers and data was systematically collected. Results: 561 patients included. First symptoms occurred at 30,2±10,5 years-old (RRMS 29,2±10, PPMS 39,4±11,7, p<0,001); diagnosis 3,2±5,3 years later (RRMS 3,0±5,1, PPMS 4,9±2,5, p=0,002); 9,4±7,2 years elapsed since diagnosis (similar for those is RRMS at diagnosis and PPMS); current age 42,9±12,4 years-old (group RRMS at diagnosis 42,0±12,1, PPMS 52,5±11,3, p<0,001); current EDSS 2,5 (RRMS 2.0, PPMS 6.0); females to males 2,5:1 (RRMS similar, PPMS 1,1:1, p<0,05); at diagnosis RRMS 90,6%, SPMS 0,9%, PPMS 8,6%; 9,5% of RRMS reached SP at inclusion (those older at diagnosis, in actuality, or with longer follow-up). PPMS more frequente in patients diagnosed at older ages (p<0,001), also slight increase in females. Along the last decades: new cases have showed stable proportions of gender and disease types; age at first symptoms and diagnosis slightly increased, time between them slightly decreased. Proportion on DMT (May 2014): 84,5% of all; 90,4% of currently in RRMS; 70,8% of SPMS; 36,8% of PPMS; 48% of progressive forms together. Type of DMT, all patients: interferons 56,5%, Glatiramer Acetate 18,4%, Natalizumab 11,6%, Fingolimod 9,7%. Economically active 61,5% of all, unemployment 13,5%, 74,1% of non-active are retired due to disease. Females pregnant after diagnosis 15%. Positive family cases in 7,8%. Discussion/Conclusions: 10% of the national MS population collected. Data generally consistente with international reports. Proportion under DMT relatively high in all disease types, but second line therapies underrepresented. Young patients with mild disease have an active economic life. Those not active are essentially retired due to disease.

Improving the early diagnostic of prostate cancer by multiple biomarker detection with new biosensing devices

Prostate cancer (PCa) is the most common form of cancer in men, in Europe (World Health Organization data). The most recent statistics, in Portuguese territory, confirm this scenario, which states that about 50% of Portuguese men may suffer from prostate cancer and 15% of these will die from this condition. Its early detection is therefore fundamental. This is currently being done by Prostate Specific Antigen (PSA) screening in urine but false positive and negative results are quite often obtained and many patients are sent to unnecessary biopsy procedures. This early detection protocol may be improved, by the development of point-of-care cancer detection devices, not only to PSA but also to other biomarkers recently identified. Thus, the present work aims to screen several biomarkers in cultured human prostate cell lines, serum and urine samples, developing low cost sensors based on new synthetic biomaterials. Biomarkers considered in this study are the following: prostate specific antigen (PSA), annexin A3 (ANXA3), microseminoprotein-beta (MSMB) and sarcosine (SAR). The biomarker recognition may occurs by means of molecularly imprinted polymers (MIP), which are a kind of plastic antibodies, and enzymatic approaches. The growth of a rigid polymer, chemically stable, using the biomarker as a template allows the synthesis of the plastic antibody. MIPs show high sensitivity/selectivity and present much longer stability and much lower price than natural antibodies. This nanostructured material was prepared on a carbon solid. The interaction between the biomarker and the sensing-material produces electrical signals generating quantitative or semi-quantitative data. These devices allow inexpensive and portable detection in point-of-care testing.

Quadratic programming versus second order con programming in portfolio optimization

Despite the extensive literature in finding new models to replace the Markowitz model or trying to increase the accuracy of its input estimations, there is less studies about the impact on the results of using different optimization algorithms. This paper aims to add some research to this field by comparing the performance of two optimization algorithms in drawing the Markowitz Efficient Frontier and in real world investment strategies. Second order cone programming is a faster algorithm, appears to be more efficient, but is impossible to assert which algorithm is better. Quadratic Programming often shows superior performance in real investment strategies.

Is Modernity Multiple?

Fundação para a Ciência e a Tecnologia (FCT), Fundação Millennium bcp

Implementação de um modelo de geometric semantic genetic programming para aplicação naval

Recaí sob a responsabilidade da Marinha Portuguesa a gestão da Zona Económica Exclusiva de Portugal, assegurando a sua segurança da mesma face a atividades criminosas. Para auxiliar a tarefa, é utilizado o sistema Oversee, utilizado para monitorizar a posição de todas as embarcações presentes na área afeta, permitindo a rápida intervenção da Marinha Portuguesa quando e onde necessário. No entanto, o sistema necessita de transmissões periódicas constantes originadas nas embarcações para operar corretamente – casos as transmissões sejam interrompidas, deliberada ou acidentalmente, o sistema deixa de conseguir localizar embarcações, dificultando a intervenção da Marinha. A fim de colmatar esta falha, é proposto adicionar ao sistema Oversee a capacidade de prever as posições futuras de uma embarcação com base no seu trajeto até à cessação das transmissões. Tendo em conta os grandes volumes de dados gerados pelo sistema (históricos de posições), a área de Inteligência Artificial apresenta uma possível solução para este problema. Atendendo às necessidades de resposta rápida do problema abordado, o algoritmo de Geometric Semantic Genetic Programming baseado em referências de Vanneschi et al. apresenta-se como uma possível solução, tendo já produzido bons resultados em problemas semelhantes. O presente trabalho de tese pretende integrar o algoritmo de Geometric Semantic Genetic Programming desenvolvido com o sistema Oversee, a fim de lhe conceder capacidades preditivas. Adicionalmente, será realizado um processo de análise de desempenho a fim de determinar qual a ideal parametrização do algoritmo. Pretende-se com esta tese fornecer à Marinha Portuguesa uma ferramenta capaz de auxiliar o controlo da Zona Económica Exclusiva Portuguesa, permitindo a correta intervenção da Marinha em casos onde o atual sistema não conseguiria determinar a correta posição da embarcação em questão.