Teoria da Computação Conceito

área de pesquisa

• "Aplicação da lógica Fuzzy kNN e análises estatísticas para seleção de características e classificação de abelhas"
• "Aspectos de projeto e implementação de linguagens para codificação de programas adaptativos"
• "Cifrassinatura sem Certificados"
• "COMPLEXIDADE DE CONSTRUÇÃO DE ÁRVORES PQR"
• "Complexidade Descritiva de Problemas em Grafos"
• "Construção de Filogenias Baseadas em Genomas Completos"
• "Construções Categóricas Intervalares em Haskell"
• "Geração incremental de parsers dependentes de contexto para o português brasileiro"
• "Macros como mecanismos de abstração em transformações textuais"
• "Mapas de Símbolos Proporcionais"
• "Modelagem de Teias Alimentares e Grafos de Competição"
• "Modelagem para o Ambiente DIS: de Imagem para SOM"
• "Problema de Empacotamento em Faixa com Restrições de Ordem e Estabilidade"
• "Problemas de Comparação de Genomas"
• "Proofs from a Geometric Perspective"
• "Sobre os Critérios de Corretude para os Grafos de Prova"
• 5) Problema de Escalonamento de Projetos com Restrições de Recursos: Uma Aplicação no Ramo de Petróleo
• \alpha-diperfect digraphs
• \chi-diperfect digraphs
• A λ-Model with ∞-Groupoid Structure based in the λ-Model Scott?s D∞
• A CONCEPÇÃO E ADOÇÃO DE UM CONSTRUTO DE AMBIENTE COMPUTACIONAL PARA APRENDIZAGEM COOPERATIVO: UM ESTUDO DOS MODELOS PRODUTIVOS COM ALTA TECNOLOGIA EMERGENTE EM COMUNIDADES DE BAIXA RENDA
• A conjectura de Tuza sobre triângulos em grafos.
• A CONTRIBUIÇÃO DA INTELIGÊNCIA ARTIFICIAL (IA) NA FILOSOFIA DA MENTE
• A CRIPTOGRAFIA VISUAL E SUAS APLICAÇÕES NA MELHORIA DA SEGURANÇA DO SISTEMA BRASILEIRO DE VOTAÇÃO ELETRÔNICA
• A Evolução da Computação no Brasil; e sua relação com fatos internacionais
• A General Analysis of Cut-Elimination by CERes
• A heuristic for the convex recoloring problem in graphs
• A influência do Desenvolvimento Colaborativo de Software na Cultura Digital
• A inovação tecnológica atrelada ao estímulo sustentável: uma análise no Centro Tecnológico do Porto Digital em Pernambuco - Brasil
• A Lógica sobre Leis iALC: Implementação de Provas de Correção e Completude e Proposta de Formalização da Legislação Brasileira
• A Machine-Verified Theory of commuting strategies for product-line reliability analysis
• A Mathematical Framework for Legal Reasoning
• A matheuristic approach for solving the high school timetabling problem
• A Máquina Geométrica - um modelo para representação de processos paralelos e não-determinísticos utilizando como estrutura os Espaços Coerentes
• A Novel Machine Learning 13-Gene Signature: Improving Risk Analysis and Survival Prediction for Clear Cell Renal Cell Carcinoma Patients
• A Proof Theoretical Methodology for Multiple-Word Reasoning
• A Propriedade dos Uns Consecutivos e Reconhecimento de Grafos Intervalo
• A reversible system based on hybrid toggle radius-4 cellular automata and its application as a block cipher
• A strongly polynomial algorithm for the minimum maximum flow degree problem
• A unifying model for locally constrained spanning tree problems
• A-implicações fuzzy valoradas Intervalarmente
• A-Teams para um Problema de Transporte de Derivados de Petróleo
• Abordagens Híbridas para Problemas de Programação Inteira da Teoria e da Prática
• Acauan Cardoso Ribeiro
• Adam Smith Gontijo Brito de Assis
• Adaptable parsing expression grammars
• ADAPTAÇÃO DO ALGORITMO DE OTIMIZAÇÃO DE ENXAME DE PARTÍCULAS PARA EXECUÇÃO EM CLUSTERS: UMA ABORDAGEM UTILIZANDO O MEDELO ILHA
• Addressing human factors in the design of cryptographic solutions : a two-case study in item validation and authentication
• Adelino de Castro Oliveira Simoes Gala
• Ademir Cristiano Gabardo
• Adenilton José da Silva
• Adilson de Oliveira Almirante
• Adolfo Almeida Duran
• ADONIAS CAETANO DE OLIVEIRA
• Adriana da Silva Nogueira
• Adriana Nakahara Miquiline
• Adriano Correa Naspolini
• Adão de Melo Neto
• Adão Luís Lopes
• Aggregation functions on n-dimensional ordered vectors equipped with an admissible order and an application in multi-criteria group decision-making
• Agnaldo da Costa
• Agorítimos para Achar Equilíbrio em Jogos Baseados em Grafos
• Alan Robert Resende de Freitas
• Alax Jorge Morais
• Alessandra Dahmer
• Alex Bredariol Grilo
• Alexander Bento Melo
• Alexandra Lilavati Pereira Okada
• Alexandre De Felicibus
• Alexandre Domingues Gonçalves
• Alexandre Duarte Washington
• Alexandre Ichiro Hashimoto
• Alexandre Luiz Junqueira Hadura Albano
• Alexandre Magno de Sousa
• Alexandre Rademaker
• Alexandre Salles da Cunha
• Alexsandro Fernandes da Fonseca
• ALGORITMO DE DIRECOES VIAVEIS EM DUAS ETAPAS E SUA APLICACOES A PROGRAMACAO QUADRATICA
• Algoritmos BSP/CGM para Ordenação
• Algoritmos de Aproximação para Problemas de Classificação Métrica
• Algoritmos de Aproximação para Problemas de Localização com Diferentes Funções de Distância
• Algoritmos dedicados para cálculo de Vertex Separation / Layout Ótimo e Edge Search Number / Plano de Busca Ótimo em Árvores Binárias Cheias
• Algoritmos e Limites para o Número Cromático Orientado em Algumas Classes de Grafos
• Algoritmos e modelos para o o Problema de Partição de Números
• Algoritmos Evolutivos Multi-Objetivos para a construção de Árvores Filogenéticas
• Algoritmos Evolutivos para Problemas de Modificação de Grafos aplicados à Filogenia
• Algoritmos exatos e heurísticos para um problema de compartilhamento de veículos
• Algoritmos exatos para problemas de dilatação mínima em grafos geométricos
• Algoritmos Lineares para Teste de Planaridade em Grafos
• Algoritmos para alinhamento de redes metabólicas
• Algoritmos Para Arvores de Jogos
• Algoritmos para junções em dígrafos acíclicos e uma aplicação na Antropologia
• Algoritmos para o Problema de Localização Simples Baseados nas Formulações clássica e Canônica
• Algoritmos para Problemas com Empacotamento
• Algoritmos para Problemas de Particionamento em Grafos
• Algoritmos para Problemas em Rearranjo de Genomas
• Algoritmos para problemas sobre cobertura por sensores
• Algoritmos para união de círculos e polígonos
• ALGORITMOS PARALELOS PARA EXTENSÃO LINEAR EM DIGRAFOS PLANARES
• Algoritmos Paralelos para Fecho convexo
• Algoritmos paralelos para o problema da mochila.
• Algoritmos Paralelos Realísticos para a Maior Subsequência Comum
• Algumas idéias e experimentos sobre demonstração automática de teoremas
• Algumas propriedades de máquinas sem perda de informação
• Alguns Resultados em Espessura de Grafos
• Aline Alves da Silva
• Aline Maria Malachini Miotto Amaral
• Alinhamento de sequências por restrição de expressão regular
• Alinhamento de seqüências com rearranjos
• Alinhamentos e comparação de sequências
• Allan de Souza Muniz
• Allbert Velleniche de Aquino Almeida
• Almir Rogério Camolesi
• Alonso Ali Gonçalves
• Amauri Luis Mocki Junior
• Ambiente Computacional para o Problema de Seleção de Carteiras de Investimento baseado na Predição de Retornos
• Aminadab Pereira Nunes
• Amirton Bezerra Chagas
• An Energy-Aware Data Aggregation Algorithm for Data Collection in Wireless Sensor Networks
• An improved simulation-based iterated local search metaheuristic for gravity fed water distribution network design optimization
• An integer programming approach for solving a generalized version of the Grundy domination number
• An OR Parallel Binding Environment
• Ana Carla Arruda de Holanda
• Ana Carla Cabral Medeiros
• Ana Cristina Medina Pinto
• Ana Emília Victor Barbosa Coutinho
• Ana Florencia
• Ana Lucia Lima Marreiros Maia
• Ana Luísa Zardo
• Ana Paula Domeneghetti Parizoto Fabrin
• Analise da Morfologia Universal via funções recursivas
• Anamaria Martins Moreira
• Anderson Aparecido Alves da Silva
• ANDERSON CORRÊA DE LIMA
• Anderson Paiva Cruz
• Anderson Rodrigues de Souza
• Andre Alves Pinheiro
• Andre Rodrigues Oliveira
• Andre Yoshiaki Kashiwabara
• Andrea Iabrudi Tavares
• Andrea Regina Wanderley
• André Amaro Toffanello
• André Castro Ramos
• André Luiz Galdino
• André Mendes Garcia
• André Moura de Mello
• Andréa Pereira
• Andréa Tieme Nakasato
• Andréia Borges Avelar
• Andréia Galvarros Pizarro Röhrig
• Angelo Gonçalves da Luz
• Angelo Stroligo Pecly
• Anibal Santos Jukemura
• Anjolina Grisi de Oliveira
• Annaxsuel Araújo de Lima
• Anne Magaly de Paula Canuto
• ANOTAÇÃO AUTOMÁTICA DE IMAGENS MÉDICAS BIDIMENSIONAIS POR MEIO DE CLASSIFICAÇÃO MULTIRRÓTULO
• Anselmo de Araújo Couto
• Anselmo Pestana Ribeiro Costa
• Antonio Benedito Coimbra Sampaio Junior
• Antonio Diego Silva Farias
• Antonio Júlio Lóssio Botelho
• Antonio Luiz Basile
• Antonyus Pyetro do Amaral Ferreira
• Análise Algébrica de Rearranjo em Genomas - Algoritmos e Complexidade
• ANÁLISE DA EFICIÊNCIA DE UNIDADES DE NEGÓCIO DO VAREJO UTILIZANDO DEA (DATA ENVELOPMENT ANALYSIS)
• Análise de estruturas de proteínas
• Análise de Mecanismos para Combinar Passos de Beta-Contração em Cálculos de Substituições Explícitas
• Análise de Segurança de Sistemas de Votação Eletrônica Baseados em Mixnets
• Análise didaticamente estruturada das correspondências entre Lógicas de Descrições e Lógicas Modais
• Análise experimental de algoritmos de planaridade
• Análise formal da complexidade de algoritmos genéticos
• Análise Multidisciplinar do Cibercrime
• Análise, simulalações e aplicações algorítmicas de Caminhadas Quânticas
• Aníbal Cavalcante de Oliveira
• Aplicação de Algoritmos Heurísticos na Ordenação e Particionamento de Coeficientes em Arquiteturas de Filtros FIR
• Aplicação de algumas construções categoriais em animações computacionais baseadas em autômatos finitos
• APLICAÇÃO DE MODELOS OCULTOS DE MARKOV EM JOGOS DE ESTRATÉGIA MISTA
• Aplicação de Reescrita Lógica na Especificação de Processadores
• Aplicação do método conjunto Stacking do classificador Floresta de Caminhos Ótimos para o problema de detecção de intrusão.
• Aplicações de Lógicas Modais a Teoria de Grafos e Sistemas Concorrentes
• Aplicações de Técnicas de Reescrita ao Problema da Palavra de Grupos
• APPROCHE DE L'ANALYSE DE DONNEES SYMBOLIQUES: GENERATION D'UN GRAPHE CONCEPTUEL D'HERITAGE A PARTIR D'UN TABLEAU DE DONNEES DISJONCTIF COMPLET
• Aproximações de fator constante para o problema de atribuição de hotlinks
• Aproximações para restrições do problema de Steiner em grafos
• Aquiles Braga de Queiroz
• Arianna Zoila Olivera Salmon
• Aristeu Laurêncio Cordeiro Mascarenhas
• Aritanan Borges Garcia Gruber
• Arlindo Flavio da Conceição
• Arlindo Luis Marcon Junior
• Armando Ramos Gouveia
• Arquitetura para a integrao de Identificao por Rdio Freqncia e Rede de Sensores sem Fio para rastreamento de animais
• Arredondamento Randômico e o Problema da Sequência mais Próxima.
• Arthur Freitas Ramos
• Aruanda Simões Gonçalves Meiguins
• ASAT: Uma Ferramenta para Detecção de Novos Vírus
• Aspectos Computacionais do Cálculo das Estruturas
• Aspectos Computacionalis do Cálculo de Estruturas
• Aspectos de genômica comparativa
• Assinatura digital Rabin-Williams -- sem randomização e com prova eficiente de segurança
• Astrha - Um Ambiente Gráfico, Dinâmico e Interativo para Internet Baseado em Hiper-Animações e na Teoria dos Autômatos
• Ataques quânticos a geradores de números pseudo-aleatórios.
• Augusto Fernandes Vellozo
• Augusto Marasca De Conto
• Augusto Wohlgemuth Fleury Veloso da Silveira
• Automação de Lógica Modal Um Estudo Comparativo de Algumas Abordagens
• Autran Dias de Almeida Germiniani
• Autômatos Celulares e o problema da classificação de densidades
• Autômatos Fuzzy Hesitantes Típicos: Teoria e Aplicações
• Avaliação de montadores de novo de RNA-Seq para identificação de transcritos diferencialmente expressos
• Avaliação do uso de PDI em dispositivos móveis para estimativa de estresse nutricional na cultura do mulho
• Ayrton Monteiro Cristo Filho
• Beatriz Lux
• Beatriz Regina Tavares Franciosi
• Bernardo Machado David
• Brazilino Quaglietta Corrêa
• Bruno Alves da Silva
• Bruno Azevedo Vilela
• Bruno Bentzen Aguiar
• Bruno Iochins Grisci
• Bruno Luis Pires de Azevedo
• Bruno Nascimento Ferreira
• Bruno Portella de Aguiar Grieco
• Bruno Woltzenlogel Paleo
• Budget-balanced and strategy-proof auctions for multi-passenger ridesharing
• Cadeias de Markov Quânticas.
• Caio Espinola Ferreira
• Caminhos mais longos em grafos
• Caracterização Aritmética em Primeira Ordem de Funções Computáveis em Espaço Polinomial
• Caracterização e análise de uma rede de ingredientes e receitas.
• Caracterização e Coloração de Arestas para Cografos
• Caracterizações de Grafo de Interseção de Triângulos
• Caracterizações e Reconhecimento dos Grafos Bipartidos Cordais
• Carlos Alberto Alonso Sanches
• Carlos Alberto Campos da Purificação
• Carlos Alberto Cavalcanti Cordeiro
• Carlos Alberto Jayme
• Carlos André Guerra Fonseca
• Carlos Antonio Pereira Campani
• Carlos Augusto Chagas Palma
• Carlos Augusto Pestana Rodrigues
• Carlos Eduardo dos Santos Baptista
• Carlos Henrique Odenique Jardim
• Carlos Henrique Rodrigues Sarro
• Carlos Sidney dos Santos Cidade Nascimento
• Carlos Takeshi Kudo Yasojima
• Casamento de Padrao em Strings Privados, com Aplicacao em Consultas Seguras a Banco de Dados
• Cassilda Maria Ribeiro
• CATIANE PRISCILA BARBOSA ARENHARDT MAZZUTTI
• Cecilia Sosa Arias Peixoto
• Celina Miraglia Herrera de Figueiredo
• Celso Antonio Alves Kaestner
• Celso Olivete Júnior
• Celson Guimarães Mendes
• CHARACTERIZATION OF MODAL [ACTION] LOGIC
• Charles Henrique Gonçalves Santos
• Christian Alonso Vega Cervantes
• Christine Vieira
• Cibele Matos Freire
• Circuit-based quantum random access memory for sparse quantum state preparation
• Ciro Meneses Santos
• Ciência da Computação para Crianças
• Classificador Simbólico de Imagens SAR
• Classificação de sequências de Metagenoma utilizando montagem e filogenia
• Claudia Patricia Candia Maciel
• Claudia Pontes Freire
• Claudio Andrés Callejas Olguín
• Cleber Silva de Oliveira
• Cleonice Weber de Souza Oliveira
• Cláudia Nalon
• Cláudio Luiz Latta de Souza
• Clávison Martinelli Zapelini
• Cografos-(k,l): Caracterização e Reconhecimento
• Coloração em grafos indiferença
• Coloração Orientada: Uma Abordagem Estrutural e de Complexidade
• Combinatorial Slice Theory
• Comparando Cálculos de Substituições Explícitas com Eta- conversão
• Comparação de Algoritmos Paralelos para a Extração de Regras de Associação no Modelo de Memória Distribuída
• Complexidade Descritiva da Lógica de Ponto Fixo Relacional Inflacionário.
• Complexidade descritiva das lógicas de ordem superior com menor ponto fixo e análise de expressividade de algumas lógicas modais
• Complexidade descritiva das lógicas de ordem superior com ponto fixo e análise de expressividade de algumas lógicas modais
• Complexidade dos problemas sanduíche e probe para subclasses de grafos-(k,l)
• Complexidade e algoritmos de jogos de blocos
• Compressed Sensing and Deep Learning for Low-complexity Signal Detection in Communication Systems
• Computational Complexity and Scheduling Algorithms for Wireless Networks
• Computing role assignments of Cartesian product of graphs
• CONDICIONANTES PARA INTEGRAÇÃO ESTRATÉGICA DA GOVERNANÇA DE TI EM ORGANIZAÇÕES BASEADAS EM CONHECIMENTO
• Conectividade Algebrica em Grafos Aleatorios
• CONFIANÇA EM AGENTES INTELIGENTES
• Confluencia de Sistemas de Reescritas em Termos Lineare Esquerdos não-Terminantes
• Confrontações entre Máquinas Físicas, Máquinas Semióticas e Máquinas Ontológicas
• Conhecimento Zero Estatístico e Reduções Eficientes para o Problema MKTP
• Construction d'arbres cladistiques
• CONTRIBUIÇÃO PARA A MATERIALIZAÇÃO DO PARADIGMA ORIENTADO A NOTIFICAÇÕES (PON) VIA FRAMEWORK E WIZARD
• Contribuição para o aumento da qualidade e produtividade de uma Fábrica de Software através da padronização do processo de recebimento de serviços de construção de software.
• Contributions to the investigations of Lascar strong types in simple theories
• Controle Adaptativo Local de Topologia em Redes Móveis Ad Hoc
• Controle da Evolução de um sistema ERP desenvolvido em Processos Ágeis
• Convexidades de Caminhos e Convexidades Geométrica
• Cooperação, Exploração e Consenso no Ambiente DRIMA: Construção de um Modelo de Inspiração Biológica
• Copycat CNN: Convolutional Neural Network Extraction Attack with Unlabeled Natural Images
• Correction to: Using the minimum maximum flow degree to approximate the flow coloring problem
• Covering a graph bu nontrivial paths
• Creative Agency
• Criptoanálise Diferencial do Papílio
• Criptografia de Chave Pública.
• Cristiano da Silva Benites
• Cristiano Grijó Pitangui
• Cristiano Lino Felicio
• Cálculos de Substituições Explícitas que Preservam a Propriedade de Redução de Sujeito
• Cálculos de Substituições Explícitas à la de Bruijn com Sistemas de Tipos com Interseção
• Cícero Garrozi
• Daniel Alencar Barros Tavares
• Daniel Costa Lima
• Daniel Fabio Domingues Posner
• Daniel Farias Lopes
• Daniel Gaspar Gonçalves de Souza
• Daniel Lima Ventura
• Daniel Ohanesian Silva
• Daniel Weigert Cavagnari
• Daniela Dias Xavier
• Daniela Tereza Ascencio Russi
• Danielli Araújo Lima
• Danilo Artigas da Rocha
• Danilo Gustavo Bispo
• Davi Romero de Vasconcelos
• David Kohan Marzagão
• David Sotelo Pinheiro da Silva
• De Kararaô a Belo Monte: um estudo sobre as narrativas das reportagens de revista
• Debora Mendonca Cardador Corrêa da Costa
• Declaração de princípios para o desenvolvimento de Objetos de Aprendizagem reutilizáveis para dispositivos móveis
• Decomposição e Largura em Árvore de Grafos Planares Livres de Ciclos Pares Induzidos
• Decomposição em Orelhas de Grafos Cobertos por Emparelhamentos
• Decomposição modular de grafos não-orientados
• Dedução Natural e Normalização Fraca para a Lógica Linear Completa
• Defeasible Reasoning with Exceptions First
• Definição e Especificação Formal do Jogo Diferencial "Lobos e Cordeiro"
• Deivid Rodrigues do Vale
• Delair Osvaldo Martinelli Júnior
• Delnir Monteiro de Lemos
• Demétrio Rodrigo Pepítero Carvalho
• Denise do Socorro Costa Tavares Mesquita
• Descritor de Forma 2D Baseado em Redes Complexas e Teoria Espectral de Grafos
• Desenvolvimento de Programas por Composição de Implementações Utilizando Lógica Clássica e Lógica Default
• Desenvolvimento de programs por composição de implementações utilizando lógica clássica e lógica default
• Desenvolvimentos da Conjetura de Fulkerson
• Detecção de Faces Humanas em Imagens Digitais: um algoritmo baseado em Lógica Nebulosa.
• DEVOPS and Agile Methodologies in Brazil's Largest Urban Microcredit Project: Applications and Benefits
• DIAGNOSE EM SISTEMAS DE POTENCIA UTILIZANDO LOGICA NAO-MONOTONICA E REDES NEURAIS.
• Diana Maria Farias Pessoa
• DIANE CASTONGUAY
• Diego de Freitas Aranha
• Diego Henrique Pagani
• Diego Vrague Noble
• Diferentes Abordagens em Comparacao de Sequencias
• Dinalva Maria Alencar Feitosa
• Distancias de transposição entre genomas
• Distributed repository for software packages using blockchain
• Douglas Guedert
• Douglas Ricardo Slaughter Nyimi
• Dr Edson Costa de Barros Carvalho Filho
• Dr. Eduardo Camponogara
• Duas abordagens para casamento de padrões de pontos usando relações espaciais e casamento entre grafos
• Débora Amorim de Carvalho
• Développement d´un prototype de systéme expert pour la planification d´expériences en biochimie
• Edilson José Rodrigues
• Edilton Lima dos Santos
• Edimilson Avelino da Silva
• Edjandir Corrêa Costa
• Edmilson Pereira da Cruz
• Edson Chitz
• Edson de Araújo Silva
• Edson Luiz França Senne
• Eduardo Candido Xavier
• Eduardo Carlos Hamerski Júnior
• Eduardo de Carvalho Rezende
• Eduardo José Aguilar Alonso
• Eduardo João Marcondes
• Eduardo Lucas Sena
• Eduardo Noronha de Andrade Freitas
• Eduardo Silva Lira
• Eduardo Theodoro Bogue
• EDUARDO URNAU
• Eduardo Zambon
• Eficiência na Produção de Bens Públicos: complexidade, adaptação e instituições.
• Elenice dos Santos Costa
• Eliana de Souza Gavioli
• ELIANA TIBA GOMES GRANDE
• Eliezio Soares de Sousa Neto
• Eliseu Marafiga
• Elisângela Silva Dias
• Ellen Yoshie Sudo Lutiff
• Elton Carneiro Marinho
• Elvis Maranhão de Souza
• Em direção aos N-Grafos Intuicionistas
• Emparelhamentos hiperelípticos em criptografia
• Emílio Wuerges
• Engineering augmented suffix sorting algorithms
• EPISTEME: AQUISICAO E ESTRUTURACAO AUTOMATICAS DE CONHECIMENTO
• Eric Bernardes Chagas Barros
• Eric Prates dos Santos
• ERICK GALANI MAZIERO
• Erick Nogueira do Nascimento
• Ernande Ferreira de Melo
• Ernesto Teodoro da Silva
• Especificação algébrica de tipos abstratos de dados via seqüência de sistemas de reescrita
• Esquema de Proteção da Privacidade do Usuário Aplicado à Publicidade Online Segmentada
• Estante Digital e Portfólio no contexto de um Ambiente de Aprendizagem Multiparadigmático - AmAm
• ESTRATÉGIAS DE PARTIÇÕES MISTAS PARA O PROBLEMA DA PATRULHA
• Estratégias e Padrões para modelagem de banco de dados para sistemas baseados na arquitetura SOFTBOARD
• Estratégias para mitigação de ameaças internas
• Estruturando e concretizando especificações para implementações
• Estudo Comparativo entre Algoritmos de Regras de Associação de Forma Normal e Incremental de Dados
• Estudo Comparativo entre Programação Concorrente, Sucessivas Atribuições e a Metaheurística Simulated Annealing no Problema de Alocação de Frota.
• Estudo de segurança do protocolo WAP
• Estudo dos Espaços Coerentes do ponto de vista da Teoria dos Topos
• Estudo sobre motivação e aprendizagem de estudantes em teoria da computação em uma abordagem baseada em problemas
• Etude et réalisation d'un système auteur avec simulateur de systèmes d'équations différentielles intégré
• Eurinardo Rodrigues Costa
• Evandro Cesar Bracht
• Evandro Nicomedes Araujo
• Evolutionary Algorithms for some Problems in Telecommunications
• Exact Algoirthms for Influence Propagation in Complex Networks
• Expansibilidade em Cálculos de Substituições Explícitas.
• Experimentos em construção de árvores filogenéticas com a operação de rearranjo de genomas Single-Cut-Or-Join
• Explicit computational paths in type theory
• Explorando o processo da análise de códigos maliciosos
• Exploring GSM Vulnerabilities to Assess Mobile Users' Location
• Exploring linguistic information and semantic contextual models for a relation extraction task using deep learning
• Expressiveness of Conditional Rewriting Systems with Built-in Predicates
• Extensões induzidas de altura minima de um conjunto parcialmente ordenado
• Extensões não Lógicas do Cálculo Relacional
• Fabiana Leonel Ambrosio da Silva
• Fabiana Soares Santana
• Fabiane Cristine Dillenburg
• FABIANO AZEVEDO DORÇA
• Fabiano de Souza Oliveira
• Fabiano Rodrigues Fernandes
• Fabio Henrique Manocchi
• Fabio Henrique Noboru Abe
• Fabio Marques Roque
• Fabio Rogério Piva
• Fabrício Caluza Machado
• Fabrício Caminha Fernandes
• Fabrício Gomes Vilasbôas
• FASE: Ferramenta de autoria e simulação de experimentos
• Fausto Sampaio
• Felipe de Carvalho Pereira
• Felipe Miguel Pait
• Felipe Silva de Oliveira
• Fenômenos Não-Lineares, Incluindo-se os Não-Ideais, em Captura de Energia Utilizando-se Dispositivos Piezo-Elétricos
• Fernanda Caldeira de Oliveira
• Fernando Andrade Ducha
• Fernando Augusto Zancheta
• Fernando Beux dos Santos
• Fernando Genta dos Santos
• Fernando José de Araujo Silva
• Fernando Maciano de Paula Neto
• Ferramenta Interativa de Ensino de SQL
• Ferramenta para auxílio ao projeto de sistemas de controle
• Fiamma Eva Mendoza Quispe
• Finding Geometric Structures with Minimum Stabbing Number
• flavio luis de mello
• Flávio de Freitas Stecca
• Flávio Leonardo Cavalcanti de Moura
• Formal approaches to information hiding: an analysis of interactive systems, statistical disclosure control, and refinement of specification
• Formalization of Context-Free Language Theory
• Formalização da Automação da Terminação Através de Grafos com Matrizes de Medida
• FORMALIZAÇÃO DA TRANSFORMAÇÃO DE MODELOS UTILIZANDO A LINGUAGEM Z
• Formigas resolvem o problema do vetor mais curto
• Fractais, Congruências e Primos: Uma Estratificação Visual dos Números Inteiros via Fractais de Sierpinski
• Franciano Antunes
• Francielle Toscan
• Francisco Antonio de Almeida
• Francisco Edson Pinheiro Pessoa
• Francisco Erivelton Fernandes de Aragão
• Francisco Teixeira Junior
• Francisco Vando Carneiro Moreira
• Franklin de Lima Marquezino
• Frederico Maciel Moreira
• Frederico Thomaz de Aquino Franzosi
• Fundamentos para um metamodelo descritivo e prescritivo do processo de desenvolvimento de software
• Funções mistura generalizada e aplicações
• Funções Sobrecarregadas como Objetos de Primeira Classe
• Futebol, tecnologia e aprendizagem: corpo, performance e criatividade
• FUZZY SCORE: UM SISTEMA ESPECIALISTA FUZZY APLICADO A COBRANÇA DE DÍVIDAS DE CARTÕES DE CRÉDITO
• Fábio Alessandro Guerra
• Fábio Henrique Viduani Martinez
• Fábio Marin Preti
• Fábio Pakk Selmi-Dei
• Gabriel Augusto Gonçalves Sobral
• Gabriel Henriques Siqueira
• Gabriel Takeuchi dos Santos
• Gabriele da Cruz Ribeiro
• Geam Carlos de Araújo Filgueira
• Generalizações do Diagrama de Voronoi Construídas Através de Cônicas No Plano Projetivo Orientado e Suas Visualizações
• Georges Luiz Pereira Dias
• Georgia de Araujo Steele
• Geovani Cássia da Silva Espezim Elizandro
• Geração das Bicliques de um Grafo
• Geração de Perífrases Verbais do tipo ESTAR + GERÚNDIO e ESTAR + PARTICÍPIO PASSADO em Português
• Geração de sequências de teste a partir de Máquinas de Estados Finitos baseada em busca.
• Gert Fernando de Oliveira Richter
• Gestão da produção repetitiva : uma ferramenta de apoio à decisão
• Gestão da QoS em Arquiteturas de Grades Computacionais Orientadas a Serviços
• Gestão do conhecimento aplicada à gestão de projetos: SisPro - o sistema de gerenciamento de projetos do CAEd
• Gevanildo Batista dos Santos
• Giandri Machado
• Gilberto Irajá Müller
• Gilca dos Santos Vilarinho
• Gilson Oliveira dos Santos
• Giorjety Licorini Dias
• Gisele Claro da Silva
• Giselle Machado Nogueira Reis
• Giulia Satiko Maesaka
• Giulio Iacobelli
• Gleifer Vaz Alves
• Governing AI through Sociotechnical Lens
• Grafos aleatórios exponenciais
• Grafos de Seqüências de DNA
• Grafos Fuzzy Intervalares n-Dimensional
• Grafos Fuzzy n-Dimensionais Intervalares
• Grafos Periplanares Biconexos e Dual Geométrico Fraco
• GRAPH SPANNERS
• Graphs with few crossings and the crossing number of the K_{p,q} in topological surfaces
• Grau de Indecidibilidade da Universalidade para Subclasses de Autômatos Temporizados
• Grupos pseudo-ivres, primos seguros e criptografia RSA
• Grupos pseudo-livres, primos seguros e criptografia RSA
• Guilherme Augusto Ferreira Lima
• Guilherme Bittencourt
• Guilherme Gonçalves Schardong
• Guilherme Neves Lopes
• Gustavo Augusto Domeneghine Tiveroli
• Gustavo Monti Rocha
• Haydée Werneck Poubel
• Helder Rodrigues da Costa
• Henrique Mongelli
• Henrique Schützer Del Nero
• Henrique Viana Oliveira
• Heron de Souza Marques
• Heuristicas Lagrangeanas para o problema da arvore geradora de custo minima com restricao de grau nos vertices
• Heurísticas para Problemas de Rearranjo de Genomas com Genes Multiplicados
• Hibridização de Programação Genética Gramatical com estratégia evolutiva e evolução diferencial aplicada a problemas de regressão simbólica e de classificação
• Hipergrafos Direcionados
• Hipertômatos na Computação aplicada à Educação
• Hitalo Joseferson Batista Nascimento
• Huberto Kaiser Filho
• Hugo Kooki Kasuya Rosado
• Humberto Celeste Innarelli
• Humberto de Avila Rodrigues
• Humberto Dumont Souto Júnior
• Humberto Rodrigo Sandmann
• Hélida Salles Santos
• Hélio Bomfim de Macêdo Filho
• Iago Uiliam Berndt
• Identificação de Contextos Lingüísticos em Linguagens Desconhecidas Geradas por Cifras de Blocos
• Identificação de Genes e o Problema do Alinhamento Spliced Múltiplo
• Identificação de nomes ativos em cálculo pi baseado em tipos
• Igor Palmieri
• Ila Maria Leite Fernandes
• Ilka Dias de Castro
• Impact of Communication Networks on Fault-tolerant Distributed Computing
• Implantação de Sistema Educacional em uma Instituição de Ensino
• Implementation of a Matrix Theorem Prover for Propositional Modal Logic
• Implementação de algoritmos para o problema da ordenação por transposições
• Implementação de tipos abstratos de dados como interpretação de teorias
• Implementação Eficiente do Esquema de Assinatura de Merkle e suas variantes.
• Implementação em software de algoritmos de resumo criptográfico
• Implementações de Tableaux para Raciocínio Aproximado
• Implicações fuzzy obtidas por agregadores multi-dimensionais
• Improving conflict detection in double-pushout graph transformation
• Indentificação de Genes por comparação de DNAs
• Indicadores de desempenho na mensuração do ativo intangível de instituição de ensino superior
• Indução de Regras de Decisão Nebulosas
• Inferência de Redes de Regulação Gênicas usando Computação Paralela Híbrida
• Inferência de Tipos e Efeitos por Meio de Grafos de Fluxo de Controle
• Influência da Topologia no Comportamento Dinâmico de Osciladores Neuronais Acoplados - Um Modelo de Córtex Visual
• Inserção de uma aresta num grafo e o efeito produzido na conectividade algébrica
• Integer Programming Based Methods Applied to Cutting, Packing, and Scheduling
• INTEGRATION D'OUTILS GRAPHIQUES DANS UN LOGICIEL DE CALCUL FORMEL
• Inteligência de máquina : esboço de uma abordagem construtivista
• INTRODUCAO A PROVA AUTOMATICA DE TEOREMAS
• Introdução a uma teoria geral de problemas
• Inversão de automata celulares com vizinhança Neumann.
• Inversão de Automatas Celulares com vizinhança Neumann
• INVESTIGATION OF BOOLEAN NEURAL NETWORKS BASED ON A NOVEL GOAL-SEEKING NEURON.
• Investigação da abordagem de sistemas imunológico artificiais para reconhecimento de padrões
• Irineu de Azevedo Lima Neto
• Isa Cristina Carvalho de Andrade
• Italo Mendonça Rocha
• Italo Ribeiro Costa dos Santos
• Ivair Nobrega Luques
• Ivan da Silva Sendin
• Ivan Francolin Martinez
• Ivan Mezzomo
• Ivan Xavier Araújo de Lima
• Ivanir Costa
• Ivone Matiko Ivassaki de Deus
• Ivonete Elias Jorge
• Izar Munhoz Alvares
• Jacson Venâncio de Barros
• Jaime Cazuhiro Ossada
• Jair Abú Bechir Láscar Alarcón
• James Charles Cochrane
• Janaide Nogueira de Sousa Ximenes
• Janio Rosa da Silva
• Jean Patrick Tremeschin Torres
• Jeane Cec¿lia Bezerra de Melo
• Jeneffer Cristine Ferreira
• Jeroen Antonius Maria van de Graaf
• Jerusa Marchi
• Jhonatan Alves
• Joao Fernando Diniz Falcão
• Joao Vicente Valadao Fonseca Alvarenga
• Joelson Nogueira de Carvalho
• Jogos de roteamento
• Jonatan Schroeder
• Jonison Almeida dos Santos
• Jorge Osvaldo Alves de Lima Torres
• Jose Hamurabi Nobrega de Medeiros
• Jose Ricardo Sebastiao
• Josemar Monteiro Silva
• Josemilton Vasconcelos de Oliveira
• JOSÉ ARNÓBIO ALBUQUERQUE DE OLIVEIRA
• José Augusto Mendes Vidal
• José Augusto Ramos Soares
• José Carlos Junqueira
• José Carlos Rocha Pereira Júnior
• JOSÉ CARMINO GOMES JUNIOR
• José Laurindo Campos dos Santos
• José Luiz Rodrigues Junior
• José Mauro da Silva Sandy
• José Nilton Cantarino Gil
• José Olimpio Ferreira
• José Renato Castro Milanez
• José Roberto de Lima Machado
• José Roberto dos Santos Andrade
• José Ulisses Ferreira Junior
• Joubert Flávio de Sousa Veloso
• João Abelar Martins Costa
• João Eurípedes Pereira Júnior
• João Marcos de Almeida
• João Paulo Oliveira dos Santos
• João Paulo Policarpo de Sousa
• João Paulo Rodolfo de Siqueira
• jShield: Uma Ferramenta Adaptativa Baseada em Agentes Móveis Inteligentes para Prover a Segurança de Aplicações Web
• Juan Carlos Agudelo Agudelo
• Juan Gabriel Gutierrez Alva
• Judenor Moreno
• Juerg Wullschleger
• Julian Geraldes Monteiro
• Juliana Martins do Nascimento
• JULIANO AUGUSTO CARREIRA
• Juliano Ratusznei
• Julio Antonio do Amaral
• Julio Vilela da Silva Neto
• Julliano Rosa Nascimento
• Justino Fontenelle Craveiro Neto
• Jáuvaro Carneiro Leao
• Jéssica Neiva de Figueiredo Leite Araujo
• Júlio Cezar Barreto Leite da Silva
• Júlio César Gonçalves
• k-árvores de custo mínimo
• Kaliana dos Santos Dias de Freitas
• Karen Honda
• Karen Sandhof
• Katiane Ribeiro Lopes
• Kelly Patrícia da Silva
• L'Interprétation du Mouvement en Images Coulers
• Le processus de création d?Enrique Diaz ou la construction de systèmes flous
• LeanCoR: a lean Connection-based DL Reasoner
• Leandro Marcilio Schunk
• Leandro Miranda Zatesko
• Leandro Pupo Natale
• Leandro Resende Mundim
• Leda Mara Cadore
• Leno Rodrigues Martins
• Leonardo Alexandre de Lucena Melo
• Leonardo Arcanjo da Fonseca Pereira
• Leonardo Augusto Taniguti Mantovani
• Leonardo Diniz
• Leonardo Vieira dos Santos Reis
• Letícia Rodrigues Bueno
• Lew Gordeev
• LexWeb - Um lexico do Português extraido automaticamente da Web
• Limites Inferiores para o Problema de Coloração de Vértices via Geração de Cortes e Colunas
• Linguagens formais para geração, reconheci- mento e diferenciação de 6 famílias de sequências ALU
• Lisa Cristina Silva de França Oliveira
• Lise Rommel Romero Navarrete
• LOGICA APLICADA E VERIFICACAO DE PROGRAMAS
• LOGICAS NAO-MONOTONICAS-APLICACOES
• LOTTUSEG, Um Protocolo para Loteria Digital
• Lucas Ximenes Boa Sorte
• Lucia Draque Penso
• Lucia Rosana Moura
• Luciana de Paiva Silva
• Luciana José Garcia Ribeiro
• Luciana Leindecker Palinkas
• Luciana Montera Cheung
• Luciano de Freitas
• Luciano Godoy Fagundes
• Luciano Henrique Gomes de Almeida
• LUCIANO MACIEL RIBEIRO
• Lucy Vidal Silva
• Luis Antonio Brasil Kowada
• Luis Antonio Gimenes Albino
• LUIS AUGUSTO ANGELOTTI MEIRA
• Luis Carlos Caparroz dos Santos
• Luis Claudio Pereira Tujal
• Luis Eduardo Zambrano Fernandéz
• Luis Gustavo de Carvalho Uzai
• Luis Marcos da Cruz de Amorim
• Luis Menasché Schechter
• Luiz Alfredo Silva Galiza dos Santos
• Luiz Alfredo Soares Garcindo
• Luiz Augusto de Paula Lima Junior
• Luiz Carlos Lemos Junior
• Luiz Carlos Reis
• Luiz Cortinhas Ferreira Neto
• Luiz Eduardo Bertucinni Zagrtetti
• Luiz Fernando da Silva Soares
• Luiz Gonzaga Damasceno
• Luiz Guilherme Soares da Silva
• Luiz Gustavo Hoyer da Silva
• Luiz Le Roy Hipólito de Jesus
• Luiz Ricardo Mantovani da Silva
• Luiz Sérgio Nowicki
• Luize de Magalhães Moura
• Luís Fernando Maximo
• LW-calculus: Um Modelo para Reflexão e Não Determinismo em Linguagens de Programação
• Lógica BDI fuzzy
• Lógica Linear com Subexponenciais
• Lógica linear e a especificação de sistemas computacionais
• Lógica Modal de Primeira-Ordem para Raciocinar sobre Jogos
• Lógicas BDI Fuzzy
• Lógicas Não Montônicasna Formalização do Senso Comum
• Lógicas relevantes: formalismos e semântica
• MAIA - Metamodelo de accountability para Inteligência Artificial
• Maico Gehrmann
• Maigan Stefanne da Silva Alcântara
• Maikol Magalhães Rodrigues
• Manna-X : um framework para Ambientes inteligentes
• Manoel Agamemnon Lopes
• Manoel Bezerra Campêlo Neto
• Manuel Martins Filho
• Mapeamento de incidentes com identidades digitais e estratégias de controle em ambientes virtuais
• Mapeamento de Qualidade de Experiência (QoE) Através de Qualidade de Serviço (QoS) Focado em Bases de Dados Distribuídas
• Marcello Willians Messina Ribeiro
• Marcelo Bolfe
• Marcelo Borghetti Soares
• Marcelo Castilho Couto
• Marcelo Cezar Pinto
• MARCELO DOMINGOS
• Marcelo Eustáquio Soares de Lima Júnior
• Marcelo Fagundes Felix
• Marcelo Ferreira Rego
• Marcelo Galvao Fonseca
• Marcelo Leme Mamud
• Marcelo Marcos Barbosa
• Marcelo Módolo
• Marcelo Rossano Dallagassa
• Marcio Belo Rodrigues da Silva
• Marcio Costa Santos
• Marcio Frayze David
• Marcio Luiz Bunte de Carvalho
• Marco Antonio Montebello Junior
• Marco Antonio Torrez Rojas
• Marco Aurélio Campos Paiva
• MARCO CÉSAR GOLDBARG
• Marco Serpa Molinaro
• Marcos Alberto Bussab
• Marcos Antonio Curimbaba
• Marcos Antonio dos Anjos
• Marcos Antonio Schreiner
• Marcos Mota do Carmo Costa
• Marcos Paulo de Mesquita
• Marcos Ronaldo Melo Cavalheiro
• Marcos Silva
• Marcos Vinicius Goncalves Vieira
• Marcus Vinicius Carvalho Guelpeli
• Marcus Vinícius Midena Ramos
• Margeylson Ribeiro da Graça
• MARIA CAROLINA MELLO PASSOS
• Maria Carolina Silva Castro Oliveira
• Maria Encarnacion Del Pilar Martinez Goncalves
• Maria Inés Castiñeira
• Maria Inês Soeltl Kitahara
• Maria Isabel Farias Carneiro
• Maria Monica Macedo Torres Silveira
• Marine Ksenia Kovalhuk
• Mario Leston Rey
• Mario Neto Borges
• Marisa Aparecida Olivieri
• Marisa Atsuko Nitto
• Marnes Augusto Hoff
• Martin Alejandro Musicante
• MATEUS DA ROSA ZANATTA
• Mateus de Oliveira Oliveira
• MathTutor Um Ambiente Interativo Multiagente para o Ensino de Estrutura da Informação
• Matrices inducing generalized metric on sequences
• Maurício Ayala Rincon
• Maurício José de Oliveira Zambon
• Max Vieira Santiago
• Maximiliano Selmi Marques
• Maysa Regina Medeiros
• Medidas de Distância e Similaridade em Genômica Comparativa
• Melhoria do gerenciamento de projetos de software com uso do RUP como modelo de processo iterativo junto a uma FS
• METHODES DESCRIPTIVES EN ANALYSE DE DONNEES SYMBOLIQUES
• Michel Pinheiro Montenegro
• Miguel Adrian Carretero
• Miguel Raymundo Flores Santibanez
• MINERAÇÃO DA WEB ATRAVÉS ALGORITMO DE NUVENS DE PARTÍCULAS
• Mineração de dados aplicada a gerência de redes de computadores.
• Minimizacao de Modelos de Grafos 2-Dir Puros
• Mirela Sechi Moretti Annoni Notare
• Miriam Oliveira dos Santos
• MODELAGEM E VERIFICAÇÃO DE PROPRIEDADES EPISTÊMICAS EM SISTEMAS MULTI-AGENTES
• Modelo computacional para valoração e avaliação de redações baseado em lógica Fuzzy
• MODELO MATEMÁTICO-COMPUTACIONAL DA GÊNESE DA REDE IDIOTÍPICA DO SISTEMA IMUNOLÓGICO
• Modelos de Evolução e Filogenia de Genomas Completos
• Modelos e Algoritmos para o Problema da Árvore Geradora de Custo Mínimo com Restrição de Diâmetro.
• Modelos Minimais e Hierarquia de Expressividade
• Modelos restritos e intergênicos para a ordenação por reversões e transposições
• Modularidade e Relação de Conseqüência
• MOFEU - Um Modelo Formal de Especificação Universal para Redes Neurais
• MOISÉS LAURENCE DE FREITAS LIMA JUNIOR
• Montagem de Fragmentos de DNA pelo Método
• Multiplicação escalar eficiente em curvas elípticas.
• Murillo de Barros Costa Rêgo Amazonas Pontual
• Murilo Marinho de Souza
• Máquinas, autômatos e linguagens de memória finita : algumas propriedades
• Márcia Flores da Silva
• Método dos transformadores de dados
• Métodos de Branch-and-Bound e Penalidades em Programação Linear em Dois Níveis
• Métodos de Cluster para Intervalos usando Algoritmos do tipo Nuvens Dinâmicas
• Métodos de desenvolvimento de algoritmos: especificação formal, análise comparativa e de complexidade
• Métodos de Monte Carlo para amostragem de permutações com restrições a aplicações
• MÉTODOS HEURÍSTICOS APLICADOS AO PROBLEMA DA ÁRVORE DE STEINER RECTILINEAR
• Métodos para Resolução de Problemas
• Métodos para Solução do Problema de Coloração de fluxo
• Mínimos quadrados para problemas de múltiplas classes envolvendo TWSVM e aplicações de mineração de dados
• N3O : a NEAT expansion for improving classification and feature selection applied to microarray data
• Nagibe Anderson da Silva Borba
• Natasha do Nascimento Paiva
• Networks of finite-state machines
• Nicolas Melo de Oliveira
• Nicollas Mocelin Sdroievski
• Nikolajs Nahimovs
• Nilson César Bertóli
• Nilzair Barreto Agostinho
• Nominal Disunification
• Nominal equational problems modulo associativity, commutativity and associativity-commutativity
• Normalização para os N-Grafos
• Novas metodologias para estimação da maturidade óssea baseadas no processamento de imagens radiográficas da mão
• Novos algoritmos simd para multiplicacao de matrizes no hipercubo
• Novos formatos de dados e algoritmos para suporte à imagens multi-dimensionais
• Nátalli Macedo Rodrigues Falleiros
• Números Complexos Graduados e Avaliação de Desempenho de Classificadores
• Números Naturais Parciais
• O Carimbó Marajoara: por um conceito de comunicação poética na geração de valor comunitário
• O Desenvolvimento de Objetos de Aprendizagem Aplicados ao Ensino da Lingua Inglesa
• O Desginer e a Gestão da Informação Digital
• O impacto das aceleradoras nas startups : um índice para medição de desempenho
• O método de redução e a decomposição de problemas: alguns aspectos
• O número de Carathéodory na convexidade geodésica de grafos
• O Número Envoltório P3 e o Número Envoltório Geodético para Produtos de Grafos
• O problema da dedução do intruso para teorias AC-convergentes localmente estáveis
• O Problema da Ordenação de Permutações por Reversões e Transposições
• O problema da orientação pfaffiana de grafos
• O problema da árvore geradora com muitas folhas
• O Problema das Quatro Cores
• O Problema de Formação de Equipes Sociotécnicas: complexidade, formulações matemáticas e resultados computacionais
• O Problema de Steiner Em Grafos: Uma Abordagem Poliédrica
• O problema do alinhamento de segmentos
• O Problema do Caixeiro Viajante
• O problema do caixeiro viajante com restrições de empacotamento tridimensional
• O Problema do Casamento Estável e Suas Variações
• O Problema do Particionamento de Similaridade Máxima
• O Problema do Subgrafo Planar Ótimo
• O Problema dos Casamentos Estáveis com Restrições de Pares
• O problema dos árbitros viajantes : complexidade, modelagem e algoritmos
• O processo de criação de Enrique Diaz ou a construção de sistemas nebulosos (flous)
• O Processo de Desenvolvimento de Software à Luz da Visão Estruturalista das Teorias da Ciência Natural
• O Tempo como Modelo: Aplicação de Lógicas Temporais na Especificação Formal de Sistemas Distribuídos, Wamberto Weber M. P. Vasconcelos
• O Tipo Identidade Como o Tipo de Caminhos Computacionais
• O uso de algoritmos evolutivos para a formação de grupos na aprendizagem colaborativa
• O uso de Serious Games e simuladores no desenvolvimento de sistemas de aprendizado que levem os aprendizes a uma experiência orientada por objetivo
• O uso indiscriminado da inteligência artificial : uma discussão ética
• Ogê Marques Filho
• On Algebras for Interval-Valued Fuzzy Logic
• On Fuzzy Ideals and Fuzzy Filters of Fuzzy Lattices
• On Optimal and Near-optimal Algorithms for Some Computational Graph Problems
• On the fast delivery problem with one or two packages
• On the Feasibility of Model Checking to Validate Compiler Outputs
• Optimizing Ensembles of Boosted Additive Bagged Trees for Learning to Rank
• Ordenação de permutações por operações de tamanho limitado
• Orientações pfaffianas e o furtivo grafo de Heawood
• Orlando Jose Pellanda Junior
• Otimização de Controladores Nebulosos e Sistemas Especialistas Reativos Utilizando Algoritmos Genéticos
• Otimização de Redes de Backhaul sem Fio
• Otimização de Tipos em Linguagem LL
• Otimização Genética de Árvores de Decomposição Wavelets
• Pablo Azevedo Sampaio
• Paralelização da Rede Neural Neocognitron em Cluster de SMPs
• Particionamento e Extensão de Grafos Cordais em Conjuntos Independentes e Cliques
• Partição de grafos eulerianos em circuitos
• Partições convexas geodésicas e contornos em grafos.
• Partições em grafos com poucos P4's
• Passeios Aleatórios Clássicos e Quânticos em Tapetes de Sierpiński
• Patient-Buddy-Build: Acompanhamento remoto móvel customizável de pacientes com doenças crônicas.
• Patric da Silva Ribeiro
• Patrícia Silva Peres
• PAULA FERNANDA SCHIAVO
• Paulinielle Cordeiro da Silva
• Paulo Andrade Leal
• Paulo Augusto Silva Veloso
• Paulo Henrique de Lima Maciel
• Paulo Henrique Fernandes de Matos
• Paulo Job Brenneisen
• Paulo Régis Menezes de Sousa
• Paulo Sérgio Lobo Rodrigues
• Paulo Victor de Almeida Pinheiro
• PCF extended with real numbers
• Pedro Henrique Seligmann Soares
• Pedro Nuno Trindade dos Santos
• Planejamento e Programação da Produção numa Fundição Automatizada de Grande Porte utilizando uma Heurística Lagrangiana
• Platoware: uma interpretação comunicacional da sintaxe das tecnologias da informação e da comunicação
• Populational Announcement Logic (PPAL)
• Preservando a Privacidade em Protocolos entre dois Participantes aplicados à Álgebra Linear e Estatística
• Privacidade na Era da Informação e a Noção de Integridade Contextual
• Problema da pseudo arborescência capacitada com localização de facilidades
• Problema da Árvore t-Spanner de Custo Mínimo
• Problema de Alocação de Petróleos na Petrobrás: Modelagem Matemática e um Algoritmo de Solução
• Problema de Corte de Arestas Máximos e Mínimos em Grafos.
• Problema de Ruteo de Vehículos
• Problema de árvore geradora mínima com restrição de grau mínimo e centrais e terminais fixos
• Problema do Corredor de Comprimento Mínimo: Algoritmos exato, aproximativos e heurístico
• Problemas de Empacotamento com Itens Irregulares
• Problemas de empacotamento com itens irregulares : heurísticas e avaliação de construtores de NFP
• Problemas de Ordenação de Permutações por Operações Ponderadas
• Problemas de Otimização Combinatória em Visualização de Dados Cartográficos
• Problemas em grafos com poucos P4's e em grafos indiferença
• Problemas sanduíche para grafos (2,1) com condições de contorno
• Procedimentos para tradução de resolução em dedução natural
• Processo de Transição de Modelos de Negócios para Modelos de Sistemas
• Prof Dr. Nizam Omar
• Prof. Dr. Jamil Salem Barbar
• Programação com tipos abstratos de dados
• Programação genética com restrições para a descoberta de conhecimento em bases de dados médicos
• PROGRAMAÇÃO LINEAR EM DOIS NÍVEIS: UMA ABORDAGEM TEÓRICA E COMPUTACIONAL
• Proof Theory and Computer Programming. The Logical Foundations of Computation
• Proper gap-labellings: on the edge and vertex variants
• Proposta de Esquema Criptográfico para e-Cash utilizando criptografia baseada em curvas elípticas
• Proposta de Táticas para Prova de Teoremas de Gramática de Grafos.
• Proposta de um Modelo Computacional para Representação de Sinais em uma Arquitetura de Serviços HCI-SL para Línguas de Sinais
• Proposta de um modelo de verificabilidade E2E para o sistema eletrônico de votação brasileiro utilizando mecanismos de criptografia visual
• Propriedade dos uns consecutivos e arvores PQR
• Propriedades de Lógica Default e suas Aplicações a Especificação de Programas
• Protocolo de identificação baseado em polinômios multivariáveis quadráticos
• Protocolo Seguro para Leilões Eletrônicos Reversos Adicionando Tratamento para Ataques do Tipo Collusive Shill Bidding e Sniping
• Protocolos Seguros entre Dois Participantes para Álgebra Linear e Estatística
• Prototype de Système Expert pour la planification d´expériences en Biochimie
• Prova Automática de Teoremas: Uma abordagem para melhorar a legibilidade de provas baseada em Dedução Natural
• Provas em Grafos: Implicações em Teoria da Prova e em Complexidade Computacional
• Proximity-based Understanding of Conditionals
• Pteridoftas ocorrentes em Pernambuco: ensaio biogeográfico e análise numérica
• Rafael Francisco dos Santos
• Rafael Garlet de Oliveira
• Rafael Santos Coelho
• Rafael Teixeira de Araújo
• Rafael Veiga Pocai
• Rafaella Ferreira do Vale
• Raimundo José MACÁRIO COSTA
• Rainer Ronnie Pereira Couto
• Raphael Farias Carneiro
• Raphael Soares de Moraes
• Raquel de Miranda Barbosa
• Raínne Florisbelo Gonçalves de Souza
• Rearranjo de Genomas por Reversão
• Reavaliações da GasNet e sua eficácia: além da proposição inicial.
• Reconfiguração dinâmica em sistemas de tempo real com restrições de consumo de energia
• RECONHECIMENTO DE ASSINATURAS USANDO MALHAS NEURONAIS DIGITAIS
• Reconhecimento de placas de automóveis por redes neurais artificiais e análise de componentes principais
• Redes Neurais na Estimativa da Capacidade Requerida em Comutadores ATM
• Redes Neuronais na Análise do Comportamento de Cianobactérias em Grandes Reservatórios de Água
• Regina Célia Marques Freitas Silva
• Reginaldo Cordeiro dos Santos Filho
• Reginaldo Inojosa da Silva Filho
• Regivan Hugo Nunes Santiago
• Rejane de Lima e Silva
• Relaxação lagrangeana com geração de desigualdades válidas aplicada ao problema de roteamento de veículos
• Relações Formais entre Gramáticas de Grafos e Redes de Petri
• Remis Balaniuk
• Renata Barbosa de Oliveira
• Renata Gomes Wotter
• Renata Luiza Stange
• Renata Maria Cardoso Rodrigues de Souza
• Renato Aurélio Sales Nascimento
• Renato dos Santos da Costa
• Renato José da Silva Camões
• Renato José da Silva Carmo
• Renato Marques Rocha
• Renato Nogueira Perez Avila
• Renner Costa Martins
• Renzo Gonzalo Gomez Diaz
• Representação de conhecimento para a interpretação de imagens meteorologicas
• Representação de Conhecimento: Modelos Clássico e Conexionista
• Representações para Pares Modulares de um Grafo
• Resolvedor Modular de Satisfabilidade Aplicado na Verificação de Circuitos Combinacionais.
• Restabelecimento de Energia em Sistemas de Distribuição por Algoritmo Evolucionário Associado a Representação por Cadeias de Grafos
• Revisão de Crenças Aplicadas a Programas em Lógica
• Rhyan Ximenes de Brito
• Ricardo Alexssander Soares de Souza
• Ricardo Cirino de Lima
• Ricardo Franklin Cavalcanti Sobral
• Ricardo José Marques
• Ricardo Leandro Piantola da Silva
• Ricardo Rodrigues Tudela
• Ricardo Satoshi Oyakawa
• Ricardo Stegh Camati
• Ricardo Ungaretti
• Richard Bonichon
• Richard Gebara Filho
• RICHARDSON Bruno da Silva Andrade
• Roberto Martin
• Roberval Gomes Mariano
• Robin David Wason Lane
• Robson Caetano da Silva Conceição
• Robson da Silva Aguiar
• Robson Eduardo De Grande
• Rodolfo Lorbieski
• Rodrigo Alves Costa
• Rodrigo Assirati Dias
• Rodrigo Cesar de Castro Miranda
• Rodrigo Choji de Freitas
• Rodrigo da Silva Freitas
• Rodrigo de Sousa Gomide
• Rodrigo dos Santos
• Rodrigo Ming Zhou
• Rodrigo Miranda Feitosa
• Rodrigo Santana
• Rogeria Luzia Wolpp Goncalves
• Rogerio Camargo Alves
• Rogerio Morandi
• Rogerio Theodoro de Brito
• Roges Horacio Grandi
• Rogério dos Reis Brito
• Rogério Melo Nepomuceno
• Rogério Rodrigues de Vargas
• Ronald Silva Serrão
• Ronaldo Fiorilo dos Santos
• Ronaldo Luiz Alonso
• Ronan Assumpção Silva
• Ronnie Edson de Souza Santos
• Rosangela Furtado MacDowell
• Rosemeri Coelho Nunes
• Rosinei Soares de Figueiredo
• Ruan Vasconcelos Bezerra Carvalho
• Rudini Menezes Sampaio
• Rudolphus Antonius de By
• Ruth Helena Marques Luppi
• Ruy José Guerra Barretto de Queiroz
• Rômulo Augusto Noogueira de Oliveira Passos
• Rômulo da Silva Lima
• Said Sadique Adi
• Samuel da Silva Feitosa
• Sandra Mara Guse Scós Venske
• Sandra Regina Coelho
• Sara Luísa de Andrade Fonseca
• Scaling testing of refactoring engines.
• Seleção de bandas espectrais apoiada pela meta-heurística PSO para predição do teor de alumínio trocável de amostras de solo
• Semântica algébrica equivalente para a lógica da inconsistência epistêmica
• Semântica de Revisão de Crenças para Lógicas Default
• SENSIBILIDADE DO MECANISMO DE REUSO DE TRAÇOS AOS SUBCONJUNTOS DE INSTRUÇÕES
• Sequência Didática para a disciplina Programação de Computadores
• Sergio Luiz Moral Marques
• Service restoration and switch allocation in power distribution networks : bounds and algorithms
• Sheila Cristina Mansk Firme
• Sheila Mara Oliveira Dias
• Sidnei Brasil Leal
• Silvia Branco Vidal Bustamante
• Silvia Maria F. Silveira Masshurá
• Silvia Maria Zica Bolognani
• Silvio Luiz Bragatto Boss
• SimAffling – um ambiente computacional para suporte e simulação do processo de DNA shuffling
• Simbionte - Ética da computação
• SIMCQC: Sistema Inteligente de Monitoramento e Controle da Qualidade de Combustíveis
• Simone André da Costa Cavalheiro
• Simone Jussara Araújo Santa Cruz
• Simulador de Computação Quântica
• SINTESE DE SISTEMAS DE UTILIDADES POR RECOZIMENTO SIMULADO
• Sirlei Inês Sulzbach
• Sistema de Tomada de Decisão para Compra e Venda de Ativos Financeiros utilizando-se Lógica Fuzzy
• SISTEMA INTELIGENTE PARA JOGOS DE ESTRATÉGIA BASEADOS EM TURNOS: UMA ABORDAGEM UTILIZANDO PLANEJAMENTO BASEADO EM CASOS
• Sistema interativo para a construção de modelos minimais no universo de Herbrand
• Sistemas de reescrita de termos: teoria e uma aplicação
• Sistemas Dinâmicos de Eventos Discretos com Aplicação ao Fluxo Geodésico em Superfícies Hiperbólicas
• Smoothed Analysis in Nash Equilibria and the Price of Anarchy
• SMT-Based Bounded Model Checking for Multi-threaded Software in Embedded Systems
• Sobre a complexidade de jogos combinatórios
• Sobre a Solução Eficiente de Problemas em Grafos Utilizando
• Sobre Alianças Defensivas e Ofensivas Globais em Alguns Produtos de Grafos e Grafos Simpliciais
• Sobre Esquemas de Indução
• Sobre Estrutura e Solucao de Problemas
• Sobre o número de saltos em ordens parciais
• SOBRE REPRESENTACOES GRAFICAS ORIENTADAS DE GRUPOS.
• Software adaptativo: método de projeto, representação gráfica e implementação de linguagem de programação.
• Soltan Galano Duverger
• SOLUCAO ANALITICA DE EQUACOES DIFERENCIAIS ORDINARIAS DE PRIMEIRA E SEGUNDA ORDEM POR COMPUTADOR
• Solução de problemas em Grafos através da Lógica Monádica de Segunda Ordem e da Decomposição em Árvore
• Splines polinomiais não homogeneos na esfera
• Spot: An extensible LTL Model Checking Library
• SRAP a new authentication protocol for semantic web appications
• Stability Analysis of Hedonic Games
• Steffen Lewitzka
• Strong inequalities and a branch-and-price algorithm for the convex recoloring problem
• Structural and Algorithmic Properties of Static and Mobile Random Geometric Graphs
• Stênio Oliveira da Silva
• Summary-Based Pointer Analysis Framework for Modular Bug-Finding
• Suneeta Ramaswami
• Susanna Sirotinskaya
• Synthesis of First-Order Sentences using Ehrenfeucht?Fraïssé games and Boolean Satisfiability
• Synthesis of quantifier-free DNF sentences from inconsistent samples of strings with EF games and SAT
• Systems for Provability and Countermodel Generation in Propositional Minimal Implicational Logic
• Sérgio Augusto Vieira
• Sérgio Carlos dos Santos
• Sérgio Mariano Dias
• Sérgio Queiroz de Medeiros
• Síntese de redes neuronais com aplicações à representação do conhecimento e à otimização
• Tanilson Dias dos Santos
• Team formation problems: an integer linear optimization approach
• Telma Silveira Pará
• Temporal Logics for Diffusion Social Networks
• Teoremas de Normalização para a Lógica da Inconsistência Epistêmica
• Teoria Algébrica de Rearranjo de Genomas
• Termination of Rewriting with Non-Monotonics Orderings
• Testes de Redução e Heurísticas Add/Drop para o Problema de Localização Capacitado
• Thadeu Ribeiro Benicio Milfont
• Thalyson Gomes Nepomuceno da Silva
• The Balanced Connected k-Partition Problem: Polyhedra and Algorithms
• The infinity-groupoid generated by an arbitrary topological lambda-model
• The k-hop connected dominating set problem: approximation algorithms and hardness results
• The sociotechnical teams formation problem: a mathematical optimization approach
• The Theory of an Arbitrary Higher (lambda)-Model
• Theldo Cruz Franqueira
• Thiago Braga Carneiro
• Thiago Coelho Vieira
• Thiago D'Martin Maia
• Thiago de Medeiros Gualberto
• Thiers Carlos Moreira Bruno
• Thomaz Eduardo de Figueiredo Oliveira
• Thorsten Kliewe
• Tiago Leoratto
• Tiago Souza Azevedo
• Towards a homotopy domain theory
• Towards a Homotopy Domain Theory
• Tranformacao entre Provas para a Deducao Natural Rotuladad via Reescrita de Termos
• Transactional graph transformation systems
• Transformations for proof-graphs with cycle treatment augmented via geometric perspective techniques
• Transversais em grafos
• Tributos no País
• Tulio Jorge de Alcantara Neves de Souza Anibolete
• Tutorial Sobre a Máquina de Turing
• Two dependency constrained spanning tree problems
• Tássia Portela Serrão de Castro
• Técnicas Probabilísticas Aplicadas em Algoritmos de Aproximação
• Ulisses Frazão de Oliveira Tiburcio
• ULISSES MARTINS DIAS
• Um algoritmo distribuído para encontrar conjuntos k-dominantes em grafos
• Um Algoritmo Exato para o Problema de Empacotamento Bidimensional em Faixas.
• Um Algoritmo para Comparação Sintática de Genomas baseado na Complexidade Condicional de Kolmogorov.
• Um algoritmo relaxa and cut para o problema da mochila quadratica 0-1
• Um Estudo Comparativo de Dois Algoritmos de Programação Linear em Dois Níveis
• Um Estudo Comparativo em Unificação de Ordem Superior via Cálculos de Substituições Explícitas
• Um Estudo Computacional de Cortes Derivados do Corte Chvátal-Gomory para Problemas de Programação Inteira.
• Um estudo computacional do Problema do Gnosticismo Perfeito
• Um estudo das estruturas de grafos sem garras
• Um estudo de caso de codificação de regras gramaticais para geração de textos em portugês
• Um Estudo do Conhecimento: Algumas abordagens para a sua Formalização
• Um Estudo dos Processos de Inferência de Gramáticas Regulares e Livres de Contexto Baseados em Modelos Adaptativos
• Um Framework para Desenvolvimento e Implementação de Sistemas Seguros Baseados em Hardware
• UM MODELO COMPUTACIONAL DOS SUBSTRATOS NEUROBIOLOGICOS DA ATENCAO VISUAL
• Um modelo de Autoria para Sistemas Tutores Adaptativos
• UM MODELO DE REDE NEURONAL COOPERATIVA/COMPETITIVA PARA O RECONHECIMENTO DE PADRÕES TEMPORAIS
• Um Modelo de Referência para Ferramenta de Identificação de Violações da Lei de Demeter
• Um modelo genérico de agente racional baseado em raciocínio assíncrono interativo.
• UM MODELO MATEMATICO DOS MECANISMOS SUBCELULARES DA DEPENDENCIA E DA TOLERANCIA EM MORFINA
• UM MODELO MATEMÁTICO-COMPUTACIONAL DO ESTRESSE OXIDATIVO NA DOENÇA DE ALZHEIMER
• UM MODELO NEUROCOMPUTACIONAL DA DEPENDÊNCIA QUÍMICA EM NICOTINA
• UM MODELO NEUROCOMPUTACIONAL DO PAPEL DO COLESTEROL NO DESENVOLVIMENTO DADOENÇA DE ALZHEIMER
• Um Método de Dedução Não Monotônico Baseado em Eliminação de Modelos
• Um Método para Simulação de Redes de Atividades não Deterministas com Recursos Escassos. (Orientação conjunta com E. A. Schmitz)
• Um sistema de autorização baseado em uma infra-estrutura de gerenciamento de privilegios.
• Um Sistema de Detecção de Ataques Sinkhole sobre 6LoWPAN para Internet das Coisas
• Um Sistema de Filas Multiestágio Multicanal: Estudo Analítico e Aplicação
• Um Sistema de Informação Geográfico inteligente para escolha de trajetos: uso do modelo de rede e da lógica fuzzy
• Um Sistema Infinitário para a Lógica de Menor Ponto Fixo
• Um Tratamento para Programação por Restrições com DPLL(T): A Restrição alldifferent.
• Um visualizador para uma extensão de CGAL ao plano projetivo orientado
• Uma Abordagem Ao Problema de Mecanizacao de Especificacoes Axiomaticas Para Tipos Abstratos de Dados
• Uma abordagem da Computação Quântica na teoria Computacional e a simulação destes recursos em computadores convencionais
• Uma Abordagem de Dois Níveis Baseada em Verificação de Modelos de uma Lógica Modal para Auxiliar na Análise de Conformidade Arquitetural de Software
• Uma abordagem heurística para a solução de problemas de recobrimento de conjuntos de grande porte, com aplicação à alocação de tripulantes para companhias aéreas
• Uma abordagem para especificação de conhecimento para sistemas multiagentes cognitivos
• UMA ABORDAGEM PARA REDES ASSOCIATIVAS COM APLICAÇÃO NA ANÁLISE DE CENAS.
• Uma Abordagem para Utilização de CAPTCHAs Clicáveis para Combater a Fraude de Clique
• Uma abordagem poliédrica para problemas de otimização combinatória com aplica,cões no planejamento de redes telefônicas
• Uma abordagem quântica para o uso de expressões regulares.
• Uma Abordagem utilizando Lógica de Primeira Ordem para Problemas de Decisão Multiagente baseada em Agregação de Preferências.
• Uma Análise Categógrica do Teorema da Confluência de Sistemas de Reescrita de Termos
• Uma análise de auto-referência baseada em fluxos semânticos
• UMA APLICAÇÃO DA LINGUAGEM JAVA À COMPUTAÇÃO CIENTÍFICA.
• Uma arquitetura para sistemas inteligentes de suporte ao usuário.
• UMA CARACTERIZACAO UNIFORME PARA REPRESENTACAO DE SISTEMAS FORMAS: LOGICA MATEMATICA SUBJACENTE A TEORIA DA COMPUTACAO.
• UMA DESCRICAO FORMAL DOS PROCESSOS DE ESPECIFICAO E IMPLEMENTACAO DE T.A.D.
• Uma extensão da biblioteca Elliptix Lite para implementação de sistemas criptográficos baseados em identidade.
• Uma ferramenta p/ suporte formal à evolução e reutilização de software p/ linguagens de especificação algébrica com semântica inicial
• Uma formalização da composicionalidade do cálculo lex em Coq
• Uma Fundamentação Intervalar Aplicada à Morfologia Matemática
• Uma Heurística Lagrangeana com Paralelismo para o Problema de Ponderação de Rodadas
• Uma lógica de descrição default
• Uma Lógica Epistêmica Multiagente que Incorpora Conhecimento Clássico e Conhecimento Construtivo
• Uma Metodologia de Resolução de Problemas via refinamento da Especificação
• Uma Metodologia para Medição de Software
• Uma metodologia para mineiração de dados em bases de germoplasma
• Uma Nova Abordagem para Geração Automática de Propriedades para Verificação Formal de Sistemas Digitais em HDL
• Uma Nova Abordagem para o Raciocínio Não Monotônico
• Uma nova prova de corretude para os N-Grafos
• Uma Plataforma Intervalar para Agrupamentos de Dados
• Uma proposta metodológica para a Ciência Cognitiva inspirada no pensamento de Peirce
• Uma proposta para a formalização do problema de clusterização em grafos.
• Uma prova de equivalencia entre a logica de transacoes e sua implementacao prolog
• UMA TEORIA NEUROBIOLOGICA DO ESTRESSE CRONICO: MODELAGEM MATEMATICA E SIMULACAO COMPUTACIONAL
• Uma Visão Crítica da História da Computação
• Unconditional Lower Bounds in Complexity Theory
• Unidades de conhecimento: fatores e métricas.
• Unificação Assimétrica Módulo Operadores Nilpotentes com Homomorfismo
• Using the minimum maximum flow degree to approximate the flow coloring problem
• Uso da tecnologia Adsl no Ensino à Distância
• Uso de cortes canônicos no método de ramificação local para problemas inteiros 0--1 mistos
• Utilizando o Protocolo Bitcoin para Condução de Computações Multilaterais Seguras e Justas
• Utilização da busca Tabu para a geração de um modelo aplicado ao Job-shop scheduling problem considerando um sistema de manufatura flexível.
• Utilização de gramáticas estocásticas para reconhecimento de nódulos em mamogramas e validação de contornos nodulares gerados a partir de técnicas de processamento de imagens
• Vagner Pedrotti
• Valdir Inácio do Prado Júnior
• Valeria Correa Vaz de Paiva
• Valeska Pivoto Patta Marcondes
• Valessa Mesquita Oliveira Valeriano
• Valter Rodrigues
• Vanderlei Freitas Junior
• Vanusa Beatriz Hackenhaar Pierret
• VERIFICABILIDADE FIM-A-FIM PARA SISTEMAS DE VOTAÇÃO DE AUDITORIA ABERTA
• Verification of Security Protocols Based on Multicast Communication
• Verificação de Sistemas de Software baseada em Transformações de Código usando Bounded Model Checking
• Verificação Formal de Código Imperativo em Coq
• Verificação formal de protocolos criptográficos de trocas justas utilizando o método de espaços de fitas
• Victor Kazuo Tatai
• Victor Williams Stafusa da Silva
• Vinicius Loti de Lima
• Vitor de Souza Amaral
• Vitor Venceslau Curtis
• Vládia Célia Monteiro Pinheiro
• Wagner Nascimento Silva
• Wagner Ourique de Morais
• Walter Alexandre Carnielli
• Walter Rocha de Figueiredo
• Wamberto Weber Miranda Peixoto de Vasconcelos
• Washington Luís Ribeiro de Carvalho Segundo
• Weider Pereira Rodrigues
• Wellington Barros e Barbosa
• Wellington Pereira da Silva
• Welson Regis Jacometti
• Welverton Rodrigues da Silva
• William Cesar Farias
• Willian Jefferson Freitas da Silva
• Wladimir Araujo Tavares
• Ygor Colen Morato
• Yoshiko Wakabayashi
• Yuri Kaszubowski Lopes
• Álvaro Junio Pereira Franco
• Árvore Geradora com Dependências Mínima.
• Árvores ótimas em grafos: modelos, algoritmos e aplicações
• Érica de Oliveira Carvalho
• Érica Vasconcelos de Morais
• Índices completos para casamento de padrões e inferência de motifs