Hitoshi Yanami

Publication Activity (10 Years)

Years Active: 2001-2022
Publications (10 Years): 4

Top Topics

Presburger Arithmetic

Power Reduction

Quantifier Elimination

Genetic Algorithm

Top Venues

Publications

Natsuki Morita, Hayato Dan, Katsumi Homma, Hitoshi Yanami, Shota Suginouchi, Mizuho Sato, Hajime Mizuyama, Masatoshi Ogawa
Equilibrium Search Technique Using Genetic Algorithm and Replicator Dynamics and Its Application to Food Supply Chain Model. KES-IDT (2022)
Noriyasu Aso, Hitoshi Yanami, Masatoshi Ogawa
Automatic Parametric Modeling Technique for Structural Design Standardization. IEEE Access 10 (2022)
Yoshihiro Okawa, Tomotake Sasaki, Hitoshi Yanami, Toru Namerikawa
Safe Exploration Method for Reinforcement Learning Under Existence of Disturbance. ECML/PKDD (4) (2022)
Yoshihiro Okawa, Tomotake Sasaki, Hitoshi Yanami, Toru Namerikawa
Safe Exploration Method for Reinforcement Learning under Existence of Disturbance. CoRR (2022)
Hitoshi Yanami, Tomotake Sasaki, Junji Kaneko, Shinji Hara, Yafei Wang, Satoshi Moriyama, Hidenao Iwane
State-dependent virtual hierarchization of batteries for realizing a glocal control in energy network systems and its application to peak power reduction in office. ASCC (2015)
Hidenao Iwane, Hitoshi Yanami, Hirokazu Anai
SyNRAC: A Toolbox for Solving Real Algebraic Constraints. ICMS (2014)
Hidenao Iwane, Hitoshi Yanami, Hirokazu Anai, Kazuhiro Yokoyama
An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination. Theor. Comput. Sci. 479 (2013)
Hidenao Iwane, Hitoshi Yanami, Hirokazu Anai
An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems. SNC (2011)
Hidenao Iwane, Hitoshi Yanami, Hirokazu Anai
A Symbolic-Numeric Approach to Multi-Objective Optimization in Manufacturing Design. Math. Comput. Sci. 5 (3) (2011)
Hidenao Iwane, Hitoshi Yanami, Hirokazu Anai, Kazuhiro Yokoyama
An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination. SNC (2009)
Hitoshi Yanami, Hirokazu Anai
The Maple package SyNRAC and its application to robust control design. Future Gener. Comput. Syst. 23 (5) (2007)
Noriko Hyodo, Myunghoon Hong, Hitoshi Yanami, Shinji Hara, Hirokazu Anai
Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination. Appl. Algebra Eng. Commun. Comput. 18 (6) (2007)
Hitoshi Yanami, Hirokazu Anai
SyNRAC: a maple toolbox for solving real algebraic constraints. ACM Commun. Comput. Algebra 41 (3) (2007)
Hitoshi Yanami, Hirokazu Anai
Development of SyNARC. International Conference on Computational Science (2) (2006)
Hitoshi Yanami, Hirokazu Anai
SyNRAC: A Maple Toolbox for Solving Real Algebraic Constraints. Algorithmic Algebra and Logic (2005)
Hitoshi Yanami, Hirokazu Anai
Development of SyNRAC. International Conference on Computational Science (3) (2005)
Hitoshi Yanami, Hirokazu Anai
Development of SyNRAC-Formula Description and New Functions. International Conference on Computational Science (2004)
Hirokazu Anai, Hitoshi Yanami
SyNRAC: A Maple-Package for Solving Real Algebraic Constraints. International Conference on Computational Science (2003)
Hitoshi Yanami, Takeshi Shimoyama, Orr Dunkelman
Differential and Linear Cryptanalysis of a Reduced-Round SC2000. FSE (2002)
Hitoshi Yanami, Takeshi Shimoyama
Differential Cryptanalysis of a Reduced-Round SEED. SCN (2002)
Takeshi Shimoyama, Hitoshi Yanami, Kazuhiro Yokoyama, Masahiko Takenaka, Kouichi Itoh, Jun Yajima, Naoya Torii, Hidema Tanaka
The Block Cipher SC2000. FSE (2001)