Uma extensão da representação de Munn e o grau de separação dos idempotentes de um block-group

Actas do Encontro de Algebristas Portugueses 2005, Braga, Portugal, Centro de Matemática da Universidade do Minho, (2006),p. 105-116

William Kingston e the prime minister: uma representação ficcional da era pombalina

Dissertação de Mestrado em Estudos Anglo-Portugueses

Implementação de uma linguagem concorrente com tipos comportamentais

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

Engineering Temporal and Spatial Aspects in OWL using Patterns

WWW is a huge, open, heterogeneous system, however its contents data is mainly human oriented. The Semantic Web needs to assure that data is readable and “understandable” to intelligent software agents, though the use of explicit and formal semantics. Ontologies constitute a privileged artifact for capturing the semantic of the WWW data. Temporal and spatial dimensions are transversal to the generality of knowledge domains and therefore are fundamental for the reasoning process of software agents. Representing temporal/spatial evolution of concepts and their relations in OWL (W3C standard for ontologies) it is not straightforward. Although proposed several strategies to tackle this problem but there is still no formal and standard approach. This work main goal consists of development of methods/tools to support the engineering of temporal and spatial aspects in intelligent systems through the use of OWL ontologies. An existing method for ontology engineering, Fonte was used as framework for the development of this work. As main contributions of this work Fonte was re-engineered in order to: i) support the spatial dimension; ii) work with OWL Ontologies; iii) and support the application of Ontology Design Patterns. Finally, the capabilities of the proposed approach were demonstrated by engineering time and space in a demo ontology about football.

REPRESENTAÇÃO ARTÍSTICA NAS REDES SOCIAIS: UMA ABORDAGEM BASEADA NO FACEBOOK

Dissertação de Mestrado em Ciências da Comunicação Especialização em Comunicação e Artes

Organização do conhecimento: contributos para a representação dos sistemas eleitoriais

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

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.

Mapacorpo: geometria dos afectos

Trabalho de projecto para obtenção do grau de mestre em Ciências da Comunicação com especialização em Comunicação e Artes

Compreensão e produção de orações relativas por crianças com perturbação específica do desenvolvimento da linguagem

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Desenvolvimento e Perturbações da Linguagem na Criança – Área de Especialização em Terapia da Fala e Perturbações da Linguagem

Análise de itens sintácticos em provas de avaliação da linguagem - Relevância para identificação de perturbação específica do desenvolvimento

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Desenvolvimento e Perturbações da Linguagem na Criança – Área de Especialização em Terapia da Fala e Perturbações da Linguagem

Compreensão e produção de interrogativas parciais em crianças do português europeu com perturbação específica do desenvolvimento da linguagem

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Desenvolvimento e Perturbações da Linguagem na Crianças, área de especialização em Terapia da Fala

Comportamento, Cognição e Linguagem: Contribuição da Fenomenologia Biológica para o Estudo das Relações Corpo-Mente

Um dos desafios mais importantes para as ciências humanas e particularmente para a educação consiste na compreensão das relações entre o comportamento, a cognição e a linguagem. O presente artigo apresenta uma concepção encorporada da cognição e da linguagem a partir da etologia humana. Baseando-se nas ideias da fenomenologia biológica sobre a intencionalidade, apresentam-se algumas das condições para o acesso científico às relações corpo-mente.

Linguagem intermédia tipificada para concorrência em memória partilhada

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

O contextualismo na filosofia da linguagem contemporânea

Tese apresentada para cumprimento dos requisitos necessários à obtenção do grau de Doutor em Filosofia