Multy-dimensional composition by objectives in aspect-oriented requirements analysis

Thesis submitted to Faculdade de Ciências e Tecnologia of Universidade Nova de Lisboa in partial fulfilment of the requirements for the degree of Master in Computer Science

A middleware for service oriented computing in dynamic environments

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do Grau de Mestre em Engenharia Informática

Conservation GIS: Ontology and spatial reasoning for commonsense knowledge.

Dissertation submitted in partial fulfilment of the requirements for the Degree of Master of Science in Geospatial Technologies.

BAMoL Formalização da linguagem e validação sintática de modelos

A BAMoL (Business Application Modeling Language) é uma linguagem de domínio específico utilizada para o desenvolvimento de soluções para a plataforma myMIS, no âmbito dos sistemas de informação para a gestão. Esta linguagem carecia de dois aspetos, nomeadamente a sua formalização e a existência de mecanismos de validação sintática das soluções desenvolvidas. Estes problemas identificados tornam impossível a validação sintática das soluções desenvolvidas utilizando esta linguagem, aumentando assim a probabilidade de existência de erros, podendo fazer com que as mesmas sejam mais ineficientes e podendo até trazer um aumento de custos de manutenção da plataforma. De forma a resolver os problemas enunciados, foi realizada, para o primeiro, uma descrição textual de todos os constituintes da linguagem e criada uma gramática representativa da mesma, em que constam todos os seus elementos e regras. No caso do segundo problema, a sua resolução passou pela criação de uma ferramenta que utiliza a gramática criada e que permite validar sintaticamente e encontrar as falhas das soluções desenvolvidas. Desta forma, passa a ser possível detetar os erros existentes nas soluções, permitindo assim à equipa de desenvolvimento ter maior controlo sobre as mesmas, podendo torná-las mais corretas, na perspetiva das regras da linguagem.

Combining open and closed world reasoning for the semantic web

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

Model of a specialized bidirectional dictionary for German and Portuguese

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Terminologia e Gestão da Informação de Especialidade

Recém-nascidos no serviço de urgência pediátrica: casuística de um ano

Introdução: Os serviços de urgência pediátrica são ambientes particularmente deletérios para os recém-nascidos. A identifica - ção precoce da doença neste grupo é fundamental, uma vez que o atraso diagnóstico pode estar associado a consequências graves. A maioria dos sistemas de triagem utilizados nos serviços de urgência pediátrica não possui algoritmos específicos para os recém-nascidos. Este estudo teve como objetivos caracterizar os recém-nascidos que recorreram ao serviço de urgência pediátrica, analisar a sua categorização pelo Sistema de Triagem de Manchester e identificar fatores de risco associados ao internamento. Métodos: Estudo retrospetivo efetuado pela análise dos dados de recém-nascidos admitidos no serviço de urgência pediátrica no ano de 2012. Resultados: Foram incluídos 779 recém-nascidos com idade média de 16,78 dias. Os principais diagnósticos de admissão foram as infeções respiratórias (21,9%) e a cólica do lactente (21%). Ficaram internados 22,2%, sendo os principais motivos as infe - ções respiratórias baixas (19,7%), os episódios de apparent life threatening event (15%) e as gastroenterites agudas (10,8%). A presença de hipoxemia e a realização de exames complementares no serviço de urgência pediátrica associaram-se a maior taxa de internamento (p = 0,001), assim como a atribuição de nível de prioridade “urgente”, “muito urgente” ou “emergente” pelo Sistema de Triagem de Manchester (p = 0,001). Discussão: O recurso dos recém-nascidos ao serviço de urgência pediátrica neste hospital ocorre maioritariamente por situa- ções de doença aguda. Os diagnósticos de admissão mais frequentes apresentam pouca gravidade clínica, já que contribuem pouco para o número de internamentos. Verifica-se uma correlação entre o nível de prioridade atribuído pelo Sistema de Triagem de Manchester e a necessidade de internamento neste grupo etário.

Framework development for providing accessibility to qualitative spatial calculi

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

The Impact of the Lisbon Football Derby on the Profile of Emergency Department Admissions

BACKGROUND: Variations in emergency department admissions have been reported to happen as a result of major sports events. The work presented assessed changes in volume and urgency level of visits to a major Emergency Department in Lisbon during and after the city's football derby. MATERIAL AND METHODS: Volume of attendances and patient urgency level, according to the Manchester Triage System, were retrospectively analyzed for the 2008-2011 period. Data regarding 24-hour periods starting 45 minutes before kick-off was collected, along with data from similar periods on the corresponding weekdays in the previous years, to be used as controls. Data samples were organized according to time frame (during and after the match), urgency level, and paired accordingly. RESULTS: A total of 14 relevant periods (7 match and 7 non-match) were analyzed, corresponding to a total of 5861 admissions. During the match time frame, a 20.6% reduction (p = 0.06) in the total number of attendances was found when compared to non-match days. MTS urgency level sub-analysis only showed a statistically significant reduction (26.5%; p = 0.05) in less urgent admissions (triage levels green-blue). Compared to controls, post-match time frames showed a global increase in admissions (5.6%; p = 0.45), significant only when considering less urgent ones (18.9%; p = 0.05). DISCUSSION: A decrease in the total number of emergency department attendances occurred during the matches, followed by a subsequent increase in the following hours. These variations only reached significance among visits triaged green-blue. CONCLUSION: During major sports events an overall decrease in emergency department admissions seems to take place, especially due to a drop in visits associated with less severe conditions.

O Recém-Nascido no Serviço de Urgência - Que Triagem?

Introdução: Os recém-nascidos que recorrem ao serviço de urgência pediátrico requerem uma triagem que priorize o seu atendimento. Os objetivos deste estudo foram caracterizar os recém-nascidos admitidos no serviço de urgência pediátrico, determinar se a triagem pelo Sistema de Triagem de Manchester se adequou à gravidade das condições apresentadas e, adicionalmente, calcular a sua sensibilidade e especificidade. Métodos: Estudo observacional transversal com colheita retrospetiva de dados de recém-nascidos no serviço de urgência pediátrico, triados com o Sistema de Triagem de Manchester entre Agosto de 2011 e Julho de 2012. Resultados: Os recém-nascidos constituíram 0,8% (n = 281) das admissões no serviço de urgência pediátrico. A maioria (81,1%) recorreu sem referenciação. Não se verificou uma associação entre referenciação e diagnóstico da alta. Os recém-nascidos foram maioritariamente triados com o nível “pouco / não urgente” (174/281; 61,9%) mas destes, 46 (27%) apresentavam “patologia com necessidade de cuidados médicos hospitalares” e 16 (9%) foram internados / transferidos. Não se verificou uma associação entre utilização de recursos hospitalares / destino da alta e prioridade atribuída pelo Sistema de Triagem de Manchester, tendo este uma sensibilidade e especificidade calculadas de 47,1% e 66,1%, respetivamente. Discussão: Aproximadamente 70% das idas ao serviço de urgência pediátrico foram consideradas clinicamente injustificadas. Deve ser fortalecida a relação dos cuidadores com os cuidados de saúde primários e enfatizada formação em perinatologia. A triagem efetuada pelo Sistema de Triagem de Manchester revelou uma baixa sensibilidade e especificidade, parecendo não estar adaptada à amostra de recém-nascidos. Deverá ser atribuído um fator diferenciador ao recém-nascido na triagem. São necessários mais estudos aleatorizados que testem a validação do Sistema de Triagem de Manchester nesta população.

Negotiation environment to support enterprise interoperability sustainability

Dissertation to obtain the Master degree in Electrical Engineering and Computer Science

entrante aa noite

Este trabalho pretende, a partir da análise de textos literários e não literários do português antigo, incluídos no Corpus Informatizado do Português Medieval (CLUNL/FCSH-UNL), descrever e interpretar a distribuição sintática e as propriedades do particípio presente no português antigo, verificando semelhanças e diferenças com outras formas não finitas, principalmente o gerúndio. Procurou-se averiguar o que caracteriza as formas de particípio presente do português antigo e do português europeu contemporâneo e o que as distingue de outras formas não finitas do verbo, no que diz respeito aos contextos em que ocorrem, mas também quanto ao seu funcionamento. Assim, analisando mais detalhadamente as orações em que estes particípios ocorrem com função verbal, investigaram-se algumas das suas propriedades internas (legitimação de sujeitos plenos, identificação e legitimação de sujeitos nulos, ordem de palavras), de modo a poder explicar o seu funcionamento e estrutura. No português antigo, as formas de particípio presente tinham características distintas das do português contemporâneo. No português de hoje, as formas terminadas em -nte, subsistem apenas como nomes (estudante, presidente, pedinte) e adjetivos (minguante, cadente, seguinte). O uso verbal destas formas desapareceu, tendo sido substituído por outras formas não finitas, nomeadamente o gerúndio e o infinitivo. Quando ainda mantinha o seu funcionamento verbal, o particípio presente ocorria nos mesmos contextos sintáticos em que encontramos outras formas não finitas, principalmente o gerúndio. Estas duas formas pareciam funcionar como variantes livres, tendo depois o gerúndio substituído a forma participial na maioria dos contextos. A análise dos dados e a comparação efetuada com as formas de gerúndio que ocorrem no mesmo contexto (adjunção adverbial) permitiram concluir que as estruturas com particípio do português se mostram mais defetivas (ocorrem sem conector, não há casos de negação própria e não há particípios presentes compostos) do que as gerundivas. No entanto, essa defetividade não parece dever-se à própria forma de particípio, pois foi possível encontrar particípios presentes como predicados principais.

Aspects of Passives in Capeverdean (Santiago’s variety)

The present dissertation intends to study passives in Capeverdean. I argue that Capeverdean have eventive passives with specific morphology, postverbal morphemes, -du and -da, which affix to the verb to form passives and interact with the TMA morphemes available in the language in the same way as in the active voice. I also show that Capeverdean only allows short passives. However, this study demonstrates that the by-phrase, although not expressed phonologically, is implicit and can be tracked through instrumentals and Agent-oriented adverbs. In order to account for this specific property of Capeverdean passives, I assume the existence of a Voice head which introduces the external argument in all finite sentences in Capeverdean, except in unaccusatives, following proposals from Marantz (1984), Kratzer (1996), Sailor & Ahn (2010), Pratas (2014). I also assume that this Voice head is subject to a Doubly Filled Comp Filter, similar to what is proposed in Koopman (1997), which determines that either heads or specifiers can be overt, never both. In the case of passives, I propose that external argument is in Spec,Voice and the passive morphology is lexicalized in Voice0 and that while Spec,Voice is silent, Voice0 is not. This configuration can be explained if it is assumed, following Costa & Martins (2004), that in Capeverdean passives Voice0 is a strong functional head, thus requiring visibility at PF. This restriction, combined with the Doubly Filled Comp filter, imposes that Spec,Voice is silent.

Análise configuracional dos grandes conjuntos urbanos na Região de Lisboa (1945-1974) : contributos da sintaxe espacial para a história de arte como história da cidade

A presente investigação debruça-se sobre o estudo dos grandes conjuntos urbanos, tendo como referência a área de Lisboa no período entre 1945 e 1974. O seu objetivo principal é compreender o padrão espacial e respetivas variantes destas formas urbanas relativamente recentes bem como avaliar o seu impato na estrutura global da cidade e da sociedade. Tomando como ponto de partida a história de arte como história da cidade, a tese toma como objeto o grande conjunto urbano e aponta a hipótese do estudo da relação forma-fundo como meio de obter informações relevantes que relacionem o uso e função com respeito ao desenho do espaço aberto. Como diferentes arranjos entre espaços abertos e fechados implicam tipos espaciais distintos (Medeiros 2013), o estudo da relação entre a forma (cheio) e o fundo (vazio) dos grandes conjuntos urbanos e respetivas variações, pode fornecer-nos informação espacial relevante, que nos permitem compreender melhor estas formas urbanas recentes. Usando a abordagem própria da teoria da sintaxe espacial (Hillier e Hanson 1984), do tipo configuracional, determinam-se as relações entre os vários elementos constituintes dos sistemas espaciais formados nestas urbanizações. Essas relações são depois analisadas através de medidas e variáveis topológicas que nos permitem identificar qualidades e valores espaciais para a sociedade. Os resultados obtidos a partir dessas variáveis e medidas permitem-nos, depois, avaliar os graus de ‘formalidade’ e ‘urbanidade’ em cada sistema (Holanda 2002). Consequentemente, a avaliação qualitativa das características espaciais que se pretendem obter nesta investigação, tem como base a avaliação quantitativa, permitindo assim comparar mais facilmente os diversos casos de estudo. De entre o conjunto de casos analisados, o estudo revela uma série de características comuns, que nos permitem identificar um padrão específico de urbanismo modernista que reflete claramente um conjunto de ideologias associadas a uma visão reformista da sociedade através do espaço. Mas por outro lado, existem também um conjunto de características particulares de cada caso, que reportam para a estrutura morfológica da cidade tradicional. No que reporta à hipótese de estudo levantada nesta investigação sobre a relação forma-fundo, verifica-se através da amostra que esta relação aparece invertida. Esta diferenciação deve-se ao abandono dos tradicionais sistemas de rua e de quarteirão, ainda presentes nas urbanizações de Alvalade e do Areeiro e a sua substituição pelo bloco livre em espaço aberto como nos casos de Alfragide, Portela e Olivais. Tal facto, como prova a teoria da Sintaxe Espacial ou Lógica Social do Espaço, traduziu-se necessariamente em diferentes modos de vida pública e privada e consequentemente de vida espacial e social. Assim concluímos, através da análise dos casos de estudo apresentados, que embora fazendo parte duma mesma ideologia urbana com características comuns (genótipo modernista), os mesmos apresentam resultados espaciais totalmente diferenciados o que justifica a dificuldade da sua análise comparativa.

BiYacc: Roll your parser and reflective printer into one

In: A. Cunha, E. Kindler (eds.): Proceedings of the Fourth International Workshop on Bidirectional Transformations (Bx 2015), L’Aquila, Italy, July 24, 2015, published at http://ceur-ws.org