Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
RCS, SR, SRW (Joint) |
2024-03-13 11:30 |
Tokyo |
The University of Tokyo (Hongo Campus), and online (Tokyo, Online) (Primary: On-site, Secondary: Online) |
[Technology Exhibit]
A Study of Edge AI & Distributed DB Computing Technology for Edge AI Digital Twin
-- Cyber Brain Module -- Hiroshi Miyata (TAN), Kazutami Arimoto (Okayama Prf. Univ.), Atsushi Hayami, Hisayoshi Mizuno (TAN), Tomoyuki Yokogawa (Okayama Prf. Univ.) RCS2023-253 |
After 5G, the realization of the edge digital twin, which integrates sensor data from edge terminals, has become a reali... [more] |
RCS2023-253 pp.17-22 |
VLD, HWS, ICD |
2024-02-29 11:40 |
Okinawa |
(Okinawa, Online) (Primary: On-site, Secondary: Online) |
A Study of Edge AI & Distributed DB Computing Architecture for Edge-Centric Digital Twin Hiroshi Miyata (TAN), Kazutami Arimoto (Okayama Pref. Univ.), Atsushi Hayami, Hisayoshi Mizuno (TAN), Tomoyuki Yokogawa (Okayama Pref. Univ.) VLD2023-111 HWS2023-71 ICD2023-100 |
After 5G, the realization of the edge digital twin, which integrates sensor data from edge terminals, has become a reali... [more] |
VLD2023-111 HWS2023-71 ICD2023-100 pp.72-76 |
SeMI, IPSJ-ITS, IPSJ-MBL, IPSJ-DPS |
2023-05-19 15:00 |
Okinawa |
Okinawa Institute of Science and Technology (OIST) (Okinawa, Online) (Primary: On-site, Secondary: Online) |
Study on Improving the Accuracy of the Growth Determination System Using AI Kotaro Mitani, Tomoyuki Yokogawa, Kazutami Arimoto (Okayama Prefectural Univ) SeMI2023-17 |
Previously, a pineapple growth information determination system was developed using SSD for footage and images taken by ... [more] |
SeMI2023-17 pp.76-81 |
SeMI, IPSJ-ITS, IPSJ-MBL, IPSJ-DPS |
2023-05-19 16:35 |
Okinawa |
Okinawa Institute of Science and Technology (OIST) (Okinawa, Online) (Primary: On-site, Secondary: Online) |
Towards Improving the Generalization Performance of a Face Texture Analysis AI System for Predicting Driver Drowsiness Tomoya Kubo, Tomoyuki Yokogawa, Kazutami arimoto, Masaki Hokari (Okayama Prefectural Univ.), Isao Kayano (Kawasaki University of Medical) SeMI2023-20 |
We are currently developing a Face Texture Analysis AI system that predicts driver drowsiness based on the overall impre... [more] |
SeMI2023-20 pp.94-98 |
HIP, HCS, HI-SIGCOASTER [detail] |
2023-05-16 13:50 |
Okinawa |
Okinawa Industry Support Center (Okinawa, Online) (Primary: On-site, Secondary: Online) |
Study on Estimation Method of Sensory Value Obtained from Touching Movement Using Tactile Sensing Technology Masanao Fujino, Kiyotaka Komoku, Tomoyuki Yokogawa, Kazutami Arimoto (Okayama Prefectural Univ.) HCS2023-34 HIP2023-34 |
When developing a new material, it is desired that the sensory value expressed by the stimuli that arise from touching t... [more] |
HCS2023-34 HIP2023-34 pp.166-171 |
ITE-ME, EMM, IE, LOIS, IEE-CMN, IPSJ-AVM [detail] |
2022-09-13 15:30 |
Online |
Keio Univ. Yagami Campus (Hybrid) (Online, Kanagawa) (Primary: Online, Secondary: On-site) |
The efficient AI System for Rating Facial Expressions for the purpose of Predicting Drivers Sleepiness Tomoya Kubo (Okayama Prefectural Univ. Graduate School), Kazutami Arimoto, Tomoyuki Yokogawa, Masaki Hokari (Okayama Prefectural Univ.), Isao Kayano (Kawasaki Univ. of Medical Welfare), Kagehisa Kajiwara (MURAKAMI CORPORATION) LOIS2022-13 IE2022-35 EMM2022-41 |
In a driver monitoring system, a 3D convolutional neural network (3D CNN) has been used as a neural network (NN) to eval... [more] |
LOIS2022-13 IE2022-35 EMM2022-41 pp.19-24 |
CS, CAS |
2020-02-27 12:10 |
Kumamoto |
(Kumamoto) |
A Serial Multiplier based on Sequential Subtraction from Maximum Products and Its Negative Number Calculation Method Masahiro Nagata (Okayama Prefectural Univ.), Masafumi Kondo (Kawasaki Univ. of Medical Welfare), Daichi Ikeda (Sanyo Denken), Isao Kayano (Kawasaki Univ. of Medical Welfare), Tomoyuki Yokogawa, Yoichiro Sato (Okayama Prefectural Univ.) CAS2019-105 CS2019-105 |
In recent years, digital hearing aids have become widespread, but their battery life is only about several days. To solv... [more] |
CAS2019-105 CS2019-105 pp.43-48 |
SDM, ICD, ITE-IST [detail] |
2019-08-08 14:20 |
Hokkaido |
Hokkaido Univ., Graduate School /Faculty of Information Science and (Hokkaido) |
An energy efficient plant monitoring system on drones with edge AI module. Tomoki Kobayashi, Kazutami Arimoto, Tomoyuki Yokogawa, Nao igawa (Okayama Prefectual Univ.), Satoshi Fujii (National Institute of Tech., Okinawa College) |
[more] |
|
MSS, CAS, SIP, VLD |
2019-07-31 16:45 |
Iwate |
Iwate Univ. (Iwate) |
Speedup of the Asynchronous Serial Multiplier by Concealing the Idle Phase for Digital Hearing Aids Masahiro Nagata (Okayama Prefectural Univ.), Masafumi Kondo, Isao Kayono (Kawasaki Univ. of Medical Welfare), Tomoyuki Yokogawa, Kazutami Arimoto, Yoichiro Sato (Okayama Prefectural Univ.) CAS2019-22 VLD2019-28 SIP2019-38 MSS2019-22 |
Recently, digital hearing aids with DSP have spread through, but their battery life has remained for only a few days. Fo... [more] |
CAS2019-22 VLD2019-28 SIP2019-38 MSS2019-22 pp.99-104 |
KBSE, SS, IPSJ-SE [detail] |
2019-07-12 15:35 |
Hokkaido |
(Hokkaido) |
Visual Programming Language for Model-Checker NuSMV Hayato Naito, Tomoyuki Yokogawa, Sousuke Amasaki (Okayama Prefectural Univ.), Hirohisa Aman (Ehime Univ.), Kazutami Arimoto (Okayama Prefectural Univ.) SS2019-1 KBSE2019-11 |
[more] |
SS2019-1 KBSE2019-11 pp.41-46 |
KBSE, SS, IPSJ-SE [detail] |
2019-07-12 16:00 |
Hokkaido |
(Hokkaido) |
Process Representation of Sequence Diagrams with Hierarchical Structure Akira Matsumoto, Tomoyuki Yokogawa, Sousuke Amasaki (Okayama Prefectural Univ.), Hirohisa Aman (Ehime Univ.), Kazutami Arimoto (Okayama Prefectural Univ.) SS2019-2 KBSE2019-12 |
[more] |
SS2019-2 KBSE2019-12 pp.47-52 |
MI |
2019-07-05 17:10 |
Hokkaido |
Future Univ. Hakodate (Hokkaido) |
MI2019-23 |
In the diagnosis of tubular tissues such as blood vessels and digestive systems, it is important to measure tube diamete... [more] |
MI2019-23 pp.21-22 |
MSS, SS |
2019-01-16 10:25 |
Okinawa |
(Okinawa) |
Unbounded Model Checking of Time Petri Nets Using SMT Solver Nao Igawa, Tomoyuki Yokogawa (Okayama Prefectural Univ.), Masafumi Kondo (Kawasaki Univ. of Medical Welfare), Yoichiro Sato, Kazutami Arimoto (Okayama Prefectural Univ.) MSS2018-69 SS2018-40 |
[more] |
MSS2018-69 SS2018-40 pp.79-84 |
IPSJ-ARC, VLD, CPSY, RECONF, IPSJ-SLDM [detail] |
2018-01-18 13:50 |
Kanagawa |
Raiosha, Hiyoshi Campus, Keio University (Kanagawa) |
Examination of the Normally-off using the stack circuit Kenji Sakamura (OPUGS), Kazutami Arimoto, Isao Kayano, Tomoyuki Yokogawa (OPU) VLD2017-70 CPSY2017-114 RECONF2017-58 |
In the stack circuit using charge recycling, low consumption electricity such as the streaming processing movement is ef... [more] |
VLD2017-70 CPSY2017-114 RECONF2017-58 pp.49-51 |
MSS, SS |
2017-01-27 09:00 |
Kyoto |
Kyoto Institute of Technology (Kyoto) |
Symbolic Representation based on Difference Logic of Time Petri Nets for Efficient Bounded Model Checking Nao Igawa, Tomoyuki Yokogawa (Okayama Prefectural Univ.), Hisashi Miyazaki, Masafumi Kondo (Kawasaki Univ. of Medical Welfare), Yoichiro Sato, Kazutami Arimoto (Okayama Prefectural Univ.) MSS2016-67 SS2016-46 |
[more] |
MSS2016-67 SS2016-46 pp.59-64 |
DC, SS |
2016-10-27 14:30 |
Shiga |
Hikone Kinro-Fukushi Kaikan Bldg. (Shiga) |
Model Based Test Case Generation for Web Application Using Model Checking Hirokazu Kasahara, Tomoyuki Yokogawa, Yoichiro Sato, Kazutami Arimoto (Okayama Pref. Univ.) SS2016-24 DC2016-26 |
[more] |
SS2016-24 DC2016-26 pp.37-42 |
VLD, CAS, MSS, SIP |
2016-06-16 11:40 |
Aomori |
Hirosaki Shiritsu Kanko-kan (Aomori) |
A method of reducing amount of operations on the bit serial multiply-accumulator and its application Daichi Okamoto (Okayama Prefectural Univ.), Masafumi Kondo (Kawasaki Univ. of Medical Welfare), Yoshihiro Sejima, Tomoyuki Yokogawa, Kazutami Arimoto, Yoichiro Sato (Okayama Prefectural Univ.) CAS2016-7 VLD2016-13 SIP2016-41 MSS2016-7 |
Although the digital hearing aids with the high functionality of digital signal processor (DSP) becomes widely used, its... [more] |
CAS2016-7 VLD2016-13 SIP2016-41 MSS2016-7 pp.35-40 |
VLD |
2016-02-29 13:30 |
Okinawa |
Okinawa Seinen Kaikan (Okinawa) |
Tool Support for Verifying Large Scale Hardware Design with Verilog-HDL Yuta Morimitsu, Tomoyuki Yokogawa (Okayama Prefectural Univ.), Masafumi Kondo, Hisashi Miyazaki (Kawasaki Univ. of Medical Welfare), Yoichiro Sato, Kazutami Arimoto (Okayama Prefectural Univ.), Norihiro Yoshida (Nagoya Univ.) VLD2015-111 |
In this paper, we developed a tool supporting formal verification of large scale hardware design described by Verilog-HD... [more] |
VLD2015-111 pp.1-6 |
MSS, CAS, IPSJ-AL [detail] |
2015-11-21 11:15 |
Kagoshima |
Ibusuki CityHall (Kagoshima) |
A bit serial multiply and accumulator with negative number operation Daichi Okamoto (Okayama Prefectural Univ.), Masafumi Kondo (Kawasaki Univ. of Medical Welfare), Yoshihiro Sejima, Yoichiro Sato, Tomoyuki Yokogawa, Kazutami Arimoto (Okayama Prefectural Univ.) CAS2015-58 MSS2015-32 |
Recently, digital hearing aids with the high functionality of digital signal processor (DSP) become widely used, and thu... [more] |
CAS2015-58 MSS2015-32 pp.115-120 |
MSS, CAS, SIP, VLD |
2015-06-17 11:35 |
Hokkaido |
Otaru University of Commerce (Hokkaido) |
A Case Study of Symbolic Model Checking of Large Scale Hardware IP Yuta Morimitsu, Tomoyuki Yokogawa (Okayama Pref. Univ.), Masafumi Kondo, Hisashi Miyazaki (Kawasaki Univ. of Medical Welfare), Yoichiro Sato, Kazutami Arimoto (Okayama Pref. Univ.) CAS2015-6 VLD2015-13 SIP2015-37 MSS2015-6 |
[more] |
CAS2015-6 VLD2015-13 SIP2015-37 MSS2015-6 pp.31-36 |