Matemática da Computação Conceito

área de pesquisa

• Algoritmo genético de chaves aleatórias segundo distribuição de Levy para otimização global
• "Algoritmo Genético - Tabu para a Programação Reativa da Produção em um Sistema de Manufatura com Recursos Compartilhados"
• "Ambiente de Utilização e Gerenciamento de Recursos de Otimização Combinatória Distribuídos."
• "Aperfeiçoando Algoritmos Genéticos para Ambientes Não-Estacionários"
• "Construções Categóricas Intervalares em Haskell"
• "Métodos Numéricos para Equações de Evolução"
• "Sobre a Propriedade de Helly Aplicada às Cliques Maximais de um Grafo."
• Концепт юродство в русском языке
• 夏目漱石とマシャード・デ・アシスの文学作品における愛の三角形
• (co-orientação) Grades diádicas adaptativas para simulação de escoamento de petróleo
• A Brief History of Heuristics: from Bounded Rationality to Intractability
• A comparative analysis of Bayesian network structure learning algorithms applied to crime data
• A complexidade econômica no Brasil: uma análise das diferentes estruturas regionais
• A Convexidade P3 Para Grafos Não Direcionados
• A discrete exterior calculus approach to quantum transport on surfaces
• A finite element scheme for a 2D-wave equation with dynamical boundary control
• A General Formulation Based on Algebraic Spinors for the Quantum Computation
• A generalized proximal linearized algorithm for DC functions with application to the optimal size of the firm problem
• A green inventory model with the effect of carbon taxation
• A Importância das Localidades na Difusão Online de Informação
• A interdisciplinaridade Aplicada ao Despacho Otimizado das Redes Integradas de Energia Elétrica e de Gás Natural utilizando o Algoritmo Genético
• A mathematical formulation and heuristic algorithms for minimizing the makespan and energy cost under time-of-use electricity price in an unrelated parallel machine scheduling problem
• A Matheuristic Algorithm for the Multiple-Depot Vehicle and Crew Scheduling Problem
• A Meta-analysis of Machine Learning Classification Tools Using rs-fMRI Data For Autism Spectrum Disorder Diagnosis
• A Methodology for Improving Computed Individual Regression Predictions
• A modified proximal point method for DC functions on Hadamard manifolds
• A Máquina Geométrica - um modelo computacional para concorrência e não-determinismo usando como estrutura os Espaços Coerentes.
• 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 new approach for the traveling salesperson problem with hotel selection
• A new heuristic for the Euclidean Steiner Tree Problem in $${mathbb {R}}^n$$
• A new method of selecting safe neighbors for the Riemannian Manifold Learning algorithm
• A new penalty/stochastic approach to an application of the covering problem: The gamma knife treatment
• A new second¿order conic optimization model for the Euclidean Steiner tree problem in Rd$mathbb {R}^d$
• A non-dominated sorting based customized random-key genetic algorithm for the bi-objective traveling thief problem
• A numerical investigation into the scaling behavior of the longest increasing subsequences of the symmetric ultra-fat tailed random walk
• A Smoothing Optimization Approach Applied to the Supervised MDS Method
• A theory of porous media and harmonic wave propagation in poroelastic body
• A transformada wavelet na fusão de imagens de sensoriamento remoto
• A UTILIZAÇÃO DE APLICATIVOS DO SISTEMA OPERACIONAL ANDROID, COMO FACILITADOR DA APRENDIZAGEM NO ENSINO DA DISCIPLINA DE MATEMÁTICA, DO NONO ANO DO NÍVEL FUNDAMENTAL II
• A variable neighborhood search heuristic algorithm for the double vehicle routing problem with multiple stacks
• A variable neighborhood search-based algorithm with adaptive local search for the Vehicle Routing Problem with Time Windows and multi-depots aiming for vehicle fleet reduction
• Aarão Lyra
• Abel Roberto Huamán Jesús
• Abordagem Evolutiva Multiobjetivo para o Sequenciamento de Tarefas com Precedência: um Estudo de Caso Multidisciplinar em Mineração
• Abordagem exata e heurísticas para o problema de planejamento de ordens de manutenção de longo prazo : um estudo de caso industrial de larga escala.
• Abordagem Mista para Problemas de Otimização Dinâmica
• Abordagens de enxame de partículas com inspiração em mecânica e computação quânticas para otimização contínua irrestrita
• Abordagens exatas e heurísticas para o problema de sequenciamento em máquinas paralelas não-relacionadas com tempos de preparação dependentes da sequência
• Abstract regularized equilibria: application to Becker?s household behavior theory
• Aceleração de Métodos Iterativos para Solução de Sistemas Lineares - Avaliação Crítica
• Aceleração do cálculo de autovalores usando CUDA : uma aplicação em heteroestruturas semicondutoras
• ACO (Ant Colony Optimization) para Extrair Features Dominantes em Imagens
• Adail Nunes da Silva
• Adalto Oliveira da Silva
• ADEMIR APARECIDO CONSTANTINO
• Adenir Sebastião de Britto
• Adilson Maia Negrão
• Adriana Betânia de Paula Molgora
• Adriana Meireles Macedo Abreu
• Adriana Salvador Zanini
• Adriano Kurz Maron
• Adriano Luiz de Paula
• Adriano Mansur Irigoite
• Agenor Freitas de Andrade
• Ageu Morais Duarte
• Agnus Azevedo Horta
• Agrupamentos e desagrupamentos no aplicativo Multibase: uma proposta de ensino do conceito de número e operações do campo conceitual aditivo
• Airton Marco Polidorio
• Alberto Yukinobu Hata
• Alcides de Castro Amorim Neto
• Aldo Alberto Gonzales Escudero
• Aldo René Zang
• Aleciana Vasconcelos Ortega
• Alessandro Santana Martins
• Alex Laier Bordignon
• Alexandre Celestino Leite Almeida
• Alexandre De Lacassa
• Alexsandro Queiroz Lencina
• ALGORITHMES DE RECHERCHE DE PLUS COURTS CHEMINS AVEC CONTRAINTES
• Algoritmo Genético Aplicados na Otimização de Métodos Geoestatísticos utilizados na Estimativa de Parâmetros Florestais: Um Estudo de Caso Aplicado a Floresta do Tapajós
• Algoritmo Inteligente Aplicado à Detecção de Intrusos em Redes de Computadores
• Algoritmo Interativo para o Problema de Empacotamento Unidimensional
• ALGORITMOS ALGÉBRICOS PARA ENUMERAR E ISOLAR ZEROS POLINOMIAIS COMPLEXOS
• Algoritmos algébricos para enumeração e isolamento de zeros polinomiais complexos
• Algoritmos de Agrupamento aplicados à Informações Geográficas
• ALGORITMOS DE ESCALA E ROTEAMENTO DE VEÍCULOS PARA APLICAÇÃO EM SERVIÇOS SISTEMÁTICOS DE REGIÕES URBANAS
• Algoritmos de Intersecções de Curvas de Bezier com Uma Aplicação na Localização ao de Raízes de Equações
• Algoritmos de Otimização Aplicados ao Problema de Steiner em N Dimensões
• Algoritmos de Otimização para o Problema de Planejamento de Redes Celulares de Terceira Geração
• Algoritmos eficientes para reconhecimento de grafos de intervalos unitários
• Algoritmos Enumerativos para Geração de Padrões Tabuleiros
• Algoritmos Evolutivos Aplicados à Solução do Problema das P-Medianas
• Algoritmos Genéticos Aplicados à Previsão de Tempo por Conjunto
• Algoritmos Genéticos com Inspiração Quântica e Representação Mista Aplicados à Neuroevolução
• Algoritmos Genéticos Híbridos para a Resolução Numérica de Sistemas de Equações Não Lineares
• Algoritmos Genéticos para Otimização de Estruturas Reticuladas Baseados em Modelos Adaptativos e Lagrangeano Aumentado
• Algoritmos hiper-heurísticos evolucionários para os problemas de reduções de largura de banda e de profile
• Algoritmos para o cálculo de MDC polinomial
• Algoritmos para o problema de sequenciamento de tarefas em máquinas paralelas idênticas.
• Algoritmos para problemas de geometria molecular
• Algoritmos Quânticos para Problemas em Teoria de Grupos Computacional.
• Aline Jevaux Souza
• ALINE PEREIRA DE QUEIROZ FERREIRA
• Alisson Vercelino Beerbaum
• Alvaro Luiz Gayoso de Azeredo Coutinho
• Alysson Alexander Naves Silva
• Amanda Castro Oliveira
• Ambiente Computacional para o Problema de Seleção de Carteiras de Investimento baseado na Predição de Retornos
• Ambiente de alto desempenho com alta exatidão para a resolução de problemas
• Ambiente Informatizado para o Ensino de Métodos Numéricos
• AMBIENTES COMPUTACIONAIS PARA CÁLCULO NUMÉRICO
• Amelia Naomi Onohara
• Amit Bhaya
• Américo de Almeida Filho
• An Approach to Preprocess and Cluster a BRDF Database
• An Enhancement of the Bisection Method Average Performance Preserving Minmax Optimality
• An evaluation of MPI and OpenMP paradigms in finite-difference explicit methods for PDEs on shared-memory multi- and manycore systems
• An Infeasibility Certificate for Non-Linear Programming Based on Pareto-Criticality Conditions
• An MO-GVNS algorithm for solving a multiobjective hybrid flow shop scheduling problem
• Ana Carolina Correia Rézio
• Ana Cristina Medina Pinto
• Ana Lucia Alves Bernardo
• Ana Paula Canal
• Ana Paula Heimerdinger
• Analise de Entropia
• ANALISE DE FUNÇÕES BOOLEANAS E ENGENHARIA REVERSA EM JOGOS DE MINORIA
• ANALISE DOS ERROS DE ARREDONDAMENTO GERADOS PELOS PROCESSOS COMPUTACIONAIS
• Analysis of COVID-19 outbreak in Iran by a Suite of Artificial Adaptive System Algorithms
• Analysis of the Ebola Outbreak in 2014 and 2018 in West Africa and Congo by Using Artificial Adaptive Systems
• Anderson Alles de Jesus
• Anderson Conceicao Rodrigues
• ANDERSON LUIS JESKE BIHAIN
• Anderson Souza Oliveira Aguiar
• Andre Luiz Jucoski
• Andre Pereira de Brito Vieira
• Andrea Carla Gonçalves Vianna
• Andrea Iabrudi Tavares
• Andrea Zotovici
• Andressa Alves Machado da Silva
• André Fujita
• André Rodrigues da Cruz
• André Ruelli
• Andréa Weberling Carvalho
• Angelo Stroligo Pecly
• Angélica de Freitas Alves
• Animação Bidimensional para World Wide Web Baseada em Autômatos Finitos.
• Animação Física Simplificada
• Antonio Alberto Fernandes de Oliveira
• Antonio Carlos Gava
• Antonio Carlos Sobieranski
• Antonio Valdemir da Silva
• Anwendung von AVL balanzierten Binärbäumen in der Dünngittermethode
• Análise automática de imagens como ferramenta para triagem de pneumonias na infância
• Análise comparativa entre os métodos Decomposição em Valores Singulares e Análise de Componentes Principais envolvendo matrizes esparsas de grande porte.
• ANÁLISE COMPUTACIONAL DE MÉTODOS ITERATIVOS UNIPONTUAIS E MULTIPONTUAIS PARA A RESOLUÇÃO DE EQUAÇÕES NÃO LINEARES
• Análise da Complexidade Computacional de Problemas de Estatística Descritiva com entradas intervalares
• Análise da Complexidade Computacional de Problemas de Estatística Descritiva com entradas intervalares
• Análise da Convergência do Método Hopmoc para uma equação de convecção-difusão
• Análise da Conversão de Algoritmos Criptográficos para a Forma Normal Conjuntiva
• Análise da influência de algoritmos de reordenação de matrizes esparsas no desempenho do método CCCG(n)
• Análise da solução de equações lineares com coeficientes intervalares em diferentes aritméticas intervalares
• Análise de Convergência de Métodos Hopmoc
• Análise de imagens multiespectrais através de redes complexas
• Análise de impacto de artigos em subcampos de periódicos científicos
• Análise de Multiresolução baseado em PPS - Wavelet
• Análise de segurança em criptografia e esteganografia em sequências de imagens
• Análise de sinais de ECG usando Transformada Wavelet com o Pulso DNAx
• Análise de textura em imagens de folha para diagnose nutricional precoce em culturas de milho
• Análise de uma Rede Genética Probabilística que representa o controle do ciclo celular
• Análise e Computação do Modelo Não Linear da Equação de Korteweg-de Vries
• Análise e fusão de imagens 2D e 3D com vistas para detecção e classificação de sinais de trânsito verticais em prol da segurança viária com veículos robóticos inteligentes
• Análise e implementação de esquemas de convecção e modelos de turbulência para simulação de escoamentos incompressíveis envolvendo superfícies livres.
• ANÁLISE E PARALELIZAÇÃO DE ALGORITMOS APLICADOS À IDENTIFICAÇÃO DE SISTEMAS DINAMICOS NÃO-LINEARES COM MODELO NCARMA FRACIONÁRIO
• Análise e Simulação Numérica da Equação de Korteweg-de Vries
• Análise Espectral de Padrões-Gradiente de Séries Temporais Curtas
• Análise experimental de algoritmos de planaridade
• Análise Exploratória e Regressão Espacial para Dados Simbólicos Intervalares
• ANÁLISE INTERVALAR
• Análise qualitativa de métodos de planificação de malhas tridimensionais
• Análise qualitativa de sementes de mamona empregando métodos de processamento de imagens
• Análise Teórica e Computacional de uma equação de Schrönginger não linear com fronteira móvel
• Aperfeiçoando Algoritmos Genéticos para Ambientes Não-Estacionários
• Aplicação da transformada de ondaletas para calculo de espectros multifractais
• APLICAÇÃO DE ALGORITMOS APROXIMADOS AO PLANEJAMENTO AUTOMÁTICO DE SISTEMAS DE TRANSMISSÃO DE POTÊNCIA
• Aplicação de Algoritmos de Otimização na Detecção de Contato entre Superfícies Superquádricas Convexas
• Aplicação de algumas construções categoriais em animações computacionais baseadas em autômatos finitos
• Aplicação de jogos lúdicos na educação geral utilizando a teoria das inteligências múltiplas
• Aplicação de Machine Learning na Pré-seleção de Ativos para Portifólios de Investimento
• Aplicação de Mapas Auto-Organizáveis na Detecção de Mudanças no Solo ao Longo do Tempo.
• Aplicação de modelos de regressão linear e não linear para estimativa de volume de biomassa e estoque de carbono
• Aplicação de modelos neurais na previsão de séries temporais.
• Aplicação do Método do Tubo de Trajetórias à Solução Numérica das Equações de Navier-Stokes
• Aplicação dos conceitos de inteligência coletiva no ensino da matemática em curso superior
• Aplicações de Combinatória Analítica para a Contagem de Tipos Especiais de Árvores
• Aplicações de Álgebra Linear em Ruídos Quânticos
• Aplicações do Paradigma Funcional no Ensino de Matemática Discreta
• APPROCHE DE L'ANALYSE DE DONNEES SYMBOLIQUES: GENERATION D'UN GRAPHE CONCEPTUEL D'HERITAGE A PARTIR D'UN TABLEAU DE DONNEES DISJONCTIF COMPLET
• Ari do Amaral Torres Filho
• Arianna Zoila Olivera Salmon
• Armando Maciel Toda
• Arnoldo Nunes da Silva
• Artificial Intelligence implemented to recognize patterns of sustainable areas by evaluating the database of socioenvironmental safety restrictions
• Artur de Oliveira da Rocha Franco
• Aspectos Teóricos e Numéricos sobre a Equação de Benjamin-Bona-Mahony Viscosa
• Aspectos Teóricos e Numéricos sobre uma Equação de Difusão não linear.
• Asymptotic behavior of the length of the longest increasing subsequences of random walks
• Asynchronous Teams for Solving the Loading and Routing Auto-Carrier Problem
• Attilio Provedel
• Augmented Lagrangian algorithms for solving the continuous nonlinear resource allocation problem
• Augusto dos Santos Moura Júnior
• Automatic routing of water supply pipelines
• AUTOMATIZACAO DA VERIFICACAO PREVIA DA ESTABILIDADE DE EQUACOES DIFERENCIAIS ORDINARIAS
• Automorfismos de grafos
• Autômatos celulares caóticos aplicados na Criptografia e Criptoanálise
• AVALIAÇÃO DA INFLUÊNCIA DE VÁRIAS MEDIDAS DE SIMILARIDADE NA REDE AUTO-ORGANIZÁVEL DE KOHONEN
• Avaliação da Meta-heurística VNS para um Problema de Planejamento Operacional do Transporte Público
• Avaliação da Redução da Entropia de Imagens Usando Transformadas Wavelet Ortogonal
• Avaliação de heurísticas para renumeração de vértices para redução do custo computacional do método dos gradientes conjugados
• AVALIAÇÃO DE SOFTWARE EDUCACIONAIS NO PROCESSO DE ENSINO-APRENDIZAGEM COMPUTADORIZADO: ESTUDO DE CASO
• AVALIAÇÃO DE SOFTWARE NO ENSINO DE CÁLCULO
• Avaliação de um Algoritmo Baseado em Filtragem de Kalman para Treinamento de Redes Neurais Multicamadas
• Avaliação Fuzzy de Trocas Sociais entre Agentes com Personalidades
• Balanceamento de linhas de produção com trabalhadores deficientes
• Bartholomeu Ferreira da Cruz Filho
• Basilis Constantine Gidas
• BDF?Hopmoc: um método implícito de passo múltiplo para a soluçãoo de Equações Diferenciais Parciais baseado em atualizações espaciais alternadas ao longo das linhas características
• Bi-clustering de dados genéticos binários baseados em modelos de classificação logística
• Bianca Costa Guimarães
• Bianor Costa Freire Colchesqui
• Boris Krajnc Alves
• Bruno Francisco Xavier
• Bruno José Torres Fernandes
• Bruno Nascimento Ferreira
• Bruno Sestokas Filho
• Bárbara Denicol do Amaral Rodriguez
• Caio Pinheiro Santana
• CALIBRAÇÃO AUTOMÁTICA DE CÂMERAS BASEADA EM ÁLGEBRA INTERVALAR
• Campos Potenciais Modificados Aplicados a Robotica Movel Autônoma
• Capacitated clustering problems applied to the layout of IT-teams in software factories
• CARACTERIZAÇÃO DA REDE DE SIGNOS LINGÚÍSTICOS: Um modelo baseado no aparelho psíquico de Freud
• Caracterização do Caos determinístico na Atividade Elétrica Cerebral de Pacientes Epilépticos
• Carla Claudia da Rocha Rego Monteiro
• Carlos André Guerra Fonseca
• Carlos Antonio Alves de Oliveira
• Carlos Avelino de Barros
• Carlos Derli Almeida Cornelio
• Carlos Eddy Esaguy Nehab
• Carlos Eduardo Ferreira
• Carlos Eduardo Oliveira da Silva
• Carlos Gustavo Gonzalez
• Carlos Henrique de Oliveira Monteiro André
• Carlos Marques Fernandes
• Carlos Renato Medeiros
• Carlos Sidney dos Santos Cidade Nascimento
• Carlos Valente
• Carmem Miranda de Lira Silva
• Caroline Lourenço Alves
• Categories of space-time models
• Cedric Marcelo Augusto Ayala Bravo
• Chaotical PRNG based on composition of logistic and tent maps using deep-zoom
• Charles Henrique Gonçalves Santos
• Charles Miller de Góis Oliveira
• CHOOSING A SERIOUS GAME AS AN EDUCATIONAL TOOL FOR CHILDREN WITH TEA BASED ON THE HIERARCHICAL ANALYSIS METHOD (AHP)
• Christian Alonso Vega Cervantes
• Christian Diniz Carvalho
• Cintia Rigão Scrich
• Clarissa Tarragô Candotti
• Classificador simbólicos baseado em regiões de tipo casca convexa
• CLASSIFICAÇÃO AUTOMÁTICA DE ESPÉCIES DE PEIXES BASEADA EM TÉCNICAS ROBUSTAS PARA EXTRAÇÃO DE CARACTERÍSTICAS E SISTEMAS IMUNOLÓGICOS ARTIFICIAIS
• Classificação de nódulos mamários utilizando cálculo de dimensão fractal.
• Classificação Hierárquica Inteligente de Elementos Finitos em um Esquema XML
• Cleber de souza relli
• Cleonice Fátima Bracciali
• Clusterização baseada em algoritmos fuzzy
• Coimplicações Fuzzy Valoradas Intervalarmente
• Coincidências: Problema dos aniversários e polinômios cromáticos
• Colorações em grafos com restrições de distância: caracterizações, politopos e estratégias em programação matemática
• Combinatorial Approaches for Problems in Bioinformatics
• Comitês de Classicadores para o Reconhecimento Multibiométrico em Dados Biométricos Revogáveis
• Comparative Analysis of Clustering Methods for Gene Expression Data
• Comparação entre métodos numéricos para sistemas lineares na aplicação do método primal dual barreira logarítmica para dimensionamento de biodigestores rurais
• COMPOSIÇÃO DE COORDENADAS NORMAIS DE RIEMANN LOCAIS E GEOMETRIA POLIEDRAL EM APRENDIZADO DE VARIEDADES COM APLICAÇÕES DE TEORIA DE FOLHEAÇÕES
• Computación Paralela de la Transformada Wavelet; Aplicaciones de la Transformada Wavelet al Álgebra Lineal Numérica
• Computação Paralela aplicada à Bioinformática
• CONFIABILIDADE NO PROCESSO DE RASTREABILIDADE POR MEIO DE ANÁLISE DE IMAGENS RETINAIS
• CONSIDERAÇÃO DE EMISSÕES DE GASES DE EFEITO ESTUFA NO PLANEJAMENTO DE LONGO PRAZO DA EXPANSÃO DA GERAÇÃO POR MEIO DO MÉTODO AHP
• Constante de Erro dos Métodos Cíclicos
• Construção de Redes One-step para Estudos Evolucionários Utilizando GPU
• Construção de um Sistema para Simulação de Fluido com Ênfase no Tratamento de Bordas
• Construção do Espaço Intervalar e Resolução de Equações Lineares
• Construção do Espaço Intervalar e Resolução de Equações Lineares
• CONTRIBUTIONS A L'OPTIMISATION COMBINATOIRE ET SES APPLICATIONS (HABILITATION POUR DIRIGER RECHERCHES)
• Control and supervision strategies for the integrated management of installations in energy efficient environment
• Controle Exato para o Problema da Corda Elástica com Fronteira Móvel: Teoria e Simulação Numérica
• Convergence And Comparison Of The Parallel Schwarz Methods
• Convergência de Algoritmos Tipo Jacobi Quterniônicos
• Convergência de métodos de descida para funções não-convexas com aplicação a teoria de comportamento
• Convexification of bilinear forms through non-symmetric lifting
• Cooperação, Exploração e Consenso no Ambiente DRIMA: Construção de um Modelo de Inspiração Biológica
• CORRELAÇÃO DE LONGO ALCANCE EM INDICADORES DE CRIMINALIDADE DE SALVADOR (BA): DFA E DCCA
• Criação de um protótipo objeto simulador para o controle de qualidade de algoritmos de segmentação óssea para o uso em softwares de pós processamento tomográfico
• CRIPTOGRAFIA NA EDUCAÇÃO BÁSICA: DAS ESCRITAS OCULTAS AO CÓDIGO RSA
• Cristiane Aparecida da Silva Pilz
• CRISTIANO ALVES DE SOUSA
• Cristiano Gonçalves de Melo
• Cristiano Jacques Miosso Rodrigues Mendes
• Cristiano Tonietto Galina
• Cycle-based formulations in Distance Geometry
• Cynthia Maria Silva de Barros
• Célia Aparecida Zorzo Barcelos
• César Ernesto Hernández Hernández
• Cícero Garrozi
• Cópulas para distribuições generalizadas de valores extremos multidimensionais
• Dalcidio Moraes Cláudio
• Dalton Ieda Fazanaro
• Daniel Bachega Pinheiro
• Daniel Bristot de Oliveira
• Daniel de Souza Grilo
• Daniel Gaspar Gonçalves de Souza
• Daniel Luis Moreira Timponi
• DANIELA TERESA ROSSIGNOLI UEBELE
• Danilo César Pereira
• Darlan da Silva Godinho
• David Roberto Avellaneda Bernal
• DEA d Informatique
• Deborah Luisa Detânico Vieira
• Deep neural annealing model for the semantic representation of documents
• Delair Bavaresco
• Delcio Cardim
• DELÍRIO E CRIATIVIDADE: UMA ABORDAGEM NEUROCOMPUTACIONAL
• Denise de Arruda
• Denise Maria Lopes Martins de Oliveira
• Denys Alves da Silva
• Desarrollo de un modelo matemático para la etapa de adsorción de la cromatografía de inmunoafinidad en la purificación de la hCG
• Desdobramento da Olimpíada de Programação de Coputadores no desenvolvimento do Raciocínio Lógico Matemático
• Desenvolvimento de um algoritmo baseado no filtro de Gabor para identificação de impressões digitais
• Desenvolvimento de um método espectronodal livre de erros de truncamento espacial para problemas adjuntos de transporte de partículas neutras monoenergéticas na formulação de ordenadas discretas em geometria unidimensional.
• Desenvolvimento de um nariz eletrônico para determinação do grau de maturação de cachaças envelhecidas
• Desenvolvimento de um sistema de analise morfologica de imagens baseado em grafos de vizinhanca
• Desenvolvimento de um sistema portátil e de baixo custo de estação de controle em terra para VANTs.
• DESENVOLVIMENTO DE UM SOFTWARE PARA CÁLCULO DO ÍNDICE DE PREÇOS AO CONSUMIDOR PARA A CIDADE DE CAMPO GRANDE - MS
• Desenvolvimento de uma Ferramenta de Identificação de Cruzeiros de Pesca e Análise Geoespacial para o Programa Nacional de Rastreamento de Embarcações Pesqueiras por Satélite (PREPS)
• Desenvolvimento de uma Metodologia Baseada em Matriz de Distâncias para a Verificação de Similaridades de Proteínas
• Desenvolvimento e implementação de uma descrição de dispositivos aberta e não-proprietária para equipamentos Foundation Fieldbus baseada em XML
• Desenvolvimento e Implementação do Software do Computador de Bordo do Míssil MAA-1
• Desenvolvimento Toolbox para Cálculo de Transferenciacde Calor em Multicamadas
• Design and implementation of an electronic nose system for real-time detection of marijuana
• DETECÇÃO DE IMPRESSÕES DIGITAIS FRAUDULENTAS UTILIZANDO PADRÕES MAPEADOS LOCALMENTE EM MULTIESCALA
• Detecção de Spam em Imagens Usando Redes Neurais Artificiais.
• Determinação de hemometabólitos a partir de sistema de rede neural artificial.
• Determinação de Pontos Fixos e Órbitas Periódicas em Sistemas Caóticos
• Development Length of Fluids Modelled by the gPTT Constitutive Differential Equation
• Diego de Souza Nicodemos
• Diego Cesar Florencio de Queiroz
• Diego Gervasio Frías Suárez
• Diego Nunes Brandão
• Dimas Gabriel
• Dimmy Karson Soares Magalhães
• Dinâmica da Plasticidade Sináptica em neurônios do Hipocampo durante ciclos de sono: um estudo computacional
• Diogo Tavares Robaina
• Discretização de Atributos Contínuos em Sistemas de Informação Utilizando Algoritmos Genéticos para a Aplicação da Teoria dos Conjuntos Aproximados
• Disparity Motion Estimation for Stereoscopic Processing
• Dissimilarity Functions Analysis based on Dynamical Clustering for Symbolic Data
• Dois enfoques para a resolução do problema de agrupamento
• Domínios Intervalares da Matemática Computacional
• Dorival Marcos Milani
• Douglas Aparecido Soares
• Douglas Camargo Foster
• e-rastrear - Caderno de campo
• e-rastrear - Caderno de pós-colheita
• Edgar Barbosa Lima
• Edgard Ubaldo Guillen Salas
• Edmar Hell Kampke
• Edmundo Grune de Souza e Silva
• Edson Chitz
• Eduarda Rodrigues Monteiro
• Eduardo dos Santos Pereira
• Eduardo Jabbur Machado
• Eduardo José Aguilar Alonso
• Eduardo Noronha de Andrade Freitas
• Eduardo Pretz
• Eduardo Silva Lira
• Eduardo Silva Palmeira
• Edvalter Souza Santos
• Efeitos da Mudanca de Passo Na Estabilidade de Metodos de Adams-Muulton- Nordsiech.
• Efeitos de Fratura para Visualização Não-Realística de Imagens
• Effects of multiple prepayments and green investment on an EPQ model
• Eleazar Gerardo Madriz Lozada
• Eliane Saliba Botta
• Elias Vidal Bezerra Junior
• Eloisa Marciana Kolberg Theisen
• Eloá Alano Damian
• Elvis Canteri de Andrade
• Em direção a uma representação para equações algébricas: uma álgebra equacional local.
• Emanuel Arnoni da Costa
• Emergência de Sincronicidade em uma Rede Auto-organizável de Neurônios Pulsantes: uso de algoritmos genéticos para a sintonia do modelo
• Emprego de Rede Neurais Artificias como Ferramenta Caótica para Previsão de Séries Não-Lineares
• Ensemble pruning via an integer programming approach with diversity constraints
• ENSINO DE MATEMÁTICA ATRAVÉS DA ROBÓTICA: Movimento do Braço Mecânico
• Ensino online em tempos de pandemia: a opinião de universitários quanto aos desafios encontrados
• Entropia aplicada ao reconhecimento de padrões em imagens
• Equações de Euler Elástica e da Curvatura no processo de inpainting
• Erica Marques da Silva Santos
• Erivaldo Vidal Junior
• Ernany Daniel de Carvalho Gonçalves
• Ernesto de Souza Massa Neto
• Ernesto Del Rosario Santibanez Gonzalez
• Escalonamento Ótimo de Um Sistema Flexível de Manufatura Com Controle Supervisório
• Eschema de diferenças finitas
• Esfhan Alam Kherani
• ESPECIFICACAO FORMAL DE SOFTWARE DE GRANDE PORTE: UM EXEMPLO REAL.
• Esporotricose: Aspectos zoonóticos e simulação da dispersão da doença em felinos domésticos pelo método de Monte Carlo.
• Esquemas Numéricos Eficientes e Fenomenologia para as Equações de Navier-Stokes
• Essays on OR in ALIO country members (part 1)
• Essays on OR in ALIO country members (part 2)
• Estabilidade de Certos Metodos Ciclicos do Tipo Adams.
• Estabilização da Equação de Bernoulli-Euler: Aspectos teóricos e computacionais
• Estimativa de Padrões Espaço-Temporais Utilizando Rede Neurais Artificiais do Tipo Perceptron de Múltiplas Camadas com Aplicações em Física Solar
• Estratégias Adaptativas para Formulações Mistas em Elementos Finitos Aplicadas a Modelos Reológicos Viscoelásticos e Modelos Lineares Incompressíveis
• Estratégias de Computação Paralela para a Restauração de Imagens como o Funcional de Regularização de Tikhonov
• Estratégias de Recomendação para Grupos baseadas em Filtragem Colaborativa
• ESTRATÉGIAS PARA ANÁLISE DO ERRO DE MEDIÇÃO EM MÁQUINAS DE MEDIÇÃO DE COORDENADAS
• ESTRUTURAS ESPECIAIS EM PROGRAMAÇÃO INTEIRA
• Estudo Acerca da Aplicação de Um Sistema de Alíquotas Socialmente Mais Justo para a Cobrança do IPTU
• Estudo Algoritmo para a Otimização do Plano de Tratamento da Radioterapia Conformal
• Estudo Comparativo de Algoritmos de Decodificação para Códigos de Goppa Aplicados no McEliece.
• Estudo Critico das técnicas de Medição Automáica do Intervalo QT do Eletrocardiograma
• ESTUDO DA CATEGORIA DOS ESPAÇOS COERENTES GERADOS POR CONJUNTOS BÁSICOS COM UMA APLICAÇÃO EM ANÁLISE NUMÉRICA
• Estudo da àrea de Estabilidade de Certos Métodos Cíclicos
• Estudo de fluxos numericos para modelos magneto-hidrodinamicos utilizando o codigo Flash
• Estudo de Sensores Multifuncionais Para Análise da Fragilidade eSeus Componentes em Idosos
• ESTUDO DE UM SISTEMA DE NÍVEL COM DOIS TANQUES INTERLIGADOS SUJEITO A PERTURBAÇÕES UTILIZANDO DESIGUALDADES MATRICIAIS LINEARES
• Estudo dos Espaços Coerentes do ponto de vista da Teoria dos Topos
• Estudo e análise de métodos de agrupamento para o treinamento de redes neurais de base radial em aplicações de identificação de sistemas não-lineares
• Estudo e Desenvolvimento de Ferramentas Híbridas para Problemas de Seqüenciamento e Roteamento de Recursos
• Estudo e implementação de métodos diretos para solução exata de sistemas lineares.
• Estudo e Implementação de um Sistema de Recomendação Colaborativa Baseado em Vizinhança com Aquisição Ativa de Preferências
• Estudo sobre o efeito da utilização de padrões tabuleiros na produtividade do equipamento de corte
• Estudo sobre resolucao de equacoes de coeficientes intervalares
• ESTUDO, ANÁLISE E VALIDAÇÃO DE ZEROS DE POLINÔMIOS
• Estudos sobre os métodos iterativos de Krylov para solução de sistemas de equações lineares
• Evandro Lopes de Oliveira
• Ewerton Rodrigues Andrade
• Exact algorithms for the capacitated vehicle routing problem
• Expansibilidade em Cálculos de Substituições Explícitas.
• Expansão de Redes Elétricas de Alta Tensão
• Exploratory multidimensional data visualization on the web
• Exploring fuzzy set consensus analysis in IoT resource ranking
• Exponential stabilization for carbon nanotubes modeled as Timoshenko beams with thermoelastic effects
• Extensão da formulação recursiva de Ortiz para h negativo
• Extensão Intervalar para as Variáveis Aleatórias com Distribuições Uniforme, Normal, Gama, Exponencial e Pareto
• Extração de Conhecimento com Hipercaixas Difusas.
• Fabiano Barbosa Mendes da Silva
• Fabiano do Prado Marques
• Fabiano Rodrigues Fernandes
• Fabio Andrijauskas
• Fabrício Gomes Vilasbôas
• Fabrício Lopes Sanchez
• Fausto Sampaio
• 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 Cristina do Carmo
• Fernando Alberto Marengo Rodriguez
• Fernando Henrique Castro
• Ferramenta Computacional para Apoio à Análise de Regressão de Dados.
• Filipe de Carvalho Nascimento
• Filtro de Kalman Paralelo: Aplicação Em Processamento de Imagem
• First-order methods for the convex hull membership problem
• Flavio Eduardo Frony Morgado
• flavio luis de mello
• Flávio Szenberg
• Formalização da lógica linear em Coq
• FORMALIZAÇÃO DA TRANSFORMAÇÃO DE MODELOS UTILIZANDO A LINGUAGEM Z
• Formulações de programação matemática e um algoritmo heurístico para o problema de localização de mamógrafos
• FRAGILIZAÇÃO DE ELETRODOS REVESTIDOS ESPECIAIS DO TIPO INOX : UMA ABORDAGEM UTILIZANDO INTELIGÊNCIA COMPUTACIONAL
• FRAMEWORK DATAFLOW PARA COMPUTAÇÃO PARALELA DE ALTO DESEMPENHO APLICADO A SISTEMAS LINEARES ESPARSOS
• Francisco Bruno Souza Oliveira
• Francisco de Assis Monteiro Freire
• Francisco de Assis Silva Oliveira
• Francisco Gêvane Muniz Cunha
• Francisco Itamarati Secolo Ganacim
• Francisco Martins Moreira
• Francisco Nogueira Calmon Sobral
• Frank Henry Acasiete Quispe
• Franklin Joffly Lima
• Fred Eduardo Revoredo Rabelo Ferreira
• FUAD GATTAZ SOBRINHO
• FUNDAMENTAÇÃO COMPUTACIONAL DA MATEMÁTICA INTERVALAR
• Fábio Alessandro Guerra
• Fábio César Donato Silva
• Fábio Dall Cortivo
• Fábio Felipe dos Santos
• Fábio Francisco da Costa Fontes
• Fábio Marin Preti
• Fábio Pessoa da Silva Nunes
• Fábio Rodrigues Silva
• Fágner Lemos de Santana
• Gabriela Eleutério Soares
• GAWPS: A MRST-based module for wellbore profiling and graphical analysis of flow units
• GEAN CARLOS LOPES DE SOUSA
• Generalizações do Conceito de Distância, i-Distâncias, Distâncias Intervalares e Topologia.
• Geraldo Francisco Donegá Zafalon
• Geraldo Gil Veiga
• Geraldo Gomes da Cruz Júnior
• Geraldo Valeriano Ribeiro
• Geração de Meios Porosos Fractais por meio da Equação de Kozeny-Carman Generalizada
• Geração de Tráfego e Medições em Ambiente ATM
• Gerenciamento Inteligente de Falhas Aplicado a Rede de Sensores Sem Fio com Integração à Internet das Coisas
• Gerson Couto de Oliveira
• Gerson Langie Barum
• Gesiel Rios Lopes
• GESTÃO DA TECNOLOGIA DA INFORMAÇÃO NA EDUCAÇÃO: O USO DOS JOGOS EDUCATIVOS DIGITAIS E OS IMPACTOS NA MOTIVAÇÃO E NO APRENDIZADO.
• Gilberto Augusto Amado Moreira
• Gilberto de Paiva
• Gilmar Pereira Duarte
• Gilmar Rosa
• Gilson Antônio Giraldi
• Giovane de Morais
• Giovane Quadrelli
• Giovani Parente Farias
• Giseli Aparecida Braz de Lima
• Giselle Paranhos de Andrade
• Gleison Guardia
• Gleyber Conceição Martuchele do Amaral
• Gonzalo Alberto Contreras Barandiaran
• Grafos aleatórios exponenciais
• Grandes Deformacoes de Menbranas Anulares Sob A Acao de Forca Axial e Momento Torsor.
• Graph-based adaptive simplicial-mesh refinement for finite volume discretizations
• GraphClustering
• GRASP E ILS aplicados ao problema de programação de tarefas em máquinas paralelas com penalidades por antecipação e atraso
• Gravitational Search Algorithm with Normalized Gravitational Constant
• Grazziela Patrocinio Figueredo
• Guides for CCS to UML-RT and UML-RT to CCS transformation
• Guilherme Bittencourt
• Guilherme de Oliveira Ferreira
• Guilherme Oliveira Chagas
• Guilherme Peixoto Andrade
• Guilherme Vieira Neto
• Gustavo Charles Peixoto de Oliveira
• Gustavo Fontoura de Souza
• Gustavo Luiz Sandri
• Gustavo Monti Rocha
• GUSTAVO ZAMBONIN
• Guy Barroso Silva
• Harki Tanaka
• Haydée Werneck Poubel
• HealthDrones - A Software Platform for Unmanned Vehicle Control and Trajectory Planning based on Euclidean Geometry
• Helder Conceição de Almeida
• Helio Aniano Ferreira Monteiro
• Heloisa Helena Müller
• Henrique Kosby Correa
• Henrique Schützer Del Nero
• Hernani Oliveira Miranda
• Heuristic approach applied to the optimum stratification problem
• Heurística construtiva para o empacotamento de elipses tangentes em um polígono de n lados
• Heurísticas de programação matemática para o problema de sequenciamento em máquinas paralelas
• Heurísticas mono- e multiobjetivo para o problema de cobertura e conectividade de redes de sensores sem fio planas
• Heurísticas para a geração de arquitetutas reconfiguráveis em arranjos bidimensionais
• HIPERTEXTO COMO FERRAMENTA DE APOIO NO PROCESSO DE ENSINO-APRENDIZAGEM
• Hugo Bertete-Aguirre
• Humberto Bachega Pinheiro
• Identificação de Sistemas Dinâmicos Finitos e Aplicações na Modelagem de Redes Gênicas.
• IDENTIFICAÇÃO DOS PADRÕES ESPECTRAIS DE FONEMAS DA LINGUA PORTUGUESA E SUA LOCALIZAÇÃO AUTOMÂTICA EM AMOSTRAS DE FALA
• Identificação Não Intrusiva de Cargas por Floresta Aleatória com Otimização Fogos de Artifício
• Igor Medeiros Vanderlei
• Igor Palmieri
• Igor Ruiz Gomes
• Image Data Compression Using Uneven Knots Selection
• Image Data Compression Using Uneven Knots Selection
• Impacto da ordenação de matrizes por nested dissection nos métodos de pontos interiores
• Impacto Socio-Econômico da Produção de Sementes de Feijão-Miúdo ( Vigna Unguiculata) no Município de São José do Norte, RS
• Implementação de código computacional em linguagem de programação de alto desempenho e massivamente paralelo com tecnologia CUDA-Fortran para simulação de métodos iterativos paralelizáveis.
• Implementação do Método CRISS-CROSS para Problemas de Programação Linear de Grande Porte
• Improved robust shortest paths by penalized investments
• Improving flood forecasting through feature selection by a genetic algorithm - experiments based on real data from an Amazon rainforest river
• Inexact Proximal Point Methods for Multiobjective Quasiconvex Minimization on Hadamard Manifolds
• Inferência de orientação de dados esparsos para reconstrução de superfícies
• Informação Heurística para Aumento da Velocidade de Convergência em Algoritmos ACO para Domínios Contínuos
• INFORMÁTICA E EDUCAÇÃO ESPECIAL: USO DE PROCESSAMENTO DE VOZ PARA DEFICIENTES AUDITIVOS
• Informática no Ensino da Matemática
• Ingrid Solange Sepúlveda Muñoz
• INSTABILIDADE E COMPLEXIDADE COMPUTACIONAL DA AVALIAÇÃO POLINOMIAL
• Integer and constraint programming approaches for providing optimality to the bandwidth multicoloring problem
• INTEGRE: Um Sistema Acoplado para o Cálculo de Integrais com Análise de Funções Numéricas.
• INTELIGÊNCIA COMPUTACIONAL APLICADA NA CLASSIFICAÇÃO DE MICROCALCIFICAÇÕES MAMÁRIAS.
• Inteligência de máquina : esboço de uma abordagem construtivista
• Interoperabilidade Logica atraves de Mapeamentos entre Instituicoes
• Interpretação de Algoritmos Quânticos no Modelo de Máquina Geométrica
• Intervalos Autovalidáveis para Métricas de Confiabilidade
• IntPy: Computação Científica Auto Validável em Python
• Introduzindo Nocões sobre Criptografia no Ensino de Jovens e Adultos: Relacionando Base Binária e Funções à Criptografia
• INTRODUÇÃO AOS ESPAÇOS QUASE-MÉTRICOS E APLICAÇÃO ÀS FUNÇÕES UTILIDADE EM TEORIA DA DECISÃO
• Inversão de Matrizes por Partição, Orientada para Micro-computadores
• Irama Santos da Silva
• Isaac de Lima Oliveira Filho
• Isaac Newton Lima da Silva
• Isabel Cristina Dias Alves Lisboa
• Itamar Iliuk
• Iterative Methods For Rank Deficient Least Squares Problems
• Ivan Rogério Diesel
• Ivan Xavier Araújo de Lima
• Ivana de Vasconcellos Latosinski
• Ivone Piedade Terra
• Jacob Daghlian
• JAIME WOJCIECHOWSKI
• Jair Abú Bechir Láscar Alarcón
• Jairo Panetta
• James Arthur Dean Wallace Anderson
• Janio Rosa da Silva
• Jaqueline Alvarenga Silveira
• JAVA-XSC: Uma Biblioteca JAVA para Computações Intervalares
• Jayme Assuncao Casimiro
• Jean Antonio Ribeiro
• Jean Robert Batana Pires Ferreira
• Jeancarlo Ribeiro
• Jeferson Silva Martins
• Jefferson Ricart Pezeta
• Jefferson Zanutto
• Jeroen Antonius Maria van de Graaf
• Jerusa Marchi
• Jessica da Silva Miranda
• JFloat: biblioteca de ponto flutuante para Java com arredondamento direcionado
• Joana Poppe Crivella
• Joao Fernando Diniz Falcão
• Joao Meidanis
• JOGO DE EMPRESAS - CARACTERIZAÇÃO E IMPLEMENTAÇÃO COMPUTACIONAL DE UM MODELO PARA O ENSINO DA LOGÍSTICA EMPRESARIAL
• Jogos Combinatórios e a Conjectura da Vizinhança
• Jon George Rokne
• Jonas de Miranda Gomes
• Jonata Cristian Wieczynski
• Jonatan Schroeder
• Jonathan Rosa Moreira
• Jonathas Luiz de Oliveira Bernal
• Jones Oliveira de Albuquerque
• Jorge Andrade Mangueira
• Jose Augusto de Carvalho Cunha
• Jose Dias dos Santos
• Jose Nelson Amaral
• Jose Ricardo de Almeida Torreao
• Jose Ricardo Sebastiao
• Joslaine Cristina Jeske de Freitas
• José Aelio Silveira Junior
• José Antonio dos Santos Junior
• José Claudio Vitorelli da Silva
• José Demisio Simões da Silva
• José Domingos Albuquerque Aguiar
• José Iesca Rodrigues
• JOSÉ LEONARDO ESTEVES DA SILVA
• José Matias Lemes Filho
• José Maurício Costa
• José Monteiro da Mata
• José Reginaldo Hughes Carvalho
• José Renato Garcia Braga
• José Ronaldo Pizani
• José Wilker de Lima Silva
• João Alexandre Bortoloti
• João Bosco Estevam
• João Carlos da Silva Freitas
• João Domingos Gomes da Silva Junior
• João Paulo Aragão Pereira
• João Victor de Freitas Ribeiro
• Juan Carlos Rodriguez Miranda
• Juan Diego Cardoso Brêttas
• Juliana Cestari Lacerda
• Juliana Martins do Nascimento
• Juliana Patrício de Souza
• Juliano Ratusznei
• Julio Cesar Latini Stutz
• Julio Cesar Momente
• Junior Barrera
• Jéssica Renata Nogueira
• Karisa Karla Silva
• Katherina Von Bulow
• Katia Mara França
• Kelly de Paula Cunha
• KENEDY LOPES NOGUEIRA
• Klaus Wehmuth,
• Kátia Cristina Altomare Silva
• La Forme Normale Symbolique
• Landry Pereira da Silva
• Lara Alves Cota
• Larissa Miguez da Silva
• Larry Tonny Efeson Alves de Almeida
• LAURO CÁSSIO MARTINS DE PAULA
• LeanCoR: a lean Connection-based DL Reasoner
• Leandro Gomes de Sousa
• Leda Mara Cadore
• Leon Ricardo Ururahy Manssur
• Leonardo Carlos da Cruz
• Leonardo Guimarães Miquelutti
• Leonardo Ramos Emmendorfer
• Leonardo Xavier Teixeira Cardoso
• Leopoldo Luis Cabo Penna Franca
• Lettiery D'Lamare Portela Procópio
• Lew Gordeev
• Li Kuan Ching
• Lidiane Visintin
• Ligianne Nascimento Barros
• Limites de seqüências de permutações de inteiros
• Limits and improvements on searching and optimization: from one dimensional problems to multi-objective optimization
• Linear and Semidefinite Programming Using a Technique from Interior Points and Feasible Directions
• Linearizações externas e pontos interiores em programação convexa
• Linéarisation et relaxation langrangienne pour problèmes quadratiques en variables binaires
• Livia Salgado Medeiros
• LOCALIZAÇÃO DE MAMÓGRAFOS: UM ESTUDO DE CASO PARA NOVOS INVESTIMENTOS EM RONDÔNIA
• Localização de Servidores e Projeto de Redes com Custos de Interdependência e Congestionamento
• Localização de Servidores e Projeto de Redes com Custos de Congestionamento e Interdependencia
• Localização de Zeros Reais de Polinômios Intervalares
• Logica Linear para Especificação de Sistemas Computacionais
• Luan Portella da Silva
• LUCAS LORENTZ LARA
• Lucas Middeldorf Rizzo
• Lucelene Lopes
• Luciana Alves da Silva
• Luciana Prado Mouta Pena
• Luciane Ferreira Alcoforado
• Luciano Aparecido Magrini
• Luciano Garim Garcia
• Luciano Gomes Ferreira
• Luciano Perdigão Cota
• Luciano Vargas Gonçalves
• LUIS AUGUSTO ANGELOTTI MEIRA
• Luis Eduardo Zambrano Fernandéz
• Luis Fernando Nunes Fernandez
• Luiz Amorim Carlos
• Luiz Antonio Alves de Oliveira
• Luiz Carlos Lemos Junior
• Luiz Cláudio Costa
• Luiz Eduardo Bertucinni Zagrtetti
• Luiz Eduardo Camargo Aranha Schiavo
• Luiz Flávio Felizardo de Morais
• Luiz Gonçalves Filho
• Luiz Gustavo Hoyer da Silva
• Luiz Henrique de Figueiredo
• Luiz Le Roy Hipólito de Jesus
• Luiz Otavio de Azevedo
• Lúcia Filomena de Almeida Guimarães
• Machine Learning na Auditoria de Contas médicas
• Magali Maria de Araújo Barroso
• Magda Leyser
• Manoel Agamemnon Lopes
• MAPAS AUTO-ORGANIZATIVOS E SUAS APLICAÇÕES
• MAPPING-TRIANGULATION INTERPOLATION OF SPARCE GRIDS: THE MaTISG ALGORITHM
• MARCA D'ÁGUA Digital: Uma Técnica para verificação deautenticidade ou proteção de direitos autorais
• Marcella Scoczynski Ribeiro Martins
• Marcelo Aroca Tomim
• Marcelo Eustáquio Soares de Lima Júnior
• Marcelo Ferreira
• Marcelo Ferreira Rego
• Marcelo Leme Mamud
• Marcelo Mazetto Moala
• Marcelo Oliveira da Silva
• Marcelo Rodrigues de Sousa
• Marcelo Santos Carielo
• Marcia Aparecida Zanoli Meira e Silva
• Marcia Carvalho de Almeida
• Marcilia Andrade Campos
• Marcio Costa Santos
• Marcio Emílio Bitencourt Araujo
• Marcio Lourival Xavier dos Santos
• Marcio Luiz Bunte de Carvalho
• Marcio Prudêncio Belleza
• Marco Antonio Torrez Rojas
• Marco Antônio Florenzano Mollinetti
• MARCO CÉSAR GOLDBARG
• Marco José dos Santos
• Marcos Ronaldo Melo Cavalheiro
• Marcus Vinicius Zavarez
• Maria Augusta Bernardo Marques de Mendonça
• Maria da Conceiçao de Oliveira Malaspina
• Maria da Paz Rodrigues Veras
• Maria de Lourdes Moreira
• Maria del Carmen Romero Fuster
• Maria Inês Soeltl Kitahara
• Maria Ângela Caldas Didier
• Mariana Alves Moura
• Mariana dos Santos de Oliveira
• Mariano Sergio Pacheco de Angelo
• Marina Ferreira de Freitas
• Marisa Atsuko Nitto
• Marisa Ortegoza da Cunha
• Martha Dais Ferreira
• Martha Regina Egea Kleine
• Mateus Mosca Viana
• Matheus Antunes de Paulo
• Matheus Gonçalves Silqueira
• Maurício Miguel Martínez Martínez
• Max Vieira Santiago
• Mechanistic modeling and CFD simulation of gas chromatography to predict separation processes
• Medidas Relacionadas e Certos Produtos Escalares de Sobolev
• Meta-heurísticas Aplicadas ao Problema de Sequenciamento de Cirúrgicas Eletivas
• Metaheurísticas aplicadas ao problema de localização de escolas no município de São Jeronimo da Serra - PR
• Metaheurísticas para o Problema de Sequenciamento em Projetos com Restrição em Recursos e Múltiplos Modos de Execução
• METHODES DESCRIPTIVES EN ANALYSE DE DONNEES SYMBOLIQUES
• Metodologia Baseada em Mineração de Dados para Apoio à Análise do Discurso de Telejornais
• METODOS CICLOS COM EXTENSA REGIAO DE ESTABILIDADE.
• Michel Franco Galvão Pereira
• Michelle Crescêncio de Miranda
• Migração 3-D Pré-Empilhamento no Domínio das Ondas Planas
• Miguel Adrian Carretero
• Miguel Lima Mendes
• Mikhail Dimitrov Mikhailov
• Mineração de Dados aplicada à Tuberculose nos municípios do estado de São Paulo
• Mineração de dados de padrões climáticos sazonais usando a lógica paraconsistente
• Mineração de preferências condicionais
• Minimização de funções decomponíveis em curvas em U definidas sobre cadeias de posets -- algoritmos e aplicações
• Miriam Oliveira dos Santos
• Mixed integer nonlinear optimization models for the Euclidean Steiner tree problem in $$mathbb {R}^d$$
• Mobile Robot Simultaneous Localization and Mapping based on Maximum Uncertainty Zones Navigation
• MODELAGEM BIOLÓGICA
• MODELAGEM COMPUTACIONAL APLICADA À EXTRAÇÃO DE CARACTERÍSTICAS GEOMÉTRICAS IRREGULARES EM PROCESSOS MULTIOBJETIVOS
• Modelagem computacional e refinamento adaptativo de malha aplicados à simulação numérica de um fenômeno termoacústico
• Modelagem da dinâmica de armazenamento hormonal em uma célula endócrina
• MODELAGEM DA EQUAÇÃO DA ONDA ACÚSTICA APLICADA AO IMAGEAMENTO DE ESTRUTURAS GEOLÓGICAS
• Modelagem da Luminosidade no Interior de uma Cultura de Gramíneas
• Modelagem da produção de biomassa da Haematococcus pluvialis.
• Modelagem da retenção de água em solos sob clima subtropical usando funções de pedotrasnferência e redes neurais artificiais
• Modelagem de Bipolos Lineares No Domínio do Tempo Baseadas em Medidas no Domínio da Freqüência
• Modelagem de Epidemias Através de Modelos Baseados em Individuos
• Modelagem de Risco para Cálculo de Reserva de Contigência e Reserva Gerencial em Projetos de Software
• MODELAGEM DIRETA 3D DE DADOS DE POLARIZAÇÃO INDUZIDA UTILIZANDO PROCESSAMENTO PARALELO
• Modelagem do Controle Gênico do Ciclo Celular por Redes Genéticas Probabilísticas.
• Modelagem do Fenômeno termopiezoelétrico: Analise Assintótica e Simulação Numérica
• Modelagem e Simulação baseada em Agentes aplicados ao processo de tomada de decisão em Centrais de Teleatendimentos
• Modelagem e Simulação da quantificação do Dióxido de Carbono neutralizado por plantios comerciais de eucalipto
• Modelagem e simulação do escoamento imiscível em meios porosos fractais descritos pela equação de Kozeny-Carman Generalizada
• Modelagem em programação linear para resolução de jogos fuzzy intervalares
• Modelagem Matematica do Equilibrio Quimico de Complexacao
• Modelagem Matematica na Agricultura
• Modelagem matemática e computacional para estimativa da evapotranspiração de referência para o município de Botucatu/SP
• Modelling and solving the perfect edge domination problem
• Modelo de otimização para Anéis de Fibra Óptica tolerantes à falha em uma Rede de Telecomunicações
• Modelo de Predição Financeira utilizando wavelets e redes neurais
• Modelo de Reconstrução de Imagens Saturadas e Subexpostas de Superfícies Metálicas Obtidas com Iluminação Não-Controlada Baseado em Aprendizagem Profunda com Foco em Sistemas de Medição Baseada em Vídeo
• Modelo e Método de Resolução para Rede de Alta Velocidade, Uma Abordagem do Problema do Caixeiro Viajante com Coleta de Prêmios.
• Modelo e simulação multiagentes de uma população de mosquitos Aedes aegypti
• Modelo Longitudinal Aplicado à Perda Auditiva Induzida pelo Ruído
• Modelo neural hierárquico
• Modelo neuro-fuzzy para predição do aporte de energia de diferentes dosagens de concreto em edificações
• Modelos da Expansão da Geração a longo Prazo Considerando Incertezas e Garantia de Suprimento
• Modelos de Controle Ótimo do Scheduling de Petróleo e Derivados em Portos
• Modelos de Previsão: Viabilidade de Aplicação a Problemas de Controle de Estoques
• Modelos e Algoritmos para Problemas de Atribuição de Capacidade e Roteamento em Redes de Comunicação
• Modelos Escondidos de Markov para Classificação de Proteínas
• Modelos matemáticos de propagação de epidemias baseados em redes sociais e detecção de clusters de doenças
• Modelos matemáticos e algoritmos para problemas combinatórios.
• Modulações QAMS e twisted sobre superfícies, uma aplicação à TV Digital
• MOFEU - Um Modelo Formal de Especificação Universal para Redes Neurais
• Multi-objective microgrid storage planning problem using plug-in electric vehicles
• Multi-period hub location problem with serial demands: A case study of humanitarian aids distribution in Lebanon
• Murillo de Barros Costa Rêgo Amazonas Pontual
• Máquina de Vetor de Suporte Intervalar
• Mário Gomes de Melo
• Mélanie Ponchie
• Mémoir sur la prévision météorologique automatisée
• Método bidimensional de atenuação de múltiplas de superfície no domínio das ondas planas através de um filtro modelador
• Método da Oclusão Implícita e suas aplicações em visualização
• Método de Compressão e Descompressão de ImagensDICOM Utilizando Duplo Cone
• Método de pontos interiores aplicado ao fluxo de potência ótimo utilizando coordendas cartesianas
• Método para Projeto de Aplicativos centrados em BDOO utilizando abstração de Generalização
• Método para representação de conceitos por meio de técnicas de análise de textos em sequencia temporal
• Método para Sequenciamento de Tarefas em Sistemas Flexíveis de Manufatura Baseado em Metaheurísticas e Controle Supervisório
• Métodode construção de Objetos de Aprendizagem com aplicação em Métodos Numéricos
• Métodos Computacionais Aplicados a Problemas de Localização de Centros de Produção e Distribuição
• Métodos Computacionais para a Determinação de Raízes Complexas de Equações Polinomiais
• MÉTODOS COMPUTACIONAIS PARA O CÁLCULO DE RAÍZES REAIS DE EQUAÇÕES POLINOMIAIS
• Métodos de Cluster para Intervalos usando Algoritmos do tipo Nuvens Dinâmicas
• Métodos de Elementos Finitos para solução de problemas lineares de valores a dois pontos de equações diferenciais ordinárias de 4ª ordem
• Métodos de Feixes Inexatos Aplicados à Programação Estocástica
• Métodos de pontos interiores aplicados ao fluxo de carga ótimo utilizando coordenadas cartesianas
• Métodos estocásticos de otimização global para empacotar círculos em elipses
• MÉTODOS INTERVALARES PARA A RESOLUÇÃO DE SISTEMAS DE EQUAÇÕES LINEARES
• MÉTODOS META-HEURÍSTICOS PARA A RESOLUÇÃO DO PROBLEMA DE SEQUENCIAMENTO DE ORDENS DE MANUTENÇÃO PREVENTIVA DE LONGO PRAZO
• Métodos para Problemas de Seleçãoo de Cadeias de Caracteres
• Métodos para redução integrada do consumo de energia e do atraso na entrega de dados em Redes de Sensores Sem Fio
• Nagibe Anderson da Silva Borba
• Natalia do Valle Gouvea
• Nelson Machado Barbosa
• Nestor Walter Trepode
• New proposals for modelling and solving the problem of covering solids using spheres of different radii
• Newton Ribeiro dos Santos
• Neyde Maria Zambelli Martins Pereira
• Nicole Amanda Rozin Hervis
• Nicolás Zumelzu
• Nilzair Barreto Agostinho
• NINNACLUSTER
• Non-Intrusive Identification of Loads by Random Forest and Fireworks Optimization
• Norbert Penner
• Norminda Luiza Oliveira Bodart
• Nova Abordagem para o problema de otimização em redes de filas finitas
• Novos algoritmos heurísticos para o problema de sequenciamento em máquinas paralelas idênticas no contexto de desenvolvimento sustentável
• Novos algoritmos para o problema de sequenciamento de tarefas em máquinas paralelas não relacionadas
• Noção intuitiva de conjuntos: um ambiente tecnológico de ajuda ao estudo na transição entre o ensino médio e o superior para um curso de tecnologia da informação.
• Numerical methods for a problem of thermal diffusion in elastic body with moving boundary
• Não sei
• Nícolas Matheus da Fonseca Tinoco de Souza Araújo
• Núcleo de Aritmética de Alta Exatidão da Biblioteca Intervalar Libavi.A
• Números dinâmicos: Uma Abordagem Computacional Orientada a Objetos com Implementação na Linguagem JAVA
• NÚMEROS NATURAIS PARCIAIS
• O EMPREGO DA ANÁLISE MULTI-MODOS NA CLASSIFICAÇÃO DE CONTATOS SONAR PASSIVO.
• O método do Gradient Sampling com comprimento de passo limitado aplicado ao problema de determinação das condições de equilíbrio operacionais de sistemas dinâmicos
• O Método Element-Free Galerkin: uma abordagem interpolante aplicada ao estudo de Campos Eletromagnéticos
• O problema da cobertura máxima por círculos numa região plana: Uma abordagem heurística aplicada à telefonia celular.
• O problema da confecção da escala de trabalho para os profissionais de enfermagem no Brasil
• O Problema de Escalonamento com Restrições de Mão-de-Obra
• O Problema de Aproximação Linear no L1 e Extensões
• O problema de corte de estoque com aproveitamento de sobras : um estudo de comparação de diferentes modelos matemáticos e heurísticas de resolução
• O problema de seqüenciamento de padrões para a minimização do número máximo de pilhas abertas em ambientes de cortes industriais.
• O Problema do Caixeiro Alugador: Um Estudo Algorítmico
• O Problema do Horário na Escola de Segundo Grau
• O Processo de Discretização do Raciocínio Matemático na Tradução para o Raciocínio Computacional: Um Estudo de Caso no Ensino/Aprendizagem de Algoritmos
• O USO DA LINGUAGEM DE PROGRAMAÇÃO DE COMPUTADORES NO ENSINO DE MATEMÁTICA: ALTERNATIVA METODOLOGICA PARA UMA INTEGRAÇÃO DISCIPLINAR
• O USO DA PLANILHA ELETRÔNICA CALC NO ENSINO DE MATEMÁTICA NO PRIMEIRO ANO DO ENSINO MÉDIO VIÇOSA MINAS GERAIS - BRASIL 2013
• O Uso da Programação Lógica por Restrições no Problema de Escalonamento de Tarefas com Restrições de Recursos: uma Aplicação em Manutenção Industrial
• On Computing with Some Convex Relaxations for the Maximum-Entropy Sampling Problem
• On distance graph coloring problems
• On Fuzzy Ideals and Fuzzy Filters of Fuzzy Lattices
• On the randomness of Rainbow signatures
• Operador para distribuição de soluções para algoritmos evolutivos via adaptação da matriz de covariância
• Operadores θ ? Monótonos multivaluados em espacios de Banach Reflexivos
• Operadores de Busca Local Baseada em Aproximação Linear-Quadrática para Otimização de Funções Ruidosas
• Operadores geométricos para otimização dinâmica com aplicação ao problema de cobertura e conectividade em redes de sensores sem fio não-hierárquicas
• Operações sobre coleções de intervalos e suas aplicações a programação automática de máquinas morfológicas
• Optimal Black-Box Sequential Searching
• Optimal robust algorithms for processing the measurements results in case of a priori uncertainty
• Optimizing concurrency under Scheduling by Edge Reversal
• Ordenação de sequências finitas por reversões usando conjugações em grupos de permutações
• ORGMATURITY-TOOL: Ferramenta Fuzzy para Avaliação de Maturidade Organizacional.
• Orientações em Grafos Circulares e suas Aplicações
• Orlando Fonseca Guilarte
• Oscar Igor Robles Palacios
• OSCAR IVAN PALMA PACHECO
• Oscar Luiz Teixeira de Rezende
• Osmar Fernandes de Oliveira Júnior
• Osvaldo Sangiorgi
• Otimizacao da forma geometrica de estruturas utilizando o método dos elementos de contorno
• Otimizador Multiobjetivo Baseado em Enxame de Partículas Utilizando Fator de Diversidade
• Otimização de Braquiterapia de Alta Dose com Algoritmo Transgenético
• Otimização de portfólios com estratégias de Rastreamento de Índice Aprimorado e Paridade de Risco com Esparsidade
• Otimização e Modelagem do Planejamento de Produção de Leite usando Programação Linear: Métodos de Pontos Interiores
• Otimização em Meteorologia: cálculo das perturbações condicionais não-lineares ótimas
• Otimização MatemáticA sob Condições de Incerteza em Unidades de Produção Agropecuária
• OTIMIZAÇÕES MÚLTIPLAS: UMA APLICAÇÃO À QUÍMICA
• Otton Teixeira da Silveira Filho
• Overview on Binary Optimisation using Swarm-inspired Algorithms
• Pablo Andres Rey
• Pablo Falco Lopes
• Pablo Ilha Vaz
• Padrões e pseudo-aleatoriedade usando sistemas complexos
• Padrões e pseudoaleatoriedade usando sistemas complexos
• Paralelizando a Fase de Roteamento de Circuitos Baseados em FPGAS
• Paralização do Algoritmo de Geração de Redes Aleatórias Contínuas de Carbono por Simulated Annealing
• Parallel Self-Verified Solver for Dense Linear Systems
• Particionamento de Domínio e Balanceamento de Carga no Modelo HIDRA
• Particionando Um Retângulo Com Pontos No Interior: Formulações e Soluções Exatas Usando Programação Linear Inteira
• Patricia Reynoso Quispe
• Paulo Abner Aurelio Mesquita
• Paulo Cezar Pinto Carvalho
• Paulo de Tarso Gomide Castro Silva
• Paulo Henrique da Silva Vasconcellos Dias
• Paulo Martinelli
• Paulo Ricardo Zambelli Taveira
• Paulo Roberto Madruga Duarte
• Paulo Sérgio Marques dos Santos
• Paulo Vitoriano Dantas Pereira
• Pedro Alonso Jordá
• Pedro Fernandes Junior
• Pedro Henrique Borges de Melo
• Pedro Roberto Grosso
• Pedro Senna de Campos
• Performance comparison of non-adaptive and adaptive optimization algorithms for artificial neural network training applied to damage diagnosis in civil structures
• PHYSI-ASSESSMENT: uma ferramenta para avaliação automatizada de expressões matemáticas a distância.
• Physically Based Animation on GPUs
• Planejamento da produção e mistura de carvão mineral: programação matemática e estudo de caso
• Planejamento de ordens de manutenção preventiva por meio de simheurística
• Planejamento de Topologia Virtual com Combinação de Tráfegos em Redes Óticas Multiplexadas por Divisão de Comprimento de Onda
• Planejamento de trajetórias com restrições cinemático-dinâmicas e incerteza do ambiente para múltiplos agentes de forma centralizada em ambiente tridimensional
• Planejamento Multiobjetivo de Redes Locais sem Fio Indoor Utilizando Algoritmos Híbridos
• Planejamento operacional de lavra: um estudo de caso para as minas de Capão Xavier e Mar Azul
• Population and Spatial Dynamics Forecasts from Ecophysiological Individual-Based Models for Aedes
• Population growth of the golden mussel (L. fortunei) in hydroelectric power plants: a study via mathematical and computational modeling
• Porthos Ribeiro de Albuquerque Motta
• Precisão de Simulações para Solução de Modelos Estocásticos
• Precondicionador multiescala aplicado à geomecânica
• Preconditioner For Least Squares Problems
• PREDITORES: EXPERIENCIAS PARA OBTENCAO DE MELHORES FORMULAS.
• Previsão de Séries Financeiras utilizando Métodos de Clusterizacão e Máquinas de Vetor de Suporte.
• Priscila Machado Vieira Lima
• Probabilidades Autovalidáveis para as Variáveis Aleatórias Exponencial, Normal e Uniforme.
• Probabilidades Difusas em Jogos Bayesianos
• Problema de balanceamento de linhas de produção e integração de trabalhadores
• Problema de Corte e Empacotamento: uma abordagem em Grafo E/OU
• Problema de corte guilhotinado não-estagiado e irrestrito
• Problema de planejamento de viagens no transporte coletivo
• Problema de Riemann para Equações de Águas Rasas
• Problemas de localizaáo dinámica nao-capacitados:modelos e Algoritmos
• Problemas estruturais e numéricos na teoria de Ramsey
• Procedimento de Ajuste de Parâmetros de Redes RBF via PSO.
• Prof. Dr. Demi Getschko
• Prof. Dr. Luiz Paulo Luna de Oliveira
• Programa Computacional para Análise de Faturamento do Consumo de Energia Elétrica através do K-Hiperbolóide de Carga e Potência em Empresas Frigoríficas Abetedoras de Bovinos
• Programação automatica de maquinas morfologicas binarias baseada em aprendizado PAC
• Programação de horários em escolas: uma aproximação por metaheurísticas
• Programação matemática aplicada ao problema de clusterização com aplicação em engenharia de software
• Programação Matemática para Gestão e Análise Financeira do Fluxo de Caixa: Integração dos Modelos de Administração de Caixa e Fluxos em Redes em um Ambiente Computacional
• Programação Quadrática Aplicada à Análise de Rentabilidade e Risco na Agricultura
• PROJETO DE INTERFACES GRÁFICAS PARA O ENSINO DE DEFICIENTES AUDITIVOS
• Projeção de um ponto sobre um hiperplano do Rn+: complexidade numérica e implementação.
• PROPOSTA DE UMA PLATAFORMA DE IMAGEAMENTO MICROSCOÓPICO PORTAÁTIL BASEADA EM HOLOGRAFIA DIGITAL INLINE
• Proposta de Um Processo Ágil Aplicado ao Desenvolvimento de Software Científico
• Proteção de dados pessoais em uma rede de computadores
• Protocolos Seguros entre Dois Participantes para Álgebra Linear e Estatística
• Push-forward method for piecewise deterministic biochemical simulations
• QUALIDADE DOS EMPREENDIMENTOS HABITACIONAIS DO MUNICIPIO DO RIO DE JANEIRO
• Quantitative Analysis Powered by Naïve Bayes Classifier Algorithm to Data-Related Publications Social-Scientific Network
• Quimico Iamamoto Pacheco
• Rafael Alves Bonfim de Queiroz
• Raimundo Claudio da Silva Vasconcelos
• Ramon dos Reis Fontes
• Raphael Pereira Cordeiro
• Raphael Soares de Moraes
• Real-time detection of planar regions in unorganized point clouds
• REALIDADE AUMENTADA COMO APOIO AO ENSINO: ESTUDO DE CASO NO USO DA REALIDADE AUMENTADA PELOS PROFESSORES NAS ESCOLAS MUNICIPAIS DE ENSINO FUNDAMENTAL DE GOIATUBA NO ESTADO DE GOIÁS.
• Reconhecimento de Face via PCA : Análise de Performance
• Reconhecimento de Nódulos Pulmonares Utilizando a Transformada de Hough e Textura,
• Reconhecimento de padrões multi-valorados por redes neurais caóticas
• Reconhecimento de Padrões para a Previsão de Séries Temporais da Dinâmica de Voo de um Helicóptero
• Reconhecimento de padrões utilizando o teorema do eixo de separação e redes neurais artificiais.
• Reconhecimento polinomial de álgebras cluster de tipo finito
• Reconstructing Three Decades of Land Use and Land Cover Changes in Brazilian Biomes with Landsat Archive and Earth Engine
• RECONSTRUCTION OF NON-SMOOTH SOLUTIONS OF ILL-POSED GEOPHYSICAL INVERSE PROBLEMS
• Reconstrução a Partir de Nuvem de Pontos com a Utilização de Funções de Morse Discretas
• Reconstrução de Propriedades Óticas Inerentes e Bioluminescência em Águas Naturais
• Reconstrução Facial Tridimensional por Malha Poligonal em Teleconferências com Ponto de Visão Livre.
• REDEFINIÇÃO DE EXPRESSÕES EXATAS EM C-XSC
• Redes Neurais Artificiais para a Previsão de Séries Temporais
• Redes neurais artificiais: ideias básicas no ensino médio
• REDES NEURAIS CONVOLUCIONAIS E AMPLIAÇÃO DE DADOS PARA DETECÇÃO DE ANTRACNOSE EM FOLHAS DE FEIJOEIRO
• Reduções de largura de banda e de profile de matrizes por mapa auto-organizável
• Refinamento de malhas isotrópicas e anisotrópicas e simplificação de malhas isotrópicas
• Regina Célia Paula Leal-Toledo
• Regina Darck Cançado
• Reginaldo Inojosa da Silva Filho
• Reginaldo Rideaki Kamiya
• Registro Geométrico e Radiométrico Automático de Imagens Landsat-TM na Amazônia, pela Maximização da Informação Mútua
• Relations on Finite States Machines
• RELAXAÇÃO LAGRANGEANA APLICADA A UM SISTEMA DE TELEFONIA MÓVEL
• Relaxação via Barreira Logarítmica Modificada, Aplicada ao Problema de Fluxo de Potência Ótimo CC com Sobrecargas.
• RENAN BRITO CANO BUTKERAITES
• Renata Gomes Wotter
• Renata Hax Sander Reiser
• Renata Maria Cardoso Rodrigues de Souza
• Renata Passos Machado Vieira
• Renato Aurélio Sales Nascimento
• Renato Ferreira Carr
• Representação geométrica de intervalos
• Research on the Discontinuous Galerkin Methods for Some Nonlinear Diffusion Equations
• Resolucao de Sistemas Lineares de Grande Porte Utilizando Processamento Paralelo
• Resolução Numérica das Equações de Navier-Stokes Incompressíveis via Elementos Finitos com Aceleração pelas Técnicas Multigrid
• RESONA - Analisador de Espectros de Ressonância Magnética Detectada Eletricamente (EDMR)
• Restauração de Redes Elétricas Inteligentes com Algoritmo de Otimização por Cultura de Bactérias
• Retoque Digital Via Linhas de Nível
• Ricardo Alexssander Soares de Souza
• Ricardo Cirino de Lima
• Ricardo Reis Pereira
• Ricardo Rodrigues Tudela
• Ricardo Ronzani Hoffmann
• Ricardo Silveira Sousa
• Ricardo Wagner de Araujo
• Rigorous enclosures of solutions of Neumann boundary value problems
• Rildenir Ribeiro Silva
• RNS processor using moduli sets of the form 2n±1$$ {2}^npm 1 $$
• Roberto Souza Pereira
• Roberto Cavalcante dos Santos
• Roberto Gomes Ribeiro
• Roberto Hiroshi Higa
• Roberto Luís Dambros
• Roberto Rodrigues Cardoso
• Roberto Silva Netto
• Roberto Velasco Kopp Junior
• Roberto Vitoriano Perianhes
• Rodolfo Antonio Costa
• Rodrigo Costa Fernandes
• Rodrigo da Rosa
• Rodrigo Luiz Mendes Mota
• Rogério Albertoni Miranda
• Rogério Amaral Bonatti
• Rogério Campos de Oliveira
• Rogério Rodrigues de Vargas
• Ronald Ramos Torres
• Ronaldo Alves de Abreu
• RONALDO GUIMARAES CORREA
• Ronan Mendonça Amorim
• Rongpei Zhang
• Rosangela Kronig
• Rosilene Abreu Portella Corrêa
• Rubens Lopes de Oliveira
• Rute Quelvia de Faria
• Samuel Alves Pereira
• Samuel Souza Brito
• Sanderson Lincohn Gonzaga de Oliveira
• Sandra Aparecida Sandri
• SaPHIRE - Um sistema de prototipação em hardware/software reconfigurável
• Segmentacao de imagens por tecnicas da morfologia matematica
• Selecionador de Características para Classificação de Sinais de EEG e Construção de Interfaces Cérebro-Máquina
• SELEÇÃO DE ATRIBUTOS EM IMAGENS COLETADAS SOB CONDIÇÕES DE ILUMINAÇÃO NÃO CONTROLADA E SUA INFLUÊNCIA NO DESEMPENHO DE CLASSIFICADORES NAIVE BAYES PARA IDENTIFICAÇÃO DE OBJETOS EM ESTUFAS AGRÍCOLAS
• Seleção e Carregamento de Máquinas
• sem dissertação
• Sentimentalista: Um framework para análise de sentimentos baseado em processamento de linguagem natural.
• Severino Luiz Guimaraes Dutra
• Short-term planning of a work shift for open-pit mines: A case study
• Sibelius Lellis Vieira
• Sidnei da Fonseca Pereira Junior
• Silvana Bocanegra
• Silvana de Andrade e Silva
• Simplificação de Superfícies Implicitas Não-Compactas com Preservação de Topologia
• Simulação Computacional em Tempo Real de Fluidos Utilizando o Método SPH em Ambientes Heterogêneo CPU/GPU
• Simulação de Campos Ultra-sônicos Gerados por Transdutores com Geometria Retangular
• Simulação e Busca Automatizada de Arcos Gravitacionais.
• Simulação multiagente de uma economia do insumo-produto e de políticas de seleção de fornecedor.
• SIMULAÇÃO NUMÉRICA APLICADA AO CORTE BASAL DOS COLMOS DE CANA-DE-AÇÚCAR
• Simulação Tridimensional do Processo de Acomodação do Olho Humano
• SIMULAÇÃO, OTIMIZAÇÃO E GERENCIAMENTO DE SEMÁFOROS INTELIGENTES
• Simulações de problemas inversos com aplicações em engenharia nuclear usando técnicas de transporte de partículas neutras monoenergéticas na formulação unidimensional de ordenadas discretas
• Sirley Ambrosia Vitorio Addão
• Sistema de Informação sobre o Itinerário do Transporte Urbano na Região Central de Belo Horizonte.
• SISTEMA DE INSPEÇÃO VISUAL AUTOMÁTICA APLICADO AO CONTROLE DE QUALIDADE DE OVOS EM LINHAS DE PRODUÇÃO
• Sistema de simulação de impactos ambientais baseado em agentes
• Sistema de visao 3D com uma unica camera (Systeme de vision 3D a l'aide d'une seule camera)
• Sistema de Visão Computacional Embarcado para Identificação de Placas de Trânsito.
• Sistema web e mobile de estimativa de evapotranspiração de referência utilizando redes neurais artifficiais
• Sistemas de Classificação Baseados em Regras Fuzzy: Generalizações da Integral de Choquet.
• Sistemas de Controle de Estoques - SICE.
• Sistemas de informação e avaliação de desempenho hospitalar : a integração e interoperabilidade entre fontes de dados hospitalares
• Sobre a Implementação de Métodos de Pontos Interiores para Programação Linear
• Sobre Emparelhamento Maximal Mínimo em Certas Classes de Grafos.
• SOFTWARE NUMÉRICO: APLICATIVO E INSTRUCIONAL
• SOLUCAO NUMERICA DE SISTEMAS DE GRANDE PORTE, USANDO METODO INTERATIVO
• Solution Algorithms for Minimizing the Total Tardiness with Budgeted Processing Time Uncertainty
• Solution Methods applied to non-cyclic physician rostering problem with fairness
• Solução de Equações Intervalares
• Solução de Sistemas Lineares de Grande Porte com Múltiplos Lados Direitos
• Soluções numéricas de equações diferenciais parciais com discretização por volumes finitos e malhas refinadas adaptativamente e móveis
• Solving NP-Complete Akari games with deep learning
• Speech Signal Cepstral Analysis in different wavelet families
• Statistical and Deep Learning Algorithms for Annotating and Parsing Clothing Items in Fashion Photographs
• Structures de Donnees Recursives: Application a la Reconnaissance des Formes. These 3ème Cycle en Mathematiques, mention Informatique
• Submodularidade em Otimização Combinatória
• Susana Scheimberg de Makler
• Sylvia Emmanuelle Castelo Branco de Holanda Victor
• Synchronization In Oscillator Networks And Applications In Energy Transmission Networks
• Sébastien Roland Marie Joseph Rondineau
• Sérgio Ricardo Silva Magalhães
• Tamara Angélica Baldo
• Tan-G class of trigonometric distributions and its applications
• Technical Note-Masking Anstreicher?s linx Bound for Improved Entropy Bounds
• Tempos de primeira passagem para caminhadas aleatórias em redes complexas.
• Thales de Oliveira Gonçalves
• Thales Luis Rodrigues Sabino
• The double traveling salesman problem with partial last-in-first-out loading constraints
• The Epidemics of Programming Language Adoption
• THE EQUIPARTITION PROBLEM: OPTIMAL SOLUTIONS, EXTENSIONS AND APPLICATIONS
• The History of Writing Reflects the Effects of Education on Discourse Structure: Implications for Literacy, Orality, Psychosis and the Axial Age
• The hyperbolic augmented Lagrangian algorithm
• The NN-DM Method ? An Artificial Neural Network Model for Decision-Maker?s Preferences
• Theldo Cruz Franqueira
• Therezinha Souza da Costa
• Thermoelectric generation with reduced pollutants made possible by bio-inspired computing
• Thiago Braga Carneiro
• Thiago Broerman Cazes
• Thiago Madureira Braga
• Thiago Nascimento Rodrigues
• Thársis Tuani Pinto Souza
• Tiago Buarque Assunção de Carvalho
• Tiago da Cruz Asmus
• Tiago de Souza Sotana
• Tiago Etiene Queiroz
• Tiago Martinuzzi Buriol
• Tiago Norbiato dos Santos
• Tiago Rocha Almeida de Araújo
• Tiago Souza Azevedo
• Tiarajú Asmuz Divério
• Tito Ângelo Lobão Cruz
• Towards mathematical foundations of information retrieval with application to fault detection in aerospace structures
• Transformando dados empresariais em informações estratégicas em ambiente universitário - Ferramentas para implementação
• Traçado de raios de superfícies implícitas com aritmética afim
• Três Problemas em Complementariedade e Programação Matemática
• Técnica de programação semidefinida por arco viável e aplicação à maximização da frequência natural de estruturas mecânicas
• Técnicas de Mineração de Dados aplicado na Universidade Federal Rural do Semi-Árido (UFERSA) Campus Angicos
• Técnicas Matemático-Computacionais para o Tratamento de Incertezas Aplicadas ao Problema do Fluxo de Potência em Sistemas de Transmissão de Energia Elétrica
• Túlio Philipe Ferreira e Vieira
• Um algoritmo de alta precisão para a termoelasticidade linear e sua implementação em paralelo
• Um algoritmo distribuído para resolução do problema de geração de estruturas de coalizão com presença de externalidades
• Um Algoritmo Híbrido para Problemas de Rotemamento de Veículos Estático e Dinâmico com Janela de Tempo
• Um algoritmo híbrido para resolução de problemas binários.
• Um Algoritmo Linear para o Cálculo de Algumas Funções de Distância entre Polígonos Convexos
• Um algoritmo para testar a planaridade de grafos
• Um Calculador Intervalar em Java
• Um enfoque para o problema de recobrimento de sólidos por esferas de diâmetros diferentes
• Um estudo sobre a resolução de sistemas não lineares
• Um gerador automático de Layout personalizado para processos CMOS
• Um gerador de células de altura padrão para projeto de circuitos integrados
• Um Modelo de Agentes BDI-Fuzzy para Trocas de Serviços Não-Econômicos com Base na Teoria das Trocas Sociais
• Um modelo de localização baseado na metodologia AHP para fornecedores de autopeças do setor automotivo no Estado da Bahia
• Um Modelo de Redes Bayesianas Aplicado a Sistemas de Realidade Aumentada.
• Um Modelo Evolucionário Multiobjetivo para Exploração do Espaço de Projeto em Sistemas Embarcados
• Um modelo Fuzzy para a determinação do risco em avaliação de cursos de graduação
• Um Modelo Orientado ao Negócio para Suporte à Tomada de Decisão Multicritério no Gerenciamento de Capacidade em Provedores IaaS
• Um modelo reforçado e heurísticas relax-and-fix e VNS para o Problema da Árvore Geradora Mínima Capacitada em Níveis.
• UM MODELO SEMÂNTICO PARA CONCORRÊNCIA E NÃO-DETERMINISMO UTILIZANDO COMO ESTRUTURA OS ESPAÇOS COERENTES
• Um Método de Engenharia de Conhecimento em Redes Bayesianas para Redução de Espaços Amostrais
• Um Método Numérico com Paralelismo no Tempo para Aproximar Soluções de EDP's
• Um método SN híbrido direto para cálculo de sistemas combustível moderador em geometria unidimensional
• UM PANORAMA DAS ABORDAGENS DE OTIMIZAÇÃO APLICADAS AO TRANSPORTE DUTOVIARIO
• Um Refinamento h-Adaptativo de Malhas para o Método dos Elementos Finitos utilizando uma Estrutura de Grafo.
• Um Roteador de Canal para Projeto de Circuitos Integrados em Gate Array"
• Um roteador global para um sistema de "layout" automático em "gate array"
• UM SISTEMA DE APOIO À DECISÃO MULTICRITÉRIO PARA O PLANEJAMENTO DA EXPANSÃO DA GERAÇÃO DE LONGO PRAZO CONSIDERANDO EMISSÕES DE GASES DE EFEITO ESTUFA
• Um Sistema de Refinamento h e p Adaptativo Utilizando Elementos Finitos Hierárquicos Multidimensionais
• Um sistema para animação física usando malhas tetraedrais
• Um Sistema para aprendizagem de demonstrações dedutivas em geometria euclidiana
• Um sistema para composição de layouts em gate-array com independencia de tecnologia
• UM TRATAMENTO GERAL DOS METODOS DE EXTRAPOLACAO PARA O LIMITE
• Um Visualizador para Navegação através de Cenários Tridimensionais baseado em malhas adaptativas.
• Um Índice de Susceptibilidade ao Fenômeno da Seca para o Semi-Árido Nordestino
• Uma Abordagem de Programação Inteira Para O Problema da Triangulação de Custo Mínimo
• Uma abordagem Baseada em Jogos Sérios para o Ensino de Qualidade de Dados.
• 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 de Otimização para a Maximização da Produtividade de Locomotivas em Ferrovias Brasileiras
• Uma Abordagem de Programação Linear Inteira Para O Problema da Clique Máxima Com Pesos Nas Arestas
• Uma abordagem Determinística para a minimização Global da Energia Potencial de Moléculas
• Uma abordagem generativa profunda para previsão de densidade de múltiplos passos
• Uma abordagem híbrida de posicionamento de blocos para o Problema de Carregamento de Contêiner
• Uma Abordagem Unificada Para Os Problemas de Visao Computacional: A Morfologia Matematica
• Uma Análise Comparativa entre Resultados Experimentais e de Simulação Matemática para o Cálculo de Campo e Forças em Eletrohidrodinâmica
• Uma Aplicacao da Topologia Algebrica A Teoria dos Grafos.
• UMA APLICAÇÃO DA LINGUAGEM JAVA À COMPUTAÇÃO CIENTÍFICA.
• Uma aplicação da Transformada Wavelet à Verificação On-Line de Assinatiuras Manuscritas
• Uma aplicação de métodos aproximados a problemas de fluxo multiproduto inteiro
• Uma apresentação policíclica para o quadrado q-tensorial de um grupo policíclico.
• Uma arquitetura de Agentes BDI para Auto-regulação de Trocas Sociais em Sistemas Multiagentes Abertos
• Uma arquitetura híbrida de algoritmos criptográficos, utilizando hardware reconfigurável, com foco em vulnerabilidades baseadas em análises do tipo side-channel.
• Uma Biblioteca Intervalar baseada em Processamento de Strings
• Uma Engenharia Didática para explorar o aspecto de processo dinâmico presente nos algoritmos.
• Uma estimativa de Erro e Aplicações em Problemas Semilineares de Valor de Contorno
• Uma Estratégia Computacional na Detecção da Dsilexia
• UMA ESTRATÉGIA DE INVESTIMENTO BASEADA NO PADRÃO DE DIVERGÊNCIA NO INDICADOR DE ANÁLISE TÉCNICA MACD
• Uma Estudo Algorítmico de Problemas Logísticos na Indústria de Petróleo e Gás Natural
• Uma Extensão da Abordagem Operacional do Método Tau de Lanczos
• UMA FERRAMENTA PARA DETERMINAÇÃO DE ZEROS POLINOMIAIS
• Uma Fundamentação Intervalar Aplicada à Morfologia Matemática
• Uma fundamentação matemática para processamento digital de sinais intervalares
• Uma fundamentação teórica para a complexidade estrutural de problemas de otimização
• Uma implementacao do método das curvas eliticas para fatoracao de números inteiros
• Uma Metodologia para o Ensino da Teoria dos Grafos utilizando Objetos Virtuais de Aprendizagem
• Uma modificação no método do ponto proximal para funções DC em variedades de Hadamard
• Uma nova formulação algébrica para o autômato finito adaptativo de segunda ordem aplicada a um modelo de inferência indutiva.
• Uma nova implementação para a autenticação de mensagens do modo de transporte MIKEY-DHHMAC-SAS.
• Uma Nova Proposta para Implementação Computacional do Princípio de Zadeh
• Uma proposta de arquitetura de rede neural convolucional intervalar para o processamento de imagens intervalares
• Uma Proposta de Estudo da Incerteza Integrando a Teoria dos Conj. Fuzzy e a Comp. Quântica
• Uma proposta de modelo matemático e algoritmo de otimização para o problema de instalação de locais de votação e alocação de eleitores.
• Uma Proposta de Resolução do Problema de Corte Bidimensional Via Abordagem Metaheurística
• Uma proposta de uso do Desmos como recurso digital no ensino de geometria à luz das avaliações nacionais
• Uma proposta para a modelagem de descargas elétricas em gases
• Uma proposta para introdução da Lógica Fuzzy no Ensino Médio
• UMA REPRESENTAÇÃO CONSTRUTIVA GLOBAL PARA SISTEMAS ORDENADOS DE 2a. ORDEM EM ESPAÇOS COERENTES INTERVALARES BI-ESTRUTURADOS, COM APLICAÇÃO EM MATEMÁTICA INTERVALAR
• UMA REVISÃO DE HEURÍSTICAS PARA RENUMERAÇÃO DE VÉRTICES PARA REDUÇÃO DO CUSTO DE EXECUÇÃO DO MÉTODO GMRES PRÉ- CONDICIONADO
• Uma Solução Em Filtragem De Informação Para Sistemas De Recomendação baseada em Análise de Dados Simbólicos
• Uma variante do metodo de decomposicao de Benders
• Unmanned-Aerial-Vehicle Routing Problem With Mobile Charging Stations for Assisting Search and Rescue Missions in Postdisaster Scenarios
• Usando Diferenças Finitas e Equações de Onda com Amortecimento em uma Abordagem em GPU para Reproduzir Som com mais realismo em Games
• Using multiflow formulations to solve the Steiner tree problem in graphs
• Uso Combinado de Métodos de Dinâmica não Linear e Redes Neurais no Diagnóstico de Problemas Cardíacos
• Uso Combinado de Métodos de Dinâmica Não-Linear e Redes Neurais na Avaliação de Variabilidade da Freqüência Cardíaca em Diferentes Situações Clínicas.
• Uso Curvas de Peano para Organização Memória Associativa
• Uso da Metaheurística de busca em Vizinhança Variável para Redução de Largura de Banda em Matrizes Esparsas
• Uso de Programação por Restriçõesna resolução de problemas operacionais de transporte coletivo urbano
• Uso de autômatos celulares na modelagem da evolução da infecção por esquistossomose
• Uso de renderização volumétrica e realidade virtual para problemas de percolação na engenharia
• Uso de Rotas Elementares na Resolução do CVRP
• Uso de Software com Aplicações no Ensino Médio
• Uso de Técnicas de Recuperação da Informação em Criptoanálise
• Uso Efetivo da Matemática Intervalar em Supercomputadores Vetoriais
• Utilizando uma Heurística GRASP para o Problema de Rotação de Culturas
• Utilização de redes bayesianas através do algoritmo naïve bayes para classificação de carcaças de ovinos
• Utilização de analogias para compreensão e criação de estratégias
• Utilização de equações diferenciais parciais para eliminação de ruídos e detecção de bordas
• Utilização de Linguagens com Manipulação de fórmulas para Minimização de Funções
• Utilização de um algoritmo genético na otimização do lucro de uma propriedade agrícola
• Valdemir Garcia Ferreira
• Valdomiro dos Santos
• Valdomiro Placido dos Santos
• Validação estatística da retração de Fibonacci para a seleção de carteira
• Valinda Maria Pantoja Maia
• Vanessa Soares Sandrini Garcia
• Vers des algorithmes dynamiques randomisés en Géométrie Algorithmique
• Viabilidade do Uso de Métodos Numéricos na Obtenção do Coeficiente de Difusividade Térmica
• Victor Rocha Neres
• Vinicius de Carvalho Paes
• VINICIUS GADIS RIBEIRO
• Vinícius Borges Pires
• Viviane Cátia Köhler
• Viviane Hengler Correa Chaves
• Vladik Kreinovich
• W Randolph Franklin
• Wagner Guimarães Al-Alam
• Wagner Ourique de Morais
• Walace Ornelas Soares
• Waldemar Nunes de Sousa
• Washington Luís Pereira Barbosa
• Wave Anomaly Detection in Wave Measurements
• Welington Luis de Oliveira
• WELLINGTON DE OLIVEIRA
• Wellington Viana Lobato Junior
• William Cesar Farias
• Wilson Souza Duarte
• Xijun Yu
• Yalmar Temistocles Ponce Atencio
• Yoshiharu Kohayakawa
• Yuniel Torres Rodríguez
• Zeros de polinômios ortogonais de Sobolev-Jacobi e Sobolev-Laguerre
• Álgebras de Lie e Aplicações a Sistemas Alternantes
• Éric Teixeira Araujo
• Érica Cristina Marins Missão
• Étude de la parallélisation de la corrélation électronique en chimie quantique
• “Differential Evolution: Theoretical Results on Convergence and Parameter Choosing