Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
NLP, CCS |
2024-06-07 13:15 |
Fukuoka |
West Japan General Exhibition Center AIM |
Lower bounds for the smallest singular values of generalized asymptotic diagonal dominant matrices Shin'ichi Oishi (Waseda Univ.) |
[more] |
|
NLP, NC (Joint) |
2020-01-24 15:50 |
Okinawa |
Miyakojima Marine Terminal |
Computer assisted proof of existence of periodic solutions for a differential-differece equation of a model of El Niño phenomenon Shin'ichi Oishi (Waseda Univ.) NLP2019-97 |
(To be available after the conference date) [more] |
NLP2019-97 pp.63-66 |
NLP |
2019-09-23 16:35 |
Kochi |
Eikokuji Campus, University of Kochi |
[Invited Talk]
State of the art of study of nonlinear delay differential equations via verified numerical computations
-- From fundamentals to topics -- Shin'ichi Oishi (Waseda Univ.) NLP2019-49 |
[more] |
NLP2019-49 pp.71-76 |
CCS, NLP |
2019-06-07 15:45 |
Niigata |
machinaka campus nagaoka |
Computer Assisted Analysis of Exact Periodic Solutions for Delay Duffing Equation Shin'ichi Oishi (Waseda Univ.) NLP2019-25 CCS2019-8 |
(To be available after the conference date) [more] |
NLP2019-25 CCS2019-8 pp.37-42 |
NLP |
2019-05-10 17:15 |
Oita |
J:COM HoltoHALL OITA |
Computer Assisted Proof of Existence of Periodic Solutions for Forced Delay Duffing Equation Shin'ichi Oishi (Waseda Univ.) NLP2019-10 |
(To be available after the conference date) [more] |
NLP2019-10 pp.53-58 |
NLP, MSS (Joint) |
2019-03-15 13:40 |
Fukui |
Bunkyo Camp., Univ. of Fukui |
Numerical Inclusion of Exact Periodic Solutions for Time Delay Duffing Equations Shin'ichi Oishi (Waseda Univ.) NLP2018-134 |
[more] |
NLP2018-134 pp.51-56 |
CAS |
2014-02-06 15:55 |
Kanagawa |
Nippon Maru Training center |
[Invited Talk]
Consideration about how to teach circuit theory
-- Is it possible to teach circuit theory logically understandable way putting Maxwell theory as axiom like Euclid's Elements? -- Shin'ichi Oishi (Waseda Univ.) CAS2013-81 |
In this note, it is discussed how to teach circuit theory logically understandable way putting Maxwell theory as axiom l... [more] |
CAS2013-81 pp.45-47 |
NLP |
2013-04-25 14:15 |
Aichi |
Nagoya campus, Chukyo University |
Generation of ill-conditioned matrices of order n Tetsuo Nishi (Waseda Univ.), Siegfried Rump (Hamburg Univ.), Shin'ichi Oishi (Waseda Univ.) NLP2013-8 |
[more] |
NLP2013-8 pp.41-46 |
NLP |
2013-03-14 12:35 |
Chiba |
Nishi-Chiba campus, Chiba Univ. |
A consideration on the generation of extremely ill-conditioned matrices Tetsuo Nishi, Siegfried M. Rump, Shin'ichi Oishi (Waseda Univ.) NLP2012-149 |
[more] |
NLP2012-149 pp.27-32 |
NLP, CAS |
2012-09-21 11:20 |
Kochi |
Eikokuji Campus, University of Kochi |
Proof of an inequality related to the Omega-matrix Tetsuo Nishi, Shin'ichi Oishi (Waseda Univ.), Norikazu Takahashi (Kyushu Univ.) CAS2012-42 NLP2012-68 |
[more] |
CAS2012-42 NLP2012-68 pp.65-70 |
NLP |
2012-07-06 11:35 |
Kagoshima |
Kagoshima Sangyou Hall |
Some properties of extremal points of solution curves for a class of nonlinear equations Tetsuo Nishi, Shin'ichi Oishi (Waseda Univ.), Norikazu Takahashi (Kyushu Univ.) NLP2012-52 |
[more] |
NLP2012-52 pp.79-84 |
NLP |
2012-03-28 11:35 |
Nagasaki |
Fukue Cultural Hall |
Faithful rounding of l_2 norm of n-dimensional vectors Shin'ichi Oishi (Waseda Univ.), Stef Graillat, Christoph Lauter (UPMC), Naoya Yamanaka (Waseda Univ.) NLP2011-156 |
[more] |
NLP2011-156 pp.83-88 |
CAS, CS, SIP |
2012-03-08 13:20 |
Niigata |
The University of Niigata |
On the Rank of a Jacobian Matrix of a Class of Nonlinear Equations Tetsuo Nishi, Shin'ichi Oishi (Waseda Univ.), Norikazu Takahashi (Kyushu Univ.) CAS2011-127 SIP2011-147 CS2011-119 |
[more] |
CAS2011-127 SIP2011-147 CS2011-119 pp.115-120 |
CAS |
2012-01-20 09:00 |
Fukuoka |
Kyushu Univ. |
On the realizability condition of RC polyphase 2-ports Tetsuo Nishi (Waseda Univ.), Hiroshi Tanimoto (Kitami Inst. of Tech.), Shin'ichi Oishi (Waseda Univ.) CAS2011-100 |
We give some sufficient conditions for the realizability for RC polyphase 2-ports. [more] |
CAS2011-100 pp.83-88 |
CAS |
2011-01-25 12:30 |
Kumamoto |
Kumamoto University |
Accuracy Guaranteed Algorithm by Means of Topological Conditions Tetsuo Nishi, Shin'ichi Oishi (Waseda Univ.) CAS2010-84 |
[more] |
CAS2010-84 pp.1-6 |
NLP, CAS |
2010-08-02 15:35 |
Tokushima |
Naruto University of Education |
Method of Computer Assisted Proof for Dirichelet Problem of Nonlinear Elliptic Equations Shin'ichi Oishi, Akitoshi Takayasu (Waseda Univ.), Takatoshi Kubo (Tsukuba univ.) CAS2010-44 NLP2010-60 |
[more] |
CAS2010-44 NLP2010-60 pp.61-64 |
CAS, MSS, VLD, SIP |
2010-06-21 09:50 |
Hokkaido |
Kitami Institute of Technology |
Some properties and generation methods of integer matrices with large condition number Tetsuo Nishi (Waseda Univ.), Siegflied Rump (Hamburg Univ. of Tech.), Shin'ichi Oishi (Waseda Univ.) CAS2010-3 VLD2010-13 SIP2010-24 CST2010-3 |
[more] |
CAS2010-3 VLD2010-13 SIP2010-24 CST2010-3 pp.13-18 |
CAS |
2010-01-29 10:35 |
Kyoto |
Kyoudai-Kaikan Bldg. |
Generation of Integer Matriceswith Extremely Large Condition Number Tetsuo Nishi, Shin'ichi Oishi (Waseda Univ.), Siegfried M. Rump (Hamburg Univ. of Tech.) CAS2009-75 |
[more] |
CAS2009-75 pp.65-70 |
NLP |
2009-11-11 13:40 |
Kagoshima |
|
Numerical Verification Method for Nonlinear Operator Equations Akitoshi Takayasu, Shin'ichi Oishi (Waseda Univ.), Takayuki Kubo (Univ. of Tsukuba.) NLP2009-90 |
[more] |
NLP2009-90 pp.45-49 |
SIP, CAS, VLD |
2009-07-01 14:30 |
Hokkaido |
Kushiko-shi Shogai Gakushu Center |
A Bound of Errors of a Solution for a kind of Resistive Circuits Including Active Elements Tetsuo Nishi, Shin'ichi Oishi, Yusuke Nakaya (Waseda Univ.) CAS2009-4 VLD2009-9 SIP2009-21 |
We show that the validated analysis for some kinds of networks composed of linear passive resistors and some kinds of ac... [more] |
CAS2009-4 VLD2009-9 SIP2009-21 pp.19-24 |