Hirokazu Anai

According to our database1, Hirokazu Anai
  • authored at least 56 papers between 2000 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

Formula Simplification for Real Quantifier Elimination Using Geometric Invariance.
Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation, 2017

Semantic Parsing of Pre-university Math Problems.
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, WSC 2016, 2016

Race Against the Teens - Benchmarking Mechanized Math on Pre-university Problems.
Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

Simplifying Urban Network Security Games with Cut-Based Graph Contraction.
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

2015
Agent-based analysis for design of signage systems in large-scale facilities.
Proceedings of the 2015 Winter Simulation Conference, 2015

Efficient Subformula Orders for Real Quantifier Elimination of Non-prenex Formulas.
Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2015

Parametric Mechanism Design via Quantifier Elimination.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

2014
Mathematics by machine.
Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2014

Effective quantifier elimination for industrial applications.
Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2014

SyNRAC: A Toolbox for Solving Real Algebraic Constraints.
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

The Complexity of Math Problems - Linguistic, or Computational?
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
Computational Real Algebraic Geometry in Practice (Invited Talk).
Proceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , 2012

2011
A Symbolic-Numeric Approach to Multi-Objective Optimization in Manufacturing Design.
Mathematics in Computer Science, 2011

An SOS-QE Approach to Nonlinear Gain Analysis for Polynomial Dynamical Systems.
Mathematics in Computer Science, 2011

Optimizing a Particular Real Root of a Polynomial by a Special Cylindrical Algebraic Decomposition.
Mathematics in Computer Science, 2011

Foreword.
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 SOS-QE approach to nonlinear gain analysis.
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
Foreword.
Mathematics in Computer Science, 2009

Parametric polynomial spectral factorization using the sum of roots and its application to a control design problem.
J. Symb. Comput., 2009

An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination.
Proceedings of the Symbolic Numeric Computation, 2009

Solution of algebraic riccati equations using the sum of roots.
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
Inference of Probabilities over a Stochastic IL-System by Quantifier Elimination.
Mathematics in Computer Science, 2008

Solution of the algebraic riccati equation using the sum of roots.
ACM Comm. Computer Algebra, 2008

Symbolic optimization of algebraic functions.
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2008

2007
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

Derivation of rigorous conditions for high cell-type diversity by algebraic approach.
Biosystems, 2007

Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination.
Appl. Algebra Eng. Commun. Comput., 2007

Editorial.
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

An Algebraic-Numeric Algorithm for the Model Selection in Kinetic Networks.
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. Bioinformatics and Computational Biology, 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

Development of SyNARC.
Proceedings of the Computational Science, 2006

2005
Sum of roots with positive real parts.
Proceedings of the Symbolic and Algebraic Computation, 2005

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

Cylindrical Algebraic Decomposition via Numerical Computation with Validated Symbolic Reconstruction.
Proceedings of the Algorithmic Algebra and Logic. Proceedings of the A3L 2005, 2005

2004
Development of SyNRAC-Formula Description and New Functions.
Proceedings of the Computational Science, 2004

2003
SyNRAC: A Maple-Package for Solving Real Algebraic Constraints.
Proceedings of the Computational Science - ICCS 2003, 2003

2001
Reach Set Computations Using Real Quantifier Elimination.
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

2000
Deciding linear-trigonometric problems.
Proceedings of the 2000 International Symposium on Symbolic and Algebraic Computation, 2000


  Loading...