Ipsilateral Lung Volumes Assessed by Three-Dimensional Ultrasonography in Fetuses with Isolated Congenital Diaphragmatic Hernia

Objective: To evaluate the precision of three-dimensional ultrasonography (3DUS) in estimating the ipsilateral lung volume and the potential of this measurement to predict neonatal death in congenital diaphragmatic hernia (CDH). Methods: Between January 2002 and December 2004, the ipsilateral lung volumes were assessed by 3DUS using the technique of rotation of the multiplan imaging in 39 fetuses with CDH. The observed/ expected ipsilateral lung volume ratios (o/e-IpsiFLVR) were compared to the lung/head ratios (LHR) and to the observed/ expected total fetal lung volume ratios (o/e-TotFLVR) as well as to postnatal death. Results: Ipsilateral lung volumes (median 0.12, range 0.01-0.66) were more reduced than the total lung volumes (median 0.52, range 0.11-0.95, p < 0.001) in CDH. The bias and precision of 3DUS in estimating ipsilateral lung volumes were -0.61 and 0.99 cm 3, respectively, with absolute limits of agreement from -2.56 to +1.33 cm(3). The o/e-IpsiFLVR was lower in neonatal death cases (median 0.09, range 0.01-0.46) than in survivals (median 0.18, range 0.01-0.66), but this difference was not statistically significance (p > 0.05). The sensitivity, speci-ficity, (positive and negative) predictive values and accuracy of o/e-IpsiFLVR in predicting neonatal death was 52.6% (10/19), 83.3% (10/12), 83.3% (10/12), 52.6% (10/19) and 64.5% (20/31), respectively. Conclusion: Although the ipsilateral lung volume can be measured by 3DUS, it cannot be used to predict neonatal death when considering it alone. However, it is important to measure it to calculate the total fetal lung volumes as the o/e-TotFLVR has the best efficacy in predicting neonatal death in isolated CDH. Copyright (C) 2008 S. Karger AG, Basel

Discovering coordination patterns

A large and growing amount of software systems rely on non-trivial coordination logic for making use of third party services or components. Therefore, it is of outmost importance to understand and capture rigorously this continuously growing layer of coordination as this will make easier not only the veri cation of such systems with respect to their original speci cations, but also maintenance, further development, testing, deployment and integration. This paper introduces a method based on several program analysis techniques (namely, dependence graphs, program slicing, and graph pattern analysis) to extract coordination logic from legacy systems source code. This process is driven by a series of pre-de ned coordination patterns and captured by a special purpose graph structure from which coordination speci cations can be generated in a number of di erent formalisms

Type checking cryptography implementations

Cryptographic software development is a challenging eld: high performance must be achieved, while ensuring correctness and com- pliance with low-level security policies. CAO is a domain speci c language designed to assist development of cryptographic software. An important feature of this language is the design of a novel type system introducing native types such as prede ned sized vectors, matrices and bit strings, residue classes modulo an integer, nite elds and nite eld extensions, allowing for extensive static validation of source code. We present the formalisation, validation and implementation of this type system

On the specification of a component repository

The lack of a commonly accepted de nition of a software component, the proliferation of competing `standards' and component frameworks, is here to stay, raising the fundamental question in component-based development of how to cope in practice with heterogeneity. This paper reports on the design of a Component Repository aimed to give at least a partial answer to the above question. The repository was fully speci ed in Vdm and a working prototype is currently being used in an industrial environment

Agrupamento de dados com restrições

Mestrado em Engenharia Informática

Sistema de percepção visual para veículos autónomos aéreos

Esta dissertação aborda o problema de detecção e desvio de obstáculos "SAA- Sense And Avoid" em movimento para veículos aéreos. Em particular apresenta contribuições tendo em vista a obtenção de soluções para permitir a utilização de aeronaves não tripuladas em espaço aéreo não segregado e para aplicações civis. Estas contribuições caracterizam-se por: uma análise do problema de SAA em \UAV's - Unmmaned Aerial Vehicles\ civis; a definição do conceito e metodologia para o projecto deste tipo de sistemas; uma proposta de \ben- chmarking\ para o sistema SAA caracterizando um conjunto de "datasets\ adequados para a validação de métodos de detecção; respectiva validação experimental do processo e obtenção de "datasets"; a análise do estado da arte para a detecção de \Dim point features\ ; o projecto de uma arquitectura para uma solução de SAA incorporando a integração de compensação de \ego motion" e respectiva validação para um "dataset" recolhido. Tendo em vista a análise comparativa de diferentes métodos bem como a validação de soluções foi proposta a recolha de um conjunto de \datasets" de informação sensorial e de navegação. Para os mesmos foram definidos um conjunto de experiências e cenários experimentais. Foi projectado e implementado um setup experimental para a recolha dos \datasets" e realizadas experiências de recolha recorrendo a aeronaves tripuladas. O setup desenvolvido incorpora um sistema inercial de alta precisão, duas câmaras digitais sincronizadas (possibilitando análise de informa formação stereo) e um receptor GPS. As aeronaves alvo transportam um receptor GPS com logger incorporado permitindo a correlação espacial dos resultados de detecção. Com este sistema foram recolhidos dados referentes a cenários de aproximação com diferentes trajectórias e condições ambientais bem como incorporando movimento do dispositivo detector. O método proposto foi validado para os datasets recolhidos tendo-se verificado, numa análise preliminar, a detecção do obstáculo (avião ultraleve) em todas as frames para uma distância inferior a 3 km com taxas de sucesso na ordem dos 95% para distâncias entre os 3 e os 4 km. Os resultados apresentados permitem validar a arquitectura proposta para a solução do problema de SAA em veículos aéreos autónomos e abrem perspectivas muito promissoras para desenvolvimento futuro com forte impacto técnico-científico bem como sócio-economico. A incorporação de informa formação de \ego motion" permite fornecer um forte incremento em termos de desempenho.

Sistema de busca e salvamento baseado em múltiplos veículos terrestres

Esta dissertação visa o desenvolvimento de um sistema de busca e salvamento baseado em múltiplos veículos terrestres, utilizando para tal os veículos LINCE do Laboratório de Sistemas Autónomos. Tendo como principal propósito conferir autonomia aos veículos, foram estudados possíveis cenários de actuação, para determinar as principais funcionalidades requeridas do sistema. Foram também estudadas metodologias de análise e caracterização de sistemas multirobóticos, baseadas no estado da arte existente, e foi elaborada a arquitectura conceptual do sistema e dos veículos a desenvolver. A preparação dos veículos abordou o estudo das possíveis soluções sensoriais e de actuação, e o desenvolvimento de uma arquitectura de hardware capaz de interligar todos os periféricos dos mesmos. Foram adaptados novos sensores e actuadores, e desenvolvidos alguns desses sensores. Para a interligação e manutenção dos mesmos foram ainda desenvolvidos novos periféricos de interface e controlo, e periféricos de gestão de energia. Por fim, foi ainda adaptado um gestor de missões nos veículos, capaz de receber a especificação das mesmas.

Traceability-based access recommendation

Devido à grande quantidade de dados disponíveis na Internet, um dos maiores desafios no mundo virtual é recomendar informação aos seus utilizadores. Por outro lado, esta grande quantidade de dados pode ser útil para melhorar recomendações se for anotada e interligada por dados de proveniência. Neste trabalho é abordada a temática de recomendação de (alteração de) permissões acesso sobre recursos ao seu proprietário, ao invés da recomendação do próprio recurso a um potencial consumidor/leitor. Para permitir a recomendação de acessos a um determinado recurso, independentemente do domínio onde o mesmo se encontra alojado, é essencial a utilização de sistemas de controlo de acessos distribuídos, mecanismos de rastreamento de recursos e recomendação independentes do domínio. Assim sendo, o principal objectivo desta tese é utilizar informação de rastreamento de acções realizadas sobre recursos (i.e. informação que relaciona recursos e utilizadores através da Web independentemente do domínio de rede) e utiliza-la para permitir a recomendação de privilégios de acesso a esses recursos por outros utilizadores. Ao longo do desenvolvimento da tese resultaram as seguintes contribuições: A análise do estado da arte de recomendação e de sistemas de recomendação potencialmente utilizáveis na recomendação de privilégios (secção 2.3); A análise do estado da arte de mecanismos de rastreamento e proveniência de informação (secção 2.2); A proposta de um sistema de recomendação de privilégios de acesso independente do domínio e a sua integração no sistema de controlo de acessos proposto anteriormente (secção 3.1); Levantamento, análise e especificação da informação relativa a privilégios de acesso, para ser utilizada no sistema de recomendação (secção 2.1); A especificação da informação resultante do rastreamento de acções para ser utilizada na recomendação de privilégios de acesso (secção 4.1.1); A especificação da informação de feedback resultante do sistema de recomendação de acessos e sua reutilização no sistema de recomendação(secção 4.1.3); A especificação, implementação e integração do sistema de recomendação de privilégios de acesso na plataforma já existente (secção 4.2 e secção 4.3); Realização de experiências de avaliação ao sistema de recomendação de privilégios, bem como a análise dos resultados obtidos (secção 5).

QoS-based surrogates selection and service proposal formulation in offloading environments

Resource constraints are becoming a problem as many of the wireless mobile devices have increased generality. Our work tries to address this growing demand on resources and performance, by proposing the dynamic selection of neighbor nodes for cooperative service execution. This selection is in uenced by user's quality of service requirements expressed in his request, tailoring provided service to user's speci c needs. In this paper we improve our proposal's formulation algorithm with the ability to trade o time for the quality of the solution. At any given time, a complete solution for service execution exists, and the quality of that solution is expected to improve overtime.

Dermic diffusion and stratum corneum: a state of the art review of mathematical models

Transdermal biotechnologies are an ever increasing field of interest, due to the medical and pharmaceutical applications that they underlie. There are several mathematical models at use that permit a more inclusive vision of pure experimental data and even allow practical extrapolation for new dermal diffusion methodologies. However, they grasp a complex variety of theories and assumptions that allocate their use for specific situations. Models based on Fick's First Law found better use in contexts where scaled particle theory Models would be extensive in time-span but the reciprocal is also true, as context of transdermal diffusion of particular active compounds changes. This article reviews extensively the various theoretical methodologies for studying dermic diffusion in the rate limiting dermic barrier, the stratum corneum, and systematizes its characteristics, their proper context of application, advantages and limitations, as well as future perspectives.

Dynamic QoS-Aware coalition formation

Users of wireless devices increasingly demand access to multimedia content with speci c quality of service requirements. Users might tolerate di erent levels of service, or could be satis ed with di erent quality combinations choices. However, multimedia processing introduces heavy resource requirements on the client side. Our work tries to address the growing demand on resources and performance requirements, by allowing wireless nodes to cooperate with each other to meet resource allocation requests and handle stringent constraints, opportunistically taking advantage of the local ad-hoc network that is created spontaneously, as nodes move in range of each other, forming a temporary coalition for service execution. Coalition formation is necessary when a single node cannot execute a speci c service, but it may also be bene cial when groups perform more e ciently when compared to a single s node performance.

Maximum-revenue tariff under Bertrand duopoly with unknown costs

This paper considers an international trade under Bertrand model with differentiated products and with unknown production costs. The home government imposes a specific import tariff per unit of imports from the foreign firm. We prove that this tariff is decreasing in the expected production costs of the foreign firm and increasing in the production costs of the home firm. Furthermore, it is increasing in the degree of product substitutability. We also show that an increase in the tariff results in both firms increasing their prices, an increase in both expected sales and expected profits for the home firm, and a decrease in both expected sales and expected profits for the foreign firm.

Sistemas de prevenção de cuidados de saúde

A tomada de decisão na saúde pode-se tornar um processo complexo e moroso. A complexidade associada ao processo de decisão na saúde advém da diversidade de opções clinicamente razoáveis, ou seja, nenhuma opção se sobrepõem _a outra, visto que cada uma possui os seus riscos e benefícios, que são normalmente interpretados de modo diferente entre os indivíduos. Desta forma, cabe ao paciente e _a sua equipa médica optarem pela opção que melhor se enquadra na situação clínica do paciente Para tornar este processo menos complexo, cada vez mais se utiliza as chamadas "ferramentas de decisão", que se caraterizam por fornecer informação sobre as diferentes opções clínicas, traduzindo-se numa diminuição da dificuldade da tomada de decisão. De uma forma geral, as ferramentas de decisão são desenvolvidas com o intuito de facilitar a tomada de decisão, através do aumento do conhecimento científico sobre um determinado problema (tomada de decisão informada) e uma mudança de atitude do paciente face aos seus cuidados de saúde. Na realização da presente dissertação foi desenvolvido um sistema de informação na web, que engloba informação relativa ao rastreio do cancro da próstata. Este sistema também surge acoplado a um conjunto de componentes de decisão, que têm como objetivo auxiliar os indivíduos no processo de decisão para a realização do rastreio do cancro da próstata, assim como a prevenção de doenças relacionadas com a próstata. A implementação desta aplicação web teve como base as necessidades do indivíduo, ou seja informações clínicas sobre possíveis riscos e benefícios associados ao rastreio, assim como fornecer uma maior interatividade com o utilizador. A primeira versão da aplicação já foi testada e avaliada através da participação de um conjunto de indivíduos que compõem o público-alvo para este tipo de aplicações. Os resultados obtidos permitiram concluir que os requisitos definidos para esta aplicação, permitem o aumento do conhecimento do indivíduo e o auxílio na tomada de decisão para a realização do rastreio do cancro da próstata.

Seqins: a sequencing tool for educational resources

The teaching-learning process is increasingly focused on the combination of the paradigms “learning by viewing” and “learning by doing.” In this context, educational resources, either expository or evaluative, play a pivotal role. Both types of resources are interdependent and their sequencing would create a richer educational experience to the end user. However, there is a lack of tools that support sequencing essentially due to the fact that existing specifications are complex. The Seqins is a sequencing tool of digital resources that has a fairly simple sequencing model. The tool communicates through the IMS LTI specification with a plethora of e-learning systems such as learning management systems, repositories, authoring and evaluation systems. In order to validate Seqins we integrate it in an e-learning Ensemble framework instance for the computer programming learning.

Business micro-location: factors, preferences and indicators to assess the influence factors

The paper presents a study on business micro-location behaviour as well as corresponding factors of influence, conducted in two metropolitan areas, Bucharest-Ilfov (Romania) and Greater Porto (Portugal). By business micro-location we refer to a specific site such as a building or facility, accommodating a business within a small, compact geographical area (e.g. metropolitan area). At this geographical scale, the macroeconomic layer factors were excluded, applicable when discern between regions or countries. The factors derived from location theory and previous empirical studies were surveyed, completing a cross-sectional analysis in order to find out the specific weights of the location factors and preferences, by region and by industry. Based on already established firms’ feedback on location, the specific weights were granted by each industry to the main location factors, types of areas, and types of accommodation facilities. The authors also suggested a model to integrate these results into a Geographical Information System (GIS).