Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
MBE, IEE-MBE |
2023-06-16 14:10 |
Hokkaido |
Hokkaido University (Primary: On-site, Secondary: Online) |
Development of an Extra-corporeal circuit Assembly Support System Using Image Recognition Hisashi Miyazaki (Nippon Bunri Univ.), Takayuki Torigoe, Isao Kayano (Kawasaki Univ. of Medical Welfare) MBE2023-9 |
In this research, we developed a system that automatically displays an assembly manual for an artificial heart-lung mach... [more] |
MBE2023-9 p.3 |
MBE, IEE-MBE |
2022-06-17 14:20 |
Online |
Online |
Remote research guidance for measurement of environmental electromagnetic fields in daily-life settings Isao Kayano, Yumina Kagawa, Ami Sato, Atsuko Yamamoto, Natsumi Saga, Hisashi Miyazaki, Seiichi Mochizuki (Kawasaki Univ. of Medical Welfare) MBE2022-8 |
The pandemic of the coronavirus disease 2019 (COVID-19) has caused a tremendous impact even on university education, for... [more] |
MBE2022-8 pp.5-8 |
PEM (Workshop) |
2021-11-29 - 2021-11-30 |
Hokkaido |
Hokkaido Univ. (Hybrid by remote) (Primary: On-site, Secondary: Online) |
[Poster Presentation]
Electromagnetic environment for a wireless medical telemeter due to surrounding walls Isao Kayano, Hisashi Miyazaki, Takakiyo Yamamoto, Naoki Takahashi (Kawasaki Univ. of Medical Welfare), Aya Takayama (Kawasaki Medical School Hospital), Seiichi Mochizuki (Kawasaki Univ. of Medical Welfare) |
A wireless medical telemeter, which can remotely monitor a patient's biological information, has been utilized by 80.1% ... [more] |
|
MBE |
2020-06-12 13:25 |
Online |
Online |
Development of the image recognition part of a medical equipment operation support system using smartglasses Hisashi Miyazaki, Michiko Kawasaki, Isao Kayano (Kawasaki Univ. of Medical Welfare), Hideyuki Oiwa (Medical Universe), Masaki Fujita (Enhanlabo), Takashi Hisagami, Toshihisa Hirose (Tik) MBE2020-7 |
We are developing a support system with the aim of assisting surgery using a heart-lung device. In this system, the user... [more] |
MBE2020-7 pp.5-8 |
MBE |
2019-06-21 13:00 |
Hokkaido |
|
A study of medical equipment operation support system using smartglasses Hisashi Miyazaki, Michiko Kawasaki, Takuya Matsumoto, Isao Kayano (Kawasaki Univ. of Medical Welfare), Hideyuki Oiwa, Masaki Fujita (Enhanlabo), Takashi Hisagami, Toshihisa Hirose (Tik) MBE2019-16 |
(To be available after the conference date) [more] |
MBE2019-16 pp.1-4 |
MBE |
2018-06-22 13:00 |
Hokkaido |
|
Measurement of intermediate-frequency magnetic field emitted from a charging facility for electrical vehicles Isao Kayano, Hisashi Miyazaki, Seiichi Mochizuki (Kawasaki Univ. of Medical Welfare) MBE2018-13 |
Recently, electric vehicles (EV) are regarded as one of the predominant types of effective use of renewable energy for e... [more] |
MBE2018-13 pp.35-38 |
MBE |
2017-06-16 14:30 |
Hokkaido |
Hokkaido University |
Quantitative evaluation of excitement of slot machine players Isao Kayano, Hisashi Miyazaki, Masami Goto, Seiichi Mochizuki (Kawasaki Univ. of Medical Welfare) MBE2017-17 |
Pachinko game is a popular pastime in Japan with a population of 10,700,000 players and a mega market of about 23.2 tril... [more] |
MBE2017-17 pp.31-34 |
MSS, SS |
2017-01-27 09:00 |
Kyoto |
Kyoto Institute of Technology |
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 |
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 |
MBE |
2016-06-17 13:25 |
Hokkaido |
Hokkaido University |
Verification of a management system for ventilator using model checking Hisashi Miyazaki, Takayuki Torigoe, Isao Kayano (Kawasaki Univ of Medical Welfare), Yasuo Ogasawara (Kawasaki Medical School/Kawasaki Univ of Medical Welfare) MBE2016-14 |
In a hospital, medical staffs may be used a system which is developed by themselves for promotion of streamlining and im... [more] |
MBE2016-14 pp.27-30 |
VLD |
2016-02-29 13:30 |
Okinawa |
Okinawa Seinen Kaikan |
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 |
MBE |
2015-06-26 11:15 |
Hokkaido |
Hokkaido Univerisity |
Development of management system for ventilator use Hisashi Miyazaki, Taiki Katashima, Isao Kayano (Kawasaki Univ of Medical Welfare), Megumi Sasaki (Kawasaki Medical School Hospital), Naoko Tanaka, Aya Takayama (Kawasaki University of Medical Welfare) MBE2015-16 |
During operating inspection for ventilator, medical staffs fill out the patient's clinical records and ventilator's reco... [more] |
MBE2015-16 pp.19-22 |
MSS, CAS, SIP, VLD |
2015-06-17 11:35 |
Hokkaido |
Otaru University of Commerce |
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 |
MBE |
2014-06-13 10:15 |
Hokkaido |
Hokkaido Univerisity |
Electromagnetic compatibility inside a helicopter ambulance when using of a digital pen Isao Kayano (Kawasaki University of Medical Welfare), Fumika Yoshikawa (Kawasaki Medical School Hospital), Aya Takayama (Kawasaki University of Medical Welfare), Takahiro Inoue (Kawasaki Medical School), Hisashi Miyazaki (Kawasaki University of Medical Welfare) MBE2014-15 |
Recently, a digital pen has been regarded as one of the feasible tools transmitting patients information from a remote l... [more] |
MBE2014-15 pp.15-18 |
SS, KBSE |
2013-07-25 16:40 |
Hokkaido |
|
Modeling Smartphone Apps Using State Machine Diagrams Kyosuke Ochimizu, Tomoyuki Yokogawa (Okayama Prefectural Univ.), Hisashi Miyazaki (KUMW), Yoichiro Sato, Kazutami Arimoto (Okayama Prefectural Univ.) SS2013-21 KBSE2013-21 |
In this paper, we propose a method for modeling smartphone apps using
UML state machine diagrams.
We focused on a tap ... [more] |
SS2013-21 KBSE2013-21 pp.49-54 |
MBE |
2011-07-09 10:00 |
Tokushima |
The University of Tokushima |
An Automatic Scheduling Method of Clinical Exercises Hisashi Miyazaki, Isao Kayano, Osamu Hiramatsu (Kawasaki Univ), Sousuke Amasaki (Okayama Prefectural Univ) MBE2011-31 |
In this paper, we propose an automatic scheduling method of clinical exercises using tabu search that is one of the meta... [more] |
MBE2011-31 pp.59-63 |
VLD |
2009-03-12 15:15 |
Okinawa |
|
Formal verification of GALS system designs using UPPAAL Kazuaki Kirita, Tomoyuki Yokogawa, Hisashi Miyazaki, Yoichiro Sato, Michiyoshi Hayase (Okayama Pref. Univ.) VLD2008-150 |
To design GALS (Globally Asynchronous Locally Synchronous) systems,
it is necessary to verify the correctness of behavi... [more] |
VLD2008-150 pp.141-146 |
SS |
2008-03-03 11:25 |
Nagasaki |
Nagasaki Univ. |
Formal verification of multiple UML diagrams using bounded model checking Hisashi Miyazaki, Tomoyuki Yokogawa, Sadahito Sato, Yoichiro Sato, Michiyoshi Hayase (Okayama Prefectural Univ.) SS2007-60 |
In previous work, we have proposed a framework for verifying system designs by multiple UML diagrams using symbolic mode... [more] |
SS2007-60 pp.19-24 |