Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
OCS, OFT, IEE-CMN, ITE-BCT (Joint) [detail] |
2023-11-10 13:25 |
Kyoto |
(Primary: On-site, Secondary: Online) |
Gaussian-noise-model-based SNR Estimation in 15.2-THz Bandwidth 400-km Inline-amplified Transmission Kosuke Kimura, Takayuki Kobayashi, Shimpei Shimpei, Masanori Nakamura, Takushi Kazama, Masashi Abe, Takeshi Umeki, Akira Kawai, Fukutaro Hamaoka, Yutaka Miyamoto (NTT) OCS2023-46 |
We demonstrated that mean errors of the SNRs estimated with GN model accounting for SRS were less than 1 dB in 15.2-THz ... [more] |
OCS2023-46 pp.16-19 |
DE, IPSJ-DBS, IPSJ-IFAT [detail] |
2023-09-22 10:30 |
Fukuoka |
Kitakyushu International Conference Center |
Probing the ability to accurately understand and utilize the ordinal numbers by visual language models Ryuto Masuda, Hisashi Miyamori (Kyoto Sangyo Univ.) DE2023-20 |
In this paper, we investigate the extent to which visual language models have the ability to accurately grasp and utiliz... [more] |
DE2023-20 pp.54-59 |
R |
2023-06-15 14:15 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. (Primary: On-site, Secondary: Online) |
Change-point Detection of Fault Counting Data Based on Anomaly Detection Methodology for Software Reliability Assessment Shin Danjo, Yuka Minamino, Masashi Kuwano (Tottori Univ), Taku Moriyama (Yokohama City Univ), Shinji Inoue (Kansai Univ) R2023-7 |
[more] |
R2023-7 pp.1-6 |
SS, MSS |
2020-01-14 16:55 |
Hiroshima |
|
Dynamic Leakage Analysis Based on Model Counting and Its Evaluation Daichi Fukuda, Hiroyuki Seki (Nagoya Univ.) MSS2019-49 SS2019-33 |
We propose a method of analyzing dynamic information leakage of a given program that has a secret input, a public output... [more] |
MSS2019-49 SS2019-33 pp.49-54 |
SWIM, SC |
2019-08-23 14:05 |
Osaka |
Osaka Sangyo Univ. |
Research status of business model modeling language and future issues
-- Thesis introduction of "Visual Languages for Modeling Business Models: A Critical Review and Future Research Directions" -- Nobuhiro Kataoka (Lab.) SWIM2019-14 SC2019-14 |
This paper is an introduction to "Visual Languages for Modeling Business Models: A Critical Review and Future Research D... [more] |
SWIM2019-14 SC2019-14 pp.11-18 |
R |
2018-05-25 15:30 |
Aichi |
Aichi Institute of Technology, Motoyama Campus |
Bayesian Interval Estimation of Optimal Software Release Time Based on a Discretized NHPP Model Shinji Inoue (Kansai Univ.), Shigeru Yamada (Tottori Univ.) R2018-4 |
We discuss an approach for obtaining interval estimation of optimal software release time which is derived by a discreti... [more] |
R2018-4 pp.19-24 |
SS |
2017-03-09 09:55 |
Okinawa |
|
Logical Formula Simplification and Static Analysis for Quantitative Information Flow Analysis using Model Counting Masato Nakashima, Kenji Hashimoto, Masahiko Sakai, Hiroyuki Seki (Nagoya Univ.) SS2016-61 |
Model counting is one of the promising methods for quantitative information flow analysis. In this paper, we focus on th... [more] |
SS2016-61 pp.7-12 |
NS, CQ, ICM, NV (Joint) |
2016-11-24 09:45 |
Yamaguchi |
Shimonoseki Chember of Commerce and Industry |
A Study of Computing Resource Allocation Based on Model Predictive Control for Business-Critical Systems in Hybrid Cloud Environment Yukio Ogawa (Muroran IT), Go Hasegawa, Masayuki Murata (Osaka Univ.) NS2016-101 |
In this report, business-critical application systems are constructed from computing resources provided by both private ... [more] |
NS2016-101 pp.1-6 |
DC, SS |
2016-10-27 15:30 |
Shiga |
Hikone Kinro-Fukushi Kaikan Bldg. |
Efficiency Improvement in #SMT-based Quantitative Information Flow Analysis Masato Nakashima, Trung Chu Bao, Kenji Hashimoto, Masahiko Sakai, Hiroyuki Seki (Nagoya Univ.) SS2016-26 DC2016-28 |
Model counting is one of the promising methods for quantitative information flow analysis. In this paper, we focus on th... [more] |
SS2016-26 DC2016-28 pp.49-54 |
MBE |
2016-07-30 14:30 |
Okayama |
Okayama University |
Development of a management system for ventilators Takayuki Torigoe, Hisashi Miyazaki (Kawasaki Univ. of Medical Welfare), Saya Danjo (Rakuwakai Healthcare System Otowa Hosp.), Isao Kayano (Kawasaki Univ. of Medical Welfare), Yasuo Ogasawara (Kawasaki Med. Sch./Kawasaki Univ. of Medical Welfare) MBE2016-18 |
A ventilator is one of the life-support devices that are centrally managed in hospitals. Maintenance and checking of ve... [more] |
MBE2016-18 pp.17-20 |
SS, MSS |
2016-01-25 14:00 |
Ishikawa |
Shiinoki-Geihin-Kan |
A Verification Tool for k-Secrecy of XML Databases and Its Optimization Takatoshi Asai, Kenji Hashimoto, Hiroyuki Seki (Nagoya Univ.) MSS2015-43 SS2015-52 |
An inference attack is a malicious way to obtain the result of an unauthorized query
by combining the database schema,... [more] |
MSS2015-43 SS2015-52 pp.47-52 |
SS |
2015-05-12 13:30 |
Kumamoto |
Kumamoto University |
A Verification Method for k-Secrecy of XML Databases by Model Counting Takatoshi Asai, Masanori Uesugi, Kenji Hashimoto, Hiroyuki Seki (Nagoya Univ.) SS2015-15 |
An inference attack is a malicious way to obtain the result of an unauthorized query
by combining the database schema,... [more] |
SS2015-15 pp.71-76 |
R |
2014-05-23 16:20 |
Aichi |
|
On Change-Point Modeling for Software Reliability Assessment with the Truncated Distribution of Initial Fault Content Shinji Inoue, Shigeru Yamada (Tottori Univ.) R2014-7 |
We discuss change-point modeling for software reliability assessment with the change of testing-environment. Especially,... [more] |
R2014-7 pp.35-40 |
SS, MSS |
2014-01-31 10:20 |
Aichi |
|
Runtime Control of a Program based on Quantitative Information Flow Bao Trung Chu (NAIST), Kenji Hashimoto, Hiroyuki Seki (Nagoya Univ.) MSS2013-63 SS2013-60 |
Quantitative information flow is a new notion based on
information theory for expressing how much the program
leaks in... [more] |
MSS2013-63 SS2013-60 pp.71-76 |
MBE, NC (Joint) |
2013-03-14 15:30 |
Tokyo |
Tamagawa University |
An analysis of whole body reaching movements based on minimum torque-change criterion Kyuheong Choi, Takahiro Kagawa, Yoji Uno (Nagoya Univ.) NC2012-165 |
Optimal control models, e.g., minimum torque-change model and minimum jerk model, has been proposed for accounting for s... [more] |
NC2012-165 pp.179-184 |
SP |
2013-02-28 15:00 |
Aichi |
Daido University |
[Poster Presentation]
An n-gram Language Model based on BPD Backoff Method and W-B Discount Shotaro Yoshida, Takeshi Kawabata (Kwansei Gakuin Univ.) SP2012-118 |
A new n-gram language model is proposed for the large vocabulary continuous speech recognition system. Two approaches ar... [more] |
SP2012-118 pp.19-20 |
MWP, OPE, MW, EMT, EST, IEE-EMT [detail] |
2012-07-26 13:40 |
Hokkaido |
Hokkaido Univ. |
BER Calculation Modeling for 10G-EPON Systems Namiko Ikeda, Kazuhiko Terada, Hiroyuki Uzawa, Akihiko Miyazaki, Satoshi Shigematsu, Masami Urano, Tsugumichi Shibata (NTT) MW2012-31 OPE2012-24 EST2012-13 MWP2012-12 |
In 10G-EPON systems, the high speed access networks in the next generation, the upper limits of the bit error rate (BER)... [more] |
MW2012-31 OPE2012-24 EST2012-13 MWP2012-12 pp.47-52 |
EMCJ |
2011-11-25 13:05 |
Tokyo |
Univ. of Electro-Communiations |
Estimation method of measured reflectivity of EM-wave absorbing building wall panel accounting for edge diffraction Toshihiro Yamane (Tokyo Institute of Tech./Shimziu), Atsuhiro Nishikata (Tokyo Institute of Tech.) EMCJ2011-88 |
A wide band electromagnetic wave absorber panel for building walls has been developed to meet the public demand to circu... [more] |
EMCJ2011-88 pp.1-6 |
MBE |
2010-01-28 15:50 |
Kumamoto |
Kumamoto Univ. |
A CMOS circuit model accounting for the object motion sensitive response in vertebrate retinas Hidetaka Yasuoka, Murat Saglam, Yuki Hayashida, Nobuki Murayama (Kumamoto Univ.) MBE2009-87 |
Visual information processing in vertebrate animals starts in retinas. In recent electrophysiological studies, it has be... [more] |
MBE2009-87 pp.55-59 |
R |
2006-07-14 15:45 |
Hokkaido |
Wakkanai-shi-Sougou-Bunka-Kaikan |
On software reliability modeling with complexity of path searching Shinji Inoue, Shigeru Yamada (Tottori Univ.) |
In this paper, we discuss software reliability modeling framework based on infinite server queueing theory, which takes ... [more] |
R2006-25 pp.37-42 |