Hirokazu Anai

Publication Activity (10 Years)

Years Active: 1999-2019
Publications (10 Years): 14

Top Topics

Quantifier Elimination

Natural Language

Semantic Parsing

Top Venues

Publications

Hirokazu Anai, Frédéric Chazal, Marc Glisse, Yuichi Ike, Hiroya Inakoshi, Raphaël Tinarrage, Yuhei Umeda
DTM-Based Filtrations. SoCG (2019)
Koji Maruhashi, Masaru Todoriki, Takuya Ohwa, Keisuke Goto, Yu Hasegawa, Hiroya Inakoshi, Hirokazu Anai
Learning Multi-Way Relations via Tensor Decomposition With Neural Networks. AAAI (2018)
Hirokazu Anai, Frédéric Chazal, Marc Glisse, Yuichi Ike, Hiroya Inakoshi, Raphaël Tinarrage, Yuhei Umeda
DTM-based filtrations. CoRR (2018)
Takuya Matsuzaki, Hidenao Iwane, Munehiro Kobayashi, Yiyang Zhan, Ryoya Fukasaku, Jumma Kudo, Hirokazu Anai, Noriko H. Arai
Can an A.I. win a medal in the mathematical olympiad? - Benchmarking mechanized mathematics on pre-university problems. AI Commun. 31 (3) (2018)
Hiroaki Yamada, Kotaro Ohori, Tadashige Iwao, Akifumi Kira, Naoyuki Kamiyama, Hiroaki Yoshida, Hirokazu Anai
Modeling and Managing Airport Passenger Flow Under Uncertainty: A Case of Fukuoka Airport in Japan. SocInfo (2) (2017)
Hidenao Iwane, Hirokazu Anai
Formula Simplification for Real Quantifier Elimination Using Geometric Invariance. ISSAC (2017)
Takuya Matsuzaki, Takumi Ito, Hidenao Iwane, Hirokazu Anai, Noriko H. Arai
Semantic Parsing of Pre-university Math Problems. ACL (1) (2017)
Shohei Yamane, Kotaro Ohori, Hiroaki Yamada, Hiroaki Yoshida, Hirokazu Anai
Automatic and dynamic grounding method based on sensor data for agent-based simulation. WSC (2017)
Takuya Matsuzaki, Hidenao Iwane, Munehiro Kobayashi, Yiyang Zhan, Ryoya Fukasaku, Jumma Kudo, Hirokazu Anai, Noriko H. Arai
Race Against the Teens - Benchmarking Mechanized Math on Pre-university Problems. IJCAR (2016)
Akinobu Goto, Shingo Takahashi, Kotaro Ohori, Shohei Yamane, Hiroaki Iwashita, Hirokazu Anai
Agent-based simulation analysis for security planning based on structures of urban road networks. WSC (2016)
Hiroaki Iwashita, Kotaro Ohori, Hirokazu Anai, Atsushi Iwasaki
Simplifying Urban Network Security Games with Cut-Based Graph Contraction. AAMAS (2016)
Shintaro Utsumi, Shingo Takahashi, Kotaro Ohori, Hirokazu Anai
Agent-based analysis for design of signage systems in large-scale facilities. WSC (2015)
Munehiro Kobayashi, Hidenao Iwane, Takuya Matsuzaki, Hirokazu Anai
Efficient Subformula Orders for Real Quantifier Elimination of Non-prenex Formulas. MACIS (2015)
Atsushi Iwasaki, Etsushi Fujita, Taiki Todo, Hidenao Iwane, Hirokazu Anai, Mingyu Guo, Makoto Yokoo
Parametric Mechanism Design via Quantifier Elimination. AAMAS (2015)
Hidenao Iwane, Hitoshi Yanami, Hirokazu Anai
SyNRAC: A Toolbox for Solving Real Algebraic Constraints. ICMS (2014)
Noriko H. Arai, Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai
Mathematics by machine. ISSAC (2014)
Hirokazu Anai
Effective quantifier elimination for industrial applications. ISSAC (2014)
Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai, Noriko H. Arai
The Most Uncreative Examinee: A First Step toward Wide Coverage Natural Language Math Problem Solving. AAAI (2014)
Takuya Matsuzaki, Hidenao Iwane, Hirokazu Anai, Noriko H. Arai
The Complexity of Math Problems - Linguistic, or Computational? IJCNLP (2013)
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, Hiroyuki Higuchi, Hirokazu Anai
An Effective Implementation of a Special Quantifier Elimination for a Sign Definite Condition by Logical Formula Simplification. CASC (2013)
Hirokazu Anai
Computational Real Algebraic Geometry in Practice (Invited Talk). RTA (2012)
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)
Hirokazu Anai, Shinji Hara, Masaaki Kanno
Plant/controller design integration for H2 control based on symbolic-numeric hybrid optimization. Commun. Inf. Syst. 11 (3) (2011)
Hiroyuki Ichihara, Hirokazu Anai
An SOS-QE Approach to Nonlinear Gain Analysis for Polynomial Dynamical Systems. Math. Comput. Sci. 5 (3) (2011)
Hirokazu Anai
Foreword. Math. Comput. Sci. 5 (3) (2011)
Hiroyuki Ichihara, Hirokazu Anai
An SOS-QE approach to nonlinear gain analysis. CDC/ECC (2011)
Silvia Gandy, Masaaki Kanno, Hirokazu Anai, Kazuhiro Yokoyama
Optimizing a Particular Real Root of a Polynomial by a Special Cylindrical Algebraic Decomposition. Math. Comput. Sci. 5 (2) (2011)
Hidenao Iwane, Akifumi Kira, Hirokazu Anai
Construction of Explicit Optimal Value Functions by a Symbolic-Numeric Cylindrical Algebraic Decomposition. CASC (2011)
Kinji Kumura, Hirokazu Anai
Parallel computation of determinants of matrices with polynomial entries for robust control design. PASCO (2010)
Hiroyuki Ichihara, Hirokazu Anai
A symbolic-numeric approach to nonlinear gain analysis of a class of dynamical systems. CACSD (2010)
Shinji Hara, Hirokazu Anai
Symbolic computation in analysis and synthesis for homogeneous multi-agent dynamical systems. CACSD (2010)
Hirokazu Anai, Shinji Hara, Masaaki Kanno, Kazuhiro Yokoyama
Parametric polynomial spectral factorization using the sum of roots and its application to a control design problem. J. Symb. Comput. 44 (7) (2009)
Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai, Shinji Hara
Solution of algebraic riccati equations using the sum of roots. ISSAC (2009)
Hirokazu Anai, Katsuhisa Horimoto
Foreword. Math. Comput. Sci. 2 (3) (2009)
Masaaki Kanno, Shinji Hara, Hirokazu Anai
Plant/controller design integration for ℋ2 control by symbolic-numeric hybrid optimization based on sum of roots characterization. CCA/ISIC (2009)
Hidenao Iwane, Hitoshi Yanami, Hirokazu Anai, Kazuhiro Yokoyama
An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination. SNC (2009)
Hiroshi Yoshida, Katsuhisa Horimoto, Hirokazu Anai
Inference of Probabilities over a Stochastic IL-System by Quantifier Elimination. Math. Comput. Sci. 1 (3) (2008)
Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai, Shinji Hara
Symbolic optimization of algebraic functions. ISSAC (2008)
Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai
Solution of the algebraic riccati equation using the sum of roots. ACM Commun. Comput. Algebra 42 (3) (2008)
Hiroshi Yoshida, Hirokazu Anai, Katsuhisa Horimoto
Derivation of rigorous conditions for high cell-type diversity by algebraic approach. Biosyst. 90 (2) (2007)
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)
Masaaki Kanno, Shinji Hara, Hirokazu Anai, Kazuhiro Yokoyama
Sum of roots, polynomial spectral factorization, and control performance limitations. CDC (2007)
Hitoshi Yanami, Hirokazu Anai
SyNRAC: a maple toolbox for solving real algebraic constraints. ACM Commun. Comput. Algebra 41 (3) (2007)
Hiroshi Yoshida, Koji Nakagawa, Hirokazu Anai, Katsuhisa Horimoto
An Algebraic-Numeric Algorithm for the Model Selection in Kinetic Networks. CASC (2007)
Hiroshi Yoshida, Koji Nakagawa, Hirokazu Anai, Katsuhisa Horimoto
Exact Parameter Determination for Parkinson's Disease Diagnosis with PET Using an Algebraic Approach. AB (2007)
Masaaki Kanno, Kazuhiro Yokoyama, Hirokazu Anai, Shinji Hara
Parametric optimization in control using the sum of roots for parametric polynomial spectral factorization. ISSAC (2007)
Hirokazu Anai, Thomas Sturm
Editorial. Appl. Algebra Eng. Commun. Comput. 18 (6) (2007)
Hitoshi Yanami, Hirokazu Anai
Development of SyNARC. International Conference on Computational Science (2) (2006)
Hirokazu Anai, Shigeo Orii, Katsuhisa Horimoto
Symbolic-numeric Estimation of Parameters in Biochemical Models by Quantifier Elimination. J. Bioinform. Comput. Biol. 4 (5) (2006)
Masaaki Kanno, Hirokazu Anai, Kazuhiro Yokoyama
On the Relationship Between the Sum of Roots with Positive Real Parts and Polynomial Spectral Factorization. Numerical Methods and Applications (2006)
Hitoshi Yanami, Hirokazu Anai
SyNRAC: A Maple Toolbox for Solving Real Algebraic Constraints. Algorithmic Algebra and Logic (2005)
Hirokazu Anai, Shinji Hara, Kazuhiro Yokoyama
Sum of roots with positive real parts. ISSAC (2005)
Hitoshi Yanami, Hirokazu Anai
Development of SyNRAC. International Conference on Computational Science (3) (2005)
Hirokazu Anai, Kazuhiro Yokoyama
Cylindrical Algebraic Decomposition via Numerical Computation with Validated Symbolic Reconstruction. Algorithmic Algebra and Logic (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)
Hirokazu Anai, Volker Weispfenning
Reach Set Computations Using Real Quantifier Elimination. HSCC (2001)
Hirokazu Anai, Shinji Hara
Fixed-structure robust controller synthesis based on sign definite condition by a special quantifier elimination. ACC (2000)
Hirokazu Anai, Volker Weispfenning
Deciding linear-trigonometric problems. ISSAC (2000)
Hirokazu Anai, Junji Kaneko
Algebraic approach to analysis of discrete-time polynomial systems. ECC (1999)