Kyoko Makino
Title
Cited by
Cited by
Year
Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
M Berz, K Makino
Reliable computing 4 (4), 361-369, 1998
3891998
Taylor models and other validated functional inclusion methods
K Makino, M Berz
International Journal of Pure and Applied Mathematics 6, 239-316, 2003
3062003
Cosy infinity version 9
K Makino, M Berz
Nuclear Instruments and Methods in Physics Research Section A: Accelerators …, 2006
2892006
Cosy infinity version 8
K Makino, M Berz
Nuclear Instruments and Methods in Physics Research Section A: Accelerators …, 1999
2001999
Rigorous analysis of nonlinear motion in particle accelerators.
K Makino
1701999
Efficient control of the dependency problem based on Taylor model methods
K Makino, M Berz
Reliable Computing 5 (1), 3-12, 1999
1601999
COSY INFINITY version 8 reference manual
M Berz, K Makino
NSCL Technical Report MSUCL-1088, Michigan State University, 1998
1531998
Remainder differential algebras and their applications
K Makino, M Berz
Computational differentiation: techniques, applications and tools, 63-74, 1996
1391996
Recent progress in neutrino factory and muon collider research within the Muon Collaboration
MM Alsharo’a, CM Ankenbrandt, M Atac, BR Autin, VI Balbekov, ...
Physical review special topics-Accelerators and beams 6 (8), 081001, 2003
1272003
Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY
N Revol, K Makino, M Berz
The Journal of Logic and Algebraic Programming 64 (1), 135-154, 2005
1122005
A storage ring experiment to detect a proton electric dipole moment
V Anastassopoulos, S Andrianov, R Baartman, S Baessler, M Bai, ...
Review of Scientific Instruments 87 (11), 115116, 2016
932016
New method for a continuous determination of the spin tune in storage rings and implications for precision experiments
D Eversmann, V Hejny, F Hinder, A Kacharava, J Pretz, F Rathmann, ...
Physical review letters 115 (9), 094801, 2015
742015
Suppression of the wrapping effect by Taylor model-based verified integrators: Long-term stabilization by preconditioning
K Makino, M Berz
International Journal of Differential Equations and Applications 10 (4), 2011
742011
COSY INFINITY Version 8.1-user’s guide and reference manual
M Berz, K Makino
Department of Physics and Astronomy MSUHEP-20704, Michigan State University, 2002
632002
Fringe field effects in small rings of large acceptance
M Berz, B Erdélyi, K Makino
Physical Review Special Topics-Accelerators and Beams 3 (12), 124001, 2000
592000
32. COSY INFINITY and Its Applications in Nonlinear Dynamics
M Berz, K Makino, K Shamseddine, GH Hoffstätter, W Wan
581996
Suppression of the wrapping effect by Taylor model-based verified integrators: Long-term stabilization by shrink wrapping
M Berz, K Makino
Int. J. Diff. Eq. Appl 10, 385-403, 2005
572005
How to Reach a Thousand-Second in-Plane Polarization Lifetime with Deuterons in a Storage Ring
G Guidoboni, E Stephenson, S Andrianov, W Augustyniak, Z Bagdasarian, ...
Physical review letters 117 (5), 054801, 2016
542016
Propagation of large uncertainty sets in orbital dynamics by automatic domain splitting
A Wittig, P Di Lizia, R Armellin, K Makino, F Bernelli-Zazzera, M Berz
Celestial Mechanics and Dynamical Astronomy 122 (3), 239-261, 2015
512015
New methods for high-dimensional verified quadrature
M Berz, K Makino
Reliable Computing 5 (1), 13-22, 1999
481999
The system can't perform the operation now. Try again later.
Articles 1–20