| IEICE Technical Committee Submission System Conference Schedule |
Online Proceedings [Sign in] Tech. Rep. Archives |
All Technical Committee Conferences (Searched in: All Years)
| Committee | Date Time | Place | Paper Title / Authors | Abstract | Paper # | |
| CQ, IMQ, MVE, IE (Joint) [detail] |
2022-03-10 17:05 |
Online | Online (Zoom) | Zhisheng Liu, Norishige Fukushima, Hirokazu Kamei, Haruki Nogami, Yuki Naganawa, Yamato Kanetaka, Yuto Sumiya, Kazuya Ishikawa, Sou Oishi (Nitech)  IMQ2021-35 IE2021-97 MVE2021-64 |
(To be available after the conference date) [more] | IMQ2021-35 IE2021-97 MVE2021-64 pp.133-138 |
| 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 |
| SS, MSS | 2016-01-25 18:05 |
Ishikawa | Shiinoki-Geihin-Kan | Cooperation of Validated Numerics and Symbolic Formula Manipulation in Simulation of Hybrid Systems Shota Matsumoto, Kazunori Ueda (Waseda Univ.) MSS2015-51 SS2015-60 |
本研究の目的は離散変化と連続変化の両方を伴う動的システム （ハイブリッドシステム）の精度保証シミュレータの開発である． 我々はこれまで制約求解と数式処理に基づき，システムのパラメータ解析を 可能とするシミュレータを開発してきたが，適用... [more] |
MSS2015-51 SS2015-60 pp.93-98 |
| 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 |
| CAS, NLP | 2009-01-23 13:40 |
Miyazaki | Numerical Verification of Solution of Linear Resistive Circuits Shin'ichi Oishi, Tetsuo Nishi, Yusuke Nakaya (Waseda Univ.) CAS2008-94 NLP2008-124 |
Without loss of generality, linear resistive circuits' equations are described by irreducible row-hyperdominant matrice... [more] |
CAS2008-94 NLP2008-124 pp.171-172 |
|
| CAS, NLP | 2009-01-23 14:15 |
Miyazaki | Generation of a Third-order Integer Matrix Whose Determinant is One Tetsuo Nishi, Shin'ichi Oishi, Yusuke Nakaya (Waseda Univ.) CAS2008-95 NLP2008-125 |
We investigate a method of generation of integer matrices whose condition number is extremely. In the process we requ... [more] |
CAS2008-95 NLP2008-125 pp.173-178 |
|
| PRMU, IE | 2008-03-10 09:30 |
Ishikawa | Adaptive Division of Feature Space for Fast Detection of Near Duplicate Video Sequences Shugo Suzuki, Tomokazu Takahashi, Ichiro Ide, Hiroshi Murase (Nagoya Univ) IE2007-268 PRMU2007-252 |
With an explosive increase in the recorded videos, technology that searches for video that user demands at high speed ... [more] |
IE2007-268 PRMU2007-252 pp.41-46 |
|
| PRMU, DE | 2007-06-29 09:30 |
Hokkaido | Hokkaido Univ. | Fast Detection of Near-Duplicate Video Sequences by Division of Feature Space with Margin Shugo Suzuki, Tomokazu Takahashi (Nagoya Univ.), Ichiro Ide (Nagoya Univ./NII), Hiroshi Murase (Nagoya Univ.) DE2007-10 PRMU2007-36 |
Recently, methods to search a video sequence from massively stored video data is being actively developed. As to broad... [more] |
DE2007-10 PRMU2007-36 pp.51-55 |
| NLP | 2007-06-08 17:55 |
Hiroshima | Numerical Uniqueness and Existence Theorem for Solution of Lippmann-Schwinger Equation to Two Dimensional Sound Scattering Problem Shin'ichi Oishi (Waseda Univ.) NLP2007-22 |
Numerical Uniqueness and Existence Theorem is given for Solution of Lippmann-Schwinger Equation to Two Dimensional Sound... [more] | NLP2007-22 pp.59-61 |
|
| NLP, CAS | 2004-09-14 14:30 |
Kyoto | Kyoto Univ. | Algebraic Expression of Verification Region for Describing Function using Groebner base Masakazu Yagi, Takashi Hisakado (Kyoto Univ.), Kohshi Okumura (hiroshima Inst. of Tech.) |
The describing function is one of the most common methods of dealing with nonlinear control systems. The method is known... [more] | CAS2004-38 NLP2004-50 pp.61-66 |
[Return to Top Page]