| 2007 |
|---|
| 9 | EE | Guowei Zu,
Hiroshi Taira,
Kyoko Makino,
Toshiyuki Kano,
Shigeru Matsumoto:
The Supporting Technology of Business Document Proofreading based on Intercultural Differences.
CEC/EEE 2007: 91-98 |
| 2005 |
|---|
| 8 | EE | Osamu Takizawa,
Kyoko Makino,
Tsutomu Matsumoto,
Hiroshi Nakagawa,
Ichiro Murase:
Method of Hiding Information in Agglutinative Language Documents Using Adjustment to New Line Positions.
KES (3) 2005: 1039-1048 |
| 7 | EE | Nathalie Revol,
Kyoko Makino,
Martin Berz:
Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY.
J. Log. Algebr. Program. 64(1): 135-154 (2005) |
| 2004 |
|---|
| 6 | EE | Martin Berz,
Kyoko Makino:
Performance of Taylor Model Methods for Validated Integration of ODEs.
PARA 2004: 65-73 |
| 2003 |
|---|
| 5 | EE | Jens Hoefkens,
Martin Berz,
Kyoko Makino:
Computing Validated Solutions of Implicit Differential Equations.
Adv. Comput. Math. 19(1-3): 231-253 (2003) |
| 4 | EE | Jens Hoefkens,
Martin Berz,
Kyoko Makino:
Controlling the Wrapping Effect in the Solution of ODEs for Asteroids.
Reliable Computing 9(1): 21-41 (2003) |
| 1999 |
|---|
| 3 | EE | Martin Berz,
Kyoko Makino:
New Methods for High-Dimensional Verified Quadrature.
Reliable Computing 5(1): 13-22 (1999) |
| 2 | EE | Kyoko Makino,
Martin Berz:
Efficient Control of the Dependency Problem Based on Taylor Model Methods.
Reliable Computing 5(1): 3-12 (1999) |
| 1998 |
|---|
| 1 | EE | Martin Berz,
Kyoko Makino:
Verified Integration of ODEs and Flows Using Differential Algebraic Methods on High-Order Taylor Models.
Reliable Computing 4(4): 361-369 (1998) |
