( en | de | ru )

 

Disambiguation of "Anai, Hirokazu"

Author of the publication

copydeleteadd this publication to your clipboard
Inference of Probabilities over a Stochastic IL-System by Quantifier Elimination.

, , and . Math. Comput. Sci., 1 (3): 473-485 (2008)

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

A Symbolic-Numeric Approach to Multi-Objective Optimization in Manufacturing Design., , and . Math. Comput. Sci., 5 (3): 315-334 (2011)Plant/controller design integration for H2 control based on symbolic-numeric hybrid optimization., , and . Commun. Inf. Syst., 11 (3): 281-306 (2011)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)Effective quantifier elimination for industrial applications.. ISSAC, page 18-19. ACM, (2014)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)Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination., , , , and . Appl. Algebra Eng. Commun. Comput., 18 (6): 497-512 (2007)Agent-based analysis for design of signage systems in large-scale facilities., , , and . WSC, page 3134-3135. IEEE/ACM, (2015)Semantic Parsing of Pre-university Math Problems., , , , and . ACL (1), page 2131-2141. Association for Computational Linguistics, (2017)An SOS-QE Approach to Nonlinear Gain Analysis for Polynomial Dynamical Systems., and . Math. Comput. Sci., 5 (3): 303-314 (2011)