33º Congresso Nacional de Matemática Aplicada e Computacional

Minissimpósio 3 (MS3)
IntMath-TSD: Interval Mathematics and Connections in Teaching and Cientific Development mini-symposium

Organizadores do Minissimpósio: Marcília Andrade Campos - UFPE, Alice de Jesus Kozakevicius - UFSM e Renata Hax Sander Reiser - UFPEL

SALA 3 – Hotel Majestic – Subsolo

20/09 Segunda – feira tarde
Coordenador:
14:00 - 14:20 Improving the Efficiency of Dot Product Computations Using Error Free

Transformations in C-XSC
Prof. Dr. Gerd Bohlender (KIT-Karlsruhe / Germany)

14:25 - 14:45 Verified Solver with High Accuracy for Resolution of Dense Linear Systems
Prof. Dr. Carlos Amaral Holbig (UPF/RS)

14:50 - 15:10 Intervals on Self-verified Linear Systems Solvers on Multicore Computers
Prof. Dr. Luiz Gustavo Fernandes (PUC/RS)

15:15 - 15:35 Parallel Self-verified Linear System Solver on Cluster Computers
Profa. Dra. Mariana Luderitz Kolberg (PUC/RS)

15:40 - 16:00 Using Field Programmable Gate Array (FPGA) to implement hardware
accelerator for scientific computing applications
M. Sc. Abner Corrêa Barros (UFRPE/PE)

21/09 Terça – feira manhã
Coordenador:
8:30 - 8:50 Analysis of Transient Phenomena in Turbulent Flows Using Wavelets

Profa. Dra. Maria Luiza Indrusiak (UNISINOS/RS)

8:55 - 9:15 Interval Mathematics in Scilab
Profa. Dra. Maria Angélica Camargo Brunetto (UEL/PR)

9:20 - 9:40 Interval Mathematics: A Real Application to Electric Power Systems
Prof. Dr. Luciano Vitória Barboza (IFSUL/Pelotas)

10:10 - 10:30 Computing Mathematics Group
Profa. Dra. Liara Aparecida dos Santos Leal (PUC/RS)

9:45 - 10:05 An Interval Probability based on Interval Analysis and High Accuracy Arithmetic
Profa. Dra. Marcília Andrade Campos (UFPE/PE)

11:30 – 12:30 Plenary Talk: High Performance Verified Computing
Prof. Dr. Walter Krämer (University of Wuppertal/Germany)

21/09 Terça – feira tarde
Coordenador:

14:00 - 14:20 The Q-calculus
Prof. Dr. Benedito Melo Acioly (UESB/BA)

14:25 - 14:45 Some Continuity Notions for Interval Functions and Interval
Prof. Dr. Benjamin Callejas Bedregal (UFRN/RN)

14:50 - 15:10 Informational Distances: Introducing Interval Distances
Prof. Dr. Regivan Hugo Nunes Santiago (UFRN/RN)
15:15 - 15:35 Interval Signal Processing

Prof. Dr. Roque Mendes Prado Trindade (UESB/BA)
15:40 - 16:00 Interval valued fuzzy logic

Profa. Dra. Renata Hax Sander Reiser (UFPel/RS)

21/09 Terça-feira Noite
Coordenador:
18:00 - 18:30 Final Assessment of Mini-symposium IntMath-TSD

Prof. Dr. Dalcidio Moraes Claudio (PUC/RS)
Prof. Dr. Tiarajú Asmuz Divério (UFRGS/RS)

18:30 - 19:00 Intervalar Wavelets: New perspectives and possibilities
Profa. Dra. Alice de Jesus Kozakevicius (UFSM/RS)
Profa. Dra. Marcília Andrade Campos (UFPE/PE)
Profa. Dra. Renata Hax Sander Reiser (UFPel/RS)

SBMAC - Sociedade Brasileira de Matemática Aplicada e Computacional
sbmac@sbmac.org.br / Tel.: (16) 3373-8120
Tecnologia congresscentral
Desenvolvido para :
Firefox Google Chrome Internet Explorer 7 Opera 9 Safari 3