PUBLICATIONS, Shin'ichi Oishi

  1. K. Ozaki, T. Ogita, S. M. Rump, S. Oishi: Adaptive and Efficient Algorithm for 2D Orientation Problem, accepted for publication in JJIAM.
  2. T. Ogita, S. Oishi: Fast Verified Solutions of Linear Systems, accepted for publication in JJIAM.
  3. Yusuke Nakaya, Tetsuo Nishi, Shinfichi Oishi and Martin Claus: Numerical Verification of Five Solutions inTwo-transistor Circuits, accepted for publication in JJIAM.
  4. S. Oishi, T. Ogita, S. M. Rump: Iterative Refinement for Ill-Conditioned Linear Systems, accepted for publication in JJIAM.
  5. Shinfichi Oishi and Kunio Tanabe:Numerical Inclusion of Optimum Point for Linear Programming, JSIAM Letter, to appear
  6. T. Ogita, S. Oishi: Tight Enclosures of Solutions of Linear Systems, International Series of Numerical Mathematics, 157(2009), 167-178 , to appear (Inequalities and Applications, C. Bandle, A. Gilanyi, L. Losonczi, Z. Pales, M. Plum eds., Birkhauser Verlag).
  7. S. M. Rump, T. Ogita, S. Oishi: Accurate Floating-Point Summation Part II: Sign, K-fold Faithful and Rounding to Nearest, SIAM Journal on Scientific Computing, accepted for publication.
  8. S. M. Rump, T. Ogita, S. Oishi: Accurate Floating-Point Summation Part I: Faithful Rounding, SIAM Journal on Scientific Computing, 31(1): (2008) 189?224
  9. N. Yamanaka, T. Ogita, S. M. Rump, S. Oishi: A Parallel Algorithm for Accurate Dot Product, Parallel Computing, 34:6-8 (2008), 392-410.
  10. Tetsuro Yamamoto, Shin'ichi Oishi and Qing Fang:Discretization Principles for Linear Two-Point Boundary Value Problems, II, Numerical Functional Analysis and Optimization, Volume 29, Issue 1 & 2 January 2008 , pages 213 - 224
  11. S. Oishi, K. Tanabe, T. Ogita, S. M. Rump: Convergence of Rump's Method for Inverting Arbitrarily Ill-conditioned Matrices, Journal of Computational and Applied Mathematics, 205:1 (2007), 533-544.
  12. K. Ozaki, T. Ogita, S. Miyajima, S. Oishi, S. M. Rump: A Method of Obtaining Verified Solutions for Linear Systems Suited for Java, Journal of Computational and Applied Mathematics, 199:2 (2007), 337-344.
  13. YAMAMOTO, TETSURO and OISHI, SHIN'ICHI: On Three Theorems of Lees for Numerical Treatment of Semilinear Two-Point Boundary Value Problems, Jpn J Ind Appl Math, VOL.23;NO.3;PAGE.293-313(2006)
  14. T. Ogita, S. M. Rump, S. Oishi: Accurate Sum and Dot Product, SIAM Journal on Scientific Computing, 26:6 (2005), 1955-1988.
  15. T. Ogita, S. Oishi: Fast Inclusion of Interval Matrix Multiplication, Reliable Computing, 11:3 (2005), 191-205.
  16. Sunao Murashige and Shin'ichi Oishi: Numerical verification of solutions of Nekrasov's integral equation, Computing, 26/6,(2005) 1955-1988.
  17. Sunao Murashige and Shin'ichi Oishi: Numerical verification of solutions of periodic integral equations with a sigular kernel , Numerical Algorithms, Volume 37, Numbers 1-4 (2004/12) pp.301-310
  18. Ken-ichiro Tanaka, Sunao Murashige and Shin'ichi Oishi: On necessary and sufficient conditions for numerical verification of double turning points, Numerische Mathematik, 97 (2004) pp.537-554.
  19. Nobuyo KASUGA,Katsuhito ITOH,Shin'ichi OISHI,Tomomasa NAGASHIMA: Study on Relationship between Technostress and Antisocial Behavior on Computers, IEICE Trans. Vol.E87-D No.6 (2004) pp.1461-1465.
  20. R. KEARFOTT, M. NEHER, S. OISHI, F. RICO .: Libraries, Tools, and Interactive Systems for Verified Computations: Four Case Studies, Numerical Software with Result Verification (R. Alt, A. Frommer, R. B. Kearfott, and W. Luther eds.), Lecture Notes in Computer Science,Springer Verlag, Heidelberg, no. 2991 (2004).
  21. T. Ogita, S. Oishi, Y. Ushiro: Computation of Sharp Rigorous Componentwise Error Bounds for the Approximate Solutions of Systems of Linear Equations, Reliable Computing, 9:3 (2003), 229-239.
  22. T. Ogita, S. Oishi, Y. Ushiro: Fast Inclusion and Residual Iteration for Solutions of Matrix Equations, Computing, Supplement 16 (2002), 171-184 (Inclusion Methods for Nonlinear Problems: With Applications in Engineering, Economics and Physics, J. Herzberger ed., Springer WienNewYork, Austria).
  23. T. Ogita, S. Oishi, Y. Ushiro: Fast Verification of Solutions for Sparse Monotone Matrix Equations, Computing, Supplement 15 (2001), 175-187 (Topics in Numerical Analysis: With Special Emphasis on Nonlinear Problems, G. Alefeld and X. Chen eds., Springer WienNewYork, Austria).
  24. Shin'ichi Oishi: Fast enclosure of Matrix Eigenvalues and Singular Values via Rounding Mode Controlled Computation, Linear Algebra and its Applications, 324;(2001) pp. 134-146
  25. Yuchi KANZAWA and Shin'ichi OISHI :Imperfect Singular Solutions of Nonlinear Equations and a Numerical Method of Proving Their Existence , IEICE Trans. Fundamentals, Vol.E82-A No.6 pp.1062-1069 1999/6
  26. Yuchi KANZAWA andShin'ichi OISHI::Calculating Bifurcation Points with Guaranteed Accuracy , IEICE Trans. Fundamentals, Vol.E82-A No.6 pp.1055-1061 1999/6
  27. Shin'ichi Oishi: "A Numerical Method of Proving the Existence and Inclusion of Connecting Orbits for Continuous Dynamical Systems", Journal of Universal Computer Science, vol.4 no.2, (1998), 193-201
  28. Takao SOMA,Shin'ichi OISHI,Yuchi KANZAWA,Kazuo HORIUCHI :A Method of Proving the Existence of Simple Turning Points of Two-Point Boundary Value Problems Based on the Numerical Computation with Guaranteed Accuracy, IEICE Trans. Fundamentals, Vol.E81-A No.9 pp.1892-1897 1998/9
  29. Shin'ichi Oishi:A Numerical Method of Proving the Existence and Inclusion of Connecting Orbits for Continuous Dynamical Systems, Journal of Universal Computer Science, vol.4 no.2,(1998) pp.193-201
  30. Yusuke Nakaya and Shin'ichi Oishi: Finding All Solutions of Nonlinear Systems of Equations Using Linear Programming with Guaranteed Accuracy, Journal of Universal Computer Science, vol.4 no.2,(1998) pp.171-177
  31. Hisa-Aki Tanaka, Allan J. Lichtenberg, and Shin'ichi Oishi:A First Order Phase Transition Resulting from Finite Inertia in Coupled Oscillator Systems,Physical Review Letters, (1997) vol. 78, no. 11
  32. Hisa-Aki Tanaka and Shin'ichi Oishi: Self-Synchronization in Globally Coupled Oscillators with Hysteretic Response, Physica DC(1997) vol. 100
  33. Hisa-Aki Tanaka and Shin'ichi Oishi: Stability of synchrnized States in One Dimensinal Networks of Second Order PLLs, International Journal of Bifurcation and Chaos, vol. 7, no. 3 (1997)
  34. Hisa-Aki Tanaka and Shin'ichi Oishi: First Order Phase Transition Resulting from Finite Inertia in Coupled Oscillator Systems, THE AMERICAN PHYSICAL SOCIETY (1997)
  35. Hisa-Aki Tanaka and Shin'ichi Oishi: Geometric Structure of Mutually coupled Phase-Looked Loops, IEEE Trans. CAS (1996)
  36. Shin'ichi Oishi: An Interval Method of Proving Existence of Solutions for Nonlinear Boundary Value Problems,Numerical Analysis of Ordinary Differential Equations and its Applications (World Scientific, Proceedings) (1995) pp.179-194
  37. Shin'ichi Oishi: "Numerical Verification of Existence and Inclusion of Solutions for Nonlinear Operator Equations", J. Computational and Applied Math., 60 (1995)
  38. Hisa-Aki Tanaka, Shin'ichi Oishi and Kazuo Horiuchi: Melnikov Analysis of a Second Order PLL in the Presence of a Weak CW Interference, IEICE Trans. Fundamentals, Vol.E77-A, No.11 (1994) pp.1887-1891,
  39. Hisa-Aki Tanaka, Toshiya Matsuda, Shinfichi Oishi and Kazuo Horiuchi: Analytic Structure of Phase-Locked Loops in Complex Time, IEICE Trans. Fundamentals, Vol.E77-A, No.11, (1994) pp.1777-1782
  40. Shin'ichi Oishi:Two Topics in Nonlinear System Analysis through Fixed Point Theorems, IEICE Trans. Fundamentals, Vol.E77-A, No.7, (1994) pp.1144-1153
  41. Hisa-Aki Tanaka, Shinfichi Oishi and Kazuo Horiuchi: Nonlinear Circuit in Complex Time-Case of Phase-Locked Loops-, IEICE Trans. Fundamentals, Vol.E76-A, No.12, (1993) pp.2055-2058
  42. Mitsunori Makino, Masahide Kashiwagi, Shinfichi Oishi and Kazuo Horiuchi: An Estimation Method of Region Guaranteeing Existence of a Solution Path in Newton Type Homotopy Method, IEICE Trans. Fundamentals, Vol.E76-A, No.7, (1993) pp.1113-1116
  43. Kiyotaka Yamamura, Shinfichi Oishi and Kazuo Horiuchi: Computation of Constrained Channel Capacity by Newtonfs Method, IEICE Trans. Fundamentals, Vol.E76-A, No.6, (1993) pp.1043-1048
  44. Akira Inoue, Masahide Kashiwagi, Shinfichi Oishi and Mitsunori Makino: A Modified Newton Method with Guaranteed Accuracy Based on Rational Arithmetic, IEICE Trans. Fundamentals, Vol.E76-A, No.5,(1993) pp.795-807
  45. Mitsunori Makino, Masahide Kashiwagi, Shinfichi Oishi and Kazuo Horiuchi: A Sufficient Condition of A Priori Estimation for Computational Complexity of the Homotopy Method, IEICE Trans. Fundamentals, Vol.E76-A, No.5, (1993) pp.786-794
  46. Shin'ichi Oishi:The Self-Validating Numerical Method-A New Tool for Computer Asisted Proofs of Nonlinear Problems-,IEICE Trans, Fundamentals, Vol.E75-A, No.5, (1992) pp.595-612
  47. Mitsunori Makino, Shinfichi Oishi, Masahide Kashiwagi and Kazuo Horiuchi: Infinite Dimensional Homotopy Method of Calculating Solutions forFredholm Operator with Index 1 and A-Proper Operator Equations, IEICE Trans, Fundamentals, Vol.E75-A, No.5, (1992) pp.613-615
  48. Mitsunori Makino, Shinfichi Oishi, Masahide Kashiwagi, Kazuo Horiuchi: An Urabe Type A Posteriori Stopping Criterion and a Globally Conbergent Progerty of theSimplicial Approximate Homotopy Method, IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol.E74, No.6, (1991) pp.1440-1446
  49. Mitsunori Makino, Shinfichi Oishi, Masahide Kashiwagi, Kazuo Horiuchi: Computational Complexity of Calculating Solutions for a Certain Class of Uniquely Solvable Nonlinear Equation by Homotopy Method, The Transaction of the Institute of Electronics and Communication Engineers of Japan Vol.E.73. No.1 (1990) pp.1940-1947
  50. Masahide Kashiwagi, Shinfichi Oishi, Mitsunori Makino, Kazuo Horiuchi: An Urabe Type Convergence Theorem for a Constructive Simplified Newton Method in Infinite Dimensional Spaces, The Transaction of the Institute of Electronics and Communication Engineers of Japan, Vol.E.73. No.11 (1990) pp.1789-1791
  51. Shinfichi Oishi, Tosiro Koga: Chaos as Challenging Area in Engineering Science|A Brief Introduction to Engineering Chaos|,The Transaction of the Institute of Electronics and Communication Engineers of Japan, Vol.E.72. No.6 (1989) pp.759-762
  52. Homotopy Method of Mitsunori Makino, Shinfichi Oishi, Kazuo Horiuchi: ting Bifurcating Solutions for Infinite Dimensional Chaotic Systems, The Transaction of the Institute of Electronics and Communication Engineers of Japan, Vol.E.72. No.6 (1989) pp.801~808
  53. Mitsunori Makino, Shinfichi Oishi: A Homotopy Method for Numerically Solving Infinite Dimensional Convex Optimization Problems, The Transactions of The Institute of Electronics and Communication Engineers of Japan, Vol.E.71 No.12 (1988) pp.1307-1316
  54. Fumio Kanaya, Shinfichi Oishi: Rate Risk Theory-Information Theoretic Approach to Statistical Decision-, The Transaction of the Institute of Electronics and Communication Engineers of Japan, Vol.E69, No.5 (1986) pp.571-574
  55. M. Kojima, S. Oishi, Y. Sumi, K. Horiuchi: A Pl Homotopy Continuation Method with the Use of an Odd Map for the Artificial Level, Mathmatical Programming Vol.31, (1985) pp.234-245
  56. Kiyotaka Yamamura, Shinfichi Oishi, Kazuo Horiuchi: Iterative Decomposion Method with Mesh Refinements for Numerical Solution of Nonlinear Two-Point Boundary Value Problems, The Transactions of the Institute of Electronics and Communication Engineers of Japan, Vol.E68, No.6 (1985) pp.382-383
  57. Hitoshi Harada, Shinfichi Oishi: A New Approach to Completely Integrable Partial Differential Equations by Means of the Singularity Analysis, Journal of the Physical Society of Japan Vol.54, No.1 (1985) pp.51-56
  58. Shin'ichi Oishi: Blinearization Method for Soliton Equation ?A Nonlinear Vesion of Fourierfs Method-, Memoirs of the School of Science and Engineering, Waseda University No.46 (1982) pp.191`225
  59. Shin'ichi Oishi and Hajime Inoue: Pscudo-Random Number Generators and Chaos, Transactions of the Institute of Electronics and Communication Engineers of Japan Vol.E65, No.9 (1982) pp.534-541
  60. Shin'ichi Oishi: Bilinearization of the Painlevef Equations, Journal of the Physical Society of Japan Vol.49, No.4 (1980) pp.1647-1648
  61. Shin'ichi Oishi: An Analysis of the Second Painlevef Equation by Bilinearlization ?AN Equation Describing Long Time Asymptotic Behavior of Waves in Certain Soliton Transmission Lines-, The Transactions of the Institute of Electronics and Communication Engineers of Japan Vol.E63, No.10 (1980) pp.774-775
  62. Shin'ichi Oishi: An Analysis of Soliton Transmission Equations Reducible to a Certain Type of Coupled Bilinear Equations, The Transactions of the Institute of Electronics and Communication Engineers of Japan Vol.E63, No.10 (1980) pp.738-745
  63. Shin'ichi Oishi: A Method of Analysing Soliton Equations by Bilinearization, Journal of the Physical Society of Japan Vol.48, No.2 (1980) pp.639-646
  64. Shin'ichi Oishi: The Kortewe-de Vries Equation under Slowly Decreasing Boundary Condition, Journal of the Physical Society of Japan Vol.48, No.1 (1980) pp.349-350
  65. Shin'ichi Oishi: A Method of Constructing Generalized Soliton Solutions for Certain Bilinear Soliton Equations, Journal of the Physical Society of Japan Vol.47, No.4 (1979) pp.1341-1346
  66. Shin'ichi Oishi: Relationship Between Hirotafs Method and the Inverse Spectral Method -The Korteweg- de Vries Equationfs Case, Journal of the Physical Society of Japan Vol.47, No.3 (1979) pp.1037-1038
  67. Futhermore, 27 papers written in Japanese

© Shin'ichi OISHI

URI: http://www.oishi.info.waseda.ac.jp/~oishi/PUBLICATIONS.html

Last Modified 2008/11/4