SOCIEDADE
BRASILEIRA DE MATEMÁTICA APLICADA E COMPUTACIONAL
V
ENCONTRO REGIONAL DE MATEMÁTICA APLICADA E COMPUATIONAL
Sessões Técnicas - Programa
|
19/10 |
Sala 1 |
19:30-21:30 |
||||
|
ST 01 -
Computação Gráfica |
||||||
|
Horário |
Código |
Título |
Autor(es) |
|||
|
|
RE11 |
Reconstrução Tridimensional de Objetos por
Iluminação Estruturada – uma Revisão |
Fabiana Campos de Souza, Fabiana Rodrigues Leta |
|||
|
|
RE12 |
Uma Ferramenta de Auxílio para Detecção de Câncer
de Mama |
Adriana Takahashi Benjamín R. C. Bedregal, Aarão Lyra |
|||
|
|
RE28 |
Estrutura de Visualização no Sistema CyberMed |
Ícaro L. L. da Cunha, Liliane S. Machado |
|||
|
|
RE33 |
Visualização Tátil para Ambientes Virtual |
Thaíse Kelly de Lima Costa, Liliane dos Santos Machado |
|||
|
|
RE37 |
Compressão
de Imagens Digitais baseada na Transformada de Wavelet |
Djalma D. Aguiar, Davi M. Bessa, Laure W. N. Mendouga ,
Jorge Luiz de C. e Silva |
|||
|
|
RE42 |
Métodos de Deformação em Sistemas de Realidade
Virtual para Medicina |
Liliane dos Santos Machado, Suene Ferreira Campos |
|||
|
|
RE27 |
Tratamento
de Imagens Reais para Reconstrução Volumétrica de Órgãos Humanos |
Ícaro L. L. da Cunha, Liliane S. Machado, Flávia J. Barbosa |
|||
|
19/10 |
Sala 2 |
19:30-21:30 |
||||
|
ST 02 -
Estatística/Otimização |
||||||
|
Horário |
Código |
Título |
Autor(es) |
|||
|
|
RE17 |
Problema da Mochila e Criptografia |
Antônio de Andrade e Silva, José Laudelino de Menezes Neto |
|||
|
|
RE34 |
Busca local iterada aplicada à
resolução do problema de programação de jogos de competições esportivas
realizadas em dois turnos espelhados |
Marcio Tadayuki Mine, Matheus de Souza Alves Silva, Marcone Jamilson Freitas Souza, Gustavo Peixoto Silva |
|||
|
|
RE36 |
Planejamento de Experimentos no Projeto de Sistema
de Prognóstico de Congestionamento de Tráfego de Redes |
Arnoldo N. da Silva, Jorge L. C. e Silva, Marcilia A. Campos, Paulo R. F. Cunha |
|||
|
|
RE41 |
Comportamento do Tráfego de Redes P2P: Uma Análise Estocástica |
Marcelo
H. O. Lima, Djalma D. Aguiar, Davi M. Bessa ,
Laure W. N. Mendouga Jorge
Luiz de C. e Silva |
|||
|
|
RE45 |
Usando o algoritmo Simulated Annealing para
determinar Máximo de funções sujeitas à Vínculos |
André Gustavo Campos Pereira, Luiz Amorim Carlos |
|||
|
|
RE52 |
Algoritmos
eficientes para o projeto de uma rede de telecomunicações com topologia em
anel |
Elder M. Macambira, Cid C. de Souza, Nelson Maculan, Luiz Satoru, Lucas Bastos |
|||
|
19/10 |
Sala 3 |
19:30-21:30 |
||||
|
ST03 - Matemática Aplicada à
Física e Engenharia |
||||||
|
Horário |
Código |
Título |
Autor(es) |
|||
|
|
RE19 |
Controle Adaptativo Nebuloso de Sistemas
Não-Lineares com Zona-Morta |
Wallace
Moreira Bessa, Max Suell Dutra |
|||
|
|
RE31 |
Comparação entre duas formulações do problema de
minimização das perdas no pré-despacho por métodos de pontos interiores |
L. M. R. Carvalho, R. L. Oliveira |
|||
|
|
RE24 |
Analise
comparativa do comportamento temporal da concentração de Xenônio-135 num
reator nuclear avaliado por modelagem computacional. |
Carlos A. B. Almeida, Willames A. Soares, Helmut M. Silva. |
|||
|
|
RE29 |
Modelagem numérica do processo de infiltração de
água para obtenção dos parâmetros hidrodinâmicos do solo |
Willames de A. Soares, Carlos A. B. Almeida, Helmut M. Silva |
|||
|
20/10 |
Sala 1 |
18:40-20:40 |
||||
|
ST01 - Matemática da
Computação e Computação Numérica |
||||||
|
Horário |
Código |
Título |
Autor(es) |
|||
|
|
RE02 |
Interpretação Geométrica do Espaço Métrico dos
Intervalos (IIR) no plano cartesiano |
Maria das Graças dos Santos Marcília Andrade Campos |
|||
|
|
RE07 |
Construções¸ categóricas em Haskell |
Stenio Longo Araújo, Benedito Melo Acióly |
|||
|
|
RE08 |
Relação entre o suporte e a parte crisp das
máquinas de Turing Fuzzy |
Lirisnei Gomes de Sousa Benjamim R.C. Bedregal |
|||
|
|
RE10 |
Computação das Medidas de Tendência Central e
Dispersão Intervalar em Java |
Laís M. Neves, Eliaquim L. S. Neto, Eduardo W.
M. Almeida, Daniele P. Santos, Thiago A. S. Nascimento,
João G. Q. L. Martins, Marcília A. Campos Aline B. Loreto |
|||
|
|
RE03 |
Limite dos zeros de um polinômio |
Flaulles Boone
Bergamaschi |
|||
|
|
RE04 |
Processamento Intervalar com Strings |
Ivan Oliveira B. Leite, Bruno José T. Fernandes, Renato V. Ferreira, Marcília A. Campos |
|||
|
20/10 |
Sala 2 |
18:40-20:40 |
||||
|
ST02 - Matemática Aplicada à
Engenharia |
||||||
|
Horário |
Código |
Título |
Autor(es) |
|||
|
|
RE09 |
Representação da Codificação Aritmética através da
Geometria Fractal |
SAULO O. D.
LUIZ, FRANCISCO M. DE ASSIS |
|||
|
|
RE35 |
Cálculo dos Estados de Impurezas em Discos
Quânticos e em Pontos Quânticos Esféricos |
Adriana Brito Aguiar Marques, Paulo César Miranda Machado, Francisco Aparecido Pinto Osório, Antônio Newton Borges |
|||
|
|
RE38 |
Aplicação
do Diagrama de Voronoi na Localização de Nós de Redes de sensores
|
Francisco J. Santos, Domingos S. Silva, Jorge L. C. e Silva |
|||
|
|
RE14 |
Otimização de Funções Multimodais Utilizando
Processos Imunológicos |
Adolfo
Fernandes Herbster, Djalma de Melo Carvalho Filho,
Marcelo Sampaio de Alencar |
|||
|
|
RE48 |
Estudo da Condução de Calor em Aletas |
Juliano Evadio Bauhmer, Viviana Cocco Mariani |
|||
|
|
RE49 |
EQUAÇÕES DE NAVIER-STOKES E CONSERVAÇÃO DA MASSA -
Uma investigação analítica e numérica |
Mauro Rizzoni Silveira, Viviana Cocco Mariani |
|||
|
20/10 |
Sala 3 |
18:40-20:40 |
||||
|
ST03 - Biotecnologia |
||||||
|
Horário |
Código |
Título |
Autor(es) |
|||
|
|
RE32 |
Estudo de um modelo de interações tróficas de três
espécies |
Leandro Santos Ribeiro |
|||
|
|
RE44 |
Parametrizando a vascularização da retina humana |
Kunicki, A.C.B.; Mendonça, M.B.M. ; Azevedo, W.T.O.; Oliveira, A.J. ;Nogueira, R.A. |
|||
|
|
RE53 |
Aplicativo computacional para projetos de
biodigestores rurais |
Zara Aparecida Portes Helenice de Oliveira Florentino |
|||
|
21/10 |
Sala 1 |
18:40-20:40 |
||||
|
ST01 - Matemática da
Computação e Computação Numérica |
||||||
|
Horário |
Código |
Título |
Autor(es) |
|||
|
|
RE18 |
Uma generalização dos conectivos proposicionais
clássicos, fuzzy e fuzzy intervalar baseada em reticulados |
Hélida Salles Santos, Benjamín René Callejas Bedregal |
|||
|
|
RE22 |
Funções intervalares bi-contínuas |
Benjamín René Callejas Bedregal, Regivan Hugo
Nunes Santiago |
|||
|
|
RE23 |
Autômatos Lineares Não-determinísticos com
lambda-transições |
Benjamín René Callejas Bedregal |
|||
|
|
RE54 |
Sistema de Reescrita de Termos para Intervalos: Um
Modelo Formal da computação intervalar |
Adriano Xavier Carvalho, Regivan Hugo N. Santiago |
|||
|
|
RE15 |
Java-XSC - Uma biblioteca Intervalar para Java |
Edmo Sérgio R. Bezerra, Bruno José T. Fernandes, Renato V. Ferreira, Marcília A. Campos |
|||
|
|
RE46 |
Um estudo sobre a paralelização do método do
gradiente conjugado pré-condicionado. |
J. D. Santos, Z. C. Silva |
|||
|
21/10 |
Sala 2 |
18:40-20:40 |
||||
|
ST02 - Tecnologias e
Metodologias do Ensino de Matemática |
||||||
|
Horário |
Código |
|
|
|||
|
|
RE05 |
Ensino de Cálculo Usando Aplicações: Volume de um
sólido Real de Revolução |
A. T. Z. R. Sausen, P. S. Sausen |
|||
|
|
RE06 |
Ferramenta para Auxiliar o Aprendizado Utilizando
Redes Bayesianas |
Gilce Cleana B. Zarzar, Saulo Chalegre do R. Barros Marcília A. Campos |
|||
|
|
RE13 |
LabCoN : Uma
Ferramente de Apoio à Disciplina de Cálculo Numérico |
Adolfo Fernandes Herbster, Núbia Silva Dantas Brito |
|||
|
|
RE47 |
Matrizes e Imagens: o uso de recursos
computacionais para o ensino de Matrizes e Álgebra Linear. |
Raul A. Assis, Luciana M. Elias |
|||
|
|
RE50 |
Evolução
do Conceito de Função |
Viviane Dal Molim de Souza, Viviana Cocco Mariani |
|||