Kyoko Makino

18 papers Journal 8Unranked 9
YearRankTypeTitle / Venue / Authors
2017 — conf
Rigorous Reachability Analysis and Domain Decomposition of Taylor Models.
NSV@CAV
Martin Berz, Kyoko Makino
2017 — conf
Verified Computations Using Taylor Models and Their Applications.
NSV@CAV
Kyoko Makino, Martin Berz
2016 J jnl
Symbolic-Numeric Methods for Problem Solving in CPS (Dagstuhl Seminar 16491).
Dagstuhl Reports
Sergiy Bogomolov, Martin Fränzle, Kyoko Makino, Nacim Ramdani
2014 J jnl
An Activation Method of Topic Dictionary to Expand Training Data for Trend Rule Discovery.
Appl. Comput. Intell. Soft Comput.
Shigeaki Sakurai, Kyoko Makino, Shigeru Matsumoto
2014 — book
An Introduction to Beam Physics.
Martin Berz, Kyoko Makino, Weishi Wan
2012 — conf
A Discovery Method of Trend Rules from Complex Sequential Data.
AINA Workshops
Shigeaki Sakurai, Kyoko Makino, Shigeru Matsumoto
2012 — conf
Prediction of attractive evaluation objects based on trend rules and topic dictionary.
SCIS&ISIS
Shigeaki Sakurai, Kyoko Makino, Shigeru Matsumoto
2009 — conf
Rigorous global search using taylor models.
SNC
Martin Berz, Kyoko Makino
2009 — conf
Rigorous integration of flows and ODEs using taylor models.
SNC
Kyoko Makino, Martin Berz
2007 — conf
The Supporting Technology of Business Document Proofreading based on Intercultural Differences.
CEC/EEE
Guowei Zu, Hiroshi Taira, Kyoko Makino, Toshiyuki Kano, Shigeru Matsumoto
2005 — conf
Method of Hiding Information in Agglutinative Language Documents Using Adjustment to New Line Positions.
KES (3)
Osamu Takizawa, Kyoko Makino, Tsutomu Matsumoto, Hiroshi Nakagawa, Ichiro Murase
2005 J jnl
Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY.
J. Log. Algebraic Methods Program.
Nathalie Revol, Kyoko Makino, Martin Berz
2004 — conf
Performance of Taylor Model Methods for Validated Integration of ODEs.
PARA
Martin Berz, Kyoko Makino
2003 J jnl
Computing Validated Solutions of Implicit Differential Equations.
Adv. Comput. Math.
Jens Hoefkens, Martin Berz, Kyoko Makino
2003 J jnl
Controlling the Wrapping Effect in the Solution of ODEs for Asteroids.
Reliab. Comput.
Jens Hoefkens, Martin Berz, Kyoko Makino
1999 J jnl
Efficient Control of the Dependency Problem Based on Taylor Model Methods.
Reliab. Comput.
Kyoko Makino, Martin Berz
1999 J jnl
New Methods for High-Dimensional Verified Quadrature.
Reliab. Comput.
Martin Berz, Kyoko Makino
1998 J jnl
Verified Integration of ODEs and Flows Using Differential Algebraic Methods on High-Order Taylor Models.
Reliab. Comput.
Martin Berz, Kyoko Makino