( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Inference of Probabilities over a Stochastic IL-System by Quantifier Elimination.

, , и . 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.

Hirokazu Kawaguchi

Hirokazu Kurosawa

 

Другие публикации лиц с тем же именем

Simplifying Urban Network Security Games with Cut-Based Graph Contraction., , , и . AAMAS, стр. 205-213. ACM, (2016)Effective quantifier elimination for industrial applications.. ISSAC, стр. 18-19. ACM, (2014)Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination., , , , и . Appl. Algebra Eng. Commun. Comput., 18 (6): 497-512 (2007)A Symbolic-Numeric Approach to Multi-Objective Optimization in Manufacturing Design., , и . Math. Comput. Sci., 5 (3): 315-334 (2011)Plant/controller design integration for H2 control based on symbolic-numeric hybrid optimization., , и . Commun. Inf. Syst., 11 (3): 281-306 (2011)An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for optimization problems., , и . SNC, стр. 168-177. ACM, (2011)An Effective Implementation of a Special Quantifier Elimination for a Sign Definite Condition by Logical Formula Simplification., , и . CASC, том 8136 из Lecture Notes in Computer Science, стр. 194-208. Springer, (2013)Agent-based analysis for design of signage systems in large-scale facilities., , , и . WSC, стр. 3134-3135. IEEE/ACM, (2015)Semantic Parsing of Pre-university Math Problems., , , , и . ACL (1), стр. 2131-2141. Association for Computational Linguistics, (2017)Deciding linear-trigonometric problems., и . ISSAC, стр. 14-22. ACM, (2000)