Home >> PRESTO Publications >> Kaori NAGATOU
Zin ARAI- Hitoshi ARAI
- Takashi SAKAJO
- Hiroshi SUITO
- Dan TANAKA
- Kaori NAGATOU
- Yumiharu NAKANO
- Masaharu NAGAYAMA
- Katsuhiro NISHINARI
- Ichiro HASUO
- Kazuhisa MAKINO
- Nakahiro YOSHIDA
Kaori NAGATOU
Papers
| author(s) | S. Cai, K. Nagatou, Y. Watanabe |
|---|---|
| title | A numerical verification method for a system of FitzHugh-Nagumo type |
| journal | Numerical Functional Analysis and Optimization 33 (10) (2012), pp. 1195-1220. (2012/1/1) |
| author(s) | K. Nagatou, M. Plum, M.T. Nakao |
|---|---|
| title | Eigenvalue excluding for perturbed-periodic 1D Schroedinger operators |
| journal | Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol. 468, issue 2138 (2012), pp. 545-562 (2012/1/1) |
| author(s) | A. Gilanyi, K. Nagatou, P. Volkmann |
|---|---|
| title | On the stability of a functional equation characterizing the absolute value of additive functions |
| journal | Annals of functional Analysis 1 (2010), No.2, pp.1-6.(2011/2/1) |
| author(s) | K. Nagatou, T. Morifuji |
|---|---|
| title | An Enclosure Method for Complex Eigenvalues of Ordinary Differential Operators |
| journal | a special issue of ``Nonlinear Theory and Its Applications, IEICE'' on ``Recent Progress in Verified Numerical Computations'', Vol.2, No.1 (2011), pp. 111-122. (2011/1/1) |
| author(s) | Y. Watanabe, K. Nagatou, M. Plum, M. T. Nakao |
|---|---|
| title | A computer-assisted stability proof for the Orr-Sommerfeld problem with Poiseuille flow |
| journal | a special issue of ``Nonlinear Theory and Its Applications, IEICE'' on ``Recent Progress in Verified Numerical Computations'', Vol.2, No.1 (2011), pp. 123-127. (2011/1/1) |
Oral presentations
| presenter(s) | K. Nagatou |
|---|---|
| title | Computer Assisted Proofs for Nonlinear Partial Differential Equations |
| meeting | Computational Aspects and Computer-Assisted Proofs in Nonlinear PDEs, Karlsruhe, Germany (2011/1/20) |
| presenter(s) | K. Nagatou, P.J. McKenna, M. Plum |
|---|---|
| title | Orbital stability investigation for travelling waves in a nonlinearly supported beam |
| meeting | SIAM/MSRI workshop on Hybrid Methodologies for Symbolic-Numeric Computation, MSRI, Berkeley, California, USA (2010/11/18) |
| presenter(s) | K. Nagatou, M. Plum, M.T. Nakao |
|---|---|
| title | Eigenvalue excluding for perturbed-periodic 1D Schroedinger operators |
| meeting | Conference on Inequalities and Applications 2010, Hajduszoboszlo, Hungary (2010/9/20) |
| presenter(s) | K. Nagatou |
|---|---|
| title | Eigenvalue excluding for perturbed-periodic 1D Schroedinger operators |
| meeting | The 3rd CJK conference, Gangneung-Wonju National University, Korea (2010/8/20) |
| presenter(s) | K. Nagatou, P.J. McKenna, M. Plum |
|---|---|
| title | Computer Assisted Proofs for Partial Differential Equations |
| meeting | 4th International Conference Computational Methods in Applied Mathematics: CMAM-4 Bedlewo, Poland (2010/6/23) |
| presenter(s) | K. Nagatou, Y. Watanabe |
|---|---|
| title | Computer Assisted Proofs for Partial Differential Equations |
| meeting | Mathematics colloquium, University of Kent, Canterbury, Kent (2010/3/31) |
| presenter(s) | K. Nagatou, P.J. McKenna, M. Plum |
|---|---|
| title | Orbital stability investigation for travelling waves in a nonlinearly supported beam |
| meeting | International Workshop on Numerical Verification and its Applications 2010(2010/3/15) |
| presenter(s) | K. Nagatou, P.J. McKenna, M. Plum |
|---|---|
| title | Orbital stability investigation for travelling waves in a nonlinearly supported beam |
| meeting | Dagstuhl seminar 09471: Computer-assisted proofs - tools, methods and applications (2009/11/20） |
| presenter(s) | K. Nagatou, M. Brown, M.-N. Kim, Y. Watanabe, I. Wood, M. Plum, M.T. Nakao |
|---|---|
| title | A Spectral Problem for 3-D Photonic Crystals |
| meeting | 7th International Conference of Numerical Analysis and Applied Mathematics (2009/9/21) |
| presenter(s) | K. Nagatou |
|---|---|
| title | Computer Assisted Proofs for Nonlinear Partial Differential Equations (invited) |
| meeting | INDAM Meeting: Theoretical and computational methods in nonlinear differential equations (2009/9/16) |
| presenter(s) | K. Nagatou, P.J. McKenna, M. Plum |
|---|---|
| title | Orbital stability investigation for travelling waves in a nonlinearly supported beam |
| meeting | International Conference on Engineering and Computational Mathematics 2009, The Hong Kong Polytechnic University, Hong Kongb (2009/5/27) |
| presenter(s) | K. Nagatou, M. Brown, M.-N. Kim, Y. Watanabe, I. Wood, M. Plum, M.T. Nakao |
|---|---|
| title | Spectral Problem on 3-D Maxwell's Equations |
| meeting | 7-10 March 2009, International workshop on verified computations and related topics, University of Karlsruhe (TH), Germany (2009/3/8) |
| presenter(s) | K. Nagatou, Y. Watanabe, S. Yamamoto and T. Kinoshita |
|---|---|
| title | Validated computations for elliptic systems of FitzHugh-Nagumo type |
| meeting | 13th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2008), The University of Texas at El Paso , USA (2008/9/30) |
| presenter(s) | K. Nagatou |
|---|---|
| title | Eigenvalue excluding on 1-D Schroedinger operators |
| meeting | The 6th Gregynog Workshop on Computation and Analytic Problems in Spectral Theory, University of Wales, Gregynog Hall, Newtown(Powys), United Kingdom. (2008/7/16) |
| presenter(s) | K. Nagatou |
|---|---|
| title | Numerical verification method for a spectral problem on 1-D Schroedinger operators |
| meeting | Seminario Modellistica Differenziale Numerica, Universita' Di Roma "La Sapienza" '(2008/2/19) |
