Yoshitaka Watanabe

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