Computabilidade e Modelos de Computação Conceito

área de pesquisa

• Computability, Approximate Reasoning, Ordered structures and Logics
• Grupo de Pesquisa Avançada em Redes e Automação
• "Aplicações da tecnologia adaptativa no gerenciamento de diálogo falado em sistemas computacionais"
• "Dispositivos adaptativos cooperantes: formulação e aplicação"
• "Modelo de Controle de Acesso Adaptativo"
• "Modelo navegacional dinâmico, para implementação da integração inter-estrutural de dados"
• "Sistema Híbrido Metaheurístico baseado em colônia de Formigas paraconsistentes aplicado a problemas de otimização em redes inteligentes"
• "Uso de composição automática de serviços e similaridade para análise de integração de processos de negócio"
• "Rflow: uma arquitetura para execução e coleta de proveniência de workflows estatísticos
• 67- Implementação em Paralelo de Reconciliador Robusto de Dados com Simultânea Estimação de Parâmetros para Uso em Tempo Real
• A biochemical network modeling of a whole-cell
• A Distributed Scheduling Protocol Based on Switch Architecture: Design, Specification and Verification (redigida em inglês)
• A Graph Based Theorem Proving Platform with Strategies.
• A INFLUÊNCIA DE AGENTES INTELIGENTES NA NAVEGAÇÃO EM AMBIENTES VIRTUAIS
• A Mixed-Integer Linear Programming Reformulation Approach to Maximum A Posteriori Inference in Sum-Product Networks
• A multi-agent system to predict the outcome of a two-round election
• A Máquina Geométrica - um modelo computacional para concorrência e não-determinismo usando como estrutura os Espaços Coerentes.
• A Neural-Symbolic System for Temporal Reasoning with Application to Model Verification and Learning
• A Racionalização de Sistemas com Técnicas de Inteligência Artificial
• A Relaxacao Lagrangeana/Surrogate A Algumas Aplicacoes Em Otimizacao Combinatoria
• A Runtime Reconfigurable Embedded Systems Design Methodology based on Formal Models of Computation
• A teoria da computação de Alan Turing
• A topological and domain theoretical study of total computable functions.
• A Transformada de Fourier Quântica Aproximada e sua Simulação
• A Utilização da Ferramenta de Cenarização e Ciber Security Framework do NIST na Redução de Vulnerabilidades e Mitigação de Crimes Cibernéticos: uma Análise Jurídica e Tecnológica
• A Wavepiston wave energy farm design selection according to its location and the associated costs
• Aarão Lyra
• ABORDAGEM BIOBJETIVO PARA O PROBLEMA DE DOBRAMENTO DE PROTEÍNAS UTILIZANDO OMODELO 3DHPSC
• Abstract Graph Transformation - Theory and Practice
• Acacio Pontes Callim
• Aceleração de código por GPU em uma simulação numérica modelada por DataFlow
• Adaptação de um fantoma antropomórfico para representar um IOE no momento da administração de radiofármacos em medicina nuclear
• Adaptive Compression of HTML Files in Wireless Environments
• Adilson Luiz Bonifácio
• Adolfo Gonçalves Filho
• Adriana Postal
• Agnelo Rocha da Silva
• Agribusiness in the Brazilian Amazonia: A general overview
• Agrupando dados e kernels de um simulador cardíaco em um ambiente multi - GPU
• Agustín Alejandro Ortiz Díaz
• Alan Miranda Monteiro de Lima
• Alan Saulo da Costa Mazuco
• Alander Pereira dos Santos
• Aldo de Queiróz Júnior
• Alejandra Klachquin
• Alessandro Santana Martins
• Alex Alves da Silva
• Alex Bredariol Grilo
• Alexander Correa dos Santos
• Alexander Javier Benavides Rojas
• Alexandre Broleze
• Alexandre do Nascimento Silva
• Alexandre Fraga de Araújo
• Alexandre Garcez Vieira
• Alexandre Locci Martins
• Alexandre Rademaker
• Algorithmique d'explication de recommandation multicritères
• Algorithms for Elastic Big-Data Stream Analytics
• Algorithms to solve the problem of distribution of multiple oil products on oil loops and instance creation
• Algoritimo de Classificação Máquina de Vetores Suporte via Suavização Hiperbólica
• Algoritmo BSP/CGM para Computação de Circuitos de Euler em Grafos
• Algoritmo de Submissão de Métodos de Otimização de Geometria de Proteínas por Etapas Recursivas (ALOGper)
• ALGORITMO EFICIENTE PARA O CÁLCULO DE MAPAS DE VISIBILIDADE EM TERRENOS ARMAZENADOS EM MEMÓRIA EXTERNA.
• ALGORITMOS BASEADOS NA METAHEURÍSTICA VNS PARA RESOLUÇÃO DO PROBLEMA DE PROGRAMAÇÃO DE HORÁRIOS EM ESCOLAS
• Algoritmos BSP/CGM para Ordenação
• Algoritmos CGM para busca uni e bidimensional de padrões com e sem escala
• Algoritmos de Agrupamento Fuzzy Intervalares e Índices de Validação para Agrupamento de Dados Simbólicos do Tipo Intervalo.
• Algoritmos de aproximação para o projeto de redes seguras.
• Algoritmos de sintese de Pipeline de processadores para sistemas embutidos : minimização de custos, numero de processadores e latencia
• Algoritmos e implementações paralelas para florestas geradoras mínimas
• Algoritmos Evolutios para Predição de Estruturas de Proteínas.
• Algoritmos Evolutitivos e Modelos Simplificados de Proteínas para Predição de Estruturas Terciárias
• Algoritmos Evolutivos para o Problema de Clusterização de Grafos Orientados: Desenvolvimento e Análise Experimental.
• Algoritmos Exatos e Heurísticos para o Problema de Roteamento Duplo de Veículos com Múltiplas Pilhas e Demanda Heterogênea
• Algoritmos Genéticos Coevolutivos na Busca Parametrizada de Autômatos Celulares Unidimensionais
• ALGORITMOS GENÉTICOS NA SIMULAÇÃO DA EVOLUÇÃO DAS BIBLIOTECAS GENÉTICAS DO SISTEMA IMUNE
• Algoritmos para previsão de séries temporais usando raciocínio baseado em casos
• Algoritmos para Problemas de Classificação e Particionamento em Grafos
• Algoritmos Paralelos em Grafos
• Algoritmos Paralelos para Fecho convexo
• Algoritmos paralelos para solução de sistemas lineares
• Algoritmos probabilísticos de list ranking para máquinas paralelas com memória distribuída
• Algoritmos, Otimização e Combinatória
• Aline Maria Santos Andrade
• Alinhamento de seqüências biológicas
• Allan Douglas Bento da Costa
• Allan Reffson Granja Lima
• ALOISIO SANTOS NASCIMENTO FILHO
• Alysson Neves Bessani
• AMANDA: Density-based Adaptive Model for Non-stationary Data under Extreme Verification Latency Scenarios
• Amaury Antônio de Castro Junior
• Ambiente de Planejamento Ipê
• Ambiente inteligente de Apoio à Decisão para Aplicações Demográficas e Estatísticas
• Ambiente Inteligente para Conversão de Aplicações em Linguagem Natural para uma Linguagem de Transformação
• Ambiente para especificação de aplicações multimídia com suporte de qualidade de serviço.
• AMBIENTES VIRTUAIS PARA A REABILITAÇÃO COGNITIVA DE PACIENTES NEUROLÓGICOS E PSIQUIÁTRICOS
• An Efficient Coding Technique for Stochastic Processes
• An Empirical Exploration of Computations with a Cellular-Automata-Based Artificial Life World
• An Environment For Process Modeling And Execution
• Ana Emília Victor Barbosa Coutinho
• Ana Isabel de Azevedo Spinola Dias
• Ana Shirley Ferreira da Silva
• Ana Teresa Correia de Freitas
• Analise de Distribuição de Pressão em Válvulas com Diafragma Poroso.
• Analise de OAM para equipamentos da B-ISDN
• Analysis of Hydrous Ethanol Price Competitiveness after the Implementation of the Fossil Fuel Import Price Parity Policy in Brazil
• Analysis of the correlation between climatic variables and Dengue cases in the city of Alagoinhas/BA
• Anapetri - Um analisador de Redes de Petri
• Anderson Ceolin Soares
• Andre Muniz Yokoyama
• André Barros Pereira
• André Francisco Morielo Caetano
• André Gobbi Farina
• André Gustavo Andrade
• André Luis Simões Brasil Ribeiro
• André Mendes da Rosa
• Andrés Eduardo Coca Salazar
• Angélica Aparecida Moreira
• Animação de Relações de Equivalência entre Modelos Computacionais, suas Gramáticas e Linguagens
• Antonio de Assis Bento Ribeiro
• Antonio Gilberto Linhares Monteiro
• Antonio Luiz da Silva Loca
• Antonio Marcos Selmini
• Antônio da Mota Moura Júnior
• Análise acústica para classificação de patologias da voz empregando análise de componentes principais, redes neurais artificiais e máquina de vetores de suporte.
• Análise algébrico e combinatório do problema de rearranjo com técnicas de teoria de reescrita
• ANÁLISE DA EFICIÊNCIA DE UNIDADES DE NEGÓCIO DO VAREJO UTILIZANDO DEA (DATA ENVELOPMENT ANALYSIS)
• Análise da Máquina de Turing Persistente com múltiplas fitas de trabalho
• ANÁLISE DA PROGRESSÃO DA DISFUNÇÃO CRÔNICA DO TRANSPLANTE RENAL EM UM HOSPITAL DE REFERÊNCIA EM PERNAMBUCO
• Análise de Agrupamento: O problema da identificação de línguas em textos por meio de bi-gramas
• ANÁLISE DE DADOS PREDITIVO COM BI-GRU EM SISTEMAS DE ENERGIA RENOVÁVEIS
• Análise de desempenho da rede neural artificial do tipo multilayer perceptron na era multicore
• Análise de Linhas de Transmissão por Robôs / Analise of Transmition Lines by Robots
• Análise de Nutrientes Utilizando Redes Metabólicas
• ANÁLISE DO CUSTO DE PRODUÇÃO DA ENERGIA SOLAR EM MACEIÓ
• Análise do espaço elementar de autômatos celulares com atualização por prioridade de vizinhança
• Análise e Modelagem do Comportamento dos Spammers e dos Usuários Legítimos em Redes de E-mail
• ANÁLISE NÃO-LINEAR DE VIGAS DE CONCRETO DE ULTRA ALTO DESEMPENHO COM FIBRA DE AÇO
• Aplicabilidade da Inteligência Artificial na Cadeia de Suprimentos de Grãos
• Aplicação da Inteligência Artificial na identificação de conexões pelo fato e tese jurídica nas petições iniciais e integração com o Sistema de Processo Eletrônico
• Aplicação de inteligência artificial à previsão de curto prazo de cota de rios
• Aplicação de Redes de Autômatos Estocásticos no Teste Estatístico de Software
• Aplicação de Reescrita Lógica na Especificação de Processadores
• Aplicação de Técnicas de Inteligência Computacional no Apoio à Decisão em Jogo de Empresas.
• Aplicação do Método B ao Projeto Formal de Software Embarcado
• Aprendizado de Máquina por exemplos usando árvores de decisão
• APRENDIZADO TRANSDUTIVO APLICADO A PREDIÇÃO DE SÍTIO DE INÍCIO DE TRADUÇÃO DE PROTEÍNAS
• APRENDIZAGEM DE POLÍTICAS DE OFERTA DE NEGOCIAÇÃO ENTRE AGENTES COGNITIVOS.
• Ariane Alves Almeida
• Arivaldo Moreira Ferreira
• Arnaldo Amaro
• Arquitetura de um Middleware de comunicação para implementação de simulação distribuída
• ARTIFICIAL NEURAL NETWORK ARCHITECTURE SELECTION IN A QUANTUM COMPUTER
• ARTUR ANTÓNIO DE ALMEIDA PORTELA
• Aspectos de herança em uma notação orientada a objetos baseada em redes de petri.
• ASSERT: Advanced System and Software Engineering Research Technologies Lab
• Associative Memory Networks with Multidimensional Neurons
• Audir da Costa Oliveira Filho
• Automatic Generation of Literary Sentences in French
• Autômatos celulares e o problema de classificação de densidades: O modelo de Gács-Kurdyumov-Levin de quatro estados
• Autômatos Celulares Generalizados como modelos de Influência para Agrupamentos de Dados e Interações Sociais.
• AUTÔMATOS CELULARES NO PROJETO ÓTIMO DE CHAVES PARA CRIPTOGRAFIA DE FLUXO
• Avaliação Analítica do Uso de Agentes Móveis para Gerência de Redes
• AVALIAÇÃO DO POTENCIAL DE UTILIZAÇÃO DE AMBIENTES VIRTUAIS TRIDIMENSIONAIS PARA A PRÁTICA DE EXERCÍCIOS DE MATEMÁTICA POR CRIANÇAS COM TRANSTORNO DO DEFICIT DE ATENÇÃO E HIPERATIVIDADE.
• Avaliação Objetiva da Qualidade de Experiência em Redes IEEE 802.16 - Mecanismos Avançados de Controle e Descartes de Pacotes de Streaming de Vídeo.
• AVELINO FRANCISCO ZORZO
• Baltazar Fração Schirmer
• Benedito Melo Acióly
• Benjamín René Callejas Bedregal
• Bernardo Fernandes Cruz
• Brain Dynamics
• Bruna Elisa Zanchetta Leal
• Bruno Albuquerque Scrignoli
• Bruno Azevedo Vilela
• Bruno Lopes Vieira
• Bruno Marques Costa
• Bruno Raphael Cardoso Dias
• Bruno Weissmann
• Cache Comprimido Adaptativo via SOM (Mapas Auto-organizáveis) em Sistemas Embarcados
• Camila de Araújo
• Caminhos mínimos sob restrições: uma revisão e aplicações
• Caracterização do comportamento limite de alguns autômatos celulares elementares
• Carine Rodrigues da Costa
• Carlos Alberto Alonso Sanches
• Carlos Augusto Paiva da Silva Martins
• Carlos Eduardo Caminha Lopes Rodrigues
• Carlos Eduardo Cardoso Borges
• Carlos Eduardo Rodrigues Alves
• Carlos Fernando Montoya Cubas
• Carlos Heitor Pereira Liberalino
• Carlos Henrique Cabral Duarte
• Carlos Henrique Cardonha
• Carlos Mamori Kono
• Carlos Marques Fernandes
• Carlos Rafael Herrera Marquez
• Carmen Cecília Centeno
• Categoria de Grafos Parciais com Homomorfismos Totais: teoria e aplicações
• Catálogos eletrônicos baseados em coordenadas paralelas
• CCSC - Centro de Ciência de Segurança Computacional
• Cecilia Sosa Arias Peixoto
• Cecilio Cosac Fraguas
• Celso de Oliveira
• Celso de Renna e Souza
• Centro de Inovação e Pesquisa em Educação e Computação - CIPEC
• Cesar Augusto Peluso Lopes
• Cheyenne Ribeiro Guedes Isidro
• Christian Jacques Rentería
• Cibele Matos Freire
• Circuitos, Protocolos e Jogos em Computação Quântica
• CISSA: Modelo Conceitual de Cidade Inteligente e Segura Baseado em Sistema Autoadaptativo
• Ciência da Computação
• Ciência dos Materiais
• CIÊNCIAS COMPUTACIONAIS APLICADAS
• Classificação de Impressão Digital Usando SVM
• Classificação de Rasuras em Textos Manuscritos
• Classificação do Espectro de Autômatos Celulares Assíncronos
• Classificação morfológica de neurônios baseada na hierarquia das árvores dendríticas
• Claudemir Casa
• Claudinei de Moura Altea
• Claudio Andrés Callejas Olguín
• Claudio Cesar de Sá
• Claudio Roberto Oliveira da Silva
• Claus Akira Horodynski-Matsushigue
• Cleidinei Martins
• Cleiton Mendes Dias
• Cleo Clayton Santos Silva
• Cognitio USP - Computação Cognitiva
• Combinando seqüências temporais de autômatos celulares elementares
• Combinatória e Inteligência Computacional: Teoria e Aplicações Paralelas e Distribuídas
• Comparando Cálculos de Substituições Explícitas com Eta- conversão
• Comparação Entre Cálculos de Substituições Explícitas com Eta-Conversão
• Comparação entre método centrado em documentos e de engenharia de sistemas baseada em modelos
• COMPARISON OF NEURAL NETWORK MODELS APPLIED TO SIZE PREDICTION OF ATMOSPHERIC PARTICLES BASED ON THEIR TWO-DIMENSIONAL LIGHT SCATTERING PATTERNS
• CompBioTech Lab (CBT-L)
• Complex network analysis of arboviruses in the same geographic domain: Differences and similarities
• Complexidade descritiva das lógicas de ordem superior com menor ponto fixo e análise de expressividade de algumas lógicas modais
• Componentes e Aplicações em Educação a Distância com a Utilização de Dispositivos Móveis
• Compressao de Arquivo de Indices para Recuperacao de Informacoes
• Computabilidad de las Redes Neuronales Recurrentes Análogas
• Computabilidade no Espaço dos Intervalos Reais: Um Modelo BSS Intervalar
• Computability and Learnability in Sequential Weightless Neural Networks
• Computação Aplicada
• Computação Aplicada
• Computação com DNA para a resolução de problemas de otimização
• Computação com DNA para Resolução de Problemas de Otimização
• Computação Distribuída e Sistemas Complexos
• Computação Paralela e Distribuída: Teoria e Aplicações
• Computação por assembleias neurais em redes neurais pulsadas.
• Computação quântica e teoria de computação
• Concorrência, redes de petri e teoria da informação: aspectos comuns.
• CONDIÇÕES NECESSÁRIAS PARA IMPLANTAR A SEGURANÇA DA INFORMAÇÃO CONSIDERANDO AS EXIGÊNCIAS DA ISO 27002 PARA O CENTRO EDUCACIONAL DE TECNOLOGIA DO AMAZONAS
• Construção Automática de Classificadores para a Otimização da Identificação de Ceratocone a partir de Propriedades Biomecânicas da Córnea
• Construção de Algoritmos Reversíveis e Quânticos
• Conversão de Provas em Lógica de Descrições 𝒜ℒ𝒞Geradas pelo Método de Conexões para Sequentes
• CORROBORAÇÃO POR DOCKING MOLECULAR DA HIPÓTESE AUTO-IMUNE DA ESQUIZOFRENIA
• Covid-19 Automated Diagnosis and Risk Assessment through Metabolomics and Machine Learning
• CRIATIVIDADE E DELÍRIO: UM MODELO NEUROCOMPUTACIONAL
• CRIOULO - TECNOLOGIAS, TERRITORIALIDADE E EDUCAÇÃO
• Cristiane Paschoali de Oliveira Vidovix
• Cristiane Regina Yamaguti Mashuda
• Cristiane Yanase Hirabara de Castro
• Cristina Gomes Fernandes
• Critérios de Confluência de Sistemas de Reescrita de Termos Lineares-Esquerdo Não Terminantes
• Cryptographic Algorithms Based on Ramanujan Graphs
• Créativité computationnelle : Conception et développement d?algorithmes pour la génération automatique de phrases littéraires
• Cálculo Numérico via Teoria de Domínios (uma aplicação da derivada informática)
• Cálculos de Substituições Explícitas à la de Bruijn com Sistemas de Tipos com Interseção
• Daniel Alberto Balciunas
• Daniel Biasoli
• Daniel de Oliveira
• Daniel dos Santos Morim
• Daniel Lima Ventura
• Daniel Saad Nogueira Nunes
• Danilo da Costa Pereira
• DANILO SILVA DOS SANTOS
• Data Processing Model to Perform Big Data Analytics in Hybrid Infrastructures
• David Felice Falivene Baptista
• DBMSBENCH - BENCHMARKING AUTOMATION FOR DBMS ON ELASTIC INFRASTRUCTURES
• DCETM - Educação, tecnologias, difusão do conhecimento e modelagens de sistemas sociais
• Debora Schuch da Rosa
• Definição de redes de drenagem utilizando modelagem numérica de terrenos.
• Delcino Picinin Júnior
• DEMETRIOS ARAÚJO MAGALHÃES COUTINHO
• Dennis Eduardo
• Descrição Semântica de Mídias Contínuas via Web
• Desenvolvimento de modelo informatizado, para cálculo de volumes de corpos modeláveis, através da variante do Método de Monte Carlos, para uso em Ensino e Pesquisa
• Desenvolvimento de Modelos de Suporte ao Prognóstico de Pacientes Queimados Utilizando Técnicas de KDD
• Desenvolvimento de produtos, avaliação de suas atividades e monitoramento em pesquisas pré-clínicas e clínicas
• Desenvolvimento de um programa computacional destinado à unidade móvel de ensaio na barra de tração - UMEB
• Desenvolvimento de um sistema de comnposição musical automática dirigida por estilo
• Desenvolvimento e Aplicação de Ferramentas Computacionais Bio-inspiradas para Detecção de Anomalias em Módulos Fotovoltaicos
• DETECTING COMMUNITIES IN LARGE DYNAMIC GENE EXPRESSION COMPLEX NETWORKS
• Detecção de Bordas e Navegação Autônoma Utilizando Redes Neurais ArtificiaisAbordagem por Redes Neurais para Detecção de Bordas em Imagens
• DETECÇÃO DE CONFLITOS EM CONTRATOS MULTILATERAIS
• DETECÇÃO DE MASSAS EM IMAGENS MAMOGRÁFICAS UTILIZANDO BEAMLETS.
• Detecção de Áreas Vulneráveis à Erosão no Trecho do Gasoduto Coari-Manaus, Estado do Amazonas.
• Detecção e Rastreamento de Agrupamentos de Indivíduos Monitorados por Dispositivos Eletrônicos
• Determinação da Influência da Reatividade dos Grupos ABO e RH na Etnia Simplificada Através da Utilização de redes Neurais Artificiais
• Deteção e Resolução Formal de Conflitos de Trafego Aéreo
• Diagnóstico da sífilis auxiliado por computador: proposta de um método híbrido fuzzy neural para análise de imagem de fluorescência.
• Diego Dias Bispo Carvalho
• DIEGO MELLO DA SILVA
• Diego Ricardo Xavier Silva
• Digital sensor based on timer for embedded systems
• Dinâmica de Operadores Computacionais Quânticos
• Dinâmica e evolução de autômatos celulares unidimensionais.
• Diocleciano Dantas Neto
• Distribuição de Dados para Implementações Paralelas do Método de Lattice Boltzmann.
• Dois problemas de busca
• Domínios Intervalares da Matemática Computacional
• Domínios Vetoriais
• Dr Edson Costa de Barros Carvalho Filho
• E-GUIA
• e-SPHERE: Um Modelo de Interoperabilidade de Sistemas Computadorizados para a Cadeia de Suprimentos da Saúde
• E-SPL ? Uma Abordagem para a Fase de Requisitos na Engenharia de Domínio e na Engenharia de Aplicação com Modelos de Objetivos
• Edilson Raimundo Silva
• Editor Gráfico para especificações E-LOTOS
• Eduardo Kazuaki Gondo
• Eduardo Martinelli Galvão de Queiroz
• Eduardo Menezes de Morais
• Eduardo Sakaue
• Eduardo Soares Albuquerque
• Eduardo Theodoro Bogue
• Edvaldo Nascimento Ferreira Junior
• Edvar Bergmann Araujo
• Edward Hermann Haeusler
• Effects of social robots on depressive symptoms in older adults: a scoping review
• Elcio Hideiti Shiguemori
• Elisabete Thomaselli Nogueira
• Elisângela Silva da Cunha Rodrigues
• Elthon Allex da Silva Oliveira
• Em direção a um modelo fenomenológico de coluna tálamo-cortical com uma abordagem orientada a objetos.
• Emanuel de Melo Andrade
• Emilio Del Moral Hernandez
• Emmanuel Felix Lopes da Silva
• Emmanuel Sapin
• Engenharia de Software
• Engenharia de Software
• Ensaio Teórico sobre o uso das Redes Neurais Artificiais no Gerenciamento de Resultados
• ENSINO E APRENDIZAGEM DE TEORIA DA COMPUTAÇÃO COM O SUPORTE DE AMBIENTES COMPUTACIONAIS: UTILIZAÇÃO DE AVALIAÇÃO AUTOMÁTICA E SEMI-AUTOMÁTICA PARA PROVER FEEDBACK RÁPIDO PARA O ALUNO E FACILITAR O ACOMPANHAMENTO PELO PROFESSOR
• Epidemiologia e Patologia Dento-Maxilo-Facial
• Equação de Fokker-Planck não-linear: Evolução temporal na presença de força rotacional e potencial assimétrico
• Eric Spierings
• Erica Alves da Silva Bonin
• Ernani Gaspar Santos
• Escalonamento estático de programas MPI
• Especificação de uma metodologia de avaliação para ambientes de gerenciamento de cursos a distância
• Especificação Formal de Sistemas de Computação
• Especificação Formal de Tipos Abstratos de Dados via Sequência de Sistemas de Reescrita
• Esquema de Classificação de Laboratórios: aplicação em laboratórios dos cursos de graduação em engenharia elétrica
• Estimativa de perda de tracto após cirurgia de epilepsia do lobo temporal usando DTI pós-cirúrgico.
• Estratégias de Computação Sequenciais e Paralelas Em Espaços Coerentes
• Estudio de hiperparámetros de modelos neuronales en la generación de frases literarias
• Estudo da Categoria Computável dos Espaços Coerentes Gerados por Conjuntos Básicos com Aplicação em Análise Real
• Estudo de Correlação Cruzada em Índices Econômicos
• Estudo de Geração Fotovoltaica Distribuída: Análise Econômica e o Uso de Redes Neurais Artificiais
• Estudo de materiais supercondutores em forma de SQUID com uma constrição usando métodos de paralelização computacional
• ESTUDO, ANÁLISE E VALIDAÇÃO DE ZEROS DE POLINÔMIOS
• EVALUATION OF ARTIFICIAL NEURAL NETWORKS AND THE ARIMA MODEL APPLIED TO TEMPERATURE PREDICTION IN A CHARCOAL OVEN
• Evangivaldo Almeida Lima
• Everton Notreve Rebouças Queiroz Fernandes
• Evolutionary Risk-Sensitive Feature Selection for Learning to Rank
• Explicação em Sistemas baseados em Conhecimento que utilizam Diagramas de Influências como formalismo de Representação
• Explorando Arranjos Espaciais e Conexões Não Locais em Autômatos Celulares Elementares
• Explorando Arranjos Espaciais e Conexões Não-Locais em Autômatos Celulares Elementares.
• Extensão à STL para Representação Canônica de Conceitos em Métodos de Especificação de Software Orientadas a Objetos
• Extensões ao Protocolo de Comunicação EPCGlobal para tags Classe 1 utilizando autenticação com criptografia de baixo custo para segurança em Identificação por Radio Frequência
• Extraindo conhecimento de s ́eries temporais com o de um Sistema H ́ıbrido Inteligente desenvolvido na plataforma CUDA
• Ezequias Silva dos Santos
• Fabiana Soares Santana
• Fabiane Cristine Dillenburg
• Fabio Gomes de Andrade
• Fabio Luiz da Costa Carrir
• Fabrício Cardoso Morais
• Fabrício da Costa Dias
• Fabrício Julian Carini Montenegro
• Felipe Ferreira de Morais Netto
• Felipe Guimarães Torres
• Felipe Maia Galvão França
• Fellipe Augusto Ugliara
• Fernanda Caroline Pinheiro Pinto
• Fernando Accorsi
• Fernando Luiz Cardoso
• Fernando Náufel do Amaral
• Filtragem de Sinais de Radiointerferência nos espectors de explosões solares através de rede neural Adaline
• Fisica Experimental de Altas Energias e Tecnologias Associadas
• Flávio Viotti
• Formalização da Automação da Terminação Através de Grafos com Matrizes de Medida
• Formalização da Confluência para Sistemas de Reescrita Ortogonais.
• Formalização da terminação de especificações funcionais
• Framework colaborativo de simulação computacional para o estudo de regulação bancária
• Francicleber Martins Ferreira
• Freya: An educational MATLAB GUI-based tool for generalized Fourier series
• Full and Partial Data Cube Computation and Representation over Commodity PCs
• Fundamentos e Aplicações de Lógica Fuzzy e suas Extensões
• Fuzzy modeling of the effects of the use of mineral and organic fertilizers on the productivity of second crop corn
• Fuzzy Query - Datamining
• Fábio Andreatta Santos
• Fábio Borges de Oliveira
• Fábio Jorge Almeida Morais
• Fábio Peppe Beraldo
• Gabriel Carrijo Bento Teixeira
• Gaudi - Grupo de Algoritmos e Computação Distribuída
• GECA - Grupo de Estudos em Computação Aplicada
• Generación automática de frases literarias
• Geographic Information System on Invasive Alien Plant Species - Case Study: Invasive Alien Plants in the 'Greater St. Lucia Wetland Park'- KwaZulu-Natal, South Africa
• Geração de regras de extração de dados em páginas HTML
• Geração Procedural de Conteúdo por Busca Inovativa em Nichos
• Gerson Pech
• Gestão de Transporte Marítimo: Otimização de Reposicionamento de Contêineres Vazios Utilizando Grasp Reativo com Aprendizagem por Reforço
• Gian Ricardo Berkenbrock
• Gilberto Batista
• Gilberto Corrêa de Souza
• Gilson Antônio Giraldi
• Giuliano César de Macedo Jordão
• Gizelle Kupac Vianna
• Gladyston Sausmikat
• GMTC - Grupo de Pesquisa em Modelos Teóricos e Cognitivos
• GPEC - Grupo de Pesquisa em Engenharia e Computação
• Grafos Internos e Multirrelações como ''Spans'' - Propriedades e Composicionalidade
• Gramáticas de grafos baseada em objetos com tempo
• Graziela Santos de Araújo
• GREAT - Grupo de Estudos Avançados em Tecnologia da Informação e Comunicação
• Grupo de Algoritmos Combinatórios e Aplicações
• Grupo de Desenvolvimento de Sistemas Embarcados, Controle, Automação e Robótica
• Grupo de Desenvolvimento e Simulação
• Grupo de Eletroquimica e Materiais Nanoestruturados
• Grupo de Informática para Pesquisa em Computação
• Grupo de Inteligência Artificial
• Grupo de Otimizacao e Inteligencia Computacional
• Grupo de Pesquisa e Desenvolvimento em Mobilidade Veicular
• Grupo de Pesquisa em Algoritmos Paralelos e Distribuídos
• GUILHERME ALBERTO WACHS LOPES
• Guilherme Albuquerque Pinto
• Guillermo Infante Hernández
• Gustavo Abreu Caetano
• Gustavo Eulalio Miranda Cabral
• Gustavo Ravanhani Matuck
• HABILIDADE DE COMPUTAR E O DESEMPENHO DE CRIANÇAS NA EDUCAÇÃO INFANTIL
• Hammurabi das Chagas Mendes
• Hard Real Time System's Design Concernig Fault Tolerance
• Helder Knidel
• Helio Aparecido Navarro
• HEMERSON PISTORI
• Henderson Amparado de Oliveira Silva
• Hendry Ferreira Chame
• Henrique Fernandes Macedo
• Henrique Mongelli
• Henrique Otavio Queiroz de Aquino
• Henrique Sadao Kajino
• HEURÍSTICAS BASEADAS EM APOSTAS PARA PROBLEMAS DE OTIMIZAÇÃO COMBINATÓRIA
• Hibridização de algoritmos genéticos com sistemas imunológicos artificiais para problemas de otimização com restrições em engenharia
• High-cardinality categorical attributes impact on credit card fraud detection
• Higher-order graph rewriting systems
• HPNet: Detecting human parts in the wild
• HPNet: Detecting human parts in the wild
• Hugo Valentim Barros
• Héctor Julián Tejada Herrera
• Hélio Carneiro Ferreira
• Iacer Coimbra Alves Cavalcanti Calixto
• Ian Michael Trotter
• Idenfifying Kinship Cues from Facial Images
• Identificando similaridades: Uma aplicação para a avaliação de risco de água de lastro
• Identificação de Nomes ativos em Agentes Pi Baseda em Tipos
• Identity-based Proxy Re-Encryption with Equality Test
• Igor Medeiros Vanderlei
• IMITATION LEARNING AND META-LEARNING FOR OPTIMIZING HUMANOID ROBOT MOTIONS
• Impact des modèles d'exécution pour l'ordonnancement en calcul parallèle
• IMPLEMENTAÇÃO COMPUTACIONAL E APLICAÇÕES EM DINÂMICA POPULACIONAL DO PRINCÍPIO DE EXTENSÃO DE ZADEH
• Implementação de Circuitos Lógicos Fundamentados em uma classe de Lógicas Paraconsistentes Anotadas"
• Implementação e Avaliação de Algoritmos BSP/CGM para o Fecho Transitivo e Problemas Relacionados
• Implementação e Validação de Novos Módulos em um Sistema Anti-Spam
• Implementação no computador FM-1600 B de um interpretador BASIC
• Implementações de Algoritmos FPT para o problema do 3‐Hitting Set utilizando Clusters e Grades Computacionais
• Improving 3-PG calibration and parameterization using artificial neural networks
• IMPUTAÇÃO MULTIVARIADA: UMA ABORDAGEM EM CASACATA
• INCOMM
• Indução de indemonstrabilidades e independências em Complexidade Computacional
• Inferência de Gramáticas Formais Livres de Contexto utilizando Computação Evolucionária com Aplicação em Bioinformática
• InfoKnow-Computer Systems for Information and Knowledge Treatment
• INTEGRANDO MULTIAGENTES EM AMBIENTES 3D: UM "SERIOUS GAME" PARA ESTIMULAÇÃO COGNITIVA
• Integrating Model-Driven Development Practices into Agile Process: Analyzing and Evaluating Software Evolution Aspects
• Integração de simulações tomográficas MCNPX através de importação da geometria CFD de fluxo gás-sólido em riser a frio.
• Inteligência Computacional Distribuída: Arquitetura, Especificação Formal e Aplicação.
• Intencionalidade nas máquinas? Investigação filosófica e científica em redes booleanas aleatórias
• INTERCEPTAÇÃO DE ALVOS MÓVEIS EM AMBIENTE COM OBSTÁCULOS POLIGONAIS BIDIMENSIONAIS
• Investigacao do comportamento visual de algumas aranhas saltadoras ( Salticidae ) em termos de micromovimentos
• Investigação da Percepção entre Profissionais de Engenharia e Arquitetura sobre a Tecnologia BIM: um Estudo em Juiz de Fora - MG
• Investigações sobre Rede Neurais Artificiais para o Reconhecimento de Faces Humanas na Forma 3D
• IP&QoS - Núcleo de Pesquisa em Redes IP e Qualidade de Serviço
• Isaac de Lima Oliveira Filho
• Isabel Leite Cafezeiro
• Isabela Ruiz Roque da Silva
• Isabela Simões de Azevedo Silva
• ITAMAR PENA NIERADKA
• Ivan da Silva Sendin
• Ivaneide Alves Protásio
• JANAINA VEIGA
• Janderson Borges do Nascimento
• Jean Carlo Wai Keung Ma
• Jefferson Gonçalves de Souza
• Jefferson Magalhães de Morais
• Jefferson Rodrigo Alves Cavalcante
• Jefferson Willes Gomes de Souza
• Jelson Andre Cordeiro
• JLinkIt: Desenho e Implementação de Um Ambiente de Modelagem Computacional para o Ensino
• Joao Lourenco Vivan Bernartt
• Joao Meidanis
• Joel Silva Uchoa
• John Freddy Garavito Suárez
• John Mylopoulos
• Jonas da Costa Carvalho
• Jonas Pereira da Silva
• Jorge Stolfi
• Jose Edgard Soares Junior
• Jose Juan Peon Espantoso
• Josemary Marcionila Freire Rodrigues de Carvalho Rocha
• José Augusto Ramos Soares
• José Auriço Oliveira
• JOSÉ CARLOS RESTON FILHO
• José Cláudio Garcia Damaso
• José de Oliveira Guimarães
• José Demisio Simões da Silva
• José Flávio Vicentini
• José Gomes de Carvalho Júnior
• José Luis Vivas Frontana
• José Ulisses Ferreira Junior
• João Carlos Purificação dos Santos
• João José Neto
• Juliana Carpes Imperial
• Juliana Kaizer Vizzotto
• Juliana Pinheiro Campos Pirovani
• Júlio Peixoto da Silva Júnior
• Karina Girardi Roggia
• Katia Silva Guimarães
• Katiane Ribeiro Lopes
• Kleber Marcio de Souza
• Kyller Costa Gorgônio
• Kézia de Vasconcelos Oliveira Dantas
• LabITec - Laboratório de Inovação em Tecnologia
• Laboratório de Desenvolvimento de Sistemas - LADES
• Lambda/Omega Calculus: Um Lambda Calculus Com Reflexao e Paralelismo
• Landry Pereira da Silva
• Laís do Nascimento Salvador
• Leandro Henrique Mendonça de Oliveira
• LearnCraft ? Uma Engine para Criação de Jogos RPG Construcionistas
• Learning to Solve NP-Complete Problems
• Leila Maria Bruck Ripoll
• Leila Ribeiro
• Lenilson Pinheiro Valério
• Leonardo Daniel Tavares
• Leonardo Maia Barbosa
• Leonardo Menezes de Souza
• Leonilda Maria Magalhaes de Souza
• Letícia Carvalho Pivetta
• Letícia Gindri
• Liana Dessandre Duenha Garanhani
• Liluyoud Cury de Lacerda
• Literary Natural Language Generation with Psychological Traits
• Livia Cristina Freire Araújo
• Locio Fernando Postai
• LUCAS DE CASTRO MIGUEL
• Lucas Emanuel Silva e Oliveira
• Luciano Rodrigues Guimarães
• Luciano Vieira Lima
• Lucília Camarão de Figueiredo
• Luis Alberto Silva Antolin
• LUIS ARTURO PEREZ LOZADA
• Luiz Alfredo Vidal de Carvalho
• Luiz Eduardo da Silva Ramos
• Luiz Fernando Rosalba Telles de Sousa
• Luiz Julião Braga Filho
• Luiz Le Roy Hipólito de Jesus
• Luís da Cunha Lamb
• Luís Domingues Tomé Jardim Tarrataca
• Lógica de Conhecimento e Eventos em Sistemas Assíncronos
• M-LASH: Hydrological and computational enhancements of the LASH model
• Manoel Agamemnon Lopes
• MAPAS AUTO-ORGANIZÁVEIS NA CLASSIFICAÇÃO DE DOCUMENTOS DA WEB
• Marcelo Adorni Pereira
• Marcelo Antonio Barros De Cicco
• Marcelo Cezar Pinto
• Marcelo Dornellas Machado
• Marcelo Gama da Silva
• Marcelo Nunes Mendonça
• Marcelo Rodrigues de Sousa
• Marcelo Rosa Suzuki
• Marcelo Szostak
• Marcio Lobo Netto
• Marco Antonio de Castro Barbosa
• Marcos Alberto Lopes da Silva
• Marcos Antonio Schreiner
• Marcos Renato Rodrigues Araújo
• MARCUS ROLF PETER RITT
• MARILTON SANCHOTENE DE AGUIAR
• Mario Paiva Magalhaes Flores do Prado
• Marlim Pereira Menezes
• Marnes Augusto Hoff
• Martín Escardó
• Matias Nicolas Muñoz
• Mauro Steigleder
• Maurício Ayala Rincon
• Mayra Moreira da Costa
• Maíra Ribeiro Rodrigues
• Mecanismos para Migração de Processos na Simulação Distribuída.
• MEGA-RS: UM MODELO DE EQUILÍBRIO GERAL DINÂMICO APLICADO AO RIO GRANDE DO SUL
• MegaLitePT: A Corpus ofLiterature inPortuguese forNLP
• Memetic Networks: problem-solving with social network models
• Metodologia para desenvolvimento de software reconfigurável apoiada por ferramentas de implementação - Uma aplicação em ambiente de execução distribuido e reconfigurável
• METODOLOGIA PARA EFICIENTIZAÇÃO DO PROCESSO DE ELABORAÇÃO E ANÁLISE DE PROJETOS DE LINHAS AÉREAS RURAIS DE DISTRIBUIÇÃO DE ENERGIA ELÉTRICA
• Michael da Costa Móra
• Miguel Menasche
• MINERANDO A WEB COM A REDE NEURONAL ART
• Mineração de Texto, Processamento de Linguagem Natural e Aprendizagem de Máquina
• Mirel da Silva Pina
• MODELAGEM COMPUTACIONAL DA INTERDEPENDÊNCIA ENTRE O FENÔMENO ENOS E A PRECIPITAÇÃO PLUVIOMÉTRICA NA REGIÃO LESTE DO ESTADO DE ALAGOAS
• Modelagem Computacional de Espaços Métricos Completos
• Modelagem de Arquiteturas Reconfiguráveis com Espaços de CHU.
• MODELAGEM DE UMA PLATAFORMA WEB GAMIFICADO PARA MEDIAR A APRENDIZAGEM DOS CONTEÚDOS DE LÓGICA DE PROGRAMAÇÃO
• MODELAGEM DIRETA 3D DE DADOS DE POLARIZAÇÃO INDUZIDA UTILIZANDO PROCESSAMENTO PARALELO
• Modelagem e Análise de Requisitos de Sistemas Automatizados Usando UML e Redes de Petri
• Modelagem e Simulação de Algoritmos Paralelos Baseados em Operações com DNA.
• Modeling and Analysis of Reliable Peer-to-Peer Storage Systems
• Modeling and Simulation of Photovoltaic Modules Using Bio-Inspired Algorithms
• Modeling and Static Analisys of Complex Biological Systems
• Modelo Computacional evolutivo, adaptativo e preditivo para avaliação de funções cognitivas
• Modelo Criptográfico de Múltiplas Partes para Computação Segura de um Modelo Matemático da Transmissão da COVID-19
• Modelo de Acesso Reconfigurável à Memória para Sistemas Computacionais Paralelos
• MODELO DE DESIGN INSTRUCIONAL EAD SOB OS ASPECTOS DE GERENCIAMENTO DE PROJETOS
• Modelo de Ilhas para a Implementação Paralela do Algoritmo Evolucionário de Otimização PBIL
• Modelo de Infra-estrutura de Chaves Públicas como Organização Virtual para Processos de Avaliação Somativa à Distância
• Modelo de programação e suporte de execução para aplicações multitarefa em processadores DSP de pequeno porte
• Modelo de Representação Intermediária para Computação Paralela
• Modelo de simulação a usinas individuais utilizando programação linear
• Modelo de Tráfego para Conexão à Internet utilizando Acesso Discado
• Modelo de Utilização do Paradigma Blackboard
• Modelo Matemático de Transmissão da COVID-19 Cifrado com Fully Homomorphic Encryption
• Modelo morfológico iInvariante a rotação utilizando Rede Neural Morfológica Não Supervisionada
• MODELO NEUROCOMPUTACIONAL DO DÉFICIT DE ATENÇÃO NO MAL DE PARKINSON E NO TDAH
• Modelo para a Implantação da Computação em Nuvem na Administração Pública Municipal
• Modelos Baseados em Lógica Nebulosa para a Avaliação de Sistemas Tolerantes a Defeitos
• Modelos baseados em PPM para previsão de trajetórias utilizando informações contextuais.
• Modelos e Algoritmos para Alocação de Tripulações em Redes de Transporte
• MODELOS MATEMÁTICOS E COMPUTACIONAIS PARA AVALIAÇÃO DO ESTADO NUTRICIONAL DA SOJA POR MEIO DE DIAGNOSE EM FOLHAS E GRÃOS
• Modelos Neuro-Fuzzy Hierárquicos
• MONIVAC
• Montagem de bases lexicográficas instrumentais e assistentes à tradução implementados em linguagem funcional Clean
• MORPHOMAP: Mapeamento automático de narrativas clínicas para uma terminologia médica.
• MOSC - Modelagem e Otimização em Sistemas Complexos
• MUCS: um Modelo para Suporte ao Comércio Ubíquo
• Mudança Técnica na Indústria Madeireira na Amazônia Legal, uma abordagem de modelagem com simulação baseada em agentes.
• Muleka Ditoka Wa Kalenga
• MULTI CONTROL: UM SISTEMA PARA EXPERIMENTAÇÃO DE POÉTICAS DA REALIDADE VIRTUAL EM AMBIENTE IMERSIVO E INTERATIVO
• MÁRCIO AUGUSTO ERNESTO DE MORAES
• Método de Desdobramento Temporal para Redes de Petri Temporais
• MÉTODO ESTOCÁSTICO PARA SIMULAÇÃO INTEGRADA DE MODELOS COMPUTACIONAIS HETEROGÊNEOS DE SISTEMAS BIOLÓGICOS
• Métodos Algébrico-Enumerativos para o Problema de Máxima Satisfiabilidade
• Métodos de solução para a montagem de grades escolares.
• Métodos e Algoritmos para a Resolução do Problema de Fluxo Máximo em Redes
• Métodos Formais e Fundamentos Matemáticos da Ciência da Computação
• Métodos Multigrid Paralelos em malhas não estruturadas aplicadas à simulação de problemas de dinâmica de fluidos computacional e transferencia de calor
• Métodos para redução integrada do consumo de energia e do atraso na entrega de dados em Redes de Sensores Sem Fio
• Métricas de Qualidade de Modelos Dinâmico Espaciais
• Mônica Xavier Py
• Nadia Nedjah
• ncRNA-Agents : anotação de RNAs não-codificadores baseada em sistema multiagente
• New dilemmas, old problems: advances in data analysis and its geoethical implications in groundwater management
• Nicolas Melo de Oliveira
• Nicollas Mocelin Sdroievski
• Nilcia Cristina de Carvalho Julian
• Nilton Cesar da Silva
• Normalização forte via ordinal natural
• Novas Estruturas de Interconexão à base de Barramentos: Uma contribuição a computação maciçamente paralela
• Núcleo de Estudos em Informática no Agreste Potiguar
• Núcleo de Pesquisa e Inovação em Informática do Campus Nova Cruz
• Núcleo Interdisciplinar de Pesquisa em Ciência e Tecnologia NPCTec
• Números Reais Computacionalmente Exatos na Linguagem de Programação C Padrão ANSI
• O Problema da Dedução do Intruso para um Protocolo Criptográfico Especificado via Reescrita Módulo AC
• O Problema das Quatro Cores
• O problema MODn com composição de autômatos celulares unidimensionais: Resolução e simplificações
• O SAFO e a Visão do Usuário
• O Teorema de Banach - Steinhaus em Teoria de Domínios
• O Uso de Geração de Resumos como Estratégia para Melhorar o Desempenho de Máquinas de Busca
• O uso dos métodos ARIMA e VAR-VEC no estudo da demanda de energia elétrica no Rio Grande do Sul
• On Program Analysis with Binary Relation
• On Termination by Dependency Pairs and Termination of First-Order Functional Specifications in PVS
• On the Complexity of Some Variations of Sorting by Transpositions
• On the Conceptual Feasibility of a CAAD-CAAI Integrated Decision Support System
• On Typical Hesitant Fuzzy Automata
• Operadores para Representações Baseadas em Codificação Nó-Profundidade em Algoritmos Evolutivos
• Os Polímeros como Sistemas Complexos
• Oscar Kiyokazu Uehara
• Otimização Aproximada Quântica
• OTIMIZAÇÃO DE TURBINAS HIDRÁULICAS PARA GERAÇÃO DE ENERGIA EM USINAS HIDROELÉTRICAS
• Otimização de um Cluster de alto desempenho para o uso do PGENESIS em simulações biologicamente realistas em larga-escala de sistemas neurais
• Otimização do problema de reconfiguração de sistemas de distribuição de energia elétrica por meio das meta-heurísticas busca tabu, GRASP e path relinking
• Otimização e Inteligência Computacional
• Otimização em Computadores Quânticos: Formulação QUBO para o Problema CMO.
• Pablo Ribeiro Suárez
• Paracelso de Oliveira Caldas
• Paralelismo com Programação Lógica com Partição Binária
• Paralelizacion Automatica de Recurrencias en Programas Secuenciales Numericos
• Parallel Algorithms for Elliptic Curve Cryptography Scalar Multiplication using the Binary and NAF Methods
• Parallel composition and unfolding semantics of graph grammars
• Patricia Fiuza de Castro
• Patricia Garces Rabelo
• Patrick Cesar Alves Terrematte
• Patrícia Araújo de Oliveira
• Patrícia Helaine Landim Nascimento
• Paulo Alexandre da Silva Costa
• Paulo Benício Melo de Sousa
• Paulo Blanco Barroso
• Paulo Cezar de Souza
• Paulo Fernando Blauth Menezes
• Paulo Fernando Leite Filho
• Paulo Henrique Ribeiro Gabriel
• Paulo Kuester Neto
• Paulo Sérgio Cugnasca
• Paulo Vieira Milreu
• Pedro Antonio Dourado de Rezende
• Pedro Fabiano
• Pedro Fernandes Ribeiro Neto
• Pedro Otavio Teixeira Mello
• Pedro Paulo Balbi de Oliveira
• Pencil Light Transport
• Performability issues of fault tolerance solutions for message-passing systems- the case of RADIC
• Performance comparison of non-adaptive and adaptive optimization algorithms for artificial neural network training applied to damage diagnosis in civil structures
• Performance Evaluation Group
• Performance Modeling of MapReduce Applications for the Cloud
• Personalização de Programas de TV no Contexto de TV digital interativa
• PIPEL: Modelo de Gerência da Elasticidade para Aplicações Organizadas em Pipeline
• Planarização de grafos por remoção de vértices.
• PLANEJAMENTO DE ROTAS AÉREAS POR ALGORITMOS GENÉTICOS
• Plataforma Digital de Apoio a Pedagogia de Alternância para a Casa Familiar Rural
• Platoon grouping network offloading mechanism for VANETs
• Política em Pedaços ou Política em BITS.
• Prediction of Girolando cattle weight by means of body measurements extracted from images
• Predição de Tráfego em Redes de Comunicações utilizando Redes Neurais e Análise Wavelet - Alocação Dinâmica de Largura de Faixa
• PREVISÃO DA PRECIPITAÇÃO PLUVIAL POR MEIO DE REDES NEURAIS ARTIFICIAIS TREINADAS UTILIZANDO DIFERENTES VARIÁVEIS CLIMÁTICAS
• PREVISÃO DE DEMANDA DE ENERGIA ELÉTRICA APLICANDO COMITÊS, APRENDIZADO DE CORRELAÇÃO NEGATIVA, FUNÇÕES CÓPULA E METAHEURÍSTICAS DE OTIMIZAÇÃO
• PREVISÃO DE DISTORÇÃO HARMÔNICA EM CARGAS RESIDENCIAIS UTILIZANDO REDES NEURO-FUZZY
• Previsão de Duração de Paradas de Linha em uma Indústria Automotiva
• Previsões de Carga em Sistemas de Potência durante Feriados Prolongados: O Efeito do Feriado na Quinta-feira sobre a Carga da Sexta-feira
• Priscila Machado Vieira Lima
• Processamento digital de imagens como estimativa to teor de N foliar na cultura do milho
• Processamento Distribuído de Consultas Espaciais
• Processamento Paralelo e Distribuído
• Prof Dr. Sérgio Donizetti Zorzo
• Prof Dr. Vicente de Paulo Emerenciano
• Prof. Carlos José Pereira de Lucena
• Profa Dra. Gina Maira Barbosa de Oliveira
• Programação em Lógica, Prolog e Restrições: Poder de Expressão vs. Eficiência"
• Programação Genética Orientada à Gramática e a Mineração de Base de Dados Relacionais
• Projeto de uma linguagem de modelagem de cenários para um ambiente presencial, interativo e híbrido de aprendiizagem OC2-RD2
• Projeto de uma rede bayesiana para a solução da ambigüidade léxica
• Propagação de ondas solitárias em canais com curvas acentuadas e bifurcações.
• Proposta de Metodologia para Caracterização e Reconhecimento de Sibilos em Sons Pulmonares.
• Proposta de um Modelo de Computabilidade no Contínuo
• Proposta de um Método de Verificação por Tempo Global com Redes de Petri no Desenvolvimento de Software Embarcado e de Tempo Real
• Proposta de um novo algoritmo de roteamento para Redes de Sensores Sem Fio e o estudo de uma técnica para se prover QoS nestas redes
• Proposta de um Sistema para Geração de Applets Java para Animação de Páginas HTML Destinadas à Educação a Distância.
• Proposta de uma Representação Tensorial para Modelos Markovianos Ocultos
• PROPOSTA E AVALIAÇÃO DO ALGORITMO K-MEANS PARALELO E DISTRIBUÍDO PARA PREDIÇÃO DO SÍTIO DE INÍCIO DE TRADUÇÃO EM RNA MENSAGEIRO PARA IDENTIFICAÇÃO DE PROTEÍNAS
• Proposta e Desenvolvimento de Uma Arquitetura de Memória Cache Reconfigurável
• Propriedades Ópticas, Vibracionais, Spin e de Transporte em Nanoestruturas Semicondutoras
• ProQualiti Group - Engenharia de Processos e Otimização
• PRÉ-PROCESSAMENTO EM MINERAÇÃO DE DADOS: UM ESTUDO COMPARATIVOEM COMPLEMENTAÇÃO
• Quantum Circuit Synthesis Using Projective Simulation
• Raciocínio Baseado em Casos como Recomendador de Conteúdo Pedagógico
• Rafael Augusto Scaraficci
• Rafael da Silva Albuquerque
• Rafael Pontes Bomfim
• Ramon dos Santos Lummertz
• Raphael Rustici Garcia
• Raíssa Silva Fernandes
• Realização Eficiente de Consultas em Banco de Dados Espaçotemporais
• Rebecca Porphírio da Costa de Azevedo
• recarga de Reatores Nucleares Utilizando Redes Conectivas de Colônias Artificiais
• Reconhecimento e Classificação de Padrões Dinâmicos de Comportamento Motor em Esportes Coletivos
• Recuperação de perfis de temperatura e umidade da atmosfera a partir de dados de satélites: abordagem por redes neurais artificiais e implementação em Hardware
• Rede Morfológica Não Supervisionada-RMNS
• REDES EPISTÊMICAS AUTO-ORGANIZÁVEIS: UM MODELO CONEXIONISTA PARA O ESTUDO DAS REDES SOCIAIS
• Redes Imunológicas Artificiais Aplicadas a Agrupamento Alternativo: Uma Proposta Baseada em Teoria da Informação
• REDES NEURAIS ARTIFICAIS PARA PREDIÇÃO DOS TEORES DE MATÉRIA ORGÂNICA E ARGILA DO SOLO NA REGIÃO DOS CAMPOS GERAIS UTILIZANDO ESPECTROSCOPIA DE REFLECTÂNCIA DIFUSA
• REDES NEURAIS ARTIFICIAIS PARA PREDIÇÃO DAS PROPRIEDADES DE TRANSPORTE DE VALE EM NANOFITAS DE GRAFENO
• Redes Neurais e Computação Quântica
• Redes Neurais e Novos Métodos de Regularização em Problemas Inversos de Condução de Calor.
• REDES NEURAIS EM SISTEMAS CRÍTICOS QUANTO À SEGURANÇA
• Redes Neurais Recorrentes Aplicadas a Assimilação de Dados em Dinâmica Não -Linear
• REDES NEURONAIS NO DIAGNÓSTICO DA DISLEXIA EM CRIANÇAS
• Redução do custo da durabilidade em Replicação Máquina de Estados através de checkpoints particionados
• Reginaldo Cordeiro dos Santos Filho
• Reginaldo Inojosa da Silva Filho
• Relações formais entre redes de Petri e gramáticas de grafos
• RELP SURFING: UM FRAMEWORK PARA RELACIONAMENTO DE PÁGINAS DA WEB
• Renata Hax Sander Reiser
• Renato José da Silva Carmo
• Replicadores Computacionais: propriedades básicas e modelagens preliminares
• Representations Emergentes : Une Approche Multi-Agents des Systèmes Complexes Adaptatifs en Psychologie Cognitive
• Representação combinatória e algébrica das permutações na análise do problema de rearranjo de genomas por reversões
• Representação Intermediária para TDF E-LOTOS e Tradutor E-LOTOS/RI
• Resolução de Problemas Baseada em Interação no Problema de Localização de Poços e Plataformas de Petróleo em Águas Profundas
• Retoque Digital Via Linhas de Nível
• Ricardo Barros Duarte D'Oliveira
• Ricardo de Melo Czekster
• Ricardo Domingos Rodriguez
• RICHARDSON Bruno da Silva Andrade
• Roberto Cassio de Araujo
• Roberto Fernandes Tavares Neto
• Roberto Pinheiro Domingos
• Robson da Silva Aguiar
• Rodrigo Cesar Sakamoto
• Rodrigo de Queiroga Miranda
• Rodrigo Ferreira
• Rodrigo Geraldo Ribeiro
• Rodrigo Machado
• Rodrigo Nonamor Pereira Mariano de Souza
• Rogerio Fernandes Carvalho
• Rogerio Mandelli
• Rogério Carneiro Machado
• Romulo Albuquerque Pereira
• Ronaldo Menezes
• Ronierison de Souza Maciel
• Roque Mendes Prado Trindade
• Rosalvo Ferreira de Oliveira Neto
• Roseli Suzi Wedemann
• Rosemeire Lima Secco
• Roteamento de Drones Autônomo: Um EstudoAlgorítmico
• Ruben Arnoldo Soto Delgado
• Ruiter Braga Caldas
• Ruy Luiz Milidiu
• Réseaux d'Automates Stochastiques : Génération de l'espace d'états atteignables et Multiplication vecteur-descripteur pour une sémantique en temps discret
• Rômulo Lucio Vale de Moraes
• RÔMULO NUNES DE OLIVEIRA
• SAEPTUM: Uma Metodologia de Verificação de Especificações de Sistemas de Reescrita por meio de Tradução a Teorias Lógicas
• SAFE – RECORD: SEGURANÇA E PRIVACIDADE PARA REGISTROS ELETRÔNICOS EM SAÚDE NA NUVEM
• Samuel da Silva Feitosa
• Sandra Fernandes de Oliveira Lima
• Saúde, Epidemiologia e Bioengenharia
• Schema and Query Evolution
• Segmentação de fácies sísmicas com redes neurais
• Segurança Computacional
• Segurança da Informação, Redes e Sistemas
• Sensibilidade ao contexto na identificação de estados afetivos aplicados à educação: um mapeamento sistemático
• SICA
• Silvio Roberto Medeiros Evangelista
• SIMULADOR E OTIMIZADOR APLICADO AO PLANEJAMENTO ENERGÉTICO DE SISTEMAS HIDROTÉRMICOS DE POTÊNCIA USANDO INTELIGÊNCIA ARTIFICIAL
• Simulador para a Técnica de Descrição Formal E-LOTOS
• Simulação baseada em atores como ferramenta de ensino de ensino de Organização e Arquitetura de computadores
• Simulação de Estratégias Navais por meio de um Modelo Híbrido Fuzzy-Evolucionário
• Simulação de modelos de processo de software utilizando Máquinas de Estado Abstratas
• Simulação orientada a objetos de transformações de fase em metais
• Sirlei Inês Sulzbach
• Sistema Composicional Intermarkoviano
• Sistema Computacional para Previsão de Carga em Sistemas de Energia Elétrica
• Sistema de Apoio à Análise Automatizada de Comportamento Animal em Laboratório
• Sistema de Apoio à Decisão utilizando Teorias de Localização e Otimização por Colônia de Formigas na implantação de novos serviços ou negócios.
• Sistema de avaliação para incisões cirúrgicas em simulações com realidade virtual
• Sistema de Diagnóstico de Falta para Subestação Baseado em Redes de Petri Coloridas
• Sistema de Manipulação de Conjuntos Nebulosos e Relações Nebulosas e Programação em Lógica Nebulosa - Prolog Nebuloso.
• Sistema de Realidade Virtual para o Tratamento de Fobias
• Sistema de Recomendação de Tags Aplicado na Catalogação de Recursos de Aprendizagem
• Sistema generativo de projeto aplicado ao desenho e otimização da estrutura de um Shed
• Sistemas Adaptativos, Lógica e Computação Inteligente
• Sistemas Computacionais
• Sistemas de Informação Contínuos: Uma Abordagem Lógica e Computacional para a matemática Intervalar
• Sistemas Híbridos Neuro-Difusos para Reconhecimento de Padrões
• Sistemas Híbridos Neuro-Simbólicos, Estudo e Implementação
• Sistemas Híbridos: Modelagem e análise de redes de tranferencia e distribuição de Gás Natural.
• Sistemas Inteligentes, Otimização e Computação BioInspirada
• Sistemas Interativos de Prova Clássicos e Quânticos
• Sistemas Reativos: Uma Abordagem Geométrica
• Sobre grafos perfeitos
• Sobre Redução de Cruzamentos de Arestas em Desenho Linear
• Solving moving-blocks problems
• Special Properties of Recursively Ennumerable Sets
• Starch Melo de Souza
• Stefan de Oliveira Rosa
• Steffen Lewitzka
• StockNet: A Multivariate Deep Neural Architecture for stock prices prediction
• Sylvain Ductor
• Systematic literature review on parallel trajectory-based metaheuristics
• Sérgio Mariano Dias
• Síntese de circuitos para computação reversível usando portas Toffoli generalizadas
• Síntese de Filtros Passivos com Algoritmo Genético Orientado a Objetos.
• Sônia Limoeiro Monteiro
• Tarcísio Genaro Rodrigues
• Tecnologia, Educacao e Gestao do Conhecimento
• Tecnologias em Sistemas de Computação
• Teoria da Computação
• Teoria da revisão de primeira ordem para a modelagem do estudante
• Teoria de Modelos para Heurísticas Baseada em Topoi
• Territorial zoning of Brazilian areas favorable to Anastrepha curvicauda (Diptera: Tephritidae) in papaya cultivation
• The Discovery of Knowledge in Educational Databases: A Literature Review with Emphasis on Preprocessing and Postprocessing
• The Quality of Queries
• The Role of Heterogeneity in Social Problem-Solving
• Theoretical Computer Science
• Thiago Carvalho Pedrazzi
• Thiago de Paulo Faleiros
• Thiago Rais de Castro
• THIAGO SOARES MARQUES
• Thiago Teixeira Sá
• Tiago Buarque Assunção de Carvalho
• Tiago Outerelo da Silva
• Tiago Vignatti
• Tomada de Decisão em Problemas de Otimização de Portfólios Financeiros
• Tomada de decisão sequencial com preferências parcialmente ordenadas.
• TONI ISMAEL WICKERT
• Turing's Analysis of Computation and Artificial Neural Networks
• Type-Based Locality Analysis for a Functional Distributed Language
• Técnicas de Modelagem de Workflow Aplicadas a Autoria e Tutoria de Cursos a Distância
• Técnicas de Parsing para uma Gramática Livre de Contexto Lexicalizada da Língua Portuguesa
• Técnicas Nominais e aplicações em Lógica de primeira ordem
• Técnicas para o Uso do Cálculo de Hoare em PCC
• Túlio Ângelo Machado Toffolo
• Ulisses Brisolara Correa
• Um Algoritmo Distribuído para Verificação de Modelos com Fronteiras
• Um algoritmo distribuído para resolução do problema de geração de estruturas de coalizão com presença de externalidades
• Um Algoritmo Exato para um Problema de Galeria de Arte
• Um ambiente ativo para a educação a distância com a utilização de dispositivos móveis
• Um ambiente de suporte à modelagem hierárquica por Redes de Petri para sistemas de produção
• Um ambiente de visualização da evolução da trajetória de veículos espaciais brasileiros.
• Um Ambiente Multi Agente para Recuperação de Informação
• Um estudo Comparativo em Unificação de Ordem Superior via Cálculos de Substituições Explícitas
• Um Estudo da Categoria dos Espaços Coerentes Gerados Por Conjuntos Básicos Com Aplicação Em Análise Intervalar
• Um Estudo sobre as Origens da Lógica Matemática e os Limites da sua Aplicabilidade à Formalização da Matemática
• Um Framework para Adaptação de Aplicações Multimidia em Ambientes de Redes Sem Fio
• Um Framework para Gerenciamento de Qualidade de Serviço em Ambiente Wireless
• UM MODELO AUTO-ORGANIZADO DAS REDES IDIOTÍPICAS DO SISTEMA IMUNOLÓGICO
• Um modelo baseado em agentes para a análise da governança regulamentar do sistema financeiro
• UM MODELO COMPUTACIONAL DA METÁFORA MECÂNICA DA MENTE NO PROJETO FREUDIANO
• Um modelo computacional para simulação do comportamento mecânico de lajes fissuradas
• Um modelo computacional para subsidiar práticas avaliativas das condutas cognitivas.
• Um modelo de Ambiente de Aprendizagem Social para a aprendizagem de programação baseado no conceito de planos de programação e esquemas de concepção de programas
• Um Modelo Espaço-Temporal para a Previsão de Velocidade Média em Estradas
• Um modelo hierárquico para sistemas especialistas.
• Um modelo híbrido estocástico para tratamento do problema de roteamento de veículos com janela de tempo
• Um Modelo Matemático-Computacional do Papel do Colesterol na Doença de Alzheimer
• Um Modelo Matemático-Computacional para o papel do Cálcio na Doença de Alzheimer
• UM MODELO NEUROCOMPUTACIONAL DO EFEITO DE PRIMING PRESENTE NA ESQUIZOFRENIA
• UM MODELO NEUROCOMPUTACIONAL INTEGRADOR DA SÍNDROME DO PÂNICO
• UM MODELO NEURONAL INTEGRADO PARA A PERCEPCAO VISUAL
• Um modelo para o estudo de epidemias: o efeito damigração via transporte rodoviário na Bahia.
• Um modelo para sistemas multiagentes baseado na teoria de sistemas sociais para o estudo do problema da ligação micro-macro.
• Um método de seleção automática de soluções usando tecnologia adaptativa
• Um novo algoritmo imunológico artificial para agrupamento de dados
• UM NOVO MÉTODO PARA ANÁLISE DE AGRUPAMENTOS UTILIZANDO O ALGORÍTMO ELÁSTICO
• Um Pacote de Simulação de Redes Neurais
• Um protótipo para a construção de estereogramas: modelagem e experimentação.
• Um simulador da execução de funções computavéis utilizando o conceito de grafo de dependências
• Um simulador de redes de petri de alto nível para uso didático
• Um Simulador para Validação de Sistemas Dependentes de Tempo Descritos em RT-LOTOS
• Um Sistema Computacional para Verificação do Nível de Compreensão de Textos em Linguagem Natural
• Um Sistema de Visão Computacional Monocular para um Robô Móvel Humanoide.
• Um sistema móvel para fidelização de clientes com base no modelo de recompensa
• Um índice baseado em árvores de sufixos comprimidas com baixo consumo de memória
• uma aplicação de um modelo estocastico para gerenciamento de projetos
• Uma Abordagem Baseada em Ontologias para Obtenção de Indicadores a partir de Dados Abertos.
• Uma abordagem baseada en redes Bayesianas para a solução da ambigüidade léxica
• UMA ABORDAGEM CATEGÓRICA À TEORIA DAS MÁQUINAS SEQÜENCIAIS
• Uma abordagem de inteligência artificial para otimização de parâmetros de processos de tratamento de água,
• UMA ABORDAGEM HEURÍSTICA E PARALELA EM GPUS PARA O PROBLEMA DO CAIXEIRO VIAJANTE
• Uma abordagem híbrida por Dempster-Shafer e algoritmos genéticos para o problema de correspondência em estereoscopia.
• Uma abordagem híper-heurística para problemas de otimização
• UMA ABORDAGEM INTERATIVA E SEMI-AUTOMÁTICA PARA A DETECÇÃO E REMOÇÃO DE CENÁRIOS IMPLÍCITOS EM MODELOS COMPORTAMENTAIS USANDO RASTROS DE EXECUÇÃO
• Uma Abordagem para o Teste de Dependabilidade de Sistemas MapReduce com base em Casos de Falha Representativos
• Uma Abordagem Simplificada de Detecção de Intrusão Baseada em Redes Neurais Artificiais
• Uma avaliação de Meta-heurísticas para o Problema de Designação Quadrática
• UMA CAMADA DE COMUNICAÇÃO PARA GERENCIAMENTO DE EQUIPAMENTOS NO CONTEXTO DA INDÚSTRIA 4.0.
• Uma Ferramenta Formal para Especificação e Análise de Arquiteturas de Software
• Uma ferramenta para projeto e simulação de circuitos quânticos.
• Uma Formalização da Teoria de Reescrita em Linguagem de Ordem Superior.
• Uma fundamentação matemática para processamento digital de sinais intervalares
• Uma igualdade Local em Domínios Contínuos Intervalares
• Uma introdução técnica relativa às provas robustas checáveis probabilisticamente
• Uma metodologia para a utilização do processamento de Linguagem Natural na busca de informações em documentos digitais
• Uma Metodologia para Análise de Desempenho em Sistemas de Computação em Nuvem
• Uma metodologia para avaliação da experiência do cliente através de plataformas de big data em uma unidade de resposta audível
• Uma Metodologia para o design de Serviços de Tv-Interativa
• Uma Modelagem Categórica para a Modularidade da Confluência em Sistemas de Reescrita de Termos
• Uma nova formulação algébrica para o autômato finito adaptativo de segunda ordem aplicada a um modelo de inferência indutiva.
• Uma proposição de estruturação de um sistema computacional para apoio à decisão tático-operacional em empresas de manufatura
• Uma Proposta de Estudo da Incerteza Integrando a Teoria dos Conjuntos Fuzzy e a Computação Quântica
• Uma proposta de formalismo como arcabouço teórico para engenharia dirigida por modelos e aplicações.
• Uma proposta de modelagem por agentes para o problema da herança e desigualdade econômica
• Uma proposta de método de estimação de matrizes origem-destino baseado em programação linear fuzzy para redes viárias brasileiras congestionadas.
• Uma Proposta de Reorganização da estrutura do Sistema Signwriting
• UMA PROPOSTA DE UMA ABORDAGEM LOCAL PARA O TIPO REAL
• Uma proposta metodológica de uso de redes neurais aplicadas na análise e determinação do estado de veículo acidentado
• Uma proposta para tratamento de respostas ao acaso em avaliações utilizando o raciocínio estatístico e lógica difusa
• Uma Representação Construtiva Global Para Os Números Reais Em Espaços Coerentes Biestruturados
• Uma Representação Construtiva Global para Sistemas Ordenados de Segunda Ordem em Espaços Coerentes Bi-Estruturados, com aplicação em Matemática Intervalar
• Uma técnica baseada em SysML para modelar a arquitetura de sistemas embarcados de tempo real
• USAR - Um Modelo Preditivo para Avaliação da Acessibilidade em Tecnologias Assistivas Baseadas em Realidade Aumentada
• Using Polynomials Curves to Generate Facsimiles of Human Handwriting
• Uso da mineração de dados para extração de conhecimento agronômico envolvendo o uso de gesso agrícola.
• Uso de dispositivos móveis e visão artificial para diagnóstico nutricional de NPK
• Utilização de algoritmo com Rede Neural Artificial na validação de padrões de comportamento do Caenorhabditis elegans
• Utilização de Técnicas de Inteligência Computacional na Caracterização de Pacientes com Doenças Cardiovasculares_
• Vakulathil Abdurahiman
• Valmor Bevilacqua Carvalho Neves
• Valter Jorge da Silva
• Valter Wellington Ramos Junior
• Vanderlei Moraes Rodrigues
• Vanusa Beatriz Hackenhaar Pierret
• Variation of rainfall and OLR over the Amazon basin
• Vera Lucia Costa de Medeiros
• Vera Lúcia da Silva
• Vera Lúcia Guiselli Lopes
• Verificação de sistemas dependentes do tempo a partir de especificações escritas em RT-LOTOS
• Verificação formal de protocolos criptográficos – o caso dos protocolos em cascata
• Verificação Oportunista de Assinaturas Digitais para Programas e Bibliotecas em Sistemas Operacionais Paginados
• Verifying the Computational Properties of a First-Order Functional Model
• VESUP: UM SISTEMA DE REALIDADE VIRTUAL PARA O TRATAMENTO DE FOBIAS URBANAS
• Victor de Andrade Machado
• Victor Fernandes Cavalcante
• Victor Geraldo Gomes
• Victor Hugo Freitas de Oliveira
• Vida Artificial em Ambientes Virtuais
• Viorel Milea
• Visualisação de sistemas distribuidos em grande escala
• Visualização e Medição Estereoscópicas de Imagens Fotogramétricas Digitais
• Vitor Venceslau Curtis
• Vladik Kreinovich
• Vânia Gomes
• Wagner Moro Aioffi
• Wagner Oliveira de Araujo
• Wilfredo Blanco Figuerola
• William Santos Pelegrini
• Wilson Bittencourt Vicentini
• Wilson Rosa de Oliveira Júnior
• Yoshiharu Kohayakawa
• Yuri Tavares dos Passos
• Zenilton Kleber Gonçalves do Patrocínio Júnior
• Álvaro Freitas Moreira