Matemática Simbólica Conceito

área de pesquisa

• Computability, Approximate Reasoning, Ordered structures and Logics
• "Modelagem de Teias Alimentares e Grafos de Competição"
• A comparison of unrestricted dynamic Gröbner Basis algorithms
• A connection-based reasoner for ALC ontologies
• A generalization of the -function method applied to a Duffing-Van der Pol forced oscillator
• A logical framework for induction over natural numbers and lists
• A theory of porous media and harmonic wave propagation in poroelastic body
• Abordagem Analítico - Numérica da Transferência de Calor e Massa com Efeito da Pressão
• Abordagem Analítico-Numérica em Meios Multidimensionais Capilares Porosos
• Adalberto Gassenferth Junior
• Adriano Aparecido dos Santos
• Agrupamento e Regressão Linear de Dados Simbólicos Intervalares Baseados em Novas Representações
• Alander Pereira dos Santos
• Alexandre Yasuda Miguelote
• Algorithms for Non-Relativistic Quantum Integral Equation
• ALGORITMO DE SÍNTESE DE CIRCUITOS ANALÓGICOS TRANSLINEARES UTILIZANDO DECOMPOSIÇÃO NÃO-PARAMÉTRICA
• Algoritmos Algébricos Para O Isolamento de Zeros Polinomiais Complexos
• Algoritmos de Agrupamento Fuzzy Intervalares e Índices de Validação para Agrupamento de Dados Simbólicos do Tipo Intervalo.
• Algoritmos para Decomposição Primária de Ideais
• Algoritmos para o Cálculo de MDC de Polinômios
• Aline Brum Loreto
• Alternativas para o Tratamento Numérico Otimizado da Multiplicação Vetor-Descritor
• Ambiente Computacional para o Ensino de Eletrônica Geral
• Ambientes Computacionais para Cálculo Numérico
• An alphabetical approach to Nivat?s conjecture
• Ana Paula Gonçalves
• Análise Não-Linear de Séries Temporais: Estudo da
• Aplicação de descritores topológicos e modelos estatísticos para o descobrimento de potenciais antagonistas da integrina alfa4 beta1.
• Aplicação de Métodos de Darboux para Solução de Equações Diferenciais Ordinárias, de segunda ordem, apresentando funções elementares
• Aplicação e Avaliação de Tutoriais Desenvolvidos com o Software Matematica como Ferramenta de Apoio ao Ensino da Matemática Aplicada
• Aplicações de Técnicas de Reescrita ao Problema da Palavra de Grupos
• Aplicações de Técnicas de Reescrita ao Problema da Palavra em Teoria dos Grupos
• Apresentação e Formulação do Problema do Planejamento e Uso de Espaços Livres Urbanos Utilizando Metodologia de Sensoriamento Remoto
• Arnaldo Gomes do Amaral
• Artifical Inteligence versus logic
• BRUNO CESAR RIBAS
• CALEBE PAIVA GOMES DE SOUZA
• CAMAndOr: An Implementation of Logic Programming Exploring Coarse and Fine Grain Parallelism
• Carlos Eduardo Barros David
• Carlos Eduardo Cedeno Montana
• Carlos Frederico do Amaral Cid
• Centro de Inovação e Pesquisa em Educação e Computação - CIPEC
• Cesar Roberto Pamplona Filho
• Ciclos De Aprendizagem No Ensino Das 4 Operações Básicas Da Matemática Para Alunos Surdos Com Suporte De Tecnologias Computacionais
• Cognitio USP - Computação Cognitiva
• Combinatória e Inteligência Computacional: Teoria e Aplicações Paralelas e Distribuídas
• COMO TRABALHAR DE FORMA INTUITIVA E LÚDICA A TABUADA, SEM A FAMOSA ?DECOREBA?
• Comparação entre os principais formalismos não clássicos para o raciocínio aproximativo
• Complexity of Gröbner Basis for Cryptanalysis
• CompLin - Computação e Linguagem Natural
• Computação algébrica: sistemas de software estrutura e algoritmo de risch.
• Computação Científica em Dados Complexos
• Computação Paralela e Distribuída: Teoria e Aplicações
• Computação Simbólica: Integração em Termos Finitos e Algoritmos
• Computer Algebra in Modern Functional Languages - Part II
• Computer algebra in modern functional languages.
• Construção de Ambiente de Aprendizagem para a Disciplina Refrigeração Utilizando Programação Simbólica.
• Construção de um Modelo de Conhecimento para Projeto de Redes de Telecomunicações
• Contribuição ao estudo da relação entre processamento, estrutura e comportamento de filamentos de poliester
• Contributions to the investigation of Lascar strong types in simple theories
• Controle neural de posição e força em manipuladores robóticos
• Cosmologia Observacional Usando Análise Bayesiana.
• CRIOULO - TECNOLOGIAS, TERRITORIALIDADE E EDUCAÇÃO
• Criptografia de Chave Pública.
• Criptossistemas baseados em Curvas Elípticas.
• Cálculo da complexidade de algoritmos do tipo Divisão-e-conquista através das equações características
• Cássio Rodrigo Conti
• Daniel Duarte Abdala
• Daniel Edgardo Fridlender
• Daniel Frenkel
• DECOMPOSIÇÃO DE MULTIPLICAÇÃO MATRICIAL EM TAREFAS ADEQUADAS A AMBIENTES HETEROGÊNEOS BASEADOS EM GPGPU
• Decomposição de Politopos e Aplicações na Fatoração de Polinômios
• Deivid Rodrigues do Vale
• Desenvolvimento de Ajudas Técnicas para Comunicação Aumentativa
• Determinação de constantes de movimento polinomiais (polinômios de Darboux) em campos vetoriais no plano
• Diagnóstico de Faltas em Processos Industriais com uma Abordagem de Reconhecimento de Padrões
• Diferencias Finitas Aplicados a los Problemas de Control Óptimo
• Diogo Guilherme Pereira
• Dirk de Mello
• Divair Maria Terna Gomes
• Dorotéa Vilanova Garcia
• Dynamic Binding of Names in Calculi for Mobile Processes
• Edna Satiko Eiri Trebien
• Efeito da Migração Populacional em Regiões Semi-Aridas do Nordeste Brasileiro.
• Eliandro Danillo Serafim Marinho
• Especificação e Característica dos Problemas Solúveis por Decomposição
• Especificação e Solubilidade de Classes de Problemas com Paradigmas e de Classes Nomeáveis
• Especificação Semântica de LaND: uma linguagem para o Método das Diferenças Finitas.
• ESTRUTURA E FUNCIONAMENTO DOS EXAMES DE ADMISSÃO AO GINÁSIO: OS SABERES ELEMENTARES MATEMÁTICOS PRESCRITOS E EXIGIDOS EM SERGIPE E SÃO PAULO EM PERSPECTIVA HISTÓRICO-COMPARATIVA (1930-1970)
• Estudio Preliminar de las estrellas de Bosones
• Estudo e Implementação de Métodos Diretos na Resolução de Sistemas de Equações Lineares
• Fabiano Carvalho Gomes
• Fabrício da Costa Dias
• Fatima Araujo Machado
• Flávio Neves Júnior
• Formal Methods and Languages Research Laboratory
• FORMULAÇÃO DE MÍNIMOS QUADRADOS APLICADA A PROBLEMAS DE ADVECÇÃO-DIFUSAOÃO
• Francisco de Assis Tavares Ferreira da Silva
• Fundamentação Computacional da Análise Intervalar
• Função -S Um caso de sucesso entre os Métodos de Lie e Darboux.
• General Interval-valued Overlap Functions and Interval-valued Overlap Indices
• Geração de Modelos de Regras de Decisão: Uma Abordagem Centrada Na Aprendizagem Indutiva.
• Gesiel Rios Lopes
• Gestão Escolar e Tecnologias da Informação e Comunicação: O sistema de Apoio ao Professor-SIAP-como protagonista
• Gilberto Ferreira da Silva
• Gladyston Sausmikat
• Glaucius Décio Duarte
• Glória Maria Dias de Oliveira
• GrECIA - Grupo de Estudos em Engenharia do Conhecimento e Inteligência Artificial
• Grupo de Algoritmos Combinatórios e Aplicações
• Grupo de Otimizacao e Inteligencia Computacional
• Grupo de Pesquisa em Inteligência Computacional do IFPB
• Guilherme Alex Derenievicz
• Higman lemma in type theory
• Implementação de Circuitos Lógicos Fundamentados em uma classe de Lógicas Paraconsistentes Anotadas"
• Implicações Geométricas e Topológicas em Grafos
• Inducing Theorem provers from Proofs
• InfoKnow-Computer Systems for Information and Knowledge Treatment
• Inhaúma Neves Ferraz
• INTEGRABILIDADE, SIMETRIAS E O PROBLEMA DA EQUIVALENCIA
• intitulada Especificação de Problemas Solúveis por Decomposição via Análise da Intencionalidade
• Isabel Cristina Régio de Oliveira Marinho
• Jefferson Oliveira Andrade
• Joao Pita Costa
• Jonas Szutkoski
• Jose Romildo Malaquias
• Joseluce de Farias Cunha
• Josemary Marcionila Freire Rodrigues de Carvalho Rocha
• José Aelio Silveira Junior
• José Lopes de Siqueira Neto
• José Luis Vivas Frontana
• José Oscar Machado Alexandre
• João Batista Furlan Duarte
• Juan del Carmen Grados Vásquez
• Juan Diego Frutos
• Juan Francisco Camino
• Jucelio Soares dos Santos
• Juliana Eyng
• Juliana Silva Canella
• Katherina Von Bulow
• Kemelli Campanharo Estacio-Hiroms
• Kátia Cristina Altomare Silva
• Laboratório de Inteligência Artificial e Métodos Formais
• Laboratório de Inteligência Computacional - AgroLIC
• Lamounier Josino de Assis
• Larissa Rodrigues Damiani
• Leon Denis da Silva
• Leonardo José Simões de Freitas
• Locally excitatory chaotic oscillator network for scene segmentation.
• Lucas Fernando da Silva Cambuim
• Luis Antonio Campinho Pereira da Mota
• Luis Mariano Peñaranda
• Luis Menasché Schechter
• Luiz Emilio Allem
• LUIZ GUILHERME SILVA DUARTE
• Marcelo Moreira Mejias
• Marcelo Soares Brisola
• Marcelo Sobottka
• Marcia de Barros Correia
• Marco Aurélio Campos Paiva
• Maria Angelica de Oliveira Camargo Brunetto
• Maria Luiza Lapa de Souza
• Mario Aparecido Correa
• Marisa Ortegoza da Cunha
• Mark Tarver
• Matusalém Vieira Martins
• Metodologia Fuzzy para a Construção de Sistemas Especialistas com Bases de Dados de Conhecimento Inconsistentes
• Mirtha Lina Fernández Venero
• Moacir Alves de Campos Junior
• Model Checking Circus
• Modelamento Geométrico com Operadores Booleanos: uma descrição teórica do esquema de representação BSP
• MONÓLITOS - Grupo de Pesquisa em Sistemas de Computação, Redes de Computadores e Engenharia Software
• Mozart Gonçalves
• MTD: Manipulador de teorias definicionais - uma aplicação à topologia
• Márcia de Freitas Siqueira Sadok Menna Barreto
• Métodos de fatoração de números inteiros
• Métodos Formais e Fundamentos Matemáticos da Ciência da Computação
• Métodos geométricos da teoria de representações de anéis de operadores diferenciais
• Nelcy Dabrowski de Araújo Mendonça
• NELSON MIGUEL BETZEK
• Nikolay Grishanov
• Noraí Romeu Rocco
• Novas Classes de Operadores Matemáticos e Aplicações
• Núcleo de Excelência em Otimização de Sistemas Complexos (NExOS)
• O cálculo diferencial e integral no curso de Ciencias da Computação: necessidade ou contingência?
• O Ensino de Funções Lineares numa Abordagem Dinâmica e Iterativa.
• O marketing nas empresas desenvolvedoras de software de Santa Catarina: A influência da incubação na eficiência em marketing
• O Problema do Caixeiro Viajante
• O problema do logaritmo discreto
• On the linear regime of the characteristic formulation of general relativity in the Minkowski and Schwarzschild's backgrounds
• Oscar Antonio González Chong
• Otimização de sistemas intervalares não lineares acíclicos
• Ovidio Candido de Oliveira Filho
• Patrícia Mascarenhas Dias
• Paula Faragó Vieira Barbosa
• Paula Monteiro Baptista
• Pedro Gonçalves Lind
• Peterson Pereira de Oliveira
• PLÁCIDO ROGÉRIO PINHEIRO
• Polinômios multivariados : fatoração e MDC
• Prem Prakash Srivastava.
• Previsibilidade em séries temporais
• Prof Dr. João Batista Souza de Oliveira
• Prof. Dr. Wladimir Seixas
• Profa. Dra. Celina Aparecida Almeida Pereira Abar
• Profile Guided Hybrid Compilation
• Programa automatizado de Programação Geométrica
• Projetos de matematização da lógica: de Raimundo Lúlio a Giuseppe Peano
• Raciocinando com Medidas de Plausibilidade
• Rafael Teixeira de Araújo
• Ramon da Cunha Lopes
• Ramsey theorem in type theory
• Raquel de Miranda Barbosa
• Raízes polinomiais em corpos finitos
• Rede Morfológica Não Supervisionada-RMNS
• Reduzindo a Complexidade de Problemas Matriciais
• Reginaldo da Silva Figueiredo
• Reginaldo Rocha Caetano
• Remulo Dias Carvalho
• Renata Aparecida de Carvalho Paschoal
• Renato Portugal
• Resolução de sistemas de equações lineares através de métodos de decomposição de domínio
• Ricardo Duarte Arantes
• Ricardo Soares
• Ricardo Tavares de Oliveira
• Roberta Vanessa Rojo Parcianello
• Roberto Colistete Júnior
• Rodrigo Pietro Leite
• Rogerio Augusto dos Santos Fajardo
• Rogério Melo Nepomuceno
• Romulo Brito da Silva
• Ronaldo Lima Rocha Campos
• Ronaldo Luiz Alonso
• Roque Mendes Prado Trindade
• Rubens Vilhena Fonseca
• Salvador Ramos Bernardino da Silva
• Sandra Alves de Menezes Castro
• Satisfatibilidade Não-Clausal Restrita às Variáveis de Entrada
• SERCOMP - Grupo de Pesquisa em Compiladores de Sergipe
• Sergio Roberto Teixeira
• Severino Collier Coutinho
• Sidney Roberto Dias de Carvalho
• SIMETRIAS E INTEGRABILIDADE POR QUADRATURAS DE EQUACOES DIFERENCIAIS ORDINARIAS EM COMPUTACAO ALGEBRICA
• Simone Cristine Mendes Paiva
• Simone de Aviz Cardoso
• SIMPOL - Um ambiente para manipulação de expressões polinomiais baseado em Lisp
• SIMPOL, um sistema para manipulação de expressões polinomiais
• Simulação e Otimização de Tráfego Urbano com Programação em Lógica com Restrições sobre Domínios Finitos
• Sistema de Inferência Fuzzy Geral do Tipo-2 Aplicado à Classificação
• Sistema de Visão Computacional Embarcado para Identificação de Placas de Trânsito.
• Sistema especialista hibrido em anestesiologia para pacientes criticos/problematicos
• Sistema FerMat
• Sistema físico cibernético multiagente para monitoramento remoto de pacientes.
• Sistemas Computacionais
• Sobre a integração indefinida de funções racionais complexas: teoria e implementação de algoritmos racionais
• Sobre a Questão da Formalização da Lógica Abdutiva via Sistema Dedutivo com Rótulo
• Sobre Energia e Energia laplaciana de grafos,
• Solução de um problema de Transferência de Calor e Massa em um Meio Capilar Poroso sob Efeito da Pressão
• Soluções algébricas de campos de vetores planares: métodos algorítmicos
• Teoria da Computação, Combinatória e Otimização
• Thiago Lessa dos Santos Melo
• Topologias de Interconexão de Processadores: Funções para Análise
• Tressages d'espaces de tenseurs
• Ubiratã Azevedo Ignácio
• UM ALGORITMO HIERÁRQUICO PARA INTERSECÇÃO ENTRE SUPERFÍCIES PARAMÉTRICAS
• UM ALGORITMO PARA O CÁLCULO DOS AUTOVALORES DA MATRIXZ LTSN
• Um Compilador de Exceções para Otimização de Programas em Lógica Baseados no Paradgima de Geração e Teste
• Um estudo em manipulação simbólica de expressões algébricas
• UM FRAMEWORK PARA CONSTRUÇÃO DE PROVADORES DE TEOREMAS USANDO OBJETOS DISTRIBUIDOS
• Um Jogo Educativo para a Aprendizagem Significativa de Libras
• Um método de pré-processamento de fórmulas SAT e pseudo-Boolean baseado em técnicas de programação linear inteira mista
• Um Método Modular para Enumeração de Zeros Polinomiais.
• Um simulador simbólico para circuitos quânticos
• Um sistema heurístico para a prova automática de teoremas em extensões da álgebra booleana de classes
• UMA ANÁLISE DA INFLUÊNCIA DA ESCRITA SIMBÓLICA NO RIGOR E PRECISÃO SOB O OLHAR DA SEMIÓTICA
• Uma Análise Intervalar de Scott
• Uma aplicação para a LPR
• Uma condição suficiente para otimização global sem retrocesso
• Uma Generalização do Algoritmo de Gao para a Fatoração de Polinômios
• Uma lógica proposicional de resolução de problemas.
• Uma Metodologia de Resolução de Problemas via refinamento da Especificação
• Uma Metodologia para Resolução de Problemas do tipo Determine
• Uma visão da Teoria de Banerji através da Teoria Geral de Problemas
• Unrestricted dynamic Gröbner Basis algorithms
• Usando Polinômios de Darboux na Obtenção de Integrais Primeiras Liouvillianas de Equações Diferenciais Ordinárias Racionais de Segunda Ordem
• Utilização do Paradigma Funcional no Ensino de Matemática Discreta
• Valdomiro dos Santos
• Validação de Modelos Baseados em RNA Utilizando Análise Estatística de Dados e Lógica Fuzzy
• Verificação Automática
• Verificação Automática de Software e Sistemas
• Veronica Mansur Barbosa de Paula
• Vilmar Trevisan
• Vânia Maria Pinheiro Slaviero
• Wagner Moro Aioffi
• Waldir Leite Roque
• Yorah Bosse
• Álvaro Adelino de Oliveira