Optimizações guiadas por dados reais em linguagens de domínio específico para a web

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

Cognição e linguagens sobre o espaço no tempo em geografia

Cognição e Linguagem são importantes em Geografia, desde as origens, perante a pertinente interrogação sobre a superfície da Terra e a localização relativa, suscitando uma linguagem por palavras ou descrições escritas e mapas esboçados, como linguagem específica da Geografia acerca das configurações da superfície terrestre. Cognição e Linguagem expressa por palavras e mapas suscitaram controvérsia que foi acentuada pela Revolução Copemiana. Com a Renascença, as idéias de Humanismo e Utopia infiuenciaram a configuração de mapas sobre espaços e territórios, em que se sobrepunha a linguagem e representação num só plano sem diferenciações de distâncias e contrastes. Ao mesmo tempo, alargava-se o conhecimento sobre o Mundo, assim como a representação e linguagem pelos portulanos e mapas, até que no século XVII o périplo mun-, dial foi completado.

Vanguardas e linguagens (situações pictóricas)

Quando Henri Matisse (1869-1954) concebia a sua última versão àQ A Dança, em 1910, já experimentara, mais ou menos intensamente, todas as manifestações importantes da pintura francesa anterior^. Relacionando- se com as várias heranças da escola francesa (sobretudo parisiense), o exotismo oriental e o primitivismo, Matisse propunha-se a uma síntese que servisse de harmonia aos vários aspectos culturais, sendo A Dança obra culminante desse processo. As várias tradições culturais estão expostas nesta obra, não como soluções particulares, mas antes articuladas num todo sintético e depurador, que lhes resolve contradições. Pintor do presente pelas próprias heranças que recebera e assumira, e das quais era corolário e síntese, a sua modemidade não podia renegar toda uma tradição em que ele próprio participara. Para Matisse, o passado cultural transportava uma herança de inegável riqueza a que apenas bastava depurar, superando contradições, estabelecendo- o como situação modema; numa espécie de renovado classicismo. A tradição apresentava-se como um campo fértil e sugestivo para a criação cultural presente.

A ideia de forma lógica e a sua aplicação ao estudo das linguagens naturais

A linguagem é, para os humanos, um órgão privilegiado de comunicação e de conhecimento. Como é que este órgão realiza essa sua dupla função, comunicar e conhecer, é uma questão difícil e fascinante, cuja resposta envolve inúmeros aspectos. Destes aspectos, a Lógica apenas fornece elementos para esclarecer aqueles que dependem das noções de verdade, consistência e conseqüência, ou de noções derivadas destas. E mesmo relativamente a estas noções, a Lógica apenas determina a relação que elas têm com a forma lógica das frases (ver §2). Apesar da contribuição da Lógica para a questão de saber como é que a linguagem realiza as suas funções de comunicar e conhecer ser, assim, restrita, ela não é menor. A Lógica é uma disciplina científica, formulável como uma teoria sistematizada, teoria cujas propriedades são (na sua maioria) conhecidas através de resultados demonstrados.

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.

Uma linguagem de domínio específico para a framework i*

Dissertação apresentada para obtenção do Grau de Mestre em Informática, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Mecanismos de suporte à execução concorrente de programas em lógica

Dissertacção apresentada para a obtenção do Grau de Mestre em Engenharia Informática pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia.

DIGRA (Digital Graffiti) um protótipo de apoio à realização de percursos topográficos

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

DSLtranslator - ferramenta para transformação de modelos

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

Geografia Virtual – A Representação do(s) Lugar(es) Físico(s) no Espaço da Internet

A Geografia tem a ver com o lugar, com a localização, com a sociedade, com o ambiente, com o espaço e com a região. Uma vez que no ciberespaço algumas destas variáveis são difíceis de definir, o campo de pesquisa da geografia virtual terá que ser aprofundado,. Este novo domínio da análise geográfica apresenta-se como uma forma de percepcionar a representação do(s) espaço(s) físico(s) no espaço virtual da Internet. Este artigo pretende mostrar um exemplo de um ‘interface’ de cartografia digital, disponível on-line, que pelas suas características inovadoras representa ‘o estado da arte’ na análise dos espaços reais ou geográficos, no espaço virtual da Internet. A sua escolha prende-se com o facto desta ferramenta utilizar conceitos e fundamentos da Geografia, aos quais foram aplicadas as modernas tecnologias de programação para ambientes da www, como as linguagens VRML, XML, Java e Flash.

JavaCO – uma variante do Java com um sistema de tipos baseado em covariância

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

Linguagem de especificação leve Hoare-separação para java

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

Construção e desconstrução de identidades em a Caverna de José Saramago e Who's afraid of Virginia Woolf ? de Edward Albee

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Línguas, Literaturas e Culturas, Estudos Ingleses e Norte-Americanos

Discurso mediático e metáfora da crise no mercado financeiro : análise das peças jornalísticas publicadas nos periódicos O Público e o Correio da Manhã nos seguintes semestres de 2007-2008

Trabalho de Mestrado Em Ciências da Comunicação com Especialização em Estudos dos Media e Jornalismo

A galeria de exposições temporarias do Mosteiro de Alcobaça. Reflexões e contributos na óptica do discurso expositivo

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Museologia