Hirokazu Anai
According to our database1,
Hirokazu Anai
authored at least 61 papers
between 1999 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
2000
2005
2010
2015
0
1
2
3
4
5
6
7
8
9
10
1
1
5
2
2
5
1
1
1
4
3
3
4
2
1
3
3
2
1
4
2
3
2
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2019
Proceedings of the 35th International Symposium on Computational Geometry, 2019
2018
Can an A.I. win a medal in the mathematical olympiad? - Benchmarking mechanized mathematics on pre-university problems.
AI Commun., 2018
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018
2017
Automatic and dynamic grounding method based on sensor data for agent-based simulation.
Proceedings of the 2017 Winter Simulation Conference, 2017
Modeling and Managing Airport Passenger Flow Under Uncertainty: A Case of Fukuoka Airport in Japan.
Proceedings of the Social Informatics, 2017
Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, 2017
Proceedings of the 55th Annual Meeting of the Association for Computational Linguistics, 2017
2016
Agent-based simulation analysis for security planning based on structures of urban road networks.
Proceedings of the Winter Simulation Conference, 2016
Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016
2015
Proceedings of the 2015 Winter Simulation Conference, 2015
Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2015
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015
2014
Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2014
Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2014
Proceedings of the Mathematical Software - ICMS 2014, 2014
The Most Uncreative Examinee: A First Step toward Wide Coverage Natural Language Math Problem Solving.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014
2013
An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination.
Theor. Comput. Sci., 2013
Proceedings of the Sixth International Joint Conference on Natural Language Processing, 2013
An Effective Implementation of a Special Quantifier Elimination for a Sign Definite Condition by Logical Formula Simplification.
Proceedings of the Computer Algebra in Scientific Computing - 15th International Workshop, 2013
2012
Proceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , 2012
2011
Math. Comput. Sci., 2011
Math. Comput. Sci., 2011
Optimizing a Particular Real Root of a Polynomial by a Special Cylindrical Algebraic Decomposition.
Math. Comput. Sci., 2011
Plant/controller design integration for H2 control based on symbolic-numeric hybrid optimization.
Commun. Inf. Syst., 2011
An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems.
Proceedings of the SNC 2011, 2011
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011
Construction of Explicit Optimal Value Functions by a Symbolic-Numeric Cylindrical Algebraic Decomposition.
Proceedings of the Computer Algebra in Scientific Computing - 13th International Workshop, 2011
2010
Parallel computation of determinants of matrices with polynomial entries for robust control design.
Proceedings of the 4th International Workshop on Parallel Symbolic Computation, 2010
A symbolic-numeric approach to nonlinear gain analysis of a class of dynamical systems.
Proceedings of the 2010 IEEE International Symposium on Computer-Aided Control System Design, 2010
Symbolic computation in analysis and synthesis for homogeneous multi-agent dynamical systems.
Proceedings of the 2010 IEEE International Symposium on Computer-Aided Control System Design, 2010
2009
Parametric polynomial spectral factorization using the sum of roots and its application to a control design problem.
J. Symb. Comput., 2009
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2009
Plant/controller design integration for ℋ2 control by symbolic-numeric hybrid optimization based on sum of roots characterization.
Proceedings of the IEEE International Conference on Control Applications, 2009
2008
Math. Comput. Sci., 2008
ACM Commun. Comput. Algebra, 2008
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2008
2007
Future Gener. Comput. Syst., 2007
ACM Commun. Comput. Algebra, 2007
Derivation of rigorous conditions for high cell-type diversity by algebraic approach.
Biosyst., 2007
Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination.
Appl. Algebra Eng. Commun. Comput., 2007
Parametric optimization in control using the sum of roots for parametric polynomial spectral factorization.
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2007
Sum of roots, polynomial spectral factorization, and control performance limitations.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007
Proceedings of the Computer Algebra in Scientific Computing, 10th International Workshop, 2007
Exact Parameter Determination for Parkinson's Disease Diagnosis with PET Using an Algebraic Approach.
Proceedings of the Algebraic Biology, Second International Conference, 2007
2006
Symbolic-numeric Estimation of Parameters in Biochemical Models by Quantifier Elimination.
J. Bioinform. Comput. Biol., 2006
On the Relationship Between the Sum of Roots with Positive Real Parts and Polynomial Spectral Factorization.
Proceedings of the Numerical Methods and Applications, 6th International Conference, 2006
2005
Proceedings of the Symbolic and Algebraic Computation, 2005
Cylindrical Algebraic Decomposition via Numerical Computation with Validated Symbolic Reconstruction.
Proceedings of the Algorithmic Algebra and Logic. Proceedings of the A3L 2005, 2005
2004
Proceedings of the Computational Science, 2004
Fixed-structure robust controller synthesis based on symbolic-numeric computation: design algorithms with a CACSD toolbox.
Proceedings of the 2004 IEEE International Conference on Control Applications, 2004
2003
Proceedings of the Computational Science - ICCS 2003, 2003
2001
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001
2000
Proceedings of the 2000 International Symposium on Symbolic and Algebraic Computation, 2000
Fixed-structure robust controller synthesis based on sign definite condition by a special quantifier elimination.
Proceedings of the American Control Conference, 2000
1999
Proceedings of the 5th European Control Conference, 1999