長藤かおり
論文
| 著者・発表者 | S. Cai, K. Nagatou, Y. Watanabe |
|---|---|
| 表題 | A numerical verification method for a system of FitzHugh-Nagumo type |
| 発表先 | Numerical Functional Analysis and Optimization 33 (10) (2012), pp. 1195-1220. (2012/1/1） |
| 著者・発表者 | K. Nagatou, M. Plum, M.T. Nakao |
|---|---|
| 表題 | Eigenvalue excluding for perturbed-periodic 1D Schroedinger operators |
| 発表先 | Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol. 468, issue 2138 (2012), pp. 545-562 (2012/1/1） |
| 著者・発表者 | A. Gilanyi, K. Nagatou, P. Volkmann |
|---|---|
| 表題 | On the stability of a functional equation characterizing the absolute value of additive functions |
| 発表先 | Annals of functional Analysis 1 (2010), No.2, pp.1-6. (2011/2/1） |
| 著者・発表者 | K. Nagatou, T. Morifuji |
|---|---|
| 表題 | An Enclosure Method for Complex Eigenvalues of Ordinary Differential Operators |
| 発表先 | 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） |
| 著者・発表者 | Y. Watanabe, K. Nagatou, M. Plum, M. T. Nakao |
|---|---|
| 表題 | A computer-assisted stability proof for the Orr-Sommerfeld problem with Poiseuille flow |
| 発表先 | 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） |
口頭発表
| 著者・発表者 | K. Nagatou |
|---|---|
| 表題 | Computer Assisted Proofs for Nonlinear Partial Differential Equations |
| 発表先 | Computational Aspects and Computer-Assisted Proofs in Nonlinear PDEs, Karlsruhe, Germany (2011/1/20) |
| 著者・発表者 | K. Nagatou, P.J. McKenna, M. Plum |
|---|---|
| 表題 | Orbital stability investigation for travelling waves in a nonlinearly supported beam |
| 発表先 | SIAM/MSRI workshop on Hybrid Methodologies for Symbolic-Numeric Computation, MSRI, Berkeley, California, USA (2010/11/18) |
| 著者・発表者 | K. Nagatou, M. Plum, M.T. Nakao |
|---|---|
| 表題 | Eigenvalue excluding for perturbed-periodic 1D Schroedinger operators |
| 発表先 | Conference on Inequalities and Applications 2010, Hajduszoboszlo, Hungary (2010/9/20) |
| 著者・発表者 | K. Nagatou |
|---|---|
| 表題 | Eigenvalue excluding for perturbed-periodic 1D Schroedinger operators |
| 発表先 | The 3rd CJK conference, Gangneung-Wonju National University, Korea (2010/8/20) |
| 著者・発表者 | K. Nagatou, P.J. McKenna, M. Plum |
|---|---|
| 表題 | Orbital stability investigation for travelling waves in a nonlinearly supported beam |
| 発表先 | 4th International Conference Computational Methods in Applied Mathematics: CMAM-4 Bedlewo, Poland (2010/6/23) |
| 著者・発表者 | K. Nagatou, Y. Watanabe |
|---|---|
| 表題 | Computer Assisted Proofs for Partial Differential Equations |
| 発表先 | Mathematics colloquium, University of Kent, Canterbury, Kent (2010/3/31) |
| 著者・発表者 | K. Nagatou, P.J. McKenna, M. Plum |
|---|---|
| 表題 | Orbital stability investigation for travelling waves in a nonlinearly supported beam |
| 発表先 | International Workshop on Numerical Verification and its Applications 2010(2010/3/15) |
| 著者・発表者 | K. Nagatou, P.J. McKenna, M. Plum |
|---|---|
| 表題 | Orbital stability investigation for travelling waves in a nonlinearly supported beam |
| 発表先 | Dagstuhl seminar 09471: Computer-assisted proofs - tools, methods and applications (2009/11/20） |
| 著者・発表者 | K. Nagatou, M. Brown, M.-N. Kim, Y. Watanabe, I. Wood, M. Plum, M.T. Nakao |
|---|---|
| 表題 | A Spectral Problem for 3-D Photonic Crystals |
| 発表先 | 7th International Conference of Numerical Analysis and Applied Mathematics, Aquila Rithymna Beach, Rethymno, Crete, Greece（2009/9/21） |
| 著者・発表者 | K. Nagatou |
|---|---|
| 表題 | Computer Assisted Proofs for Nonlinear Partial Differential Equations（招待） |
| 発表先 | INDAM Meeting: Theoretical and computational methods in nonlinear differential equations, Centro Residenziale Universitario di Bertinoro, Forli, Italy（2009/9/16） |
| 著者・発表者 | K. Nagatou, P.J. McKenna, M. Plum |
|---|---|
| 表題 | Orbital stability investigation for travelling waves in a nonlinearly supported beam |
| 発表先 | International Conference on Engineering and Computational Mathematics 2009, The Hong Kong Polytechnic University, Hong Kong（2009/5/27） |
| 著者・発表者 | K. Nagatou, M. Brown, M.-N. Kim, Y. Watanabe, I. Wood, M. Plum, M.T. Nakao |
|---|---|
| 表題 | Spectral Problem on 3-D Maxwell's Equations |
| 発表先 | 7-10 March 2009, International workshop on verified computations and related topics, University of Karlsruhe (TH), Germany（2009/3/8） |
| 著者・発表者 | K. Nagatou |
|---|---|
| 表題 | 3次元Maxwell方程式に関するスペクトル問題について |
| 発表先 | 研究集会「流れ問題のための高品質数値解法と計算機援用解析学」, (主催者：田端正久, 中尾充宏) , KKRホテル金沢（金沢共済会館）（2008/11/18） |
| 著者・発表者 | K. Nagatou, Y. Watanabe, S. Yamamoto and T. Kinoshita |
|---|---|
| 表題 | Validated computations for elliptic systems of FitzHugh-Nagumo type |
| 発表先 | 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） |
| 著者・発表者 | K. Nagatou |
|---|---|
| 表題 | Eigenvalue excluding on 1-D Schroedinger operators |
| 発表先 | The 6th Gregynog Workshop on Computation and Analytic Problems in Spectral Theory, University of Wales, Gregynog Hall, Newtown(Powys), United Kingdom.（2008/7/16） |
| 著者・発表者 | K. Nagatou |
|---|---|
| 表題 | Numerical verification method for a spectral problem on 1-D Schroedinger operators |
| 発表先 | Seminario Modellistica Differenziale Numerica, Universita' Di Roma "La Sapienza"（2008/2/19） |
