論文 - 宮島 信也
-
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月 [査読有り]
国際的学術誌 単著
-
Fast verified computation for the solution of the T-congruence Sylvester equation
Shinya Miyajima
Japan Journal of Industrial and Applied Mathematics 2018年07月 [査読有り]
国際的学術誌 単著
-
Fast verified computation for the matrix principal pth root
Shinya Miyajima
Journal of Computational and Applied Mathematics 2018年03月 [査読有り]
国際的学術誌 単著
-
Fast verified computation for the solvent of the quadratic matrix equation
Shinya Miyajima
The Electronic Journal of Linear Algebra 2018年03月 [査読有り]
国際的学術誌 単著
-
Fast verified computation for solutions of algebraic Riccati equations arising in transport theory
Shinya Miyajima
Numerical Linear Algebra with Applications 2017年10月 [査読有り]
国際的学術誌 単著
-
Verified solutions of inverse symmetric eigenvalue problems
Shinya Miyajima
Reliable Computing 2017年09月 [査読有り]
国際的学術誌 単著
-
Fast verified computation for stabilizing solutions of discrete-time algebraic Riccati equations
Shinya Miyajima
Journal of Computational and Applied Mathematics 2017年08月 [査読有り]
国際的学術誌 単著
-
Verified solutions of delay eigenvalue problems
Shinya Miyajima
Applied Mathematics and Computation 2017年06月 [査読有り]
国際的学術誌 単著
-
Fast verified computation for solutions of continuous-time algebraic Riccati equations
Shinya Miyajima
Japan Journal of Industrial and Applied Mathematics 2015年07月 [査読有り]
国際的学術誌 単著
-
Fast enclosure for the minimum norm least squares solution of the matrix equation AXB = C
Shinya Miyajima
Numerical Linear Algebra with Applications 2015年05月 [査読有り]
国際的学術誌 単著
-
A sharp error bound of the approximate solutions for saddle point linear systems
Shinya Miyajima
Journal of Computational and Applied Mathematics 2015年03月 [査読有り]
国際的学術誌 単著
-
Fast enclosure for a matrix inverse square root
Shinya Miyajima
Linear Algebra and its Applications 2015年02月 [査読有り]
国際的学術誌 単著
-
An algorithm for checking incorrectness of a rule in equivalent transformation programs
Hiroshi Mabuchi, Shinya Miyajima
International Journal of Innovative Computing, Information and Control 2015年02月 [査読有り]
国際的学術誌 共著・分担
-
Fast enclosure for solutions of generalized least squares problems
Shinya Miyajima
Reliable Computing 2015年02月 [査読有り]
国際的学術誌 単著
-
Verified bounds for all the singular values of matrix
Shinya Miyajima
Japan Journal of Industrial and Applied Mathematics 2014年11月 [査読有り]
国際的学術誌 単著
-
Fast enclosure for all eigenvalues and invariant subspaces in generalized eigenvalue problems
Shinya Miyajima
SIAM Journal on Matrix Analysis and Applications 2014年09月 [査読有り]
国際的学術誌 単著
-
Fast enclosure for solutions of generalized Sylvester equations
Shinya Miyajima
Japan Journal of Industrial and Applied Mathematics 2014年06月 [査読有り]
国際的学術誌 単著
-
Componentwise enclosure for solutions of least squares problems and underdetermined systems
Shinya Miyajima
Linear Algebra and its Applications 2014年03月 [査読有り]
国際的学術誌 単著
-
Fast enclosure for solutions of Sylvester equations
Shinya Miyajima
Linear Algebra and its Applications 2013年08月 [査読有り]
国際的学術誌 単著
-
Fast enclosure of matrix polynomials
Shinya Miyajima
Reliable Computing 2013年01月 [査読有り]
国際的学術誌 単著
-
Componentwise error estimates for solutions obtained by stationary iterative methods
Shinya Miyajima
Reliable Computing 2012年04月 [査読有り]
国際的学術誌 単著
-
The relation between two types of error bounds for computed matrix eigenvalues
Shinya Miyajima
Reliable Computing 2012年04月 [査読有り]
国際的学術誌 単著
-
Numerical enclosure for each eigenvalue in generalized eigenvalue problem
Shinya Miyajima
Journal of Computational and Applied Mathematics 2012年03月 [査読有り]
国際的学術誌 単著
-
Algorithmic debugging of equivalent transformation programs using oracle rules
Shinya Miyajima, Kiyoshi Akama, Hiroshi Mabuchi
International Journal of Innovative Computing, Information and Control 2011年08月 [査読有り]
国際的学術誌 共著・分担
-
Fast enclosure for solutions in underdetermined systems
Shinya Miyajima
Journal of Computational and Applied Mathematics 2010年10月 [査読有り]
国際的学術誌 単著
-
Fast verification for all eigenpairs in symmetric positive definite generalized eigenvalue problems
Shinya Miyajima, Takeshi Ogita, Siegfried M. Rump, Shin'ichi Oishi
Reliable Computing 2010年06月 [査読有り]
国際的学術誌 共著・分担
-
Fast enclosure for all eigenvalues in generalized eigenvalue problems
Shinya Miyajima
Journal of Computational and Applied Mathematics 2010年04月 [査読有り]
国際的学術誌 単著
-
Automatic detection of incorrect rules in equivalent transformation programs
Shinya Miyajima, Kiyoshi Akama, Hiroshi Mabuchi, Yuya Wakamatsu
International Journal of Innovative Computing, Information and Control 2009年08月 [査読有り]
国際的学術誌 共著・分担
-
GPUを利用した非線形方程式の並列全解探索法
柏木啓一郎, 宮島信也, 柏木雅英
日本応用数理学会論文誌 2008年10月 [査読有り]
学術誌 共著・分担
-
Existence test for solution of nonlinear systems applying affine arithmetic
Shinya Miyajima, Masahide Kashiwagi
Journal of Computational and Applied Mathematics 2007年02月 [査読有り]
国際的学術誌 共著・分担
-
A method of obtaining verified solutions for linear systems suited for Java
K. Ozaki, T. Ogita, S. Miyajima, S. Oishi, S. M. Rump
Journal of Computational and Applied Mathematics 2007年02月 [査読有り]
国際的学術誌 共著・分担
-
実対称行列の各固有対に対する精度保証付き数値計算法
宮島信也, 荻田武史, 大石進一
日本応用数理学会論文誌 2006年12月 [査読有り]
学術誌 共著・分担
-
実対称行列の各固有値に対する精度保証付き数値計算法
宮島信也, 荻田武史, 大石進一
日本応用数理学会論文誌 2005年09月 [査読有り]
学術誌 共著・分担
-
A dividing method utilizing the best multiplication in affine arithmetic
Shinya Miyajima, Masahide Kashiwagi
IEICE Electronics Express 2004年07月 [査読有り]
国際的学術誌 共著・分担
-
On range inclusion of polynomials applying interval arithmetic
Shinya Miyajima, Masahide Kashiwagi
IEICE Transactions 2004年03月 [査読有り]
国際的学術誌 共著・分担
-
A new dividing method in affine arithmetic
Shinya Miyajima, Takatomi Miyata, Masahide Kashiwagi
IEICE Transactions 2003年09月 [査読有り]
国際的学術誌 共著・分担
-
アフィン演算における乗除算について
宮島信也, 宮田孝富, 白井健一, 柏木雅英
電子情報通信学会論文誌 2003年03月 [査読有り]
学術誌 共著・分担
-
アフィン演算における最良乗算について
宮島信也, 宮田孝富, 柏木雅英
電子情報通信学会論文誌 2003年02月 [査読有り]
学術誌 共著・分担