Kyoko Makino

According to our database, Kyoko Makino authored at least 18 papers between 1998 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2017

Verified Computations Using Taylor Models and Their Applications.

Kyoko Makino, Martin Berz

Proceedings of the Numerical Software Verification - 10th International Workshop, 2017

Rigorous Reachability Analysis and Domain Decomposition of Taylor Models.

Martin Berz, Kyoko Makino

Proceedings of the Numerical Software Verification - 10th International Workshop, 2017

2016

Symbolic-Numeric Methods for Problem Solving in CPS (Dagstuhl Seminar 16491).

Sergiy Bogomolov, Martin Fränzle, Kyoko Makino, Nacim Ramdani

Dagstuhl Reports, 2016

2014

An Activation Method of Topic Dictionary to Expand Training Data for Trend Rule Discovery.

Shigeaki Sakurai, Kyoko Makino, Shigeru Matsumoto

Appl. Comput. Intell. Soft Comput., 2014

An Introduction to Beam Physics.

Martin Berz, Kyoko Makino, Weishi Wan

Series in high energy physics, cosmology, and gravitation, CRC Press, ISBN: 978-0-7503-0263-0, 2014

2012

Prediction of attractive evaluation objects based on trend rules and topic dictionary.

Shigeaki Sakurai, Kyoko Makino, Shigeru Matsumoto

Proceedings of the 6th International Conference on Soft Computing and Intelligent Systems (SCIS), 2012

A Discovery Method of Trend Rules from Complex Sequential Data.

Shigeaki Sakurai, Kyoko Makino, Shigeru Matsumoto

Proceedings of the 26th International Conference on Advanced Information Networking and Applications Workshops, 2012

2009

Rigorous integration of flows and ODEs using taylor models.

Kyoko Makino, Martin Berz

Proceedings of the Symbolic Numeric Computation, 2009

Rigorous global search using taylor models.

Martin Berz, Kyoko Makino

Proceedings of the Symbolic Numeric Computation, 2009

2007

The Supporting Technology of Business Document Proofreading based on Intercultural Differences.

Guowei Zu, Hiroshi Taira, Kyoko Makino, Toshiyuki Kano, Shigeru Matsumoto

Proceedings of the 9th IEEE International Conference on E-Commerce Technology (CEC 2007) / 4th IEEE International Conference on Enterprise Computing, 2007

2005

Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY.

Nathalie Revol, Kyoko Makino, Martin Berz

J. Log. Algebraic Methods Program., 2005

Method of Hiding Information in Agglutinative Language Documents Using Adjustment to New Line Positions.

Osamu Takizawa, Kyoko Makino, Tsutomu Matsumoto, Hiroshi Nakagawa, Ichiro Murase

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2005

2004

Performance of Taylor Model Methods for Validated Integration of ODEs.

Martin Berz, Kyoko Makino

Proceedings of the Applied Parallel Computing, 2004

2003

Controlling the Wrapping Effect in the Solution of ODEs for Asteroids.

Jens Hoefkens, Martin Berz, Kyoko Makino

Reliab. Comput., 2003

Computing Validated Solutions of Implicit Differential Equations.

Jens Hoefkens, Martin Berz, Kyoko Makino

Adv. Comput. Math., 2003

1999

Efficient Control of the Dependency Problem Based on Taylor Model Methods.

Kyoko Makino, Martin Berz

Reliab. Comput., 1999

New Methods for High-Dimensional Verified Quadrature.

Martin Berz, Kyoko Makino

Reliab. Comput., 1999

1998

Verified Integration of ODEs and Flows Using Differential Algebraic Methods on High-Order Taylor Models.

Martin Berz, Kyoko Makino

Reliab. Comput., 1998