A filter inexact-restoration method for nonlinear programming

A new iterative algorithm based on the inexact-restoration (IR) approach combined with the filter strategy to solve nonlinear constrained optimization problems is presented. The high level algorithm is suggested by Gonzaga et al. (SIAM J. Optim. 14:646–669, 2003) but not yet implement—the internal algorithms are not proposed. The filter, a new concept introduced by Fletcher and Leyffer (Math. Program. Ser. A 91:239–269, 2002), replaces the merit function avoiding the penalty parameter estimation and the difficulties related to the nondifferentiability. In the IR approach two independent phases are performed in each iteration, the feasibility and the optimality phases. The line search filter is combined with the first one phase to generate a “more feasible” point, and then it is used in the optimality phase to reach an “optimal” point. Numerical experiences with a collection of AMPL problems and a performance comparison with IPOPT are provided.

Medicina Baseada na Evidência e Meta-Análise: à Procura do Santo Graal

Os autores reflectem sobre a evolução da formação médica, achando excessiva a ênfase dada actualmente à Medicina baseada na evidência e à meta-análise. Baseados numa análise dos problemas metodológicos dos ensaios clínicos controlados aleatórios e da meta-análise, tecem algumas considerações sobre a utilização destes métodos na prática clínica.

O impacto do sono no desempenho de tarefas de memória procedimental em crianças: Revisão sistemática e meta-análise

Introdução: Estudos actuais sugerem que o sono possui um papel importante na melhoria do desempenho motor em adultos. Porém, em crianças saudáveis os resultados são contraditórios, indicando que apenas a passagem do tempo pode produzir um ganho ilusório. Objetivo: Identificar e sumarizar a evidência acerca do impacto do sono no desempenho de tarefas de memória procedimental em crianças saudáveis. Métodos: Foi conduzida uma pesquisa bibliográfica nas principais bases de dados electrónicas, Medline, ISI Web of Science e Scopus. Esta foi realizada até 17 de Maio de 2015 e de acordo com o equação de pesquisa. Após a selecção dos artigos, segundo os critérios de inclusão e exclusão, avaliou-se a qualidade metodológica com recurso ao instrumento designado QATSDD (Quality Assessment Tool and Scoring Guidance Notes) e outro instrumento para estudos de intervenção beforeafter, sem grupo de controlo, desenvolvido por profissionais de sáude pertencentes ao National Institutes of Health. A meta-análise foi realizada com a medida do tempo de reacção, usando a diferença das médias padronizadas. O método estatístico utilizado foi Mantel-Haenszel para efeitos aleatórios. Resultados: Conduziu-se a revisão sistemática com quatorze artigos publicados entre 2007 e 2014, três estudos usados na meta-análise. Apenas quatro estudos denotaram melhorias, estatisticamente significativas, no que diz respeito ao efeito de um período de sono no desempenho de uma tarefa motora em crianças. Pelo contrário, a maioria dos estudos é a favor de que um período de sono prejudica o desempenho. Na meta-análise mostra-se que a vigília favorece os valores do tempo de reacção. Conclusões: A presente evidência não suporta o facto de que um período de sono optimiza o desempenho de tarefas de memória procedimental em crianças. Dadas as limitações apresentadas, nomeadamente a heterogeneidade das intervenções e reduzida qualidade metodológica dos estudos incluídos, sem grupo de controlo, sugere-se a realização de estudos futuros com maior nível de evidência.

Parallel programming in biomedical signal processing

Dissertação para obtenção do Grau de Mestre em Engenharia Biomédica

The Effect of Statins on Mortality in Septic Patients: a Meta-Analysis of Randomized Controlled Trials

OBJECTIVE: Statins are among the most prescribed drugs worldwide and their recently discovered anti-inflammatory effect seems to have an important role in inhibiting proinflammatory cytokine production, chemokines expression and counteracting the harmful effects of sepsis on the coagulation system. We decided to perform a meta-analysis of all randomized controlled trials ever published on statin therapy in septic patients to evaluate their effect on survival and length of hospital stay. DATA SOURCES AND STUDY SELECTION: Articles were assessed by four trained investigators, with divergences resolved by consensus. BioMedCentral, PubMed, Embase and the Cochrane Central Register of clinical trials were searched for pertinent studies. Inclusion criteria were random allocation to treatment and comparison of statins versus any comparator in septic patients. DATA EXTRACTION AND SYNTHESIS: Data from 650 patients in 5 randomized controlled studies were analyzed. No difference in mortality between patients receiving statins versus control (44/322 [14%] in the statins group vs 50/328 [15%] in the control arm, RR = 0.90 [95% CI 0.65 to 1.26], p = 0.6) was observed. No differences in hospital stay (p = 0.7) were found. CONCLUSIONS: Published data show that statin therapy has no effect on mortality in the overall population of adult septic patients. Scientific evidence on statins role in septic patients is still limited and larger randomized trials should be performed on this topic.

Data-centric concurrency control on the java programming language

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

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.

Inhaled nitric oxide in the management of persistent pulmonary hypertension of the newborn: a meta-analysis

OBJECTIVES: To evaluate the use of inhaled nitric oxide (NO) in the management of persistent pulmonary hypertension of the newborn. METHODS: Computerized bibliographic search on MEDLINE, CURRENT CONTENTS and LILACS covering the period from January 1990 to March 1998; review of references of all papers found on the subject. Only randomized clinical trials evaluating nitric oxide and conventional treatment were included. OUTCOMES STUDIED: death, requirement for extracorporeal membrane oxygenation (ECMO), systemic oxygenation, complications at the central nervous system and development of chronic pulmonary disease. The methodologic quality of the studies was evaluated by a quality score system, on a scale of 13 points. RESULTS: For infants without congenital diaphragmatic hernia, inhaled NO did not change mortality (typical odds ratio: 1.04; 95% CI: 0.6 to 1.8); the need for ECMO was reduced (relative risk: 0.73; 95% CI: 0.60 to 0.90), and the oxygenation was improved (PaO2 by a mean of 53.3 mm Hg; 95% CI: 44.8 to 61.4; oxygenation index by a mean of -12.2; 95% CI: -14.1 to -9.9). For infants with congenital diaphragmatic hernia, mortality, requirement for ECMO, and oxygenation were not changed. For all infants, central nervous system complications and incidence of chronic pulmonary disease did not change. CONCLUSIONS: Inhaled NO improves oxygenation and reduces requirement for ECMO only in newborns with persistent pulmonary hypertension who do not have diaphragmatic hernia. The risk of complications of the central nervous system and chronic pulmonary disease were not affected by inhaled NO.

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.

Arte e terrorismo: meta-representações da Arte

Tendo como ponto de partida os estudos da performance para a análise do terrorismo, a presente dissertação teve como resultado a possibilidade de reflectir sobre tácticas de incorporação, reperformance e meta-teatro, três conceitos que permitem compreender de que forma a arte assimila e se compreende em relação com o terrorismo. Apresenta, por um lado, documentos oficiais que demonstram a existência de um conflito quanto à definição de terrorismo, reflectindo sobre “terrorismo de estado” e “contra-estado”. Por outro lado, a partir da análise dos Surveillence Camera Players e da performance Three Posters, ou de artistas como Hasan Elahy e Alyson Wyper, esta dissertação defende que a arte reperforma “táticas de representação” e realização mediática do terrorismo, nomeadamente, o teatro panóptico, a tortura como performance e os vídeo-testemunhos de mártires como retratos e vídeo-performances.

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.

Non emergency patients transport - a mixed integer linear programming

This work presents a model and a heuristic to solve the non-emergency patients transport (NEPT) service issues given the new rules recently established in Portugal. The model follows the same principle of the Team Orienteering Problem by selecting the patients to be included in the routes attending the maximum reduction in costs when compared with individual transportation. This model establishes the best sets of patients to be transported together. The model was implemented in AMPL and a compact formulation was solved using NEOS Server. A heuristic procedure based on iteratively solving problems with one vehicle was presented, and this heuristic provides good results in terms of accuracy and computation time.