Kyoko Makino

发表

MORPHOLOGICAL CROSSOVER FOR VISCOUS FINGERING PATTERNS IN POLYMER SOLUTIONS(Session IV : Structures & Patterns, The 1st Tohwa University International Meeting on Statistical Physics Theories, Experiments and Computer Simulations)

Kyoko Makino, Masami Kawaguchi, Tadaya Kato, 1996 .

A new method for system optimization by neural networks

Kazuo Nishimura, Hideki Hayashi, Kyoko Makino, 1997 .

Daily Peak Load Forecasting Using an Artificial Neural Network and Its Improving Method of Reducing the Forecasting Errors

Kyoko Makino, Ryoichi Ichikawa, Tsuyoshi Shimada, 1995 .

Rigorous integration of flows and ODEs using taylor models

Martin Berz, Kyoko Makino, 2009, SNC '09.

Rigorous global search using taylor models

Martin Berz, Kyoko Makino, 2009, SNC '09.

Arbitrary order maps, remainder terms, and long-term stability in particle accelerators

Martin Berz, Kyoko Makino, 1997, Optics & Photonics.

Performance of Taylor Model Methods for Validated Integration of ODEs

Martin Berz, Kyoko Makino, 2004, PARA.

The Michigan State University M.S. and Ph.D. Online Degree Programs in Beam Physics.

Martin Berz, Lars Diening, Kyoko Makino, 2000 .

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

Martin Berz, Kyoko Makino, M. Berz, 1998, Reliab. Comput..

Controlling the Wrapping Effect in the Solution of ODEs for Asteroids

Martin Berz, Kyoko Makino, Jens Hoefkens, 2003, Reliab. Comput..

An Implementation of Hiding Information on Documents by Adjustment to New Line Positions

Kyoko Makino, Osamu Takizawa, 2010 .

Efficient Control of the Dependency Problem Based on Taylor Model Methods

Martin Berz, Kyoko Makino, M. Berz, 1999, Reliab. Comput..

Computing Validated Solutions of Implicit Differential Equations

Martin Berz, Kyoko Makino, Jens Hoefkens, 2003, Adv. Comput. Math..

Rigorous Reachability Analysis and Domain Decomposition of Taylor Models

Martin Berz, Kyoko Makino, M. Berz, 2017, NSV@CAV.

Development and Evaluation of a Diagnostic Documentation Support System using Knowledge Processing

Kyoko Makino, Koichi Terai, Rumi Hayakawa, 2008 .

New Methods for High-Dimensional Verified Quadrature

Martin Berz, Kyoko Makino, M. Berz, 1999, Reliab. Comput..

Artificial neural network of locally active units with cause-oriented parameter modification

Kyoko Makino, Ryoichi Ichikawa, Tsuyoshi Shimada, 1995, Proceedings of 1995 IEEE International Conference on Fuzzy Systems..

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

Nathalie Revol, Martin Berz, Kyoko Makino, 2005, J. Log. Algebraic Methods Program..

Arbitrary order aberrations for elements characterized by measured fields

Martin Berz, Kyoko Makino, 1997, Optics & Photonics.

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

Shigeaki Sakurai, Kyoko Makino, Shigeru Matsumoto, 2014, Appl. Comput. Intell. Soft Comput..

An Introduction to Beam Physics

Martin Berz, Kyoko Makino, Weishi Wan, 2014, Series in high energy physics, cosmology, and gravitation.

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

Sergiy Bogomolov, Martin Fränzle, Nacim Ramdani, 2016, Dagstuhl Reports.

Verified Computations Using Taylor Models and Their Applications

Martin Berz, Kyoko Makino, 2017, NSV@CAV.

Daily peak electric load forecasting using an artificial neural network and an improvement method for reducing the forecasting errors

Kyoko Makino, Ryoichi Ichikawa, Tsuyoshi Shimada, 1996 .

A Discovery Method of Trend Rules from Complex Sequential Data

Shigeaki Sakurai, Kyoko Makino, Shigeru Matsumoto, 2012, 2012 26th International Conference on Advanced Information Networking and Applications Workshops.

Information hiding on digital documents by adjustment of new-line positions

Hiroshi Nakagawa, Tsutomu Matsumoto, Kyoko Makino, 2005 .

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

Shigeaki Sakurai, Kyoko Makino, Shigeru Matsumoto, 2012, The 6th International Conference on Soft Computing and Intelligent Systems, and The 13th International Symposium on Advanced Intelligence Systems.

A New Method for System Optimization by Neural Networks

Kazuo Nishimura, Hideki Hayashi, Kyoko Makino, 1996 .

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

Hiroshi Nakagawa, Tsutomu Matsumoto, Kyoko Makino, 2005, KES.

Long-term stability of the Tevatron by verified global optimization

Martin Berz, Kyoko Makino, Youn Kyung Kim, 2006 .

Constructive generation and verification of Lyapunov functions around fixed points of nonlinear dynamical systems

Martin Berz, Kyoko Makino, 2000 .

Computing the critical points of the distance function between two Keplerian orbits via rigorous global optimization

Martin Berz, Kyoko Makino, Roberto Armellin, 2010 .

COSY INFINITY version 7

Martin Berz, Kyoko Makino, 1997 .

Verified High-Order Integration of DAEs and Higher-Order ODEs

Martin Berz, Kyoko Makino, Jens Hoefkens, 2001 .

Rigorous analysis of nonlinear motion in particle accelerators

Kyoko Makino, K. Makino, 1998 .

COSY INFINITY version 8

Martin Berz, Kyoko Makino, 1999 .

Range bounding with Taylor models: some case studies

Martin Berz, Kyoko Makino, Youn Kyung Kim, 2004 .

Verified global optimization with Taylor model based range bounders

Martin Berz, Kyoko Makino, 2005 .

SUPPRESSION OF THE WRAPPING EFFECT BY TAYLOR MODEL-BASED VERIFIED INTEGRATORS : LONG-TERM STABILIZATION BY SHRINK WRAPPING

Martin Berz, Kyoko Makino, M. Berz, 2006 .

COSY INFINITY Version 9

Martin Berz, Kyoko Makino, M. Berz, 2006 .

Institute of Physics Conference Series: Preface

Martin Berz, Kyoko Makino, 2005 .

SUPPRESSION OF THE WRAPPING EFFECT BY TAYLOR MODEL- BASED VERIFIED INTEGRATORS: LONG-TERM STABILIZATION BY PRECONDITIONING

Martin Berz, Kyoko Makino, M. Berz, 2011 .

Verified integration of dynamics in the solar system

Martin Berz, Kyoko Makino, Jens Hoefkens, 2001 .

New applications of Taylor model methods

Martin Berz, Kyoko Makino, 2000 .