Design and implementation of a behaviorally typed programming system for web services

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.

Description de restes squelettiques de Latidae: Lates (?) sp. (Poissons téléostéens, Percoidei) du Miocène inférieur et moyen du bassin du Bas Tage (environs de Lisbonne, Portugal)

Several Lower and Middle Miocene localities in the Lower Tagus basin near Lisbon yielded Latidae fragmentary remnants. No really decisive character has been recognized that would allow us to state these remnants could surely be ascribed to the genus Lates Cuv. & Val., although we regard this as nearly certain. There are some differences between the Miocene latidae under study and the type species Lates niloticus L. this suggests us to report the concerned remnants to a Lates (?) sp. that could belong to a new, hitherto undescribed species. The occurrence of Lates in fluviatile or lagoonal beds in the Lower Tagus basin Miocene series is not at all surprising under a paleoeciological view point. Even less if account is taken of the presence in the same levels of Siluriforms remnants belonging to Bagridae and Ariidae, two families that are well represented in Africa. Bagrid spines have been found at Quinta das Pedreiras in association with Lates (?) sp. remnants. The Lates (?) sp. discovery in the Lower and Middle Miocene from the Lower Tagus basin results in extending to the West this genus' biogeographic distribution. It is indeed the first discovery of this genus on Europe's Atlantic coasts. No matter which was the geographic origin of these fishes, they had to migrate several hundreds of kilometers through marine waters before entering the Tagus' estuary. The association of Lates (?) sp. remnants with Siluriform ones that have an extant, broad repartition in Africa south of the Sahara points out to an African origin. These thermophyll fishes imigration along the Atlantic coasts from lberian Peninsula probably has been possible owing to a warm climatic event that allowed them to migrate ca. 5 degrees (in latitude) northwards in Burdigalian times.

Software languages engineering: experimental evaluation

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

Combining open and closed world reasoning for the semantic web

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

Spectrum sensing through software defined radio

Dissertação apresentada para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

A system’s approach to cache hierarchy-aware decomposition of data-parallel computations

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

A domain specific language for domotic systems

To cope with modernity, the interesting of having a fully automated house has been increasing over the years, as technology evolves and as our lives become more stressful and overloaded. An automation system provides a way to simplify some daily tasks, allowing us to have more spare time to perform activities where we are really needed. There are some systems in this domain that try to implement these characteristics, but this kind of technology is at its early stages of evolution being that it is still far away of empowering the user with the desired control over a habitation. The reason is that the mentioned systems miss some important features such as adaptability, extension and evolution. These systems, developed from a bottom-up approach, are often tailored for programmers and domain experts, discarding most of the times the end users that remain with unfinished interfaces or products that they have difficulty to control. Moreover, complex behaviors are avoided, since they are extremely difficult to implement mostly due to the necessity of handling priorities, conflicts and device calibration. Besides, these solutions are only reachable at very high costs, yet they still have the limitation of being difficult to configure by non-technical people once in runtime operation. As a result, it is necessary to create a tool that allows the execution of several automated actions, with an interface that is easy to use but at the same time supports all the main features of this domain. It is also desirable that this tool is independent of the hardware so it can be reused, thus a Model Driven Development approach (MDD) is the ideal option, as it is a method that follows those principles. Since the automation domain has some very specific concepts, the use of models should be combined with a Domain Specific Language (DSL). With these two methods, it is possible to create a solution that is adapted to the end users, but also to domain experts and programmers due to the several levels of abstraction that can be added to diminish the complexity of use. The aim of this thesis is to design a Domain Specific Language (DSL) that uses the Model Driven Development approach (MDD), with the purpose of supporting Home Automation (HA) concepts. In this implementation, the development of simple and complex scenarios should be supported and will be one of the most important concerns. This DSL should also support other significant features in this domain, such as the ability to schedule tasks, which is something that is limited in the current existing solutions.

Evolution of Teeth and Quadrate in Non-avian Theropoda (Dinosauria: Saurischia), with the Description of Torvosaurus Remains from Portugal

Theropods form a highly successful and morphologically diversified group of dinosaurs that gave rise to birds. They include most, if not all, carnivorous dinosaurs, yet many theropod clades were secondarily adapted to piscivory, omnivory and herbivory, and theropods show a large array of skull and dentition morphologies. This work aims to investigate aspects of the evolution of theropod dinosaurs by analyzing in detail both the anatomy and ontogeny of teeth and quadrates in non-avian theropods, and by studying embryonic and adult material of a new species of theropod. A standardized list of terms and notations for each anatomical entity of the tooth, quadrate, and maxilla is here proposed with the goal of facilitating descriptions of these important cranial and dental elements. The distribution of thirty dental characters among 113 theropod taxa is investigated, and a list of diagnostic dental characters is proposed. As an example, four isolated theropod teeth from the Lourinhã Formation (Kimmeridgian‒Tithonian) of Portugal are described and identified based on a cladistic analysis performed on a data matrix of 141 dentition-based characters coded in 60 taxa. Two shed teeth are referred to an abelisaurid, providing the first record of Abelisauridae in the Jurassic of Laurasia and the one of the oldest records of this clade in the world, suggesting a possible radiation of Abelisauridae in Europe well before the Upper Cretaceous. The consensus tree resulting from this phylogenetic analysis, the most extensive on theropod teeth, indicates that theropod teeth provide reliable data for identification at approximately family level, and this method will help identifying theropod teeth with more confidence. A detailed description of the dentition of Megalosauridae is also provided, and a discriminant analysis performed on a dataset of numerical data collected on the teeth of 62 theropod taxa reveals that megalosaurid teeth are hardly distinguishable from other theropod clades with ziphodont dentition. This study highlights the importance of detailing anatomical descriptions and providing additional morphometric data on teeth with the purpose of helping to identify isolated theropod teeth. In order to evaluate the phylogenetic potential and investigate the evolutionary transformations of the quadrate, a phylogenetic morphometric analysis as well as a cladistic analysis using 98 discrete quadrate related characters were conducted. The quadrate morphology by its own provides a wealth of data with strong phylogenetic signal, and the phylogenetic morphometric analysis reveals two main morphotypes of the mandibular articulation of the quadrate linked to function. As an example, six isolated quadrates from the Kem Kem beds (Cenomanian) of Morocco are determined to be from juvenile and adult individuals of Spinosaurinae based on phylogenetic, morphometric, and phylogenetic morphometric analyses. Morphofunctional analysis of the spinosaurid mandibular articulation has shown that the posterior parts of the two mandibular rami displaced laterally when the jaw was depressed due to a mediolaterally oriented intercondylar sulcus of the quadrate. Such lateral movement of the mandibular ramus was possible due to a movable mandibular symphysis in spinosaurids, allowing the pharynx to be widened. A new species of theropod from the Lourinhã Formation of Portugal, Torvosaurus gurneyi, is erected based on a right maxilla and an incomplete caudal centrum. This taxon supports the mechanism of vicariance that occurred in the Iberian Meseta during the Late Jurassic when the proto-Atlantic was already well formed. A theropod clutch containing several crushed eggs and embryonic material is also assigned to this new species of Torvosaurus. Investigation on the maxilla ontogeny in basal tetanurans reveals that crown denticles, elongation of the anterior ramus, and fusion of interdental plates appear at a posthatchling stage. On the other hand, maxillary pneumaticity is already present at an embryonic stage in non-avian theropods.

A description of the Australian early psychosis intervention model and a proposal to establish a Pilot Early Intervention Program in Santa Cruz de la Sierra, Bolívia

RESUMO: Em 2011, a Associação Psiquiátrica Mundial lançou um programa de bolsas de investigação para psiquiatras em início de carreira a partir de países de renda baixa ou média-baixa, no âmbito deste programa, o autor foi selecionado para uma bolsa de pesquisa no Centre for Youth Mental Health/Orygen Youth Health Research Centre da Universidade de Melbourne. Orygen, é a principal organização de pesquisa e tradução do conhecimento do mundo com foco em problemas de saúde mental em pessoas jovens. O estágio foi baseado em Prevenção e Intervenção Precoce Psychosis Centre (EPPIC), que faz parte do Orygen. EPPIC fornece programa de tratamento abrangente e integrada, baseada na comunidade para o primeiro episódio de psicose. Esta dissertação descreve o modelo EPPIC, e seus componentes essenciais e fatores que são necessários para uma implementação de serviço direito. Além disso, uma proposta de criação de um programa-piloto de intervenção psicose precoce é discutido. Este programa inclui um programa de extensão inovadora que combina princípios comerciais sólidos, com metas sociais, a fim de combater especificamente a maior barreira para o tratamento da psicose precoce na Bolívia: o estigma da doença mental. Ao utilizar uma equipe de tratamento móvel, multidisciplinar, que enfatiza os papéis dos gerentes do caso treinados focada em fornecer indivíduo intensiva e apoio familiar no lar, este programa irá prestar cuidados culturalmente apropriados que irá alavancar contribuições de um suprimento limitado de psiquiatras e mudar longe da dependência um sistema médico fragmentado. ---------------------------- ABSTRACT: In 2011, the World Psychiatric Association launched a programme of research fellowships for early-career psychiatrists from low- or lower-middle income countries, within this programme, the author was selected to a research fellowship at the Centre for Youth Mental Health/Orygen Youth Health Research Centre at University of Melbourne. Orygen, is the world’s leading research and knowledge translation organization focusing on mental ill-health in young people. The traineeship was based on Early Psychosis Prevention and Intervention Centre (EPPIC), which is part of Orygen. EPPIC provides comprehensive, integrated, community-based treatment program for first-episode psychosis. This dissertation describes the EPPIC model, and its core components and factors which are necessary to a right service implementation. Additionally, a proposal to establish a pilot early psychosis intervention programme is discussed. This programme includes an innovative outreach programme that combines sound business principals with social goals in order to specifically target the largest barrier to early psychosis treatment in Bolivia: the stigma of mental illness. By utilizing a mobile, multidisciplinary treatment team that emphasizes the roles of trained case managers focused on providing intensive individual and family support in the home, this programme will provide culturally appropriate care that will leverage contributions from a limited supply of psychiatrists and shift dependence away from a fragmented medical system.

Augmenting spaces and creating interactive experiences using video camera networks

This research addresses the problem of creating interactive experiences to encourage people to explore spaces. Besides the obvious spaces to visit, such as museums or art galleries, spaces that people visit can be, for example, a supermarket or a restaurant. As technology evolves, people become more demanding in the way they use it and expect better forms of interaction with the space that surrounds them. Interaction with the space allows information to be transmitted to the visitors in a friendly way, leading visitors to explore it and gain knowledge. Systems to provide better experiences while exploring spaces demand hardware and software that is not in the reach of every space owner either because of the cost or inconvenience of the installation, that can damage artefacts or the space environment. We propose a system adaptable to the spaces, that uses a video camera network and a wi-fi network present at the space (or that can be installed) to provide means to support interactive experiences using the visitor’s mobile device. The system is composed of an infrastructure (called vuSpot), a language grammar used to describe interactions at a space (called XploreDescription), a visual tool used to design interactive experiences (called XploreBuilder) and a tool used to create interactive experiences (called urSpace). By using XploreBuilder, a tool built of top of vuSpot, a user with little or no experience in programming can define a space and design interactive experiences. This tool generates a description of the space and of the interactions at that space (that complies with the XploreDescription grammar). These descriptions can be given to urSpace, another tool built of top of vuSpot, that creates the interactive experience application. With this system we explore new forms of interaction and use mobile devices and pico projectors to deliver additional information to the users leading to the creation of interactive experiences. The several components are presented as well as the results of the respective user tests, which were positive. The design and implementation becomes cheaper, faster, more flexible and, since it does not depend on the knowledge of a programming language, accessible for the general public.