O desenvolvimento de recursos computacionais para PLN é, na maioria das vezes, uma tarefa árdua e demorada, principalmente na fase inicial, de aquisição de conhecimento. Esta tarefa pode ser simplificada com a centralização dos dados em um repositório que armazene todas as informações lexicais disponíveis de uma determinada língua. Este trabalho documenta o desenvolvimento da DlADORIM, uma base relacional de dados lexicais para a língua portuguesa, com cerca de 1.5 milhão de entradas. Os desafios linguísticos e computacionais encontrados durante todo o processo são discutidos. Várias interfaces de acesso e edição foram implementadas e avaliadas. / The development of computational resources of NLP is usually an expensive task in terms of time complexity, mainly in knowledge acquisition phase. This task can be simplified by keeping the data in a central repository, which stores all the available lexical information of a particular language. This work describes the development process of DIADORIM, a relational lexical database for Brazilian Portuguese with around 1.5 million entries. Linguistics and computational development problems are deeply discussed. Interfaces for accessing and editing data were implemented and evaluated.

Neste trabalho, fazemos uma releitura crítica do problema do aconselhamento ortográfico para o português do Brasil, entendido como a correção interativa de erros ortográficos ortográficos em palavras isoladas, e reagimos. Em primeiro lugar, identificamos um parâmetro de qualidade importante - utilidade - e argumentamos que as soluções correntes o negligenciam. Procuramos meios de maximizar esse parâmetro, um dos quais justificamos ser o embasamento linguístico e daí propomos uma arquitetura genérica de sistema corretor interativo centrado em utilidade. Continuamos o trabalho levantando conhecimentos linguísticos relevantes e fazendo considerações úteis ao desenvolvimento de um conselheiro ortográfico segundo o modelo proposto. / In this work, we review the situation of spell-checking for Brazilian Portuguese from a (very) critical point of view and react. We identify an important quality factor - utility - and argue that it has been neglected by current solutions. We search for ways to maximize that factor, one of which we justify to be massive employment of linguistic knowledge, and hence propose a generic architecture for utility-centered interactive error correctors. Then we go on to gather relevant linguistic knowledge, and give useful pointers on the development of a spell-checker according to our model.

Nós estudamos análogos quânticos unidimensionais de modelos de Ising em duas dimensões com defeito linear do tipo linha e escada. A abordagem foi a do Grupo de Renormalização Fenomenológico mas argumentos de invariância conforme tiveram que ser utilizados para relacionar o expoente crítico nH* (da função de correlação temporal do spin no defeito) a uma razão de diferenças de energia para cadeias finitas. Para diaginalizar os Hamiltonianos utilizamos o método da tridiagonalização de Lanczos. Os resultados obtidos estão em absoluta concordância com a fórmula de Peschel e Schotte obtida pelo método da bosonização / We study quantum analogs of two-dimensional Ising models with a linear defect. Conformal invariance and scaling arguments are used to relate the expoent nH* to a finite chain mass-gap ratio. Close agreement is found with the pertinent exact results

Neste trabalho apresentamos resultados que relacionam o número de cúspides de uma aplicação genérica f : M → N, onde M e N são superfícies (M compacta), à possibilidade de f se fatorar por uma imersão g: M → N x R e à caracteristica de Euler-Poincaré de determinadas sub-variedades de M. Em seguida, nos ocupamos com um resultado sobre eliminação de cúspides, cuja demonstração nos leva a entender o fato geométrico que impede que determinadas aplicações se fatorem por uma imersão. Finalmente, apresentamos resultados que estendem os anteriores a situações mais gerais. / In this work we present results that relate the number of cusps of a generic map f : M → N, where M and N are surfaces ( M compact), to the possibility of the factorization of f through an immersiom g : M → N x R and to the Euler-Poincaré characteristic of certain submanifolds of M. Further, we are concerned with a result about elimination of cusps, whose proof leads us to understand the geometric obstruction that does not allow the factorization of some maps through an immersion. Finally, we present results that extend the ones mentioned to more general ones.

Esta dissertação de mestrado apresenta um estudo referente a métodos de Runge-Kutta Paralelos. Baseado em alguns artigos sobre o assunto, este trabalho, contém duas técnicas de construção de métodos Paralelos. Uma técnica é utilizar a Teoria das Diferenças Elementares, a outra é recorrer ao processo iterativo diagonal para resolvermos as equações implícitas do método de Runge-Kutta. Também apresentamos resultados numéricos, ou seja, implementamos os métodos construídos a partir de cada uma das técnicas. A linguagem utilizada foi a OCCAM, adequada para programação concorrente. Uma referência é o livro [Poutain, May, 87]. / This MSc dissertation presents a study on Paralel Runge-Kutta methods. It is based on some papers about the subject and contains two techniques for construction of Paralel methods. The first one uses the Elementary Differential Theory, while the second appeals to a Diagonal Iterated method for solving the implicit equations of the RK method. Numerical results corresponding to both techniques are included. The computer language used was OCCAM, which is adequated to concurrent programming,

Neste trabalho, estudamos o problema de determinar uma solução aproximada de um Sistema Linear Inconsistente, segundo a norma de Chebyshev. A partir de uma motivação em Engenharia Mecânica, denominada Planicidade de Superfícies, modelamos o problema, o qual é resolvido usando uma especialização do método Simplex. Propomos uma estrutura de dados, onde as colunas da matriz do \"Modelo Linearizado\" são geradas, ao invés de serem armazenadas, e apresentamos alguns estudos computacionais. Finalizando, fazemos a revisão do artigo \"Strict Chebyshev Approximation for General Systems of Linear Equations\" de J. P. Thiran e S. Thiry,1987. / This work studies a problem which consists in to determine a approximate solution of a Inconsistent Linear System according the Chebyshev norm. From a problem in Mechanic Engineering called Flatness of Surfaces, we model the problem, which is solved using a specialization Simplex method. Then we propose a information structure, where the columns of the matrix of the \"Linearized Model\" are generated not stored. After this we show some computational studies. Finishing, we make a revision on the \"Strict Chebyshev Approximation for General Systems of Linear Equations\" a paper of J.P. Thiran and S. Thiry, 1987.

Este trabalho faz parte do Projeto TABA. O TABA visa a construção de uma estação de trabalho configurável capaz de criar um ambiente adequado às necessidades de cada projeto de desenvolvimento de software. No contexto do Projeto TABA, um Ambiente de Desenvolvimento de Software (ADS) deve conter um conjunto integrado de métodos e ferramentas, que suportem as atividades de construção do produto, as atividades de planejamento e controle da qualidade e as atividades de gerência do processo de desenvolvimento. Para dar suporte gerencial automatizado, imprescindível principalmente quando é grande a complexidade do sistema a ser desenvolvido, não existem, porém, ambientes capazes de suportar as diferenças existentes entre as características próprias de cada domínio de aplicação. Esta tese apresenta uma solução para apoiar o gerente de projetos na configuração de uma estratégia gerencial adequada ao desenvolvimento de cada projeto, e que permite o acompanhamento e controle efetivos do projeto. Foi especificado um sistema com este objetivo, concebido como um conjunto de ferramentas integradas a uma base de conhecimentos, e desenvolvida uma das ferramentas que o implementa, um sistema de apoio à decisão baseado em conhecimento para o planejamento de recursos. / This work is part of the TABA Project. The main purpose of this project is the construction of a configurable workstation able to create an environment tailored to meet specific demands of each software development project. In the TABA Project context, a Software Development Environment (SDE) should contam n a set of integrated methods and tools, that support the construction activities, the quality planning and control activities and the development process management activities. In order to provide an automatized managerial support, indispensable mainly whenever the complexity of the system to be development is high, we need environments able to support the differences between the particular characteristics of each application domain. This work presents a solution to help the project manager in defining a managerial strategy tailored to a particular development project, and that allows the effective project monitor and control. A system was specified to meet this objective, conceived as a set of tools integrated with a knowledge base, and one of this tools was developded, a knowledge based support system for resources planning.

A disponibilização de técnicas efetivas para a Visualização Exploratória e Mineração Visual de conjuntos de dados volumosos e de alta dimensionalidade ainda representa um grande desafio para os pesquisadores. Apesar das muitas contribuições e dos avanços recentes, técnicas convencionais de visualização direta - em que cada elemento do conjunto de dados é mapeado em um elemento visual na tela - ainda são bastante limitadas nesse contexto. Neste trabalho técnicas de visualização exploratória foram revisitadas, e são enriquecidas com algumas estratégias que permitem gerar representações visuais mais efetivas para apoiar processos interativos de exploração de grandes conjuntos de dados de alta dimensionalidade. As técnicas introduzidas apresentam baixa complexidade computacional, de modo a não prejudicar ou inviabilizar a interação do usuário com as visualizações, na busca de padrões como agrupamentos e regiões de alta densidade nos dados, e podem ser caracterizadas como quatro contribuições distintas: (i) primeiramente, é apresentada uma nova técnica de visualização multi-dimensional, denominada VizJD, que projeta os dados em três dimensões espaciais e assim ameniza o efeito indesejado da excessiva sobreposição dos marcadores, típica de estratégias bidimensionais, como o RadViz e Star Coordinates, oferecendo uma alternativa de baixo custo para a projeção de dados multidimensionais no espaço 3D; (ii) técnicas de visualização direta, como Coordenadas Paralelas, RadViz e o próprio VizJD, são enriquecidas com informações de frequência e densidade computadas a partir dos dados, as quais são mapeadas visualmente buscando reduzir o efeito prejudicial de uma excessiva sobreposição dos marcadores, atenuar os efeitos indesejados da presença de ruído nos dados e ainda realçar a presença de padrões nos dados; (iii) é introduzido um procedimento interativo para apoiar a identificação de agrupamentos nos dados, o qual é apoiado nas visualizações enriquecidas com informação de frequência e densidade introduzidas anteriormente: (iv) finalmente, é apresentada uma estratégia simples para configurar a disposição dos atributos de dados mapeados na visualização, a qual resulta em visualizações de melhor qualidade e mais informativas no caso de dados de alta dimensionalidade. As propostas apresentadas são comparadas a trabalhos relacionados existentes na literatura, e avaliadas por meio de sua aplicação a vários conjuntos de dados reais e sintéticos, de vários tamanhos e dimensionalidades. Os resultados indicam que, apesar das estratégias propostas não eliminarem os problemas associados à oclusão e congestionamento visual na visualização de grandes conjuntos de dados, elas oferecem soluções efetivas e de baixo custo que ampliam a escalabilidade visual de técnicas tradicionais, viabilizando tarefas de exploração e mineração que seriam impossíveis, ou muito dificultadas, sem esses recursos. / The lack of effective techniques for Exploratory Visualization and Visual Mining of very large high-dimensional data sets still represents a major challenge to be addressed by researchers in the field. Despite the many contributions and recent advances, conventional direct visualization techniques - in which each item in the data set is individually mapped into a visual element in the screen - are still highly limited in this context. In this work we revisit direct exploratory visualization techniques, and propose several enhancements to support the creation of more effective visual representations to assist interactive exploration of large high-dimensional data sets. Four contributions are introduced: (i) first, a new multi-dimensional visualization technique that projects data in three spatial dimensions, called Viz3D, is presented; this technique reduces the excessive marker overlapping anc concentration that is typical of two-dimensional visualizations such as RadViz and Star Coordinates and offers a low cost 3D projection technique; (ii) direct visualization techniques, such as Parallel Coordinates, RadViz and VizJD itself, are enhanced with frequency and density information, computed from the data set and mapped into the data visual representations; the goals of this mapping are to reduce the harmful effeets of excessive marker overlapping, to reduce the artifaets due to the presence of noise in the data, and to highlight the presence of patterns in data; (iii) the visualizations enhanced with frequency and density information provide the basis for a new interactive approach to assist users in identifying and extracting cluslers in data sets; (iv) finallv, a new and simple strategy is introduced to configure the layout of multiple data attributes mapped into a visualization that results in better and more informative visualizations of high dimensional data. The proposed techniques are compared with related work from the literature, and illustrated with their application to several real and synthetic data sets of varying size and dimensionality. Results indicate that, although the new techniques do not completely eliminate the problems associated with occlusion and overlapping, they offer effective low cost solutions that increase the visual scalability of the techniques, enabling users to conduct visual exploration tasks that would not be possible otherwise.

Neste trabalho, uma nova técnica de reconstrução tridimensional é apresentada. Esta técnica oferece uma família de modelos, governada por um parâmetro chamado β, e que pode ser obtida a partir de um mesmo conjunto de seções planares. Este fato faz possível múltiplas opções para o problema da correspondência, tarefa difícil de ser realizada por outros métodos de reconstrução. Além da flexibilidade na conexão entre regiões de níveis consecutivos, o algoritmo produz LP-variedades e respeita a condição de reexemplificação. / In this work a new three-dimensional reconstruction technique is presented. This technique offers a family of modeis, governed by a parameter denoted β, that can be obtained from a sarne set of cross sections. This fact makes possible multiples choices for the correspondence problem, a difficult task to be performed by other reconstruction methods. Besides the fiexibility in the connection among regions of the adjacent slices, the algorithm produces PL-manifolds and respects the re-sampling condition.

Neste trabalho especificam-se os recursos lingüísticos e computacionais necessários à implementação de um realizador monosentencial para o português a partir de uma linguagem de representação semântica. Para desenvolver este gerador necessita-se de uma teoria lingüística que descreva os recursos da língua em questão, e também de um formalismo computacional que represente e manipule estes recursos lingüísticos em um ambiente computacional. Nesta dissertação, com o intuito de atender a estes requisitos, será proposto o uso de teorias lingüísticas baseadas em restrições e o uso de um sistema de geração baseado em unificação. A linguagem de representação semântica utilizada é a UNL (Universal Networking Language). Sendo assim, o gerador aqui proposto deverá converter, uma por vez, cada uma fins sentenças da UNL em orações gramaticalmente corretas do português. / This work has as its main goal to specify the linguistic and computational resources nerrssary for the implementation of a portuguese monosentencial generator from a semantic representation language. For the development of such a generator it is necessary that a linguistic theory describes Lhe resources of the language in question, and also a computational formalism that represents and manipulates these linguistic resources in a computational framework. Tu this dissertation we will show 1mw these requirements can be made firnctional, through the use of constraint-based linguistic theories, and the use of au unification-based generation system. UNL (Universal Nètworking Language) is the semantic representation language used in this work. Therefore, the generator proposed here should couvert ou a sentence by sentence basis from Lhe UNL into well-formed portuguese sentences.