Hitoshi Yanami

22 papers A* 2C 1Misc 5Journal 7Unranked 7
YearRankTypeTitle / Venue / Authors
2022 J jnl
Automatic Parametric Modeling Technique for Structural Design Standardization.
IEEE Access
Noriyasu Aso, Hitoshi Yanami, Masatoshi Ogawa
2022 — conf
Equilibrium Search Technique Using Genetic Algorithm and Replicator Dynamics and Its Application to Food Supply Chain Model.
KES-IDT
Natsuki Morita, Hayato Dan, Katsumi Homma, Hitoshi Yanami, Shota Suginouchi, Mizuho Sato, Hajime Mizuyama, Masatoshi Ogawa
2022 — conf
Safe Exploration Method for Reinforcement Learning Under Existence of Disturbance.
ECML/PKDD (4)
Yoshihiro Okawa, Tomotake Sasaki, Hitoshi Yanami, Toru Namerikawa
2022 J jnl
Safe Exploration Method for Reinforcement Learning under Existence of Disturbance.
CoRR
Yoshihiro Okawa, Tomotake Sasaki, Hitoshi Yanami, Toru Namerikawa
2015 — conf
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
Hitoshi Yanami, Tomotake Sasaki, Junji Kaneko, Shinji Hara, Yafei Wang, Satoshi Moriyama, Hidenao Iwane
2014 — conf
SyNRAC: A Toolbox for Solving Real Algebraic Constraints.
ICMS
Hidenao Iwane, Hitoshi Yanami, Hirokazu Anai
2013 J jnl
An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination.
Theor. Comput. Sci.
Hidenao Iwane, Hitoshi Yanami, Hirokazu Anai, Kazuhiro Yokoyama
2011 J jnl
A Symbolic-Numeric Approach to Multi-Objective Optimization in Manufacturing Design.
Math. Comput. Sci.
Hidenao Iwane, Hitoshi Yanami, Hirokazu Anai
2011 — conf
An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems.
SNC
Hidenao Iwane, Hitoshi Yanami, Hirokazu Anai
2009 — conf
An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination.
SNC
Hidenao Iwane, Hitoshi Yanami, Hirokazu Anai, Kazuhiro Yokoyama
2007 J jnl
Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination.
Appl. Algebra Eng. Commun. Comput.
Noriko Hyodo, Myunghoon Hong, Hitoshi Yanami, Shinji Hara, Hirokazu Anai
2007 J jnl
SyNRAC: a maple toolbox for solving real algebraic constraints.
ACM Commun. Comput. Algebra
Hitoshi Yanami, Hirokazu Anai
2007 J jnl
The Maple package SyNRAC and its application to robust control design.
Future Gener. Comput. Syst.
Hitoshi Yanami, Hirokazu Anai
2006 Misc conf
Development of SyNARC.
International Conference on Computational Science (2)
Hitoshi Yanami, Hirokazu Anai
2005 Misc conf
Development of SyNRAC.
International Conference on Computational Science (3)
Hitoshi Yanami, Hirokazu Anai
2005 — conf
SyNRAC: A Maple Toolbox for Solving Real Algebraic Constraints.
Algorithmic Algebra and Logic
Hitoshi Yanami, Hirokazu Anai
2004 Misc conf
Development of SyNRAC-Formula Description and New Functions.
International Conference on Computational Science
Hitoshi Yanami, Hirokazu Anai
2004 C conf
Fixed-structure robust controller synthesis based on symbolic-numeric computation: design algorithms with a CACSD toolbox.
CCA
Hirokazu Anai, Hitoshi Yanami, Shinji Hara, Kei Sakabe
2003 Misc conf
SyNRAC: A Maple-Package for Solving Real Algebraic Constraints.
International Conference on Computational Science
Hirokazu Anai, Hitoshi Yanami
2002 Misc conf
Differential Cryptanalysis of a Reduced-Round SEED.
SCN
Hitoshi Yanami, Takeshi Shimoyama
2002 A* conf
Differential and Linear Cryptanalysis of a Reduced-Round SC2000.
FSE
Hitoshi Yanami, Takeshi Shimoyama, Orr Dunkelman
2001 A* conf
The Block Cipher SC2000.
FSE
Takeshi Shimoyama, Hitoshi Yanami, Kazuhiro Yokoyama, Masahiko Takenaka, Kouichi Itoh, Jun Yajima, Naoya Torii, Hidema Tanaka