Yuki Satake

13 papers A* 1Journal 11Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Condition Number Estimation in a Solution Process of a Large Sparse Symmetric Linear System.
J. Inf. Process.
Yuya Kudo, Yuki Satake, Takeshi Fukaya, Takeshi Iwashita
2024 J jnl
A Novel Soft Climbing Robot With Pneumatic Extendible Arms.
IEEE Robotics Autom. Lett.
Yasuka Tago, Yuki Satake, Hiroyuki Ishii
2024 J jnl
Novel Design of a Pneumatic Longitudinal Actuator for Both Extending and Contracting Motions.
IEEE Robotics Autom. Lett.
Yasuka Tago, Yuki Satake, Hiroyuki Ishii
2024 J jnl
On-Demand Branching Mechanism Using Heat Cutting for Soft Inflatable Growing Robot.
IEEE Robotics Autom. Lett.
Yuki Satake, Hiroyuki Ishii, Shinichi Hirai
2023 J jnl
Matrix equation representation of convolution equation and its unique solvability.
CoRR
Yuki Satake, Tomohiro Sogabe, Tomoya Kemmochi, Shao-Liang Zhang
2023 J jnl
Path Planning Method With Constant Bending Angle Constraint for Soft Growing Robot Using Heat Welding Mechanism.
IEEE Robotics Autom. Lett.
Yuki Satake, Hiroyuki Ishii
2022 J jnl
Pitch-Up Motion Mechanism With Heat Welding by Soft Inflatable Growing Robot.
IEEE Robotics Autom. Lett.
Yuki Satake, Hiroyuki Ishii
2020 J jnl
On a transformation of the ∗-congruence Sylvester equation for the least squares optimization.
Optim. Methods Softw.
Yuki Satake, Tomohiro Sogabe, Tomoya Kemmochi, Shao-Liang Zhang
2020 A* conf
Probabilistic Inference for Predicate Constraint Satisfaction.
AAAI
Yuki Satake, Hiroshi Unno, Hinata Yanagi
2020 J jnl
Program Verification via Predicate Constraint Satisfiability Modulo Theories.
CoRR
Hiroshi Unno, Yuki Satake, Tachio Terauchi, Eric Koskinen
2019 J jnl
Relation between the T-congruence Sylvester equation and the generalized Sylvester equation.
Appl. Math. Lett.
Yuki Satake, Masaya Oozawa, Tomohiro Sogabe, Yuto Miyatake, Tomoya Kemmochi, Shao-Liang Zhang
2018 — conf
Propositional Dynamic Logic for Higher-Order Functional Programs.
CAV (1)
Yuki Satake, Hiroshi Unno
2018 J jnl
Relatively complete refinement type system for verification of higher-order non-deterministic programs.
Proc. ACM Program. Lang.
Hiroshi Unno, Yuki Satake, Tachio Terauchi