Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
CNR |
2023-08-09 14:45 |
Hokkaido |
(Primary: On-site, Secondary: Online) |
Construction of Groynes Reconfiguration System for Elucidation of River Channel Change Mechanism Chen Zhang, Yuki Takahashi, Daichi Moteki, Hiroyasu Yasuda, Kiyoshi Hayasaka, Shogo Muramatsu (Niigata Univ.) CNR2023-4 |
In this report, a new actuation method is proposed for improving the prototype of our proposed river cyber-physical syst... [more] |
CNR2023-4 pp.18-21 |
MICT, WBS, RCC, SAT (Joint) [detail] |
2023-05-26 09:00 |
Tokyo |
TOKYO BIG SIGHT (Primary: On-site, Secondary: Online) |
Software-Defined Radio Receiver for Satellite Hiroshi Nagasaki, Hiromichi Yoshiga, Shunsuke Kawasaki (NECSpace) SAT2023-4 MICT2023-4 |
(To be available after the conference date) [more] |
SAT2023-4 MICT2023-4 pp.16-19 |
IBISML |
2022-01-18 15:20 |
Online |
Online |
Determining the number of clusters using the shrinking maximum likelihood self-organizing map Ryosuke Motegi, Yoichi Seki (Gunma Univ.) IBISML2021-29 |
Determining the number of clusters is one of the major challenges in clustering. The conventional method, such as the Ex... [more] |
IBISML2021-29 pp.81-87 |
MSS, CAS, IPSJ-AL [detail] |
2021-11-19 10:30 |
Online |
Online |
MILP Formulation for Optimal Resource Assignment Problems with Multiple Resource Requirements based on Timed Colored Petri Nets Tomoya Ushihara, Morikazu Nakamura (Univ. of the Ryukyus) CAS2021-47 MSS2021-27 |
We consider a mixed-integer linear programming (MILP) generation based on colored timed Petri nets for optimal resource ... [more] |
CAS2021-47 MSS2021-27 pp.58-63 |
NLC |
2021-09-16 17:55 |
Online |
Online |
Considering onomatopoeia standards for Japanese language education Tsuneo Sawa (YUUKOUKEN) NLC2021-17 |
In Japanese language education, there are few achievements related to onomatopoeia education and research achievements i... [more] |
NLC2021-17 pp.51-56 |
SR |
2021-05-20 14:05 |
Online |
Online |
[Invited Lecture]
Implementation of software defined radio algorithms on large-scale FPGAs Hiroyuki Tsuchiya, Hiroyuki Satoh (Marimo Electronics) SR2021-6 |
Based on the PHY layer of IEEE802.11a, we implemented a real-time algorithm to avoid interference, switch channels, and ... [more] |
SR2021-6 pp.42-47 |
KBSE |
2021-03-05 14:05 |
Online |
Online |
Model-Based Testing Environment Equipped with a Network Simulator Kosuke Fukuda (Univ. of Tokyo), Yoshinori Tanabe (Tsurumi Univ.), Masami Hagiya (Univ. of Tokyo) KBSE2020-36 |
The application of IoT devices is expanding. Model-based testing is one of the testing methods which fit well for IoT de... [more] |
KBSE2020-36 pp.13-18 |
MI |
2020-09-03 14:40 |
Online |
Online |
Analysis of pneumothorax deformation for in vivo animal lungs using model-based registration Kotaro Kobayashi, Megumi Nakao, Junko Tokuno (Kyoto Univ.), Toyofumi F Chen-Yoshikawa (Nagoya Univ.), Tetsuya Matsuda (Kyoto Univ.) MI2020-30 |
(To be available after the conference date) [more] |
MI2020-30 pp.57-62 |
NC, IBISML, IPSJ-BIO, IPSJ-MPS [detail] |
2020-06-29 15:25 |
Online |
Online |
A Study on Model-based Deep Reinforcement Learning Using Autonomous Search for Subgoal Motoki Maruyama, Satoshi Endo, Koji Yamada (Univ. of the Ryukyus) NC2020-6 IBISML2020-6 |
Model-based deep reinforcement learning (DRL) is more sample-efficient than model-free DRL. But it requires a deep gener... [more] |
NC2020-6 IBISML2020-6 pp.33-38 |
KBSE |
2020-01-25 15:25 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
Speedup of Model-Based Testing for IoT Software Using Virtual Time and State Distribution of Devices Kotaro Tanabe (Tokyo Univ.), Yoshinori Tanabe (Tsurumi Univ.), Masami Hagiya (Tokyo Univ.) KBSE2019-44 |
Modbat is a model-based test tool that performs modeling using an extended finite state automaton(EFSM). In this study, ... [more] |
KBSE2019-44 pp.37-42 |
MVE, IPSJ-CVIM |
2020-01-23 15:50 |
Nara |
|
[Invited Talk]
Multimodal Information Processing and Intelligence
-- Multimodal Categorization Revisited -- Takayuki Nagai (Osaka Univ.) MVE2019-31 |
(To be available after the conference date) [more] |
MVE2019-31 p.81 |
MSS, CAS, SIP, VLD |
2019-07-31 15:20 |
Iwate |
Iwate Univ. |
A Study on Reconstructibility of Event Structures Marika Izawa, Toshiyuki Miyamoto (Osaka Univ.) CAS2019-19 VLD2019-25 SIP2019-35 MSS2019-19 |
The choreography realization problem is a design problem of systems based on service-oriented architecture. In our previ... [more] |
CAS2019-19 VLD2019-25 SIP2019-35 MSS2019-19 pp.83-88 |
SeMI, RCS, NS, SR, RCC (Joint) |
2019-07-12 09:20 |
Osaka |
I-Site Nanba(Osaka) |
[Invited Lecture]
Cyberspace, Physical Space, and Radio Spectrum Space Shunsuke Saruwatari, Takashi Watanabe (Osaka Univ.) RCC2019-45 NS2019-81 RCS2019-138 SR2019-57 SeMI2019-54 |
(To be available after the conference date) [more] |
RCC2019-45 NS2019-81 RCS2019-138 SR2019-57 SeMI2019-54 p.161(RCC), p.187(NS), p.183(RCS), p.193(SR), p.175(SeMI) |
KBSE |
2019-01-26 10:05 |
Tokyo |
NII |
Towards IoT software testing with model-based testing tool Modbat Kotaro Tanabe (Univ. Tokyo), Yoshinori Tanabe (Tsurumi Univ.), Masami Hagiya (Univ. Tokyo) KBSE2018-44 |
Modbat is a tool for model-based testing, and it uses extended finite state machines for modeling.
In previous research... [more] |
KBSE2018-44 pp.9-14 |
EE |
2019-01-16 16:05 |
Kumamoto |
KCIC |
[Special Talk]
Development of New Circuit Simulator in Energy Electronics
-- Introduction and Vision of SCALE Simulator -- Masatoshi Nakahara, Soichiro Nakamura (SEL) EE2018-47 |
This paper explains a new circuit simulator SCALE which is developed based on the previous simulator SCAT. SCALE enables... [more] |
EE2018-47 pp.55-60 |
VLD, HWS (Joint) |
2018-03-01 14:55 |
Okinawa |
Okinawa Seinen Kaikan |
Core allocation with mixed multirate tasks in model-based parallelization Yoshihiro Ikeda, Masato Edahiro (Nagoya Univ) VLD2017-114 |
In recent embedded systems, multi-core processors and parallel programming are introduced to improve performance.Also, l... [more] |
VLD2017-114 pp.151-156 |
VLD, HWS (Joint) |
2018-03-01 15:20 |
Okinawa |
Okinawa Seinen Kaikan |
Hardware/Software co-design environment in model-based parallelization (MBP) Kazuki Kashiwabara, Shinya Honda, Masato Edahiro (Nagoya Univ.) VLD2017-115 |
In recent years, while the complexity and high performance of in-vehicle systems are progressing, restrictions on time a... [more] |
VLD2017-115 pp.157-162 |
KBSE |
2018-01-25 16:00 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
Proposal on Model Based Dependability using ArchiMate Shuichiro Yamamoto (Nagoya Univ.) KBSE2017-35 |
Traditional assurance approaches independently develop assurance cases for architecture diagrams. This paper proposes a ... [more] |
KBSE2017-35 pp.19-24 |
MSS, SS |
2017-01-26 13:30 |
Kyoto |
Kyoto Institute of Technology |
A Study on Realizability of Choreography Given by Two Communication Diagrams
-- A Study on a Case where Conflicts Exist Between Scenarios -- Toshiki Kinoshita, Toshiyuki Miyamoto (Osaka Univ.) MSS2016-61 SS2016-40 |
For a service-oriented architecture based system, the problem of synthesizing a concrete model, i.e., behavioral model, ... [more] |
MSS2016-61 SS2016-40 pp.25-30 |
NS, CQ, ICM, NV (Joint) |
2016-11-25 14:20 |
Yamaguchi |
Shimonoseki Chember of Commerce and Industry |
Atutomated Change Planning for Network Device with Model-based Aproach Manabu Nakanoya, Takayuki Kuroda, Toshio Tonouchi (NEC) ICM2016-36 |
The configuration management automation tools, such as ansible and puppet, have been applied to network devices as well ... [more] |
ICM2016-36 pp.67-72 |