( en | de | ru )

 

Disambiguierung von "Anai, Hirokazu"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An SOS-QE Approach to Nonlinear Gain Analysis for Polynomial Dynamical Systems.

, und . Math. Comput. Sci., 5 (3): 303-314 (2011)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Hirokazu Kawaguchi

Hirokazu Kurosawa

 

Weitere Publikationen von Autoren mit dem selben Namen

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