Kyoko Makino

Publication Activity (10 Years)

Years Active: 1998-2017
Publications (10 Years): 3

Top Topics

Computationally Expensive

Reachability Analysis

Top Venues

Appl. Comput. Intell. Soft Comput.

Dagstuhl Reports

Publications

Kyoko Makino, Martin Berz
Verified Computations Using Taylor Models and Their Applications. NSV@CAV (2017)
Martin Berz, Kyoko Makino
Rigorous Reachability Analysis and Domain Decomposition of Taylor Models. NSV@CAV (2017)
Sergiy Bogomolov, Martin Fränzle, Kyoko Makino, Nacim Ramdani
Symbolic-Numeric Methods for Problem Solving in CPS (Dagstuhl Seminar 16491). Dagstuhl Reports 6 (12) (2016)
Shigeaki Sakurai, Kyoko Makino, Shigeru Matsumoto
An Activation Method of Topic Dictionary to Expand Training Data for Trend Rule Discovery. Appl. Comput. Intell. Soft Comput. 2014 (2014)
Shigeaki Sakurai, Kyoko Makino, Shigeru Matsumoto
Prediction of attractive evaluation objects based on trend rules and topic dictionary. SCIS&ISIS (2012)
Shigeaki Sakurai, Kyoko Makino, Shigeru Matsumoto
A Discovery Method of Trend Rules from Complex Sequential Data. AINA Workshops (2012)
Martin Berz, Kyoko Makino
Rigorous global search using taylor models. SNC (2009)
Kyoko Makino, Martin Berz
Rigorous integration of flows and ODEs using taylor models. SNC (2009)
Guowei Zu, Hiroshi Taira, Kyoko Makino, Toshiyuki Kano, Shigeru Matsumoto
The Supporting Technology of Business Document Proofreading based on Intercultural Differences. CEC/EEE (2007)
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)
Nathalie Revol, Kyoko Makino, Martin Berz
Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY. J. Log. Algebraic Methods Program. 64 (1) (2005)
Martin Berz, Kyoko Makino
Performance of Taylor Model Methods for Validated Integration of ODEs. PARA (2004)
Jens Hoefkens, Martin Berz, Kyoko Makino
Controlling the Wrapping Effect in the Solution of ODEs for Asteroids. Reliab. Comput. 9 (1) (2003)
Jens Hoefkens, Martin Berz, Kyoko Makino
Computing Validated Solutions of Implicit Differential Equations. Adv. Comput. Math. 19 (1-3) (2003)
Kyoko Makino, Martin Berz
Efficient Control of the Dependency Problem Based on Taylor Model Methods. Reliab. Comput. 5 (1) (1999)
Martin Berz, Kyoko Makino
New Methods for High-Dimensional Verified Quadrature. Reliab. Comput. 5 (1) (1999)
Martin Berz, Kyoko Makino
Verified Integration of ODEs and Flows Using Differential Algebraic Methods on High-Order Taylor Models. Reliab. Comput. 4 (4) (1998)