Hiroki Sakamoto

According to our database, Hiroki Sakamoto authored at least 10 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Stable Linear System Identification With Prior Knowledge by Riemannian Sequential Quadratic Optimization.

Mitsuaki Obara, Kazuhiro Sato, Hiroki Sakamoto, Takayuki Okuno, Akiko Takeda

IEEE Trans. Autom. Control., March, 2024

2023

Stable probability of reduced matrix obtained by Gaussian random projection.

Hiroki Sakamoto, Kazuhiro Sato

JSIAM Lett., 2023

Random projection preserves stability with high probability.

Hiroki Sakamoto, Kazuhiro Sato

JSIAM Lett., 2023

2022

Monte Carlo sensitivity calculation in fixed source problems with the derivative source method.

Toshihiro Yamamoto, Hiroki Sakamoto

J. Comput. Phys., 2022

2018

Development of Idea Generation Consistent Support System That Includes Suggestive Functions for Preparing Concreteness of Idea Labels and Island Names.

Jun Munemori, Hiroki Sakamoto, Junko Itou

IEICE Trans. Inf. Syst., 2018

2017

Improvement and performance evaluation of the perturbation source method for an exact Monte Carlo perturbation calculation in fixed source problems.

Hiroki Sakamoto, Toshihiro Yamamoto

J. Comput. Phys., 2017

Automating Induction for Solving Horn Clauses.

Hiroshi Unno, Sho Torii, Hiroki Sakamoto

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2015

Analysis of Navier-Stokes Equation from the Viewpoint of Advection Diffusion.

Hiroki Sakamoto, Tetsuo Hattori, Akiomi Tada, Vanhoa Nguyen, Hiromichi Kawano

J. Robotics Netw. Artif. Life, 2015

Generate and offshore: type-safe and modular code generation for low-level optimization.

Naoki Takashima, Hiroki Sakamoto, Yukiyoshi Kameyama

Proceedings of the 4th ACM SIGPLAN Workshop on Functional High-Performance Computing, 2015

2014

Robot Vehicle Platoon Experiment Based on Multi-leader Vehicle Following Model.

Eisuke Kita, Hiroki Sakamoto, Hiroto Takaue, Miichiro Yamada

Proceedings of the Second International Symposium on Computing and Networking, 2014