Organizadores do Minissimpósio: Marcília Andrade Campos - UFPE, Alice de Jesus Kozakevicius - UFSM e Renata Hax Sander Reiser - UFPEL
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)