O futuro da web semântica e sua importância nas organizações

Trabalho realizado sob orientação do Prof. António Brandão Moniz para a disciplina “Factores Sociais da Inovação” do Mestrado Engenharia Informática realizado na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa (Portugal)

Paul Churchland e a Problemática da Semântica dos Estados Mentais

Dissertação para obtenção do Grau de Mestre em Filosofia Contemporânea

A semântica do eu: critérios de identidade pessoal

pp. 35-47

Valores de (inter)subjetividade na análise semântica: a marcação da distância

Tese apresentada para cumprimento dos requisitos necessários à obtenção do grau de Doutor em Linguística – especialização em Linguística Portuguesa

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.

Contributo para a avaliação da ecocompatibilidade de novos materiais para a construção civil

No âmbito da avaliação da ecocompatibilidade de novos materiais para a construção civil, foram realizados diversos estudos, destinados à avaliação dos potenciais tóxicos e ecotóxicos desses materiais. Estes estudos foram enquadrados pelo projecto europeu VALOMAT, o qual foi financiado pela Comissão Europeia, através do programa Brite-Euram III. Os novos materiais, desenvolvidos pela empresa Inertec, basearam-se na valorização de escórias de centrais de incineração de RSU e destinaram-se a duas aplicações distintas: a) Enchimento de minas ou pedreiras abandonadas ou em fim de vida; b) Construções, no sub-solo, de paredes diafragma. Os estudos realizados, no âmbito da presente dissertação, foram efectuados em cinco fases distintas. Na primeira fase, procedeu-se ao estudo das propriedades químicas e ecotoxicológicas intrínsecas de seis amostras de escórias brutas. Utilizou-se o ensaio de lixiviação descrito na norma europeia EN 12457-2. Os lixiviados produzidos foram caracterizados recorrendo a 21 parâmetros químicos e quatro indicadores biológicos. Os resultados obtidos permitiram verificar que as escórias apresentaram níveis tóxicos e ecotóxicos muito diferenciados. A ordenação dos níveis tóxicos e ecotóxicos, por recurso a um índice químico e a um índice ecotoxicológico, e a sua integração num sistema de critérios múltiplos de decisão permitiram seleccionar cinco amostras de escórias como as mais adequadas para o desenvolvimento dos novos materiais.Na segunda fase do trabalho, procedeu-se à avaliação dos potenciais tóxicos e ecotóxicos intrínsecos de 14 materiais monolíticos, desenvolvidos pela empresa Inertec. Os materiais foram submetidos a um processo de segmentação prévio (dimensão das partículas: <4 mm). Posteriormente, foram submetidos ao ensaio de lixiviação descrito na norma europeia EN 12457-2. Os lixiviados foram caracterizados de modo semelhante ao que foi indicado para as escórias brutas. Os resultados obtidos indicaram que os níveis tóxicos e ecotóxicos dos materiais destinados ao enchimento de antigas minas ou pedreiras foram superiores aos determinados para os materiais destinados à construção de paredes diafragma. Com base nos índices químico e ecotoxicológico, foi possível ordenar as amostras dos materiais, em função dos níveis tóxicos e ecotóxicos crescentes. A integração destes resultados num sistema de critérios múltiplos de decisão permitiu seleccionar seis formulações como as mais adequadas para as duas aplicações acima referidas. A terceira fase dos estudos teve como objectivo a avaliação dos potenciais tóxicos e ecotóxicos dos materiais seleccionadas na fase anterior, sem alteração prévia das suas matrizes monolíticas. Para o efeito utilizou-se o ensaio de lixiviação descrito na norma francesa NF X31-211. Os resultados obtidos permitiram concluir que os níveis de emissão de substâncias químicas e os níveis de ecotoxicidade dos novos materiais foram inferiores aos determinados na avaliação dos potenciais tóxico e ecotóxico intrínsecos. Os materiais foram classificados como quimicamente estáveis. Os diferentes níveis tóxicos e ecotóxicos destes materiais permitiram seleccionar três formulações para os ensaios seguintes. A quarta fase envolveu o estudo do comportamento químico dos novos materiais, sob condições de actividade microbiológica induzida no agente lixiviante (ensaio de biolixiviação). Foi desenvolvida uma nova metodologia para o ensaio de biolixiviação, tendo por base alguns trabalhos de biodeterioração, biolixiviação e biodegradação, realizados por outras equipas. Os resultados obtidos permitiram concluir que o comportamento químico dos novos materiais não foi alterado por acção da actividade microbiológica. Na última fase do trabalho, procedeu-se ao estudo dos potenciais tóxico e ecotóxico dos novos materiais, em ensaios de lixiviação de longo prazo, sob três cenários diferentes de exposição ambiental (norma europeia ENV 12920). Foram construídos dez pilotos experimentais, à escala laboratorial, que foram operados sob condições diferentes, em função dos cenários de exposição ambiental. Ao longo do tempo de ensaio, os lixiviados dos pilotos foram recolhidos e analisados sob o ponto de vista químico e ecotoxicológico. Os níveis tóxicos e ecotóxicos dos lixiviados dos novos materiais foram relativamente reduzidos e diferenciados, para cada um dos materiais e para cada cenário de exposição.

Relação entre o Conceito de Poder e o de Acção

A ordenação social é um dos temas centrais estudados pela sociologia desde há muito tempo. As teorias de acção social e de estrutura social são duas tradições teóricas usadas para explicar a forma como o mundo social se organiza e como funciona sem necessitar de uma imposição contínua de regras e normas. O poder e a acção social são dois conceitos centrais no mundo social, com uma forte ligação e influência mútua. O poder permite ou limita a acção, dá aos actores a possibilidade de ter mais e melhores oportunidades e posições sociais. A vida social é uma negociação constante, onde o poder e a acção estão sempre presentes, e é esta relação complexa que determina a natureza das relações sociais e o comportamento de cada indivíduo. Partindo de uma exposição teórica, o relatório irá apresentar alguns exemplos relacionados com o mercado de trabalho e comportamento organizacional para realçar a interacção entre os dois conceitos e a sua importância na vida social.

Sistema de ficheiros transaccional sobre FUSE

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

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

Recuperação de informação multimédia em memórias pessoais

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

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

Extracção e representação de metadados num contexto de produção de vídeo

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

Geração automática de código ANSI C a partir de Redes de Petri IOPT - PNML2C -

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Tradução e análise do humor em “Jeeves Takes Charge” de P.G. Wodehouse

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

Valorização de escombreiras da indústria extractiva de mármores no Alentejo

Dissertação para obtenção do grau de Mestre em Engenharia Geológica (Georrecursos)