Hirokazu Anai - RankMe

65 papers A* 3A 3B 12C 2Misc 7Journal 18Unranked 19

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