According to our database1, Hitoshi Yanami authored at least 17 papers between 2001 and 2015.
Legend:Book In proceedings Article PhD thesis Other
State-dependent virtual hierarchization of batteries for realizing a glocal control in energy network systems and its application to peak power reduction in office.
Proceedings of the 10th Asian Control Conference, 2015
SyNRAC: A Toolbox for Solving Real Algebraic Constraints.
Proceedings of the Mathematical Software - ICMS 2014, 2014
An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination.
Theor. Comput. Sci., 2013
A Symbolic-Numeric Approach to Multi-Objective Optimization in Manufacturing Design.
Mathematics in Computer Science, 2011
An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems.
Proceedings of the SNC 2011, 2011
An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination.
Proceedings of the Symbolic Numeric Computation, 2009
The Maple package SyNRAC and its application to robust control design.
Future Generation Comp. Syst., 2007
SyNRAC: a maple toolbox for solving real algebraic constraints.
ACM Comm. Computer Algebra, 2007
Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination.
Appl. Algebra Eng. Commun. Comput., 2007
Development of SyNARC.
Proceedings of the Computational Science, 2006
Development of SyNRAC.
Proceedings of the Computational Science, 2005
SyNRAC: A Maple Toolbox for Solving Real Algebraic Constraints.
Proceedings of the Algorithmic Algebra and Logic. Proceedings of the A3L 2005, 2005
Development of SyNRAC-Formula Description and New Functions.
Proceedings of the Computational Science, 2004
SyNRAC: A Maple-Package for Solving Real Algebraic Constraints.
Proceedings of the Computational Science - ICCS 2003, 2003
Differential Cryptanalysis of a Reduced-Round SEED.
Proceedings of the Security in Communication Networks, Third International Conference, 2002
Differential and Linear Cryptanalysis of a Reduced-Round SC2000.
Proceedings of the Fast Software Encryption, 9th International Workshop, 2002
The Block Cipher SC2000.
Proceedings of the Fast Software Encryption, 8th International Workshop, 2001