Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
QIT (2nd) |
2024-05-28 - 2024-05-30 |
Ibaraki |
AIST Tsukuba |
Quantum phase transition of graph states in presence of depolarizing noise Tatsuya Numajiri, Shion Yamashita (Chuo Univ.), Ryosuke Yoshii (Sanyo-Onoda City Univ.), Yuki Takeuchi (NTT), Shunji Tsuchiya (Chuo Univ.) |
(To be available after the conference date) [more] |
|
PRMU, MVE, VRSJ-SIG-MR, IPSJ-CVIM |
2024-01-25 14:40 |
Kanagawa |
Keio Univ. (Hiyoshi Campus) |
Efficient exploration with intrinsic motivation considering state transitions in deep reinforcement learning Kaito Ohshika, Hidenori Itaya, Tsubasa Hirakawa, Takayoshi Yamashita, Hironobu Fujiyoshi (Chubu Univ.) PRMU2023-42 |
In deep reinforcement learning, learning data is collected through the interaction between the agent and the environment... [more] |
PRMU2023-42 pp.14-19 |
NS, RCS (Joint) |
2023-12-15 14:50 |
Fukuoka |
Kyushu Institute of Technology Tobata campus, and Online (Primary: On-site, Secondary: Online) |
Development of a Transition Diagram-Based MAC Protocol Design Environment for Sensor Network Verification Systems Ryo Kobayashi, Asano David, Yasushi Fuwa (Shinshu Univ.) NS2023-148 |
Our wireless sensor network requires new communication protocols to be designed for each specific scenario. We have eval... [more] |
NS2023-148 pp.126-131 |
NC, MBE (Joint) |
2023-10-27 14:45 |
Miyagi |
Tohoku Univ. (Primary: On-site, Secondary: Online) |
Adaptive motion generation for a redundant robot arm using an echo state network Hiroshi Atsuta, Yuji Kawai (Osaka Univ.), Minoru Asada (IPUT/Osaka Univ./Chubu Univ./NICT) NC2023-28 |
Teaching playback is a convenient method to instruct robots how to move. However, this method has an issue of excessive ... [more] |
NC2023-28 pp.17-22 |
SeMI, SeMI (Joint) |
2023-01-19 15:05 |
Tokushima |
Naruto grand hotel (Primary: On-site, Secondary: Online) |
[Short Paper]
An experimental study on the transition of camera-based human localization to CSI sensing Kanare Kodera, Shoki Ohta, Takayuki Nishio (Tokyo Tech) SeMI2022-81 |
Wi-Fi sensing, represented by CSI (channel state information) sensing~cite{CSIsurvey}, has attracted much attention. Com... [more] |
SeMI2022-81 pp.43-48 |
NLP |
2022-11-25 11:10 |
Shiga |
(Primary: On-site, Secondary: Online) |
[Invited Talk]
Chaotic time series and Ueda's theory of chaos Takaya Miyano (Ritsumeikan Univ.) NLP2022-72 |
In terms of Ueda’s theory of chaos, i.e., the concept of randomly transitional oscillations, we discuss the implications... [more] |
NLP2022-72 pp.71-72 |
CPSY, DC, IPSJ-SLDM, IPSJ-EMB, IPSJ-ARC [detail] |
2022-03-10 09:30 |
Online |
Online |
Evaluation of Cooperative System Architecture Using State Transition Probability Model for Resilient Satellite-based Service Infrastructure Yuki Tomita, Naohiko Kohtake (Keio Univ.) CPSY2021-53 DC2021-87 |
In the development of satellite services, it is necessary to deal with issues unique to space systems, such as non-repai... [more] |
CPSY2021-53 DC2021-87 pp.50-55 |
ET |
2022-03-04 10:35 |
Online |
Online |
Study on Class Training System using Multi-student Agents based on Class Evaluation and Environmental Information Chie Masumoto, Sho Ooi, Mutsuo Sano (OIT) ET2021-59 |
An aspirant to teachers has a few opportunities to teach in the field, such as practical training and a part-time teache... [more] |
ET2021-59 pp.48-53 |
KBSE, IPSJ-SE, SS [detail] |
2021-07-08 14:15 |
Online |
Online (Zoom) |
Extraction method for transition relations from conditional statements in natural language requirements specifications Maiko Onishi (Ochanomizu Univ.), Hiroya Ii, Shinpei Ogata, Kozo Okano (Shinshu Univ.), Daisuke Bekki (Ochanomizu Univ.) SS2021-5 KBSE2021-17 |
In software development, it is generally known that detecting defects at an early stage of the process reduces rework an... [more] |
SS2021-5 KBSE2021-17 pp.25-30 |
CPSY, DC, IPSJ-SLDM, IPSJ-EMB, IPSJ-ARC [detail] |
2021-03-26 11:40 |
Online |
Online |
A Controller Augmentation method to Improving Transition Fault Coverage Kyohei Iizuka, Toshinori Hosokawa, Hiroshi Yamazaki (Nihon Univ), Masayoshi Yoshimura (Kyoto Sangyo Univ) CPSY2020-63 DC2020-93 |
With shrinking feature sizes, growing clock frequencies, and decreasing power supply voltage, modern VLSIs are increasin... [more] |
CPSY2020-63 DC2020-93 pp.79-84 |
KBSE, SC |
2020-11-13 15:04 |
Online |
Online + Kikai-Shinko-Kaikan Bldg. (Primary: Online, Secondary: On-site) |
[Poster Presentation]
Prototype Tool to Detect Difference between State Machine Diagrams toward Automation of Providing Educational Feedback to Learners Mitsutada Goshima, Shinpei Ogata (Shinshu Univ.), Erina Makihara (Doshisha Univ.), Kozo Okano (Shinshu Univ.) KBSE2020-15 SC2020-19 |
State machine diagrams in UML are useful for system development and other purposes because they represent discrete behav... [more] |
KBSE2020-15 SC2020-19 p.30 |
CS |
2020-11-06 14:45 |
Online |
Online + Central Community Center, Nonoichi Community Center (Primary: Online, Secondary: On-site) |
[Invited Lecture]
A self-learning traffic analysis method for self-driving private mobile networks Anan Sawabe (NEC/UTokyo), Takanori Iwai (NEC), Akihiro Nakao (UTokyo) CS2020-63 |
Recent wide-spreading IoT use cases lead IoT vertical players without wireless network expertise to utilize high perform... [more] |
CS2020-63 pp.81-82 |
CPSY, DC, IPSJ-ARC [detail] |
2020-07-31 17:30 |
Online |
Online |
An Area Reduction Oriented Controller Augmentation Method Based on Functionally Equivalent Finite State Machine Generation Atsuya Tsujikawa, Toshinori Hosokawa (Nihon Univ.), Masayoshi Yoshimura (Kyoto Sangyo Univ.) CPSY2020-15 DC2020-15 |
In recent year, controller augmentation has been used for design-for-testability and design-for-security at register tra... [more] |
CPSY2020-15 DC2020-15 pp.93-98 |
KBSE |
2020-03-06 13:30 |
Okinawa |
Tenbusu-Naha (Cancelled but technical report was issued) |
A Method to Analyze the Proximate States to Hazards Based-on State Transition System for Supporting Safety Analysis Yusuke Suzuki, Shinpei Ogata, Yutaro Ohike (Shinshu Univ.), Yoshitaka Aoki (Nihon Unisys), Hiroyuki Nakagawa (Osaka Univ.), Kazuki Kobayashi, Kozo Okano (Shinshu Univ.) KBSE2019-47 |
STAMP (System-Theoretic Accident Model and Processes)/STPA (System-Theoretic Process Analysis) supports system developer... [more] |
KBSE2019-47 pp.7-12 |
DC |
2020-02-26 12:00 |
Tokyo |
|
A controller augmentation method to reduce the number of untestable faults for multiplexers with n-inputs Yuki Takeuchi, Toshinori Hosokawa, Hiroshi Yamazaki (Nihon Univ.), Masayoshi Yoshimura (Kyoto Sangyo Univ.) DC2019-90 |
With the complexity for VLSIs, transition fault testing is required. However, VLSIs generally have more untestable trans... [more] |
DC2019-90 pp.25-30 |
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 |
MIKA (2nd) |
2019-10-03 14:05 |
Hokkaido |
Hokkaido Univ. |
[Invited Lecture]
Traffic Analysis Empowered by Machine Learning for Estimating Context of IoT Application Anan Sawabe, Takanori Iwai (NEC) |
We have observed the emergence of various Internet of Things (IoT) use cases, such as remote robot control, over the las... [more] |
|
IMQ, IE, MVE, CQ (Joint) [detail] |
2019-03-15 13:00 |
Kagoshima |
Kagoshima University |
Analysis of relationship between Apparent SpO2 and human preference using state transition diagram Yuta Ando, Yota Niigaki, Yuukou Horita (Univ. of Toyama) IMQ2018-63 IE2018-147 MVE2018-94 |
In recent years, the display such as smartphone and 4KTV have been made as high definition and advanced functions. There... [more] |
IMQ2018-63 IE2018-147 MVE2018-94 pp.221-225 |
LOIS |
2019-03-07 10:20 |
Okinawa |
Miyakojima-shi Central Community Center |
State Transition Machine As Coordination Message In Everyday Life Errands Keiko Shimokoriyama, Chihiro Tsutsumi, Ken Nakayama (Tsuda Univ.) LOIS2018-57 |
When asking others to do some task, the task is described as a document in a natural language. Despite a task usually c... [more] |
LOIS2018-57 pp.13-18 |
DC |
2019-02-27 13:40 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
State Assignment Method to Improve Transition Fault Coverage for Datapath Masayoshi Yoshimura (Kyoto Sangyo Univ.), Yuki Takeuchi, Hiroshi Yamazaki, Toshinori Hosokawa (Nihon Univ.) DC2018-78 |
Recently, it is indispensable to test in transition fault model due to timing defects increase along with complication a... [more] |
DC2018-78 pp.43-48 |