IEICE Technical Committee Submission System
Conference Schedule
Online Proceedings
[Sign in]
Tech. Rep. Archives
    [Japanese] / [English] 
( Committee/Place/Topics  ) --Press->
 
( Paper Keywords:  /  Column:Title Auth. Affi. Abst. Keyword ) --Press->

All Technical Committee Conferences  (All Years)

Search Results: Conference Papers
 Conference Papers (Available on Advance Programs)  (Sort by: Date Descending)
 Results 1 - 15 of 15  /   
Committee Date Time Place Paper Title / Authors Abstract Paper #
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
 Results 1 - 15 of 15  /   
Choose a download format for default settings. [NEW !!]
Text format pLaTeX format CSV format BibTeX format
Copyright and reproduction : All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


[Return to Top Page]

[Return to IEICE Web Page]


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan