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

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

Prevalência de anticorpos IgG antiparvovírus B19 em gestantes durante o atendimento pré-natal e casos de hidropisia fetal não imune atribuídos ao parvovírus B19, na Cidade do Rio de Janeiro

Com o objetivo de medir a prevalência de anticorpos IgG contra o parvovírus B19 em gestantes com até 24 semanas de idade gestacional e detectar a ocorrência de casos de hidropisia fetal não-imune atribuídos a esse vírus, coletamos 249 amostras de soro em uma maternidade de referência na cidade do Rio de Janeiro, entre junho de 2003 e março de 2005. As gestantes foram acompanhadas até o termo da gestação, sendo detectados 17 casos de hidropisia fetal. Quatro casos foram atribuídos ao parvovírus B19 e dois destes ocorreram em gestantes residentes na zona oeste da cidade, em fevereiro de 2005. Resultados positivos para anticorpos IgG antiparvovírus B19 foram encontrados em 172 (71,6%) gestantes (IC 95% 65,5-77,7%), sendo esta prevalência de anticorpos comparável à encontrada em outras cidades brasileiras. A única variável associada com aquisição prévia de anticorpos IgG foi número de gestações anteriores maior que um(p= 0,02, IC 95% 0,36-0,94).

Unraveling maternal and fetal genetic factors protecting from Pregnancy Associated Malaria in the mouse

Malaria is one of the most devastating diseases in the world. In Plasmodium endemic regions, pregnant women are among the most vulnerable groups. Pregnancy Associated Malaria (PAM) threatens both maternal and foetal lives. Despite differences between human and mouse placentas PAM mouse models recapitulate key pathological features of human PAM. Here we describe new PAM models of mid gestation infection in the C57BL/6 mouse.(...)

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.

An experimental model for the transplantation of fetal central nervous system cells to the injured spinal cord in rats

INTRODUCTION: Traumatic spinal cord injury is one of the most disabling conditions occurring in man and thus stimulates a strong interest in its histopathological, biochemical, and functional changes, primarily as we search for preventive and therapeutic methods. PURPOSE: To develop an experimental model for transplantation of cells from the fetal rat central nervous system to the site of an injured spinal cord of an adult rat in which the transplanted cells survive and become integrated. This experimental model will facilitate investigations of factors that promote regeneration and functional recovery after spinal cord trauma. MATERIAL AND METHODS: Fifteen adult Wistar rats underwent laminectomy, and an spinal cord lesion was made with microdissection. Fetal spinal cord tissue was then transplanted to the site of the injury. The rats were monitored over a 48-hour period, and then their vertebral column was completely removed for histological analysis. RESULTS: In 60% of transplanted rats, the fetal tissue at the injured site remained viable in the site of the lesion.

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.

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.

Logic programming and artificial neural networks in breast cancer detection

About 90% of breast cancers do not cause or are capable of producing death if detected at an early stage and treated properly. Indeed, it is still not known a specific cause for the illness. It may be not only a beginning, but also a set of associations that will determine the onset of the disease. Undeniably, there are some factors that seem to be associated with the boosted risk of the malady. Pondering the present study, different breast cancer risk assessment models where considered. It is our intention to develop a hybrid decision support system under a formal framework based on Logic Programming for knowledge representation and reasoning, complemented with an approach to computing centered on Artificial Neural Networks, to evaluate the risk of developing breast cancer and the respective Degree-of-Confidence that one has on such a happening.

Effect of fetal bovine serum on Candida glabrata cultures

Dissertação de mestrado integrado em Engenharia Biomédica (área de especialização em Engenharia Clínica)

Towards the design and implementation of aspect-oriented programming for spreadsheets

A spreadsheet usually starts as a simple and singleuser software artifact, but, as frequent as in other software systems, quickly evolves into a complex system developed by many actors. Often, different users work on different aspects of the same spreadsheet: while a secretary may be only involved in adding plain data to the spreadsheet, an accountant may define new business rules, while an engineer may need to adapt the spreadsheet content so it can be used by other software systems.Unfortunately,spreadsheetsystemsdonotoffermodular mechanisms, and as a consequence, some of the previous tasks may be defined by adding intrusive “code” to the spreadsheet. In this paper we go through the design and implementation of an aspect-oriented language for spreadsheets so that users can work on different aspects of a spreadsheet in a modular way. For example, aspects can be defined in order to introduce new business rules to an existing spreadsheet, or to manipulate the spreadsheet data to be ported to another system. Aspects are defined as aspect-oriented program specifications that are dynamically woven into the underlying spreadsheet by an aspect weaver. In this aspect-oriented style of spreadsheet development, differentusers develop,orreuse,aspects withoutaddingintrusive code to the original spreadsheet. Such code is added/executed by the spreadsheet weaving mechanism proposed in this paper.

Desempenho intelectual na exposição alcoólica fetal: relato de série de 10 casos

OBJETIVO: Descrever o desempenho intelectual em uma amostra de crianças e adolescentes que sofreram exposição pré-natal ao álcool. MÉTODOS: Este estudo se constitui em uma série de casos, composta por 10 sujeitos entre 6 e 16 anos, com histórico de exposição alcoólica fetal. Esses sujeitos foram submetidos a uma avaliação médica para serem caracterizados como amostra clínica, respeitando critérios de inclusão e exclusão previamente estabelecidos. O desempenho intelectual da amostra foi estudado por meio dos instrumentos: Escala de Inteligência Wechsler para Criança (WISC-III) e Teste Matrizes Progressivas de Raven. RESULTADOS: A amostra foi caracterizada com desempenho médio inferior pela WISC-III. No Teste Raven, a amostra apresentou desempenho intelectualmente médio. Entre todos os índices da WISC-III, Resistência à Distração apresentou-se mais prejudicado. Os subtestes Aritmética e Arranjo de Figuras apresentaram resultados mais prejudicados comparados ao desempenho obtido nos outros subtestes. O prejuízo dessas funções pode trazer como consequência secundária e dificuldades no aprendizado e na interação social e impactar o desenvolvimento desses jovens. CONCLUSÕES: Os resultados encontrados nesta série de 10 casos foram comparados àqueles descritos em estudos nacionais e internacionais. O prejuízo cognitivo causado pelo uso do álcool na gestação pode se manifestar em crianças em idade escolar por meio da dificuldade de aprendizagem e da dificuldade de estabelecer interações sociais. Dessa forma, a exposição pré-natal ao álcool torna-se um problema de saúde pública, que precisa de maior atenção das políticas públicas nacionais para a realização de identificação e intervenção precoce.

Metaphorisms in programming

This paper introduces the metaphorism pattern of relational specification and addresses how specification following this pattern can be refined into recursive programs. Metaphorisms express input-output relationships which preserve relevant information while at the same time some intended optimization takes place. Text processing, sorting, representation changers, etc., are examples of metaphorisms. The kind of metaphorism refinement proposed in this paper is a strategy known as change of virtual data structure. It gives sufficient conditions for such implementations to be calculated using relation algebra and illustrates the strategy with the derivation of quicksort as example.