( en | de | ru )

 

Disambiguation of "Anai, Hirokazu"

Author of the publication

copydeleteadd this publication to your clipboard
Modeling and Managing Airport Passenger Flow Under Uncertainty: A Case of Fukuoka Airport in Japan.

, , , , , , and . SocInfo (2), volume 10540 of Lecture Notes in Computer Science, page 419-430. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Hirokazu Kawaguchi

Hirokazu Kurosawa

 

Other publications of authors with the same name

Simplifying Urban Network Security Games with Cut-Based Graph Contraction., , , and . AAMAS, page 205-213. ACM, (2016)An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems., , and . SNC, page 168-177. ACM, (2011)Effective quantifier elimination for industrial applications.. ISSAC, page 18-19. ACM, (2014)Agent-based analysis for design of signage systems in large-scale facilities., , , and . WSC, page 3134-3135. IEEE/ACM, (2015)An Effective Implementation of a Special Quantifier Elimination for a Sign Definite Condition by Logical Formula Simplification., , and . CASC, volume 8136 of Lecture Notes in Computer Science, page 194-208. Springer, (2013)Semantic Parsing of Pre-university Math Problems., , , , and . ACL (1), page 2131-2141. Association for Computational Linguistics, (2017)An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination., , , and . SNC, page 55-64. ACM, (2009)Deciding linear-trigonometric problems., and . ISSAC, page 14-22. ACM, (2000)On the Relationship Between the Sum of Roots with Positive Real Parts and Polynomial Spectral Factorization., , and . Numerical Methods and Applications, volume 4310 of Lecture Notes in Computer Science, page 320-328. Springer, (2006)Symbolic computation in analysis and synthesis for homogeneous multi-agent dynamical systems., and . CACSD, page 1702-1707. IEEE, (2010)