- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c4 |      | Shigeaki Sakurai, Kyoko Makino, Shigeru Matsumoto: A Discovery Method of Trend Rules from Complex Sequential Data. AINA Workshops 2012: 950-955 |
| 2007 | ||
| c3 | | 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 | ||
| j6 | | 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) |
| c2 | | 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 |
| 2004 | ||
| c1 | | Martin Berz, Kyoko Makino: Performance of Taylor Model Methods for Validated Integration of ODEs. PARA 2004: 65-73 |
| 2003 | ||
| j5 | | Jens Hoefkens, Martin Berz, Kyoko Makino: Computing Validated Solutions of Implicit Differential Equations. Adv. Comput. Math. 19(1-3): 231-253 (2003) |
| j4 | | 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 | ||
| j3 | | Kyoko Makino, Martin Berz: Efficient Control of the Dependency Problem Based on Taylor Model Methods. Reliable Computing 5(1): 3-12 (1999) |
| j2 | | Martin Berz, Kyoko Makino: New Methods for High-Dimensional Verified Quadrature. Reliable Computing 5(1): 13-22 (1999) |
| 1998 | ||
| j1 | | 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) |
| 1 | Martin Berz | |
| 2 | Jens Hoefkens | |
| 3 | Toshiyuki Kano | |
| 4 | Shigeru Matsumoto | |
| 5 | Tsutomu Matsumoto | |
| 6 | Ichiro Murase | |
| 7 | Hiroshi Nakagawa | |
| 8 | Nathalie Revol | |
| 9 | Shigeaki Sakurai | |
| 10 | Hiroshi Taira | |
| 11 | Osamu Takizawa | |
| 12 | Guowei Zu |
Colors in the list of coauthors
Last update Tue May 21 17:20:07 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page