Yoshitaka Watanabe

Publication Activity (10 Years)

Years Active: 1998-2023
Publications (10 Years): 13

Top Topics

Eigenvalue Problems

Infinite Dimensional

Top Venues

J. Comput. Appl. Math.

Publications

Yoshitaka Watanabe, Takehiko Kinoshita, Mitsuhiro T. Nakao
Efficient Approaches for Verifying the Existence and Bound of Inverse of Linear Operators in Hilbert Spaces. J. Sci. Comput. 94 (2) (2023)
Takehiko Kinoshita, Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao
Inclusion method of optimal constant with quadratic convergence for H01-projection error estimates and its applications. J. Comput. Appl. Math. 417 (2023)
Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao
On Some Convergence Properties for Finite Element Approximations to the Inverse of Linear Elliptic Operators. Acta Cybern. 26 (1) (2022)
Kenta Kobayashi, Yoshitaka Watanabe
Improvement of infinity norm estimations related to computer-assisted proofs of the Kolmogorov problem. JSIAM Lett. 14 (2022)
Shun Fujii, Junichiro Tahara, Feifei Zhang, Masakazu Koike, Y. Ohta, Yoshitaka Watanabe
Motion control of deep sea vehicle 'OTOHIME': modeling with neural network. Adv. Robotics 35 (24) (2021)
Shuting Cai, Yoshitaka Watanabe
Computer-assisted proofs of the existence of a symmetry-breaking bifurcation point for the Kolmogorov problem. J. Comput. Appl. Math. 395 (2021)
Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao
Some lower bound estimates for resolvents of a compact operator on an infinite-dimensional Hilbert space. J. Comput. Appl. Math. 369 (2020)
Noriyuki Kushiro, Taishiro Tanaka, Yoshitaka Watanabe
EMC Design Support Tool for Consumer Product. ICCE (2019)
Yoshitaka Watanabe, Shinya Manabe, Taishiro Tanaka, Yasuhito Fukui, Kiyoshi Okuizumi, Jun Nakamura, Noriyuki Kushiro
EMI designs support system using augmented reality. ICCE (2018)
Yoshitaka Watanabe, Mitsuhiro T. Nakao, Kaori Nagatou
On the compactness of a nonlinear operator related to stream function-vorticity formulation for the Navier-Stokes equations. JSIAM Lett. 9 (2017)
Yoshitaka Watanabe
An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid. J. Comput. Appl. Math. 302 (2016)
Yoshitaka Watanabe, Mitsuhiro T. Nakao
A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration. Appl. Math. Comput. 276 (2016)
Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao
Regularities of the Poisson Equation on Polygonal Domains. MACIS (2015)
Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao
Some Remarks on the Rigorous Estimation of Inverse Linear Elliptic Operators. SCAN (2014)
Yoshitaka Watanabe, Kaori Nagatou, Michael Plum, Mitsuhiro T. Nakao
Verified Computations of Eigenvalue Exclosures for Eigenvalue Problems in Hilbert Spaces. SIAM J. Numer. Anal. 52 (2) (2014)
Yoshitaka Watanabe, Takehiko Kinoshita, Mitsuhiro T. Nakao
A posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations. Math. Comput. 82 (283) (2013)
Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto, Takaaki Nishida, Myoung-Nyoung Kim
Computer Assisted Proofs of Bifurcating Solutions for Nonlinear Heat Convection Problems. J. Sci. Comput. 43 (3) (2010)
Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto, Takaaki Nishida, Myoungnyoun Kim
Erratum to: Computer Assisted Proofs of Bifurcating Solutions for Nonlinear Heat Convection Problems. J. Sci. Comput. 44 (1) (2010)
Myoungnyoun Kim, Mitsuhiro T. Nakao, Yoshitaka Watanabe, Takaaki Nishida
A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems. Numerische Mathematik 111 (3) (2009)
Bin Fu, Feifei Zhang, Masanori Ito, Yoshitaka Watanabe, Taro Aoki
Development of a new positioning system for underwater robot based on sensor network. Artif. Life Robotics 14 (1) (2009)
Bin Fu, Feifei Zhang, Masanori Ito, Yoshitaka Watanabe, Taro Aoki
Development of a new underwater positioning system based on sensor network. Artif. Life Robotics 13 (1) (2008)
Mitsuhiro T. Nakao, Kouji Hashimoto, Yoshitaka Watanabe
A Numerical Method to Verify the Invertibility of Linear Elliptic Operators with Applications to Nonlinear Problems. Computing 75 (1) (2005)
Mitsuhiro T. Nakao, Yoshitaka Watanabe
An Efficient Approach to the Numerical Verification for Solutions of Elliptic Differential Equations. Numer. Algorithms 37 (1-4) (2004)
Mitsuhiro T. Nakao, Yoshitaka Watanabe, Nobito Yamamoto, Takaaki Nishida
Some Computer Assisted Proofs for Solutions of the Heat Convection Problems. Reliab. Comput. 9 (5) (2003)
Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao
A Numerical Verification Method of Solutions for the Navier-Stokes Equations. Reliab. Comput. 5 (3) (1999)
Mitsuhiro T. Nakao, Nobito Yamamoto, Yoshitaka Watanabe
Constructive L2 Error Estimates for Finite Element Solutions of the Stokes Equations. Reliab. Comput. 4 (2) (1998)
Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao
A Numerical Verification Method of Solutions for the Navier-Stokes Equations. SCAN (1998)