Testing native speakers of German and Portuguese on the understanding of topological operators-line-region relations in gvSIG

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

A qualitive reasoning approach for improving query results for sketch based queries by topological analysis of spatial aggregation

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

Cognitive assessment of topological movement Patterns and direction turns: An influence of scale

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

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.

Automatic learning for the classification of chemical reactions and in statistical thermodynamics

This Thesis describes the application of automatic learning methods for a) the classification of organic and metabolic reactions, and b) the mapping of Potential Energy Surfaces(PES). The classification of reactions was approached with two distinct methodologies: a representation of chemical reactions based on NMR data, and a representation of chemical reactions from the reaction equation based on the physico-chemical and topological features of chemical bonds. NMR-based classification of photochemical and enzymatic reactions. Photochemical and metabolic reactions were classified by Kohonen Self-Organizing Maps (Kohonen SOMs) and Random Forests (RFs) taking as input the difference between the 1H NMR spectra of the products and the reactants. The development of such a representation can be applied in automatic analysis of changes in the 1H NMR spectrum of a mixture and their interpretation in terms of the chemical reactions taking place. Examples of possible applications are the monitoring of reaction processes, evaluation of the stability of chemicals, or even the interpretation of metabonomic data. A Kohonen SOM trained with a data set of metabolic reactions catalysed by transferases was able to correctly classify 75% of an independent test set in terms of the EC number subclass. Random Forests improved the correct predictions to 79%. With photochemical reactions classified into 7 groups, an independent test set was classified with 86-93% accuracy. The data set of photochemical reactions was also used to simulate mixtures with two reactions occurring simultaneously. Kohonen SOMs and Feed-Forward Neural Networks (FFNNs) were trained to classify the reactions occurring in a mixture based on the 1H NMR spectra of the products and reactants. Kohonen SOMs allowed the correct assignment of 53-63% of the mixtures (in a test set). Counter-Propagation Neural Networks (CPNNs) gave origin to similar results. The use of supervised learning techniques allowed an improvement in the results. They were improved to 77% of correct assignments when an ensemble of ten FFNNs were used and to 80% when Random Forests were used. This study was performed with NMR data simulated from the molecular structure by the SPINUS program. In the design of one test set, simulated data was combined with experimental data. The results support the proposal of linking databases of chemical reactions to experimental or simulated NMR data for automatic classification of reactions and mixtures of reactions. Genome-scale classification of enzymatic reactions from their reaction equation. The MOLMAP descriptor relies on a Kohonen SOM that defines types of bonds on the basis of their physico-chemical and topological properties. The MOLMAP descriptor of a molecule represents the types of bonds available in that molecule. The MOLMAP descriptor of a reaction is defined as the difference between the MOLMAPs of the products and the reactants, and numerically encodes the pattern of bonds that are broken, changed, and made during a chemical reaction. The automatic perception of chemical similarities between metabolic reactions is required for a variety of applications ranging from the computer validation of classification systems, genome-scale reconstruction (or comparison) of metabolic pathways, to the classification of enzymatic mechanisms. Catalytic functions of proteins are generally described by the EC numbers that are simultaneously employed as identifiers of reactions, enzymes, and enzyme genes, thus linking metabolic and genomic information. Different methods should be available to automatically compare metabolic reactions and for the automatic assignment of EC numbers to reactions still not officially classified. In this study, the genome-scale data set of enzymatic reactions available in the KEGG database was encoded by the MOLMAP descriptors, and was submitted to Kohonen SOMs to compare the resulting map with the official EC number classification, to explore the possibility of predicting EC numbers from the reaction equation, and to assess the internal consistency of the EC classification at the class level. A general agreement with the EC classification was observed, i.e. a relationship between the similarity of MOLMAPs and the similarity of EC numbers. At the same time, MOLMAPs were able to discriminate between EC sub-subclasses. EC numbers could be assigned at the class, subclass, and sub-subclass levels with accuracies up to 92%, 80%, and 70% for independent test sets. The correspondence between chemical similarity of metabolic reactions and their MOLMAP descriptors was applied to the identification of a number of reactions mapped into the same neuron but belonging to different EC classes, which demonstrated the ability of the MOLMAP/SOM approach to verify the internal consistency of classifications in databases of metabolic reactions. RFs were also used to assign the four levels of the EC hierarchy from the reaction equation. EC numbers were correctly assigned in 95%, 90%, 85% and 86% of the cases (for independent test sets) at the class, subclass, sub-subclass and full EC number level,respectively. Experiments for the classification of reactions from the main reactants and products were performed with RFs - EC numbers were assigned at the class, subclass and sub-subclass level with accuracies of 78%, 74% and 63%, respectively. In the course of the experiments with metabolic reactions we suggested that the MOLMAP / SOM concept could be extended to the representation of other levels of metabolic information such as metabolic pathways. Following the MOLMAP idea, the pattern of neurons activated by the reactions of a metabolic pathway is a representation of the reactions involved in that pathway - a descriptor of the metabolic pathway. This reasoning enabled the comparison of different pathways, the automatic classification of pathways, and a classification of organisms based on their biochemical machinery. The three levels of classification (from bonds to metabolic pathways) allowed to map and perceive chemical similarities between metabolic pathways even for pathways of different types of metabolism and pathways that do not share similarities in terms of EC numbers. Mapping of PES by neural networks (NNs). In a first series of experiments, ensembles of Feed-Forward NNs (EnsFFNNs) and Associative Neural Networks (ASNNs) were trained to reproduce PES represented by the Lennard-Jones (LJ) analytical potential function. The accuracy of the method was assessed by comparing the results of molecular dynamics simulations (thermal, structural, and dynamic properties) obtained from the NNs-PES and from the LJ function. The results indicated that for LJ-type potentials, NNs can be trained to generate accurate PES to be used in molecular simulations. EnsFFNNs and ASNNs gave better results than single FFNNs. A remarkable ability of the NNs models to interpolate between distant curves and accurately reproduce potentials to be used in molecular simulations is shown. The purpose of the first study was to systematically analyse the accuracy of different NNs. Our main motivation, however, is reflected in the next study: the mapping of multidimensional PES by NNs to simulate, by Molecular Dynamics or Monte Carlo, the adsorption and self-assembly of solvated organic molecules on noble-metal electrodes. Indeed, for such complex and heterogeneous systems the development of suitable analytical functions that fit quantum mechanical interaction energies is a non-trivial or even impossible task. The data consisted of energy values, from Density Functional Theory (DFT) calculations, at different distances, for several molecular orientations and three electrode adsorption sites. The results indicate that NNs require a data set large enough to cover well the diversity of possible interaction sites, distances, and orientations. NNs trained with such data sets can perform equally well or even better than analytical functions. Therefore, they can be used in molecular simulations, particularly for the ethanol/Au (111) interface which is the case studied in the present Thesis. Once properly trained, the networks are able to produce, as output, any required number of energy points for accurate interpolations.

Type System for the ComponentJ Programming Language

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.

Whole life health insurance

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do Grau de mestre em Matemática e Aplicações

Multi-region routing

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 Electrotécnica e de Computadores

Exploratory geospatial data analysis using self-organizing maps

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Ciência e Sistemas de Informação Geográfica

A behavioral analysis tool for models of software systems

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Engenharia de tráfego leve ao nível do inter-domínio

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 Electrotécnica e de Computadores

Significado regional dos depósitos neogénicos continentais da área de Vila de Rei (Portugal Central)

In the Vila de Rei area (Central Portugal) the continental deposits of the Lower Tagus Tertiary Basin lay upon the pediment of the Portuguese Central Chain. Three conglomerate units are recorded from the base upwards, separated by regional or basinal unconformities; Conglomerados de Rio de Moinhos (RM); Conglomerados de Serra de Almeirim (SA) and Conglomerados de Vila de Rei (VR). The first two units (RM and SA) have been sites of gold exploitation in huge open pit mines probably during Roman colonisation times. The contact of this units, on the Paleozoic basement or on the Paleogene unit Grés de Monsanto, is unconform, defining in both limits a large nondepositional and/or erosional hiatus. Those conglomerates seal the sedimentation of the Lower Tagus Tertiary Basin along its northern border. Taking into account the significance assigned to their basinal unconformity limits, the uplift of the Portuguese Central Chain, and the fact of this continental units yielded no fossils with chronostratigraphic significance, they have been considered ranging from Upper Miocene to the beginning of the Quaternary. Finally, a lithostraligraphic equivalence with the Neogenic units of the Bierzo and Duerna basins (NW of the Iberian Peninsula), where exploitations from Roman times are also evident, is presented.

The cardinal of various monoids of transformations that preserve a uniform partition

Bulletin of the Malaysian Mathematical Sciences Society

On the monoids of transformations that preserve the order and a uniform partition

Communications in Algebra

Cellular reprogramming strategies for degenerative disorders involving the retinal pigment epithelium

RESUMO: A reprogramação celular permite que uma célula somática seja reprogramada para outra célula diferente através da expressão forçada de factores de transcrição (FTs) específicos de determinada linhagem celular, e constitui uma área de investigação emergente nos últimos anos. As células somáticas podem ser experimentalmente manipuladas de modo a obter células estaminais pluripotentes induzidas (CEPi), ou convertidas directamente noutro tipo de célula somática. Estas descobertas inovadoras oferecem oportunidades promissoras para o desenvolvimento de novas terapias de substituição celular e modelos de doença, funcionando também como ferramentas valiosas para o estudo dos mecanismos moleculares que estabelecem a identidade celular e regulam os processos de desenvolvimento. Existem várias doenças degenerativas hereditárias e adquiridas da retina que causam deficiência visual devido a uma disfunção no tecido de suporte da retina, o epitélio pigmentar da retina (EPR). Uma destas doenças é a Coroideremia (CHM), uma doença hereditária monogénica ligada ao cromossoma X causada por mutações que implicam a perda de função duma proteína com funções importantes na regulação do tráfico intracelular. A CHM é caracterizada pela degenerescência progressiva do EPR, assim como dos foto-receptores e da coróide. Resultados experimentais sugerem que o EPR desempenha um papel importante na patogénese da CHM, o que parece indicar uma possível vantagem terapêutica na substituição do EPR nos doentes com CHM. Por outro lado, existe uma lacuna em termos de modelos in vitro de EPR para estudar a CHM, o que pode explicar o ainda desconhecimento dos mecanismos moleculares que explicam a patogénese desta doença. Assim, este trabalho focou-se principalmente na exploração das potencialidades das técnicas de reprogramação celular no contexto das doenças de degenerescência da retina, em particular no caso da CHM. Células de murganho de estirpe selvagem, bem como células derivadas de um ratinho modelo de knockout condicional de Chm, foram convertidos com sucesso em CEPi recorrendo a um sistema lentiviral induzido que permite a expressão forçada dos 4 factores clássicos de reprogramação, a saber Oct4, Sox2, Klf4 e c-Myc. Estas células mostraram ter equivalência morfológica, molecular e funcional a células estaminais embrionárias (CES). As CEPi obtidas foram seguidamente submetidas a protocolos de diferenciação com o objectivo final de obter células do EPR. Os resultados promissores obtidos revelam a possibilidade de gerar um valioso modelo de EPR-CHM para estudos in vitro. Em alternativa, a conversão directa de linhagens partindo de fibroblastos para obter células do EPR foi também abordada. Uma vasta gama de ferramentas moleculares foi gerada de modo a implementar uma estratégia mediada por FTs-chave, seleccionados devido ao seu papel fundamental no desenvolvimento embrionário e especificação do EPR. Conjuntos de 10 ou menos FTs foram usados para transduzir fibroblastos, que adquiriram morfologia pigmentada e expressão de alguns marcadores específicos do EPR. Adicionalmente, observou-se a activação de regiões promotoras de genes específicos de EPR, indicando que a identidade transcricional das células foi alterada no sentido pretendido. Em conclusão, avanços significativos foram atingidos no sentido da implementação de tecnologias de reprogramação celular já estabelecidas, bem como na concepção de novas estratégias inovadoras. Metodologias de reprogramação, quer para pluripotência, quer via conversão directa, foram aplicadas com o objectivo final de gerar células do EPR. O trabalho aqui descrito abre novos caminhos para o estabelecimento de terapias de substituição celular e, de uma maneira mais directa, levanta a possibilidade de modelar doenças degenerativas da retina com disfunção do EPR numa placa de petri, em particular no caso da CHM.---------------ABSTRACT: Cellular reprogramming is an emerging research field in which a somatic cell is reprogrammed into a different cell type by forcing the expression of lineage-specific transcription factors (TFs). Cellular identities can be manipulated using experimental techniques with the attainment of pluripotency properties and the generation of induced Pluripotent Stem (iPS) cells, or the direct conversion of one somatic cell into another somatic cell type. These pioneering discoveries offer new unprecedented opportunities for the establishment of novel cell-based therapies and disease models, as well as serving as valuable tools for the study of molecular mechanisms governing cell fate establishment and developmental processes. Several retinal degenerative disorders, inherited and acquired, lead to visual impairment due to an underlying dysfunction of the support cells of the retina, the retinal pigment epithelium (RPE). Choroideremia (CHM), an X-linked monogenic disease caused by a loss of function mutation in a key regulator of intracellular trafficking, is characterized by a progressive degeneration of the RPE and other components of the retina, such as the photoreceptors and the choroid. Evidence suggest that RPE plays an important role in CHM pathogenesis, thus implying that regenerative approaches aiming at rescuing RPE function may be of great benefit for CHM patients. Additionally, lack of appropriate in vitro models has contributed to the still poorly-characterized molecular events in the base of CHM degenerative process. Therefore, the main focus of this work was to explore the potential applications of cellular reprogramming technology in the context of RPE-related retinal degenerations. The generation of mouse iPS cells was established and optimized using an inducible lentiviral system to force the expression of the classic set of TFs, namely Oct4, Sox2, Klf4 and c-Myc. Wild-type cells, as well as cells derived from a conditional knockout (KO) mouse model of Chm, were successfully converted into a pluripotent state, that displayed morphology, molecular and functional equivalence to Embryonic Stem (ES) cells. Generated iPS cells were then subjected to differentiation protocols towards the attainment of a RPE cell fate, with promising results highlighting the possibility of generating a valuable Chm-RPE in vitro model. In alternative, direct lineage conversion of fibroblasts into RPE-like cells was also tackled. A TF-mediated approach was implemented after the generation of a panoply of molecular tools needed for such studies. After transduction with pools of 10 or less TFs, selected for their key role on RPE developmental process and specification, fibroblasts acquired a pigmented morphology and expression of some RPE-specific markers. Additionally, promoter regions of RPE-specific genes were activated indicating that the transcriptional identity of the cells was being altered into the pursued cell fate. In conclusion, highly significant progress was made towards the implementation of already established cellular reprogramming technologies, as well as the designing of new innovative ones. Reprogramming into pluripotency and lineage conversion methodologies were applied to ultimately generate RPE cells. These studies open new avenues for the establishment of cell replacement therapies and, more straightforwardly,raise the possibility of modelling retinal degenerations with underlying RPE defects in apetri dish, particularly CHM.