Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Anai, Hirokazu
63  Ergebnisse:
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

ON DYNAMIC PATROLLING SECURITY GAMES:

Kira, Akifumi ; Kamiyama, Naoyuki ; Anai, Hirokazu..
Journal of the Operations Research Society of Japan.  62 (2019)  4 - p. 152-168 , 2019
Link: https://doi.org/10.15807..
 
?
3

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..
 
?
4

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..
 
?
5

An indirect search algorithm for disaster restoration with ..:

Kira, Akifumi ; Iwane, Hidenao ; Anai, Hirokazu..
Pacific Journal of Mathematics for Industry.  9 (2017)  1 - p. , 2017
Link: https://doi.org/10.1186/..
 
?
6

Parameter Identification to Estimate Discharges of Multiple..:

Matsumoto, Kazuhiro ; Miyamoto, Mamoru ; Yamakage, Yuzuru...
Procedia Engineering.  154 (2016)  - p. 1283-1290 , 2016
Link: https://doi.org/10.1016/..
 
?
7

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..
 
?
8

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..
 
?
9

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..
 
?
10

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..
 
?
11

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..
 
?
12

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..
 
?
13

An effective implementation of symbolic–numeric cylindrical..:

Iwane, Hidenao ; Yanami, Hitoshi ; Anai, Hirokazu.
Theoretical Computer Science.  479 (2013)  - p. 43-69 , 2013
Link: https://doi.org/10.1016/..
 
?
14

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..
 
?
15

Optimizing a Particular Real Root of a Polynomial by a Spec..:

Gandy, Silvia ; Kanno, Masaaki ; Anai, Hirokazu.
Mathematics in Computer Science.  5 (2011)  2 - p. 209-221 , 2011
Link: https://doi.org/10.1007/..
 
1-15