Symbolic-numeric Estimation of Parameters in Biochemical Models by Quantifier Elimination. - Hirokazu Anai; Shigeo Orii; Katsuhisa Horimoto (J. Bioinform. Comput. Biol., 2006)

Metrics for evaluation of parallel efficiency toward highly parallel processing. - Shigeo Orii (Parallel Comput., 2010)