Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Anai, Hirokazu
17  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

DTM-Based Filtrations:

, In: Topological Data Analysis; Abel Symposia,
Anai, Hirokazu ; Chazal, Frédéric ; Glisse, Marc... - p. 33-66 , 2020
Link: https://doi.org/10.1007/..
 
?
2

Systematic analysis of micro dynamics in agent based simula..:

, In: Proceedings of the 2018 Winter Simulation Conference,
Yamane, Shohei ; Yamada, Hiroaki ; Ohori, Kotaro... - p. 4214-4215 , 2018
Link: https://dl.acm.org/doi/1..
 
?
3

Formula Simplification for Real Quantifier Elimination Usin..:

, In: Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation,
Iwane, Hidenao ; Anai, Hirokazu - p. 213-220 , 2017
Link: https://dl.acm.org/doi/1..
 
?
4

Agent-based simulation analysis for security planning based..:

, In: Proceedings of the 2016 Winter Simulation Conference,
Goto, Akinobu ; Takahashi, Shingo ; Ohori, Kotaro... - p. 3720-3721 , 2016
Link: https://dl.acm.org/doi/1..
 
?
5

Simplifying Urban Network Security Games with Cut-Based Gra..:

, In: Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems,
Iwashita, Hiroaki ; Ohori, Kotaro ; Anai, Hirokazu. - p. 205-213 , 2016
Link: https://dl.acm.org/doi/1..
 
?
6

Agent-based analysis for design of signage systems in large..:

, In: Proceedings of the 2015 Winter Simulation Conference,
Utsumi, Shintaro ; Takahashi, Shingo ; Ohori, Kotaro. - p. 3134-3135 , 2015
Link: https://dl.acm.org/doi/1..
 
?
7

Parametric Mechanism Design via Quantifier Elimination:

, In: Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems,
Iwasaki, Atsushi ; Fujita, Etsushi ; Todo, Taiki... - p. 1885-1886 , 2015
Link: https://dl.acm.org/doi/1..
 
?
8

Mathematics by machine:

, In: Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation,
Arai, Noriko H. ; Matsuzaki, Takuya ; Iwane, Hidenao. - p. 1-8 , 2014
Link: https://dl.acm.org/doi/1..
 
?
9

Effective quantifier elimination for industrial application:

, In: Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation,
Anai, Hirokazu - p. 18-19 , 2014
Link: https://dl.acm.org/doi/1..
 
?
10

An effective implementation of a symbolic-numeric cylindric..:

, In: Proceedings of the 2011 International Workshop on Symbolic-Numeric Computation,
Iwane, Hidenao ; Yanami, Hitoshi ; Anai, Hirokazu - p. 168-177 , 2012
Link: https://dl.acm.org/doi/1..
 
?
11

Parallel computation of determinants of matrices with polyn..:

, In: Proceedings of the 4th International Workshop on Parallel and Symbolic Computation,
Kumura, Kinji ; Anai, Hirokazu - p. 173-174 , 2010
Link: https://dl.acm.org/doi/1..
 
?
12

An effective implementation of a symbolic-numeric cylindric..:

, In: Proceedings of the 2009 conference on Symbolic numeric computation,
Iwane, Hidenao ; Yanami, Hitoshi ; Anai, Hirokazu. - p. 55-64 , 2009
Link: https://dl.acm.org/doi/1..
 
?
13

Solution of algebraic riccati equations using the sum of ro..:

, In: Proceedings of the 2009 international symposium on Symbolic and algebraic computation,
Kanno, Masaaki ; Yokoyama, Kazuhiro ; Anai, Hirokazu. - p. 215-222 , 2009
Link: https://dl.acm.org/doi/1..
 
?
14

Symbolic optimization of algebraic functions:

, In: Proceedings of the twenty-first international symposium on Symbolic and algebraic computation,
Kanno, Masaaki ; Yokoyama, Kazuhiro ; Anai, Hirokazu. - p. 147-154 , 2008
Link: https://dl.acm.org/doi/1..
 
?
15

Parametric optimization in control using the sum of roots f..:

, In: Proceedings of the 2007 international symposium on Symbolic and algebraic computation,
Kanno, Masaaki ; Yokoyama, Kazuhiro ; Anai, Hirokazu. - p. 211-218 , 2007
Link: https://dl.acm.org/doi/1..
 
1-15