Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
ICTSSL |
2024-07-26 09:45 |
Mie |
(Primary: On-site, Secondary: Online) |
Integrated Resilient Systems on the Platform with Spatio-Temporal Data Analytic and Reciprocal Synchronization Techniques: A Report on Applications of LPWAN Technologies on Volcano Remote Monitoring Systems Francis Tiausas, Yuki Murakami, Ken T. Murata (NICT), Kazuki Kobayashi (Shinshu Univ.), Keiichiro Fukazawa (Kyoto Univ.) ICTSSL2024-23 |
STARS (Spatio-Temporal data Analytic and Reciprocal Synchronization) is a big data platform being developed by the Natio... [more] |
ICTSSL2024-23 pp.57-62 |
KBSE |
2024-03-14 13:45 |
Okinawa |
Okinawa Prefectual General Welfare Center (Primary: On-site, Secondary: Online) |
Consideration on System Safety Verification Based on User Personality Traits Ruka Narisawa, Shinpei Ogata (Shinshu Univ.), Yoshitaka Aoki (BIPROGY), Hiroyuki Nakagawa (Osaka Univ.), Kazuki Kobayashi, Kozo Okano (Shinshu Univ.) KBSE2023-72 |
(To be available after the conference date) [more] |
KBSE2023-72 pp.43-48 |
KBSE, SC |
2023-11-17 16:45 |
Miyagi |
Sento Kaikan |
An examination of LoRa communications in Chikuma city Kazutaka Kikuta, Ken. T. Murata (NICT), Kazuki Kobayashi (Shinshu Univ.), Takamichi Mizuhara, Masataka Morioka, Toshiki Aoki (CLT) KBSE2023-39 SC2023-22 |
The Chikuma City Anzu Project (Ambient Networking via Zonal Ubiquitous project) is a regional collaborative ICT (informa... [more] |
KBSE2023-39 SC2023-22 pp.40-42 |
SS, KBSE, IPSJ-SE [detail] |
2023-07-22 11:25 |
Hokkaido |
(Primary: On-site, Secondary: Online) |
Verification of System Behavior using two types of model checking Yoshitaka Aoki (BIPROGY), Shinpei Ogata (Shinshu Univ.), Hiroyuki Nkagawa (Osaka Univ.), Kazuki Kobayashi (Shinshu Univ.) SS2023-20 KBSE2023-31 |
[more] |
SS2023-20 KBSE2023-31 pp.110-115 |
SWIM, KBSE |
2023-05-20 14:25 |
Shizuoka |
(Primary: On-site, Secondary: Online) |
A Study on Identifying Occurrence of User's Forgetting to Take Items from Interactive Systems Ruka Narisawa, Shinpei Ogata (Shinshu Univ.), Yoshitaka Aoki (BIPROGY), Hiroyuki Nakagawa (Osaka Univ.), Kazuki Kobayashi, Kozo Okano (Shinshu Univ.) KBSE2023-10 SWIM2023-10 |
(To be available after the conference date) [more] |
KBSE2023-10 SWIM2023-10 pp.59-64 |
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 |
IT, SIP, RCS |
2020-01-23 09:50 |
Hiroshima |
Hiroshima City Youth Center |
Measurement, accumulation, and analysis of strawberry growth images using a high-definition image monitoring system Hirokazu Genno (K C), Kazuki Kobayashi (Shinshu Univ.), Hideaki Matsue (SUS) IT2019-40 SIP2019-53 RCS2019-270 |
[more] |
IT2019-40 SIP2019-53 RCS2019-270 pp.25-29 |
KBSE, SC |
2019-11-08 11:30 |
Nagano |
Shinshu University |
A Method to Analyze NuSMV Counterexamples for Defect Cause Analysis Yutaro Ohike, Shinpei Ogata (Shinshu Univ.), Yoshitaka Aoki (Nihon Unisys, Ltd.), Hiroyuki Nakagawa (Osaka Univ.), Kazuki Kobayashi, Kozo Okano (Shinshu Univ.) KBSE2019-24 SC2019-21 |
Many state variables that are defined in a model may appear as conditional expressions in one specification on model che... [more] |
KBSE2019-24 SC2019-21 pp.7-12 |
HCGSYMPO (2nd) |
|
Mie |
Sinfonia Technology Hibiki Hall Ise |
Mood Improvement by Multiple Personality Assistant Agent in Speech Recognition Failure Takehiro Hondo, Ippei Naganuma, Kazuki Kobayashi (Shinshu Univ.) |
This paper proposes a method to create a mood in a human agent speech interaction and investigates the created mood by a... [more] |
|
HCGSYMPO (2nd) |
|
Mie |
Sinfonia Technology Hibiki Hall Ise |
Mood Investigation on Interaction with Body Disappearing Agent Ryohei Matsuzawa, Kazuki Kobayashi (Shinshu Univ.) |
This paper proposes an agent that shows the process of disappearing in the interaction between it and a user. A user oft... [more] |
|
PRMU, IBISML, IPSJ-CVIM [detail] |
2018-09-21 09:50 |
Fukuoka |
|
Anomaly Detection for Various Operations of Machine Kazuki Kobayashi, Masatoshi Sekine, Satoshi Ikada (OKI) PRMU2018-56 IBISML2018-33 |
In this paper, we propose an anomaly level estimation method for various operation of machine. Our proposed method has t... [more] |
PRMU2018-56 IBISML2018-33 pp.133-138 |
KBSE, SS, IPSJ-SE [detail] |
2018-07-18 15:50 |
Hokkaido |
|
Case Study on a Verification of an IoT Architecture Model Based on Control Loop Yoshitaka Aoki (NUL), Shinpei Ogata, Kazuki Kobayashi (Shinshu Univ.), Hiroyuki Nakagawa (Osaka Univ.) SS2018-11 KBSE2018-21 |
IoT (Internet of Things) systems have their respective complicated configuration across cyber and physical space. Even i... [more] |
SS2018-11 KBSE2018-21 pp.61-66 |
SCE |
2018-01-31 09:30 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
Two dimensional magnetic field dependence of a Josephson current in the applied perpendicular magnetic field. Norimichi Watanabe, Akiya Sean Ebana, Kazuki Kobayashi, Takuya Hikosaka, Atsushi Suzuki, Susumu Abe, Akiyoshi Nakayama (Kanagawa Univ.) SCE2017-31 |
We investigated how the position of the Josephson junction on the base Nb layer influence the modulation characteristics... [more] |
SCE2017-31 pp.1-5 |
HCGSYMPO (2nd) |
2017-12-13 - 2017-12-15 |
Ishikawa |
THE KANAZAWA THEATRE |
Mood Investigation by Multiple Personality Assistant Agent in Speech Interaction Kazuki Kobayashi, Takahiro Yoshimura (Shinshu Univ.) |
This paper proposes a method to create a mood in a human agent speech interaction and investigates the created mood by a... [more] |
|
HCGSYMPO (2nd) |
2017-12-13 - 2017-12-15 |
Ishikawa |
THE KANAZAWA THEATRE |
Creating Empathically Mood by Hesitating Agent in Speech Shogo Nakamura, Kazuki Kobayashi (Shinshu Univ.) |
In this study, we investigate a mood which was made by a interaction of talking with a hesitating agent and a user. The... [more] |
|
SS, KBSE, IPSJ-SE [detail] |
2017-07-19 13:10 |
Hokkaido |
|
Prototyping and Evaluation of Support Method of Model Checking using Modeling Notation of IoT System Architecture Shinpei Ogata (Shinshu Univ.), Yoshitaka Aoki (NUL), Hiroyuki Nakagawa (Osaka Univ.), Kazuki Kobayashi (Shinshu Univ.), Yuko Fukushima (NUL) SS2017-5 KBSE2017-5 |
IoT system architecture often relates to various objects such as users, Web services, edges, devices, energy suppliers a... [more] |
SS2017-5 KBSE2017-5 pp.25-30 |
AI |
2017-06-01 13:30 |
Tokyo |
Waseda Univ. |
Mood Creation by Multiple Personality Assistant Agent to Control Home Electronics Kazuki Kobayashi, Takahiro Yoshimura (Shinshu Univ.) AI2017-2 |
This paper proposes a method to create a mood in a human agent speech interaction. The proposed method uses four persona... [more] |
AI2017-2 pp.7-12 |
MoNA, ASN, IPSJ-MBL, IPSJ-UBI [detail] |
2017-03-09 10:30 |
Tokyo |
University of Tokyo (Hongo Campus) |
Human Activity Recognition by Infrared Array Sensors Considering Positional Relation between User and Sensors Kazuki Kobayashi, Tomoaki Ohtsuki, Kentaroh Toyoda (Keio Univ.) ASN2016-90 |
[more] |
ASN2016-90 pp.67-72 |
HCGSYMPO (2nd) |
2016-12-07 - 2016-12-09 |
Kochi |
Kochi City Culture Plaza (CUL-PORT) |
Improving Speech interaction with Projection Mapping based Behavior Expression Agent Yoshihisa Ishihara, Kazuki Kobayashi (Shinshu Univ.), Seiji Yamada (NII/SOKENDAI/Tokyo Tech) |
This paper proposes a method for manufactured objects such as anime figures to exhibit highly realistic behavioral expre... [more] |
|
HCGSYMPO (2nd) |
2016-12-07 - 2016-12-09 |
Kochi |
Kochi City Culture Plaza (CUL-PORT) |
Building Social Relationships between Agents and Users by Social Grooming Interaction Noriaki Kuratani, Kazuki Kobayashi (Shinshu Univ.), Seiji Yamada (NII, SOKENDAI, Tokyo Tech) |
In order to realize a smooth and continuous interaction between an agent and a user, establishing an
appropriate social... [more] |
|