Cartografia geológica do Mesozóico na AML e aspectos relativos à normalização

Cartografia Geológica Aplicada a Áreas Urbanas

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

Critérios para o planeamento de equipamentos de saúde. Análise de Caso de Estudo no contexto urbano da AML

Dissertação para a obtenção do Grau de Mestre em Engenharia Civil – Perfil Construção

Influência dos tarifários de transportes colectivos na repartição modal dos transportes na AML

Dissertação para obtenção do Grau de Mestre em Engenharia do Ambiente, Perfil de Ordenamento do Território e Impactes Ambientais

Semantics of logic programs with explicit negation

After a historical introduction, the bulk of the thesis concerns the study of a declarative semantics for logic programs. The main original contributions are: ² WFSX (Well–Founded Semantics with eXplicit negation), a new semantics for logic programs with explicit negation (i.e. extended logic programs), which compares favourably in its properties with other extant semantics. ² A generic characterization schema that facilitates comparisons among a diversity of semantics of extended logic programs, including WFSX. ² An autoepistemic and a default logic corresponding to WFSX, which solve existing problems of the classical approaches to autoepistemic and default logics, and clarify the meaning of explicit negation in logic programs. ² A framework for defining a spectrum of semantics of extended logic programs based on the abduction of negative hypotheses. This framework allows for the characterization of different levels of scepticism/credulity, consensuality, and argumentation. One of the semantics of abduction coincides with WFSX. ² O–semantics, a semantics that uniquely adds more CWA hypotheses to WFSX. The techniques used for doing so are applicable as well to the well–founded semantics of normal logic programs. ² By introducing explicit negation into logic programs contradiction may appear. I present two approaches for dealing with contradiction, and show their equivalence. One of the approaches consists in avoiding contradiction, and is based on restrictions in the adoption of abductive hypotheses. The other approach consists in removing contradiction, and is based in a transformation of contradictory programs into noncontradictory ones, guided by the reasons for contradiction.

Mining protein structure data

The principal topic of this work is the application of data mining techniques, in particular of machine learning, to the discovery of knowledge in a protein database. In the first chapter a general background is presented. Namely, in section 1.1 we overview the methodology of a Data Mining project and its main algorithms. In section 1.2 an introduction to the proteins and its supporting file formats is outlined. This chapter is concluded with section 1.3 which defines that main problem we pretend to address with this work: determine if an amino acid is exposed or buried in a protein, in a discrete way (i.e.: not continuous), for five exposition levels: 2%, 10%, 20%, 25% and 30%. In the second chapter, following closely the CRISP-DM methodology, whole the process of construction the database that supported this work is presented. Namely, it is described the process of loading data from the Protein Data Bank, DSSP and SCOP. Then an initial data exploration is performed and a simple prediction model (baseline) of the relative solvent accessibility of an amino acid is introduced. It is also introduced the Data Mining Table Creator, a program developed to produce the data mining tables required for this problem. In the third chapter the results obtained are analyzed with statistical significance tests. Initially the several used classifiers (Neural Networks, C5.0, CART and Chaid) are compared and it is concluded that C5.0 is the most suitable for the problem at stake. It is also compared the influence of parameters like the amino acid information level, the amino acid window size and the SCOP class type in the accuracy of the predictive models. The fourth chapter starts with a brief revision of the literature about amino acid relative solvent accessibility. Then, we overview the main results achieved and finally discuss about possible future work. The fifth and last chapter consists of appendices. Appendix A has the schema of the database that supported this thesis. Appendix B has a set of tables with additional information. Appendix C describes the software provided in the DVD accompanying this thesis that allows the reconstruction of the present work.

Plataforma para testes de conformidade de sistemas baseados em módulos conceptuais STEP

Obtenção do grau de Mestre em Engenharia Electrotécnica, Sistemas e Computadores

Diversidade regional e dinâmicas demográficas: área metropolitana de Lisboa 2001-2025

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Gestão de Informação

Development of an interface for ontology‐based transformation between features of different types

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

Cartografar um passado para uma identidade metropolitana

Atlas da Área Metropolitana de Lisboa, dir. e coord. José António Tenedório

A modernização do comércio no eixo de Vila Franca de Xira

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Gestão do Território, especialidade Planeamento e Ordenamento do Território

Avaliação do potencial de difusão do veículo eléctrico na área metropolitana de Lisboa

Dissertação para obtenção do Grau de Mestre em Engenharia do Ambiente, perfil de Gestão e Sistemas Ambientais

Ocupação urbana da costeira de Loures, um território a reconverter

Trabalho de Projecto apresentado para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Gestão do Território, área de espacialização Planeamento e Ordenamento do Território

Agenda 21 e sustentabilidade ambiental Local – o caso de estudo do concelho de Oeiras

Dissertação apresentada para obtenção do grau de Mestre em Gestã do Território - Área Especialização Ambiente e Recursos Naturais

Translation encoding for OGC services

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