Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
SS, DC |
2023-10-11 15:20 |
Nagano |
(Primary: On-site, Secondary: Online) |
Efficient Automatic Classification of Non-Functional Requirements in Information Systems Using Deep Learning
-- A Comparative Accuracy Analysis between BERT and GPT-2 -- Kazuhiro Mukaida (Shinshu Univ.), Seiji Fukui, Takeshi Nagaoka, Takayuki Kitagawa (TOSHIBA), Shinpei Ogata, Kozo Okano (Shinshu Univ.) SS2023-23 DC2023-29 |
Recent Advancements in deep learning are increasingly enabling the automation of classifying non-functional requirements... [more] |
SS2023-23 DC2023-29 pp.13-18 |
SS |
2010-08-05 15:00 |
Hokkaido |
Asahikawa Shimin-Bunka-Kaikan (Civic Culture Hall) |
Reachability Analysis for Timed Systems using Parallel Processing Toshiaki Tanaka, Takeshi Nagaoka, Kozo Okano, Shinji Kusumoto (Osaka Univ.) SS2010-22 |
This report proposes efficient parallel processing of reachability analysis for timed automaton. Our research group has ... [more] |
SS2010-22 pp.35-40 |
SS |
2010-03-08 09:00 |
Kagoshima |
Kagoshima Univ. |
Reachability Analysis for Probabilistic Timed System based on Timed Abstraction Refinement Technique Akihiko Ito, Takeshi Nagaoka, Kozo Okano, Shinji Kusumoto (Osaka Univ.) SS2009-62 |
This paper gives a reachability analysis technique for Probabilistic Timed Automaton (PTA), based on CEGAR loop. The pro... [more] |
SS2009-62 pp.85-90 |
SS |
2009-08-06 14:45 |
Hokkaido |
Kitami Institute of Technology |
Verification for the Real-time Network Systems with the Probabilistic Model Checker and its Comparision with the Network Simulator NS-2 Akihiko Ito, Takeshi Nagaoka, Kozo Okano, Shinji Kusumoto (Osaka Univ.) SS2009-18 |
[more] |
SS2009-18 pp.37-42 |
WBS, IT, ISEC |
2009-03-10 13:50 |
Hokkaido |
Hakodate Mirai Univ. |
Investigation on an effect of Single/Double Optical Hard Limiter in the optical CDMA systems
-- Effect of quantum noises on OHL -- Chinatsu Ito (Polytechnic Univ.), Noboru Ochiai (Ibarki Pref. Academy of Industrial Tech.), Takeshi Nagao (Sansou System), Tomoko K. Matsushima, Yasuaki Teramachi (Polytechnic Univ.) IT2008-123 ISEC2008-181 WBS2008-136 |
Degradation of bit error rate by multi user interferences(MUI) was considered asa big problem for direct modulation opti... [more] |
IT2008-123 ISEC2008-181 WBS2008-136 pp.519-526 |
SS |
2008-03-04 11:25 |
Nagasaki |
Nagasaki Univ. |
Abstraction of Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop Takeshi Nagaoka, Kozo Okano, Shinji Kusumoto (Osaka Univ.) SS2007-74 |
We have proposed a method of model abstraction for timed automata.The proposed method is based on CEGAR (CounterExample... [more] |
SS2007-74 pp.103-108 |
ISEC, IT, WBS |
2008-02-29 10:45 |
Tokyo |
|
Investigation on Suitable Code Parameters for Wavelength-Hopping Time-Spreading Optical CDMA Systems Using Generalized MPSCs and Optical Orthogonal Codes Tomoko K. Matsushima (Polytechnic Univ.), Noboru Ochiai (Ibaraki Pref. Academy of Industrial Tech.), Takeshi Nagao (Sansou Systems), Yasuaki Teramachi (Polytechnic Univ.) IT2007-64 ISEC2007-161 WBS2007-95 |
There are only two free parameters such as length and weight of time-spreading codes to compose codes for two dimensiona... [more] |
IT2007-64 ISEC2007-161 WBS2007-95 pp.101-108 |
SS |
2007-08-03 11:45 |
Hokkaido |
Hokkaido Univ. |
Abstraction of Extended Timed Automata for UPPAAL Based on Counterexample-Guided Abstraction Refinement Loop Takeshi Nagaoka, Kozo Okano, Shinji Kusumoto (Osaka Univ) SS2007-29 |
In the model checking of the realtime systems, the number of states of models increases exponentlly with the number of t... [more] |
SS2007-29 pp.77-82 |
WBS, IT, ISEC |
2006-03-16 17:10 |
Aichi |
Nagoya Univ. |
Evaluation and Implemetation of Visible Light CDMA Communication Systems using Generalized MPSC Takanori Ishikawa, Mera Diah Asri Suryaningtyas (Polytechnic Univ.), Takeshi Nagao (Sansou Systems), Tomoko K. Matsushima, Yasuaki Teramachi (Polytechnic Univ.) |
Visible light communication systems are suitable to realize secure indoor networks. In this paper, a visible light CDMA... [more] |
IT2005-76 ISEC2005-133 WBS2005-90 pp.69-74 |
WBS |
2005-10-28 10:30 |
Shizuoka |
Shizuoka University (Hamamatsu Campus) |
On the Construction of Codes over GF(pm) for Synchronous Optical CDMA Systems Tomoko K. Matsushima (Polytechnic Univ.), Noboru Ochiai (CSE), Takeshi Nagao (Sansou Systems), Yasuaki Teramachi (Polytechnic Univ.) |
In this paper, a new class of signature codes for synchronous optical CDMA systems is proposed. The proposed codes are c... [more] |
WBS2005-39 pp.1-6 |
IT, WBS, ISEC |
2005-03-17 16:35 |
Kyoto |
Kyoto Univ. |
A study on M-ary EWO-MPSC optical CDMA systems with avalanche photodiodes Satoshi Kushibiki, Takeshi Nagao (Polytechnic Univ.), Noboru Ochiai (CSE), Tomoko K. Matsushima, Yasuaki Teramachi (Polytechnic Univ.) |
This paper evaluates a symbol error rate performance of optical CDMA systems with an $M$-ary equal-weight orthogonal (EW... [more] |
IT2004-68 ISEC2004-124 WBS2004-183 pp.107-112 |
IT, WBS, ISEC |
2005-03-17 17:00 |
Kyoto |
Kyoto Univ. |
Performance analysis of EWO-MPSC Synchronous Optical CDMA Systems in Consideration with APD Noise and Thermal Noise Takeshi Nagao (P.T.U.), Noboru Ochiai (C.S.E.), Osamu Kushibiki, Tomoko K. Matsushima, Yasuaki Teramachi (P.T.U.) |
An Equal Weight Orthogonal(EWO) signaling that are one of the signaling systems of optical Code Division Multiple Access... [more] |
IT2004-69 ISEC2004-125 WBS2004-184 pp.113-117 |