論文 - 宮島 信也
-
Enhanced estimation method for partial scattering functions in CV-SANS via Gaussian process with prior knowledge of smoothness
Ippei Obayashi, Shinya Miyajima, Kazuaki Tanaka, Koichi Mayumi
Journal of Applied Crystallography 2025年04月 [査読有り]
国際的学術誌 共著・分担
-
Error evaluation of partial scattering functions obtained from contrast variation small-angle neutron scattering
Koichi Mayumi, Tatsuro Oda, Shinya Miyajima, Ippei Obayashi, Kazuaki Tanaka
Journal of Applied Crystallography 2025年02月 [査読有り]
国際的学術誌 共著・分担
-
Some properties concerning Perron vectors of weakly irreducible nonnegative tensors, and their application to rigorous enclosure
Shinya Miyajima
Linear Algebra and its Applications 2024年04月 [査読有り]
国際的学術誌 単著
-
Fast verified computation for real powers of large matrices with Kronecker structure
Shinya Miyajima
Applied Mathematics and Computation 2023年09月 [査読有り]
国際的学術誌 単著
-
Fast enclosure for the minimal nonnegative solution to the nonsymmetric T-Riccati equation
Shinya Miyajima
Calcolo 2022年09月 [査読有り]
国際的学術誌 単著
-
Verified computation of matrix gamma function
Shinya Miyajima
Linear and Multilinear Algebra 2022年05月 [査読有り]
国際的学術誌 単著
-
Fast verified computation for positive solutions to M-tensor multi-linear systems and Perron vectors of a kind of weakly irreducible nonnegative tensors
Shinya Miyajima
Journal of Computational and Applied Mathematics 2022年05月 [査読有り]
国際的学術誌 単著
-
Verified computation of real powers of matrices
Shinya Miyajima
Journal of Computational and Applied Mathematics 2021年08月 [査読有り]
国際的学術誌 単著
-
Computing enclosures for the matrix Mittag-Leffler function
Shinya Miyajima
Journal of Scientific Computing 2021年05月 [査読有り]
国際的学術誌 単著
-
Fast verification for the Perron pair of an irreducible nonnegative matrix
Shinya Miyajima
The Electronic Journal of Linear Algebra 2021年05月 [査読有り]
国際的学術誌 単著
-
Verified computation for the geometric mean of two matrices
Shinya Miyajima
Japan Journal of Industrial and Applied Mathematics 2021年01月 [査読有り]
国際的学術誌 単著
-
Enclosing Moore-Penrose inverses
Shinya Miyajima
Calcolo 2020年03月 [査読有り]
国際的学術誌 単著
-
Verified computation of eigenpairs in the generalized eigenvalue problem for nonsquare matrix pencils
Shinya Miyajima
Journal of Mathematical Research with Applications 2020年01月 [査読有り]
国際的学術誌 単著
-
Verified computation for the matrix Lambert W function
Shinya Miyajima
Applied Mathematics and Computation 2019年12月 [査読有り]
国際的学術誌 単著
-
Robust verification algorithm for stabilizing solutions of discrete-time algebraic Riccati equations
Shinya Miyajima
Japan Journal of Industrial and Applied Mathematics 2019年09月 [査読有り]
国際的学術誌 単著
-
行列方程式の解に対する数値的検証法の進展
宮島信也
応用数理 2019年06月 [査読有り]
学術誌 単著
-
Verified computation for the matrix principal logarithm
Shinya Miyajima
Linear Algebra and its Applications 2019年05月 [査読有り]
国際的学術誌 単著
-
Verified computation for the Hermitian positive definite solution of the conjugate discrete-time algebraic Riccati equation
Shinya Miyajima
Journal of Computational and Applied Mathematics 2019年04月 [査読有り]
国際的学術誌 単著
-
Verified computation of the matrix exponential
Shinya Miyajima
Advances in Computational Mathematics 2019年02月 [査読有り]
国際的学術誌 単著
-
Fast verified computation for the minimal nonnegative solution of the nonsymmetric algebraic Riccati equation
Shinya Miyajima
Computational and Applied Mathematics 2018年09月 [査読有り]
国際的学術誌 単著