Deciding difference logic in a Nelson-Oppen combination framework

O método de combinação de Nelson-Oppen permite que vários procedimentos de decisão, cada um projetado para uma teoria específica, possam ser combinados para inferir sobre teorias mais abrangentes, através do princípio de propagação de igualdades. Provadores de teorema baseados neste modelo são beneficiados por sua característica modular e podem evoluir mais facilmente, incrementalmente. Difference logic é uma subteoria da aritmética linear. Ela é formada por constraints do tipo x − y ≤ c, onde x e y são variáveis e c é uma constante. Difference logic é muito comum em vários problemas, como circuitos digitais, agendamento, sistemas temporais, etc. e se apresenta predominante em vários outros casos. Difference logic ainda se caracteriza por ser modelada usando teoria dos grafos. Isto permite que vários algoritmos eficientes e conhecidos da teoria de grafos possam ser utilizados. Um procedimento de decisão para difference logic é capaz de induzir sobre milhares de constraints. Um procedimento de decisão para a teoria de difference logic tem como objetivo principal informar se um conjunto de constraints de difference logic é satisfatível (as variáveis podem assumir valores que tornam o conjunto consistente) ou não. Além disso, para funcionar em um modelo de combinação baseado em Nelson-Oppen, o procedimento de decisão precisa ter outras funcionalidades, como geração de igualdade de variáveis, prova de inconsistência, premissas, etc. Este trabalho apresenta um procedimento de decisão para a teoria de difference logic dentro de uma arquitetura baseada no método de combinação de Nelson-Oppen. O trabalho foi realizado integrando-se ao provador haRVey, de onde foi possível observar o seu funcionamento. Detalhes de implementação e testes experimentais são relatados

Física estatística aplicada a sistemas sociais através do estudo de redes complexas

In this work a study of social networks based on analysis of family names is presented. A basic approach to the mathematical formalism of graphs is developed and then main theoretical models for complex networks are presented aiming to support the analysis of surnames networks models. These, in turn, are worked so as to be drawn leading quantities, such as aggregation coefficient, minimum average path length and connectivity distribution. Based on these quantities, it can be stated that surnames networks are an example of complex network, showing important features such as preferential attachment and small-world character

Utilização de um algoritmo de caminho mínimo no processo de recolhimento do palhiço da cana-de-açúcar

Pós-graduação em Agronomia (Energia na Agricultura) - FCA

Proposta de uma abordagem metodológica para analisar como os fatores posicionais influenciam as prioridades competitivas

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Decomposição de grupos e invariantes ends

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Analisando a determinação sexual de vertebrados com base em redes de interação entre proteínas

Pós-graduação em Ciências Biológicas (Genética) - IBB

Inferência estatística clássica para a confiabilidade de rede de coautoria com enfoque nos vértices

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Explorando abordagens de aprendizado sequencial para floresta de caminhos ótimos

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Explorando abordagens de múltiplos rótulos por floresta de caminhos ótimos

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Interações entre pré-escolares: possibilidades de análises

Buscou-se, neste trabalho, construir a rede de relações sociais entre pré-escolares e analisar a pertinência das metodologias utilizadas para a coleta e análise dos dados. Participaram dezessete pré-escolares de uma escola privada em Belém-PA. Os dados foram coletados através de teste sociométrico e observação comportamental. A estrutura do grupo foi analisada a partir da rede de relações sociais, construída através de Árvores Geradoras Mínimas (Teoria dos Grafos). Os resultados mostraram preferências por parcerias diferentes no teste sociométrico e no comportamento interativo. As duas medidas complementaram-se. O uso da Teoria dos Grafos demonstrou-se relevante por possibilitar análises quantitativa e qualitativa do fenômeno social.

Estudo do espectro Laplaciano na categorização de imagens

Uma imagem engloba informação que precisa ser organizada para interpretar e compreender seu conteúdo. Existem diversas técnicas computacionais para extrair a principal informação de uma imagem e podem ser divididas em três áreas: análise de cor, textura e forma. Uma das principais delas é a análise de forma, por descrever características de objetos baseadas em seus pontos fronteira. Propomos um método de caracterização de imagens, por meio da análise de forma, baseada nas propriedades espectrais do laplaciano em grafos. O procedimento construiu grafos G baseados nos pontos fronteira do objeto, cujas conexões entre vértices são determinadas por limiares T_l. A partir dos grafos obtêm-se a matriz de adjacência A e a matriz de graus D, as quais definem a matriz Laplaciana L=D -A. A decomposição espectral da matriz Laplaciana (autovalores) é investigada para descrever características das imagens. Duas abordagens são consideradas: a) Análise do vetor característico baseado em limiares e a histogramas, considera dois parâmetros o intervalo de classes IC_l e o limiar T_l; b) Análise do vetor característico baseado em vários limiares para autovalores fixos; os quais representam o segundo e último autovalor da matriz L. As técnicas foram testada em três coleções de imagens: sintéticas (Genéricas), parasitas intestinais (SADPI) e folhas de plantas (CNShape), cada uma destas com suas próprias características e desafios. Na avaliação dos resultados, empregamos o modelo de classificação support vector machine (SVM), o qual avalia nossas abordagens, determinando o índice de separação das categorias. A primeira abordagem obteve um acerto de 90 % com a coleção de imagens Genéricas, 88 % na coleção SADPI, e 72 % na coleção CNShape. Na segunda abordagem, obtém-se uma taxa de acerto de 97 % com a coleção de imagens Genéricas; 83 % para SADPI e 86 % no CNShape. Os resultados mostram que a classificação de imagens a partir do espectro do Laplaciano, consegue categorizá-las satisfatoriamente.

O problema da supressão na protecção de informação confidencial: formalizações e algoritmos.

Doutoramento em Matemática Aplicada à Economia e à Gestão.

Categoria de grafos parciais com homomorfismos totais teoria e aplicações

O conceito de parcialidade e importante em diversas áreas como a Matemática e a Ciência da Computação; ele pode ser utilizado, por exemplo, para expressar computações que não terminam e para definir funções recursivas parciais. Com rela cão a grafos, categorias de homomorfismos parciais são comuns (por exemplo, em gramáticas de grafos com a técnica de single-pushout). Este trabalho propõe uma abordagem diferente: a parcialidade é usada na estrutura interna dos objetos (não nos morfismos).Istoéfeito utilizando uma extensão do conceito de Categoria das Setas, chamada de Categoria das Setas Parciais. E definida entãoa categoria Grp de grafos parciais(tais que arcos podem possuir ou não vértices de origem e/ou destino) e homomorfismos totais.A generalização deste modelo resulta em categorias de grafos parciais internos.Émostrado que Grp é bicompleta e, se C é um topos, a categoria dos grafos parciais internos a C é cocompleta. Grafos parciais podem ser utilizados para definir modelos computacionais tais como autômatos. Uma categoria de Autômatos Parciais, denominada Autp, é construída a partir da categoria de Grafos Parciais. Usando uma extensão de composição de spans de grafos para autômatos, chamada de Composição de Transições, e possível definir as computações de autômatos. Brevemente, uma composição de transi cões de dois autômatos parciais resulta em um autômato parcial onde cada transição representa um caminho de tamanho dois (entre vértices), tal que a primeira metade é uma transição do primeiro autômato e a segunda metade é uma transição do segundo. É possível compor um autômato consigo mesmo diversas vezes; no caso de n sucessivas composições de transições, pode-se obter as palavras da linguagem aceita pelo autômato que necessitam de n+1 passos de computação nos arcos que não possuem origem e nem destino definidos do autômato parcial resultante.

Curso gest??o do conhecimento: teoria e boas pr??ticas

M??dulo 1: O que ?? gest??o do conhecimento na administra????o p??blica? Dado. Informa????o. Conhecimento. Economia do Conhecimento. Administra????o p??blica. GC na administra????o p??blica. Componentes do Modelo de Gest??o do Conhecimento para a Administra????o P??blica Brasileira. Rela????o entre GC e gest??o estrat??gica. Viabilizadores da GC. Processo de GC. Ciclo KDCA. M??dulo 2: Por que gest??o do conhecimento na administra????o p??blica? A import??ncia da GC. Raz??es para implementar GC na administra????o p??blica. Benef??cios da GC para o indiv??duo, equipes, organiza????o e sociedade. M??dulo 3: Pr??ticas de gest??o do conhecimento. Pr??ticas de relacionadas principalmente aos aspectos de gest??o de recursos humanos que facilitam a transfer??ncia, a dissemina????o e o compartilhamento de informa????es e conhecimento. Pr??ticas ligadas primariamente ?? estrutura????o dos processos organizacionais que funcionam como facilitadores da gera????o, reten????o, organiza????o e dissemina????o do conhecimento organizacional. Pr??ticas cujo foco central ?? a base tecnol??gica e funcional que serve de suporte ?? gest??o do conhecimento organizacional, incluindo automa????o da gest??o da informa????o, aplicativos e ferramentas de Tecnologia da Informa????o (TI) para captura, difus??o e colabora????o. M??dulo 4: Como implementar gest??o do conhecimento na administra????o p??blica? Resultados esperados da implementa????o da GC. O papel a ser desempenho pelas ??reas respons??veis por gest??o de pessoas; gest??o da informa????o e documenta????o; gest??o da tecnologia da informa????o e comunica????es; planejamento estrat??gico; gerenciamento de projetos e gest??o de processos na implementa????o da GC na organiza????o. Ciclo Operacional de GC. Principais barreiras e facilitadores ?? implementa????o da GC nas organiza????es p??blicas. Iniciativas de GC. Passos para elaborar e implementar o plano de gest??o do conhecimento. Estudos de caso: Superintend??ncia de Aeronavegabilidade da Ag??ncia Nacional de Avia????o Civil (SAR/ANAC); Empresa Brasileira de Correios e Tel??grafos (ECT); Instituto de Pesquisa Econ??mica Aplicada (Ipea), Escola Nacional de Administra????o P??blica (Enap), Ag??ncia Brasileira de Desenvolvimento Industrial (ABDI); Secretaria Estadual de Planejamento e Gest??o de Minas Gerais (SEPLAG/MG); Pol??cia Civil de Minas Gerais (PCMG); Pol??cia Militar de Minas Gerais (PMMG).

Análisis, comparativa y visualización de redes sociales on-line representadas como grafos

El presente documento conduce a un análisis y comparativa de diferentes y variados conjuntos de redes sociales on-line. Para ello, primero se explica la base teórica de teoría de grafos para su interpretación y comprensión, así como de la base matemática que fundamenta el tipo específico de red estudiada y las diferentes métricas (estadísticas) extraídas de estas. Luego, se ofrece una detallada explicación del entorno de trabajo tanto para la aplicación informática desarrollada, como para posterior visualización y también una explicación y los algoritmos utilizados en las funciones implementadas con tales fines. Para finalizar el documento, se realiza una inmersión particular en cada red social on-line, puntualizando sus características y finalizando con una comparativa general entre todas ellas, siempre acompañadas con sus respectivas visualizaciones en el espacio 2D representadas en forma de grafo.