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

Teoria básica das estruturas conceptuais

As Estruturas Conceptuais são um formalismo de representação de conhecimentos baseado em grafos, os chamados grafos conceptuais. A teoria foi inicialmente desenvolvida por John Sowa há dez anos. desde então, uma comunidade científica cada vez mais ampla tem-na utilizado em muitas áreas de aplicação e propôs várias alterações à teoria original. Também está em desenvolvimento uma implementação estado-da-arte gratuita e, além disso, os grafos conceptuais foram adoptados num padrão ANSI em preparação. Apesar desta actividade não existe de facto uma definição formal, completa, consistente e revista da Teoria das Estruturas Conceptuais. Esta dissertação vem contribuir para essa definição ao estender, refinar e clarificar as noções básicas da teoria. A clarificação dos grafos conceptuais em * grafos sintacticamente correctos, * grafos bem tipados, * grafos ontologicamente correctos, chamados grafos canónicos, * e grafos verdadeiros é a base da clarificação do significado das várias noções e serve de guia às extensões e aos refinamentos introduzidos. As principais extensões foram feitas no sistema de tipos e no esquema de dependências entre vértices de grafos, e o refinamento de quase todos os aspectos da teoria - em particular das regras de formação de grafos canónicos e de regras de inferência para os grafos verdadeiros - inclui o tratamento formal de algumas propostas informais de outros autores.

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

Caracterização de dois novos tipos de centros ferro-enxofre em duas proteínas isoladas de bactérias redutoras de sulfato (desulfovibrio gigas NCIB 9332)

Tese apresentada para obtenção do grau de Doutor

Análise técnico-económica dos diferentes tipos de tubagens e acessórios

Dissertação para obtenção do grau de Mestre em Engenharia Civil – Perfil de Construção

Desinfestação de diferentes tipos de papel utilizando o calor solar: estudo dos seus efeitos em estufa e aplicação sob diferentes condições climatéricas

Dissertação de Mestrado em Conservação e Restauro área de especialização: Documentos Gráficos

Avaliação da actividade antioxidante em diferentes tipos de bebidas: vinho e cerve

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Tecnologia Alimentar/Qual

O Desenvolvimento de Capacidades de Leitura a partir de Diferentes Tipos de Texto

Relatório de Estágio apresentado para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Ensino de Inglês e de Língua Estrangeira no 3º Ciclo e no Ensino Secundário, área de especialização em Ensino de Inglês e de Francês

Cinco tipos de democracia institucional

O termo "democracia" diz-se em acepções várias. A distinção entre democracia em sentido substantivo e democracia em sentido institucional é porventura a mais geral de todas as necessárias distinções. Democracia substantiva é o govemo exercido a favor do povo ou especialmente vantajoso para o povo, entendido por povo o conjunto dos sectores desfavorecidos enfre titulares do direito de cidadania. Tradicionalmente, os tratadistas políticos, pelo menos desde Platão e Aristóteles, definem democracia como o poder dos pobres em detrimento dos interesses dos ricos. No século XX esse entendimento da democracia foi assumido, (a) em formas exfremas, pelos partidários da sociedade sem classes e, (b) em formas moderadas, por defensores do Estado Providência ou da igualdade de oportunidades. A democracia aparece assim confundida com a idéia de justiça social: uma sociedade seria tanto mais democrática quanto maior fosse o nivelamento ou igualização das condições sociais. Foi essa democracia que Tocqueville analisou na vida e na política americanas'. Democracia institucional é, na ordem intema de cada Estado, o poder político baseado na soberania popular ou nacional; é um sistema de organização do poder do Estado.

Introdução à inferência bayesiana

Trata-se de uma simples introdução aos problemas da inferência Bayesiana em que se procura estabelecer o confronto com a inferência clássica. Depois de referir o princípio clássico da amostragem repetida passa a considerar-se do ponto de vista Bayesiano os principais processos inferenciais tais como: estimação, intervalos de credibilidade, predição e ensaio de hipóteses.

Utilização da metodologia de bootstraap em inferência estatística

Neste artigo, apresentamos o bootstrap como metodologia de inferência estatística. Após apresentar o princípio teórico que fundamenta, analisamos as propriedades assimptóticas. São desenvolvidos também os vários métodos de cálculo de intervalos de confiança: método bootstrap -t, método dos percentis e métodos BCa e ABC.

Determinação do valor tecnológico e de utilização de vários tipos de misturas de farinha de trigo mole e sêmola de trigo duro para o fabrico de pão tradicional

Dissertação para obtenção do Grau de Mestre em Tecnologia e Segurança Alimentar

Fusões & aquisições: Tipos, motivações e efeitos: Uma aplicação ao caso da fusão da FPVA com a Cerexport

An MBA Thesis, presented as part of the requirements for the degree of Masters in Business Administration from the NOVA - School of Business and Economics

Modelo de sistema de inferência difuso para auxílio da resposta ao risco em projectos

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de mestre em Engenharia e Gestão Industrial

Modelação 3D de teores de depósitos minerais condicionados por tipos de mineralização. O caso de estudo do depósito mineral do Zambujal, Minas de Neves-Corvo

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