国際会議発表 (Talks in International Conference)

1. K. Ozaki: Tight enclosure of a matrix product based on BLAS, The 42nd JSST Annual International Conference on Simulation Technology (JSST2023), Niigata University, Japan (2023/08/31).
2. Y. Zhao, K. Ozaki, Y. Uchino: Computation method for an upper bound of the maximum norm of a matrix product, The 42nd JSST Annual International Conference on Simulation Technology (JSST2023), Niigata University, Japan (2023/08/31).
3. Y. Uchino, K. Ozaki: Fast and accurate symmetric rank-k operation, The 42nd JSST Annual International Conference on Simulation Technology (JSST2023), Niigata University, Japan (2023/08/31).
4. K. Ozaki: Generation of test matrices with specified eigenpairs, Numerical methods for spectral problems: theory and applications, New Akan Hotel, Kushiro, Hokkaido, Japan (2023/08/28).
5. Y. Uchino, K. Ozaki, T. Imamura: Mixed-precision iterative refinement for real-symmetric eigenvalue decomposition with clustered eigenvalues, 10th International Congress on Industrial and Applied Mathematics (ICIAM2023), Waseda University, Japan (2023/08/23).
6. T. Terao, T. Imamura, K. Ozaki: Iterative refinement for an eigenpair subset of real symmetric matrices, 10th International Congress on Industrial and Applied Mathematics (ICIAM2023), Waseda University, Japan (2023/08/22).
7. K. Ozaki, Y. Uchino, T. Terao: Floating-point matrices with specified solutions for linear algebra problems, 10th International Congress on Industrial and Applied Mathematics (ICIAM2023), Waseda University, Japan (2023/08/22).
8. K. Ozaki: GEMM-based numerical algorithm for accurate matrix multiplication, 25th Conference of the International Linear Algebra Society, University Politecnica Madrid, Madrid, Spain (2023/06/14).
9. Y. Uchino, K. Ozaki, T. Imamura: Acceleration of iterative refinement for symmetric eigenvalue decomposition with clustered eigenvalues, 25th Conference of the International Linear Algebra Society, University Politecnica Madrid, Madrid, Spain (2023/06/14).
10. Y. Uchino, K. Ozaki: Performance Evaluation of Iterative Refinement for Singular Value Decomposition on a Supercomputer, 2023 Conference on Advanced Topics and Auto Tuning in High-Performance Scientific Computing, National Central University, Taiwan (2023/03/25).
11. K. Ozaki: Recent Progress of BLAS-Based Accurate Numerical Algorithms for Matrix Multiplication, 2023 Conference on Advanced Topics and Auto Tuning in High-Performance Scientific Computing, National Central University, Taiwan (2023/03/24).
12. T. Aoyama, K. Ozaki: Numerical experiments for Verified numerical computations for linear systems, The 41st JSST Annual International Conference on Simulation Technology, online (2022/08/31).
13. K. Aihara, K. Ozaki, D. Mukunoki: A mixed-precision algorithm of the CG method using the group-wise update strategy, The 41st JSST Annual International Conference on Simulation Technology, online (2022/08/31).
14. Y. Uchino, K. Ozaki, T. Terao: Inclusion Methods for Multiplication of Three Point Matrices, The 41st JSST Annual International Conference on Simulation Technology, online (2022/08/31).
15. K. Ozaki, T. Terao, Y. Uchino: Test floating-point matrices with specified solutions for numerical linear algebra, The 41st JSST Annual International Conference on Simulation Technology, online (2022/08/31).
16. T. Terao, T. Imamura, K. Ozaki: Development of a Reliable Eigensolver on Supercomputer, Conference on advanced topics and auto tuning in high-performance scientific computing (ATAT2022), online (2022/03/30).
17. K. Ozaki, D. Mukunoki, T. Ogita: Rayleigh quotient and accurate matrix multiplication for eigenvalue problems, International Workshop on Reliable Computing and Computer-Assisted Proofs (ReCAP 2022), online (2022/03/13-15).
18. K. Ozaki: Error-free transformation of matrix multiplication for multi-precision computations, The 19th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN2020), Online (2021/09/15).
19. Y. Uchino, K. Ozaki, T. Ogita, Acceleration of Iterative Refinement for Symmetric Eigenvalue Decomposition, The 40th JSST Annual International Conference on Simulation Technology (JSST2021), online (2021/09/02).
20. T. Terao, K. Ozaki, T. Ogita, T. Imamura, Verified Numerical Computations for a Standard Eigenvalue Problem Without Directed Rounding, The 40th JSST Annual International Conference on Simulation Technology (JSST2021), online (2021/09/02).
21. A. Minamihata, K. Ozaki, T. Ogita, S. Oishi, Preconditioner for Ill-conditioned Tall and Skinny Matrices, The 40th JSST Annual International Conference on Simulation Technology (JSST2021), online (2021/09/02).
22. K. Ozaki, D. Mukunoki, T. Ogita, Acceleration of Error-Free Transformation of Matrix Multiplication using GPU Tensor Cores, The 40th JSST Annual International Conference on Simulation Technology (JSST2021), online (2021/09/02).
23. K. Ozaki, T. Ogita, D. Mukunoki: Interval Matrix Multiplication Using Fast Low-Precision Arithmetic on GPU, The theme of the 9th International Workshop on Reliable Engineering Computing (REC2021), Online (2021/05/20).
24. D. Mukunoki, K. Ozaki, T. Ogita, R. Iakymchuk: Conjugate Gradient Solvers with High Accuracy and Bit-wise Reproducibility between CPU and GPU using Ozaki scheme, HPC Asia 2021, Online (2021/01.21).
25. D. Mukunoki, K. Ozaki, T. Ogita, T. Imamura: DGEMM using Tensor Cores, and Its Accurate and Reproducible Versions, ISC 2020 DIGITAL (2020/06/23).
26. T. Terao, K. Ozaki, T. Ogita: Verified Numerical Computations for Eigenvalue Problems on Large-Scale Parallel Systems, 2020 SIAM Conference on Parallel Processing for Scientific Computing, Hyatt Regency Seattle, Seattle, WA (2020/02/12-15).
27. K. Ozaki: Upper bound of maximum norm of inverse matrix in test set and its application, the Asian Pacific Congress on Computational Mechanics (APCOM2019), Taipei International Convention Center, Taipei, Taiwan (2019/12/18-20).
28. T. Terao, K. Ozaki, T. Ogita: Verified Numerical Computations for Standard Eigenvalue Problems on Supercomputers, The 38th JSST Annual International Conference on Simulation Technology (JSST2019), New Wel City, Miyazaki, Japan (2019/11/05-07).
29. K. Ozaki: Generation of Floating-point Ill-conditioned Matrices, The 38th JSST Annual International Conference on Simulation Technology (JSST2019), New Wel City, Miyazaki, Japan (2019/11/05-07).
30. T. Terao, K. Ozaki, T. Ogita: LU-Cholesky QR Algorithms for Thin QR Decomposition in An Oblique Inner Product, International Conference on Mathematics: Pure, Applied and Computation (ICoMPAC 2019), Surabaya, Indonesia (2019/10/19).
31. [Keynote Speaker] K. Ozaki: Error-Free Transformation for Matrix Multiplication and its Applications, International Conference on Mathematics: Pure, Applied and Computation (ICoMPAC 2019), Surabaya, Indonesia (2019/10/19).
32. K. Ozaki: Reproducible Interval Matrix Multiplication, European Numerical Mathematics and Advanced Applications Conference 2019, Egmond aan Zee, The Netherlands (2019/09/30-10/04).
33. D. Mukunoki, T. Ogita, K. Ozaki: Accurate and Reproducible CG Method on GPUs, European Numerical Mathematics and Advanced Applications Conference 2019, Egmond aan Zee, The Netherlands (2019/09/30-10/04).
34. D. Mukunoki, T. Ogita, K. Ozaki: Accurate and Reproducible BLAS Routines with Ozaki Scheme for Many-core Architectures, 13th International Conference on Parallel Processing and Applied Mathematics (PPAM2019), Bialystok, Poland (2019/09/08-11).
35. T. Terao, K. Ozaki, T. Ogita: Preconditioned Choleskey QR algorithms in an oblique inner product, International Conference on Matrix Analysis and its Applications (MatTriad2019), Liblice, Czech Republic (2019/09/08-13).
36. K. Ozaki, T. Ogita: Error-free transformation of a product of three matrices and its applications, International Conference on Matrix Analysis and its Applications (MatTriad2019), Liblice, Czech Republic (2019/09/08-13).
37. K. Ozaki:　Optimal Signed Relative Error for Floating-Point Arithmetic, The International Council for Industrial and Applied Mathematics (ICIAM 2019), Valencia, Spain (2019/07/15-19).
38. [invited] K. Ozaki: Review of Error-Free Transformation of Matrix Multiplication, Basics and Applications, Workshop on Large-scale Parallel Numerical Computing Technology, RIKEN R-CCS, Kobe, Japan (2019/06-07).
39. K. Ozaki: Reproducible numerical algorithms for matrix multiplication, The 3rd UOG-SIT Workshop in Pure/Applied Mathematics and Computer Science, University of Guam, U.S.A (2019/03/22-23).
40. T. Terao, K. Ozaki, T. Ogita: Robust and Eficient Cholesky QR Algorithms for Thin QR decomposition, The 3rd UOG-SIT Workshop in Pure/Applied Mathematics and Computer Science, University of Guam, U.S.A (2019/03/22-23).
41. K. Ozaki, T. Ogita: Test Matrices for Numerical Computations of Linear Systems and Eigenvalue Problems, SIAM Conference on Computational Science and Engineering (CSE19), Spokane, WA, USA (2019/02/25-03/01).
42. T. Terao, K. Ozaki, T. Ogita: Thin QR Decomposition using LU Factors and its Refinement, SIAM Conference on Computational Science and Engineering (CSE19), Spokane, WA, USA (2019/02/25-03/01).
43. T. Terao, K. Ozaki, T. Ogita: CholeskyQR algorithms for ill-conditioned matrices on large-scale parallel systems, 2019 Conference on Advanced Topics and Auto Tuning in High-Performance Scientific Computing, National Sun Yat-sen University, Kaohsiung, Taiwan (2019/02/15-16).
44. K. Ozaki, T. Ogita: Test matrices with specified solutions for numerical linear algebra, 2019 Conference on Advanced Topics and Auto Tuning in High-Performance Scientific Computing, National Sun Yat-sen University, Kaohsiung, Taiwan (2019/02/15-16).
45. D. Mukunoki, T. Ogita, K. Ozaki: High Performance Implementation of Reproducible BLAS Routines with Tunable Accuracy using Ozaki Scheme, Workshop Computational Reproducibility at Exascale 2018 (CRE2018), Dallas, TX (2018/11/11).
46. K. Ozaki: Verified Numerical Computations of Dense Linear Systems for Super Computing, The International Conference on Mathematics: Pure, Applied and Computation (ICoMPAC 2018), Hotel Majapahit, Surabaya, Indonesia (2018/10/20).
47. Y. Ohta, K. Ozaki: Extension of floating-point filters to absolute and relative errors for numerical computation, The International Conference on Mathematics: Pure, Applied and Computation (ICoMPAC 2018), Hotel Majapahit, Surabaya, Indonesia (2018/10/20).
48. A. Sakamoto, K. Ozaki: Verification of Computational Order of GEMV and GEMM, The 37th JSST Annual International Conference on Simulation Technology (JSST2018), Muroran Institute of Technology, Muroran, Japan (2018/09/18-20).
49. T. Terao, K. Ozaki: Generation of Large-Scaled Matrices with Specified Eigenvalues for Parallel and Distributed Computing, The 37th JSST Annual International Conference on Simulation Technology (JSST2018), Muroran Institute of Technology, Muroran, Japan (2018/09/18-20).
50. Y. Ohta, K. Ozaki: Computable error bounds for floating-point filters, The 37th JSST Annual International Conference on Simulation Technology (JSST2018), Muroran Institute of Technology, Muroran, Japan (2018/09/18-20).
51. K. Ozaki, T. Ogita: Performance Evaluation of Verification Methods for Linear Systems on Super Computers, The 37th JSST Annual International Conference on Simulation Technology (JSST2018), Muroran Institute of Technology, Muroran, Japan (2018/09/18-20).
52. K. Ozaki, T. Ogita: Verified Numerical Computations for Sparse Linear Systems Using Test Matrices, The 18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN2018), Waseda University, Japan (2018/09/10-15).
53. K. Ozaki: Accurate and Reproducible Matrix Multiplication, 11th Summer Workshop on Interval Methods (SWIM2018), Rostock University, Rostock, Germany (2018/07/25-27).
54. T. Terao, K. Ozaki: Generation of large scale matrices for numerical examples, 10th International Workshop on Parallel Matrix Algorithms and Applications (PMAA18), ETH, Zurich, Switzerland (2018/06/27-29).
55. K. Ozaki, T.Ogita: Accurate Numerical Solutions of Large-Scale Linear Systems and Their Verification, 10th International Workshop on Parallel Matrix Algorithms and Applications (PMAA18), ETH, Zurich, Switzerland (2018/06/27-29).
56. T. Terao, K. Ozaki, T. Ogita: Rounding Error Analysis of QR Decomposition Using LU Factors Based on CholeskyQR Algorithm, IX Pan-American Workshop Applied Mathematics & Computational Science, Melia Varadero Hotel, Varadero, Cuba (2018/06/11-15).
57. Y. Ohta, K. Ozaki: Applications of Floating-Point Filters, IX Pan-American Workshop Applied Mathematics & Computational Science, Melia Varadero Hotel, Varadero, Cuba (2018/06/11-15).
58. K. Ozaki, T. Ogita: Test Matrices for Symmetric Eigenvalue Problems Using Weighing Matrices, IX Pan-American Workshop Applied Mathematics & Computational Science, Melia Varadero Hotel, Varadero, Cuba (2018/06/11-15).
59. K. Ozaki: Verified Numerical Solutions of Very-Large-Scale Linear Systems, 2018 Conference on Advanced Topics and Auto Tuning in High-Performance Scientific Computing, National Cheng Kung University, Tainan, Taiwan (2018/03/26-27).
60. T. Terao, K. Ozaki: Verification of Positive Definiteness of Symmetric Sparse Matrices, 2018 Conference on Advanced Topics and Auto Tuning in High-Performance Scientific Computing, National Cheng Kung University, Tainan, Taiwan (2018/03/26-27).
61. T. Terao, K. Ozaki: Validated Solution of Linear Systems for Real Symmetric and Positive Definite Matrices, 18th SIAM Conference on Parallel Processing for Scientific Computing, Waseda University, Japan (2018/03/07-10).
62. K. Ozaki, T. Terao, R. Ochiai, T. Ogita: Verified Numerical Computations for Large-Scale Linear Systems, 18th SIAM Conference on Parallel Processing for Scientific Computing, Waseda University, Japan (2018/03/07-10).
63. T. Terao, K. Ozaki: Verification of non-singularity for interval matrices, The 10th Int'l Conference on Computational Intelligence and Software Engineering (CiSE 2018), Bangkok, Thailand (2018/01/05-07).
64. Y. Ohta, K. Ozaki: Verification of Selection in Programming Codes for Problems of Rounding Errors, The 10th Int'l Conference on Computational Intelligence and Software Engineering (CiSE 2018), Bangkok, Thailand (2018/01/05-07).
65. R. Ochiai, T. Terao, K. Ozaki: Accurate Numerical Solutions for Linear Systems and Adaptive Implementation, The 10th Int'l Conference on Computational Intelligence and Software Engineering (CiSE 2018), Bangkok, Thailand (2018/01/05-07).
66. A. Sakamoto, K. Ozaki: Verification of Computational Order of Dot Product from the Behavior of Rounding Errors, The 10th Int'l Conference on Computational Intelligence and Software Engineering (CiSE 2018), Bangkok, Thailand (2018/01/05-07).
67. K. Ozaki: Test Matrices with the Specified Solution for Numerical Linear Algebra, The 10th Int'l Conference on Computational Intelligence and Software Engineering (CiSE 2018), Bangkok, Thailand (2018/01/05-07).
68. [Invited Talk] K. Ozaki: Test Matrices for Numerical Linear Algebra, Dagstuhl Seminar 17481: Reliable Computation and Complexity on the Reals, Schloss Dagstuhl, Dagstuhl, Germany (2017/11/27-12/01).
69. T. Terao, K. Ozaki: Verification of positive definiteness using approximate inverse matrices of computed Cholesky factors, the 2017 International Conference on Computational and Mathematical Methods in Science and Engineering (CMMSE2017), Rota, Spain (2017/07/04-08).
70. K. Ozaki, T. Ogita: Generation of Test Matrices with Exact Singular Values for Numerical Computations, the 2017 International Conference on Computational and Mathematical Methods in Science and Engineering (CMMSE2017), Rota, Spain (2017/07/04-08).
71. T. Terao, K. Ozaki: Fast verification methods for proving non-singularity of matrices, 10th Summer Workshop on Interval Methods, and 3rd International Symposium on Set Membership - Applications, Reliability and Theory (SWIM-SMART 2017), Manchester University, Manchester, U.K. (2017/06/14-16).
72. R. Ochiai, T. Terao, K. Ozaki: Accurate Numerical Solutions of Linear Systems, 10th Summer Workshop on Interval Methods, and 3rd International Symposium on Set Membership - Applications, Reliability and Theory (SWIM-SMART 2017), Manchester University, Manchester, U.K. (2017/06/14-16).
73. K. Ozaki, T. Ogita: Generation of Test matrices with Specified Eigenvalues, 10th Summer Workshop on Interval Methods, and 3rd International Symposium on Set Membership - Applications, Reliability and Theory (SWIM-SMART 2017), Manchester University, Manchester, U.K. (2017/06/14-16).
74. Y. Ohta, K. Ozaki, Iterative algorithms based on verification methods for computational geometry, The International Workshop on Numerical Verification and its Applications 2017 (2017/03/14-18).
75. K. Ozaki, T. Ogita, Generation of Linear Systems with Specified Solutions for Numerical Experiments, The International Workshop on Numerical Verification and its Applications 2017 (2017/03/14-18).
76. Y. Kobayashi, T. Ogita, K. Ozaki: A Fast and Efficient Algorithm to Solve Ill-conditioned Linear Systems by Preconditioning Methods, The International Workshop on Numerical Verification and its Applications 2017 (2017/03/14-18).
77. K. Ozaki, T. Ogita: Faithful Rounding for Matrix Multiplication, SIAM Conference on Computational Science and Engineering (CSE17), Hilton Atlanta, Atlanta, USA (2017/02/27-03/03).
78. A. Minamihata, K. Ozaki, T. Ogita, S. Oishi: Improved Extraction Scheme for Accurate Floating-point Summation, The 35th JSST Annual Conference, International Conference on Simulation Technology (JSST2016), Kyoto University (2016/10/27-29).
79. R. Ochiai, K. Ozaki: Differential Equation Simulator of Based on The Finite Difference Method Which Does Not Require Programming Skills, The 35th JSST Annual Conference, International Conference on Simulation Technology (JSST2016), Kyoto University (2016/10/27-29).
80. T. Terao, K. Ozaki: Verification of Positive Definiteness using Block Cholesky Decomposition, The 35th JSST Annual Conference, International Conference on Simulation Technology (JSST2016), Kyoto University (2016/10/27-29).
81. Y. Ohta, N. Nakamura, K. Ozaki: Enclosure of Product of Three Point Matrices, The 35th JSST Annual Conference, International Conference on Simulation Technology (JSST2016), Kyoto University (2016/10/27-29).
82. Y. Kobayashi, T. Ogita, K. Ozaki: An Accurate and Effcient Solution of Ill-conditioned Linear Systems by Preconditioning Methods, 17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics, Uppsala, Sweden (2016/09/26-29).
83. K. Ozaki, T. Ogita: Linear Systems with the Exact Solution for Numerical Tests, 17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics, Uppsala, Sweden (2016/09/26-29).
84. Y. Ohta, K. Ozaki: Iterative algorithm for convex hull based on floating-point filters, Czech-Japanese-Polish Seminar in Applied Mathematics 2016, AGH University of Science and Technology, Krakow, Poland (2016/09/05-09).
85. K. Ozaki: Linear Systems with the Exact Solution for Numerical Tests, Czech-Japanese-Polish Seminar in Applied Mathematics 2016, AGH University of Science and Technology, Krakow, Poland (2016/09/05-09).
86. T. Terao, K. Ozaki: Verification of Positive Definiteness and its Application to linear systems using Block Cholesky Decomposition, Czech-Japanese-Polish Seminar in Applied Mathematics 2016, AGH University of Science and Technology, Krakow, Poland (2016/09/05-09).
87. K. Ozaki: Improvement of error bound for dot product with unit in the first place, The 2nd International Conference and Summer School Numerical Computations: Theory and Algorithms (NUMTA2016), Club Med Resort, Pizzo, Italy (2016/06/19-24).
88. Y. Ohta, K. Ozaki: Verification of Distances in Two-Dimensional Space, 5th European Seminar on Computing (ESCO2016), Pilsen, Czech Republic (2016/06/09).
89. K. Ozaki: Block Computations for Interval Arithmetic and Verified Numerical Computations for Linear Systems, 5th European Seminar on Computing (ESCO2016), Pilsen, Czech Republic (2016/06/09).
90. K. Ozaki, T. Ogita: Error-Free Transformation of Matrix Multiplication by A Posteriori Verification, Sixth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS2015), Zuse Institute Berlin, Berlin (2015/11/11-13).
91. K. Ozaki, T. Ogita: Verified Numerical Computations for Convex Hull, The 34rd JSST Annual Conference: International Conference on Simulation Technology, Toyama, Japan (2015/10/12-14).
92. K. Ozaki, T. Ogita: Accurate Computations of Matrix Multiplication with Level 3 Operation in BLAS, The 6th International Conference on Computational Methods (ICCM2015), Pullman Hotel, Auckland, New Zealand (2015/07/14-17).
93. K. Ozaki, T. Ogita: Tight Enclosure of Matrix Multiplication with Level 3 BLAS, 8th Small Workshop on Interval Methods, Prague, Czech Republic (2015/06/09-11).
94. Y. Ohta, K. Ozaki: Verified Convex Hull for Inexact Data, 8th Small Workshop on Interval Methods, Prague, Czech Republic (2015/06/09-11).
95. [Invited Talk] K. Ozaki: Recent Results of Error-Free Transformation of Matrix Multiplication, 2nd International Workshop on Numerical Linear Algebra and Its Applications, UESTC, Chengdu, Sichuan, China (2014/11/21-25).
96. K. Ozaki, T. Ogita, S. Oishi: Block Computations and Verified Numerical Computations for Linear Systems, The 33rd JSST Annual Conference: International Conference on Simulation Technology, Kitakyushu, Japan (2014/9/29-31).
97. K. Ozaki, T. Ogita, S. Oishi: Automatic Verified Numerical Computations for Linear Systems, The 16th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, Wurzburg, Germany (2014/09/21-26).
98. K. Ozaki: Remarks on Residuals of Numerical Solution of Triangular Systems, 2nd Slovak-Japan Conference on Applied Mathematics 2014, Radzovce-Obrucna, Slovakia (2014/09/14-18).
99. Y. Ohta, K. Ozaki: Iterative Convex Hull Algorithm with Verified Numerical Computations, The 10th East Asia SIAM Conference, Pattaya, Thailand (2014/06/23-25).
100. K. Ozaki, T. Ogita, S. Oishi: Residual Bounds for Triangular Systems by Grouped Block Implementation, The 10th East Asia SIAM Conference, Pattaya, Thailand (2014/06/23-25).
101. K. Ozaki, T. Ogita: Acceleration of Interval Matrix Multiplication by Mixed-Precision Arithmetic, 7th Small Workshop on Interval Methods, Uppsala University, Uppsala, Sweden (2014/06/11-12).
102. K. Ozaki: Verified Numerical Computations for Computational Geometry, The International Workshop on Numerical Verification and its Applications 2014, Waseda University, Tokyo, Japan (2014/03/15-17).
103. [Invited Talk] K. Ozaki: Block Matrix Computations in Terms of a Priori Error Analysis, Block Matrix Computations in Terms of a Priori Error Analysis, National Taiwan University, Taipei, Taiwan (2014/03/14-15).
104. [Invited Talk] K. Ozaki: Verified Numerical Computations for Matrix Multiplication based on High Performance BLAS, IEEE MCSoC-13, Auto-Tuning for Multicore and GPU (ATMG), NII, Japan (2013/09/26-28).
105. Y. Morikura, K. Ozaki, T. Katagiri, S. Oishi: Adaptive implementation of the verification method for large-scale linear systems, 32nd JSST Annual Conference, International Conference on Simulation Technology, Meiji University (2013/9/11-13).
106. Y. Ohta, K. Ozaki: 2D Orientation Problem for Interval Data, 32nd JSST Annual Conference, International Conference on Simulation Technology, Meiji University (2013/9/11-13).
107. K. Ozaki, T. Ogita, S. Oishi: Floating-point filters towards floating-point exceptions, 32nd JSST Annual Conference, International Conference on Simulation Technology, Meiji University (2013/9/11-13).
108. K. Ozaki: Accurate algorithms for matrix multiplication with error-free splitting, Czech-Japanese Seminar in Applied Mathematics 2013 (CJS2013), Tokyo (2013/09/05-08).
109. K. Ozaki, T. Ogita: Fast Interval Matrix Multiplication by Blockwise Computations, European Conference on Numerical Mathematics and Advanced Applications (ENUMATH2013), Lausanne (2013/08/26-30).
110. K. Ozaki, T. Ogita: A New Error-Free Splitting for Accurate Matrix Multiplication, The 4th International Conference on Matrix Analysis and Applications, Dedeman Hotel, Konya, Turkey (2013/07/2-5).
111. Y. Morikura, K. Ozaki, S. Oishi: Implementation of verification methods for large-scale linear systems, The 9th East Asia SIAM Conference, Bandung, Indonesia (2013/06/18-20).
112. K. Ozaki, T. Ogita, S. Oishi, S. M. Rump: Remark on error-estimates for floating-point summation by unit in the first place, The 9th East Asia SIAM Conference, Bandung, Indonesia (2013/06/18-20).
113. Y. Ohta, K. Ozaki: Convex Hull for Set of Real Numbers with Verified Numerical Computations, The 9th East Asia SIAM Conference, Bandung, Indonesia (2013/06/18-20).
114. K. Ozaki, T. Ogita, S. Oishi: Memory Reduced Implementation of Error-Free Transformation of Matrix Multiplication and its Performance, 2012 International Symposium on Nonlinear Theory and its Applications (NOLTA2012), Palma de Majorca (2012/10/22-26), pp. 877-880.
115. Y. Morikura, K. Ozaki, S. Oishi: Verification Methods for Linear Systems on a GPU, 15th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2012), the Russian Academy of Sciences, Novosibirsk, Russia (2012/09/23-29), pp. 113-114.
116. K. Ozaki, T. Ogita: Performance Comparison of Accurate Matrix Multiplication, 15th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2012), the Russian Academy of Sciences, Novosibirsk, Russia (2012/09/23-29), pp. 129-130.
117. K. Ozaki, T. Ogita, S. Oishi: Fast Interval Matrix Multiplication without Directed Rounding, The 8th East Asia SIAM Conference, Taipei, Taiwan (2012/06/25-27).
118. Y. Morikura, K. Ozaki, S. Oishi: Verification methods for linear systems using ufp estimation with rounding-to-nearest, The 8th East Asia SIAM Conference, Taipei, Taiwan (2012/06/25-27).
119. K. Ozaki, T. Ogita: Application of Error-Free Transformation for Matrix Multiplication, Fifth Conference on Numerical Analysis and Applications, Lozenetz, Bulgaria (2012/06/15-20), pp. 34.
120. [Invited Talk]K. Ozaki: Best Accuracy of Matrix Multiplication by Error-Free Transformation with Level 3 BLAS, Japanese-German Workshop: Computer-Assisted Proofs and Verification Methods, Karlsruhe, Germany (2011/09/18-22).
121. K. Ozaki, T. Ogita, S. Oishi:Accurate matrix multiplication: Improvement of error-free splitting, 2011 International Symposium on Nonlinear Theory and its Applications (NOLTA2011), Kobe, Japan (2011/09/4-7), pp. 85.
122. K. Ozaki, T. Ogita: Error-free transformation of matrix product: worst case optimal algorithm, International Workshop on Numerical Linear Algebra and Its Applications, Shanghai, China (2011/7/1-3).
123. M. Morikura, K. Ozaki, S. Oishi: Verified solutions of linear systems on GPU, The Seventh East Asia SIAM Conference, Kita-Kyushu, Japan (2011/6/27-29), pp. 174 - 175.
124. K. Ozaki, T. Ogita, S. Oishi: Simplified semi-static floating-point filter for 2D orientation problem, The Seventh East Asia SIAM Conference, Kita-Kyushu, Japan (2011/6/27-29), pp. 36 - 37.
125. K. Ozaki, T. Ogita: General matrix multiplication with guaranteed accuracy, Conference on Applied Mathematics and Scientific Computing 2011, Trogir, Croatia (2011/06/13-18), pp. 51 - 52.
126. K. Ozaki, T. Ogita, S. Oishi: Computer Assisted Proof of Non-singularity of a Floating-point Matrix based on High Performance Functions, SIAM Computational Science and Engineering 2011, Reno, U.S.A (2011/02/28-03/04.)
127. K. Ozaki, T. Ogita, S. Oishi: Quasi-Quadruple Precision Matrix Multiplication Based on Fast Routine for Matrix Computations, 14th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2010), ENS de Lyon, Lyon, France (2010/09/27-30), pp. 111-112.
128. K. Ozaki, T. Ogita, S. Oishi: Robustness Problem and Error-Free Determinant Transformation in Computational Geometry, Czech-Japanese Seminar in Applied Mathematics 2010, Telc, Czech Republic (2010/08/29 - 09/04).
129. K. Ozaki, T. Ogita, S. Oishi: Fast Interval Matrix Multiplication, Applied Mathematics International Conference 2010 & The Sixth East Asia SIAM Conference, Kuala Kumpur (2010/6/22-24), pp. 44-45.
130. K. Ozaki, T. Ogita, S. Oishi: Exact 2D Convex Hull for Floating-point data, 2010 Reliable Engineering Computing (REC2010), Singapore (2010/3/3-5), pp. 282 - 292.
131. [Invited Talk]K. Ozaki, T. Ogita, S. Oishi: Error-Free Transformation of Matrix Multiplication and its related topics, Computer-assisted Proofs - Tools, Methods and Applications, Dagstuhl Seminar, Dagstuhl, Germany (2009/11/15-20).
132. K. Ozaki, T. Ogita, S. Oishi: Fast Filter for Verified Convex Hull and its Performance, The 24th International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC 2009), Jeju, Korea (2009/7/5-8), pp. 169-172.
133. K. Ozaki, T. Ogita, S. Oishi: Verified Convex Hull based on Graham's Algorithm, The 2nd International Conference on Mathematical Modelling and Computation and The 5th East Asia SIAM Conference, The Chancellor Hall in Universiti Brunei Darussalam, Brunei (2009/6/8-11), pp. 39-40.
134. K. Ozaki, T. Ogita, S. Oishi: A priori error estimation for accurate matrix multiplication by using optimized BLAS, International Conference on Engineering and Computational Mathematics (ECM2009), The Hong-Kong Polytechnic University, Hong-Kong (2009/5/27-29), pp. 77.
135. K. Ozaki, T. Ogita, S. Oishi: Parallel and Accurate Matrix Multiplication based on Optimized BLAS, The 4th International Conference on High Performance Scientific Computing, Hanoi, Vietnam (2009/3/2-6).
136. K. Ozaki, T. Ogita, S. Oishi: A Robust Algorithm for Geometric Predicate by Sum of Determinants, The NIMS 2008 Conference & The 4th East Asia SIAM Conference, Hotel Riviera, Daejeon, Korea (2008/10/10-12), pp. 29.
137. K. Ozaki, T. Ogita, S. M. Rump, S. Oishi: Tight inclusion of matrix multiplication and its portable implementation, 13th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2008), University of Texas in El-paso, El-Paso, USA, (2008/9/29-10/3), pp. 91-92.
138. K. Ozaki, T. Ogita, S. M. Rump, S. Oishi: An Efficient Method Of Applying Accurate Summation Algorithms To 3D Orientation Problem, The 3rd East Asia SIAM Conference, Xiamen, China (2007/11/2-5).
139. K. Ozaki, T. Ogita, S. M. Rump, S. Oishi: Fast and Adaptive Algorithm for 2D Orientation Problem, 6th International Congress on Industrial and Applied Mathematics (ICIAM07), Zurich, Switzerland (2007/7/16-20), pp. 175-176.
140. K. Ozaki, T. Ogita, S. M. Rump, S. Oishi: Fast Adaptive Algorithm of Geometric Predicates using Floating-Point Arithmetic, 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2006), University of Duisburg-Essen, Duisburg, Germany (2006/9/26-10/3), 2006, pp. 115-116.