Reconfiguração dinâmica estruturada de workflows de serviços web

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

Os valores semânticos das preposições a, até e para em Português Europeu Trajetórias, fronteiras, telicidade e topologia

Tese apresentada para cumprimento dos requisitos necessários à obtenção do grau de Doutor em Linguística

A distributed platform for the volunteer execution of workflows on a local area network

Thesis submitted in fulfilment of the requirements for the Degree of Master of Science in Computer Science

Aquisição das propriedades morfológicas e semânticas do pretérito perfeito e imperfeito do português por falantes nativos de crioulo de Cabo Verde

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Ciências da Linguagem

Using perspective schema and a reference model to design the ETL process

Dissertação apresentada para a obtenção do Grau de Doutor em Informática

Sinonímia, polissemia, homonímia em manuais, gramáticas e dicionários escolares para o desenvolvimento da competência lexical

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Doutor em Linguística – Especialidade de Lexicologia, Lexicografia e Terminologia.

Impacto clínico da tecnologia em ultra-sonografia

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

Impacto clínico da tecnologia em ultra-sonografia

Recentemente, a tecnologia em Ultra-sons (US) tem sofrido grandes avanços tecnológicos e, como resultado, novas técnicas e aplicações clínicas são introduzidas frequentemente. Estas técnicas inovadoras apresentam o potencial de assistir os médicos na caracterização de entidades clínicas e de melhorar a qualidade do diagnóstico clínico. No entanto, a implementação destas técnicas requer uma avaliação objectiva das suas potencialidade e limitações, assim como da sua performance clínica para permitir a sua adopção na prática clínica. Este projecto aborda duas patologias particulares: a Cardiomiopatia Cirrótica (CC) e lesões oncológicas mamárias. Considerando a primeira, é aplicada a tecnologia disponível, em especial a Aplicação Clínica VVI de modo a detectar anormalidades que possam não ser visíveis com recurso à ecocardiografia convencional, com o objectivo de definir critérios de diagnóstico precisos. Para a segunda, pretende-se efectuar uma avaliação da performance clínica de um novo método de quantificação em Elastografia - o Strain Ratio (SR) - que analisa a rigidez das lesões mamárias, permitindo assim um diagnóstico clínico mais completo e rigoroso. Para atingir estes objectivos, é efectuada uma análise extensiva, utilizando testes estatísticos como a One-Way ANOVA, permitindo que diferenças estatisticamente relevantes sejam encontradas nos parâmetros considerados. Outros testes foram usados em cada estudo clínico, tendo em conta as suas características específicas – a análise ROC é utilizada para quantificar o acréscimo que o SR poderá potencialmente trazer em relação às técnicas convencionais. Embora não tenha sido possível reunir todas as condições necessárias para validar a contribuição dos US para o diagnóstico da CC, foi possível encontrar evidências que corroboram tratar-se uma patologia clinicamente latente. Os resultados do segundo estudo evidenciam que o SR poderá ser introduzido nos workflows clínicos a curto prazo, tendo no entanto em consideração que este produz resultados mais fidedignos quando utilizado como ferramenta complementar de apoio à decisão clínica do que como um método de quantificação absoluta.

UAV - based imagery processing using structure from motion and remote sensing technology

With the recent advances in technology and miniaturization of devices such as GPS or IMU, Unmanned Aerial Vehicles became a feasible platform for a Remote Sensing applications. The use of UAVs compared to the conventional aerial platforms provides a set of advantages such as higher spatial resolution of the derived products. UAV - based imagery obtained by a user grade cameras introduces a set of problems which have to be solved, e. g. rotational or angular differences or unknown or insufficiently precise IO and EO camera parameters. In this work, UAV - based imagery of RGB and CIR type was processed using two different workflows based on PhotoScan and VisualSfM software solutions resulting in the DSM and orthophoto products. Feature detection and matching parameters influence on the result quality as well as a processing time was examined and the optimal parameter setup was presented. Products of the both workflows were compared in terms of a quality and a spatial accuracy. Both workflows were compared by presenting the processing times and quality of the results. Finally, the obtained products were used in order to demonstrate vegetation classification. Contribution of the IHS transformations was examined with respect to the classification accuracy.

A conspiracy theory for clefts : the syntax and interpretation of cleft constructions

O objetivo final deste estudo é contribuir para a discussão sobre qual a medida em que conceitos semânticos e discursivos estão sintaticamente codificados. Mais especificamente, investiga-se se existe alguma correlação consistente entre alguns aspetos interpretativos e sintáticos de quatro construções clivadas do Português Europeu, e como se deve dar conta teoricamente destas potenciais correlações. As clivadas consideradas são as clivadas canónicas, as pseudoclivadas, as clivadas de é que e as clivadas de SER. Sintaticamente podemos distinguir dois tipos: clivadas bioracionais (canónicas e pseudoclivadas) e clivadas mono-oracionais (clivadas de é que e de SER). Todas as estruturas têm um constituinte clivado focalizado que pode constituir tanto um foco informacional como um foco contrastivo, e uma oração clivada que introduz uma pressuposição existencial. Adicionalmente, o constituinte clivado identifica exaustivamente uma posição vazia na oração clivada. Adota-se a semântica alternativa para o foco (Rooth 1985), segundo a qual o foco entoacional contribui uniformemente um conjunto de alternativas na Forma Lógica. Regras pragmáticas operando neste conjunto dão origem a duas implicaturas que podem ser suspensas: pressuposição existencial e exaustividade. Dado que as clivadas de é que e as de SER têm a mesma interpretação que orações não-clivadas, conclui-se que a sua estrutura sintática particular não contribui para estas propriedades interpretativas. Em contrapartida, as clivadas bioracionais, que são orações copulativas especificacionais, têm uma presuposição existencial e uma interpretação exaustiva que não pode ser suspensa, tal como as orações especificacionais não-clivadas. Argumenta-se que isto se deve ao facto de o constituinte clivado identificar uma variável introduzida por uma descrição definida. Demonstra-se que a oração clivada, uma relativa em posição de complemento de um determinador definido nas clivadas canónicas e uma relativa livre nas pseudoclivadas, tem a mesma denotação que um DP definido, e portanto tem uma pressuposição existencial inerente. A interpretação exaustiva deve-se à relação identificacional entre o constituinte clivado e a descrição definida. Além disso, defende-se que em Português Europeu um traço de foco não desencadeia movimento-A’ para um FocP especializado. Os constituintes focalizados movem-se antes por razões independentes do foco. Isto é confirmado pelo facto de apenas o constituinte clivado das clivadas de é que ter propriedades de movimento A’, os outros parecem estar in situ. Propõe-se que o constituinte clivado das clivadas de é que é um tópico com um traço de foco que se move para um TopP. Esta análise dá conta da existência de restrições discursivas semelhantes para tópicos não focalizados e para o constituinte clivado das clivadas de é que. O traço quantificacional de foco arrastado pela topicalização dá origem a efeitos de intervenção, causando a não-recursividade do foco na periferia esquerda e a sua incompatibilidade com movimento de outros constituintes com traços quantificacionais. A análise prediz as restrições de encaixe observadas para as clivadas de é que. Finalmente, desenvolve-se uma análise sintática das clivadas de SER que aproxima estas estruturas das estruturas com partículas de foco. Propõe-se que a cópula é um operador sensível ao foco que é merged juntamente com o constituinte clivado. As restrições distribucionais da cópula devem-se a requisitos selecionais de núcleos.