Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
EE |
2016-02-26 15:25 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
Study on power control system for Green-BTS Masaki Nakamura, Kazuaki Kimura, Kazuhiko Takeno (NTT DOCOMO, Inc.) EE2015-34 |
Reducing environmental impact by base stations is an urgent requirement. We envision “Green BTS” which is a base station... [more] |
EE2015-34 pp.25-29 |
WIT |
2015-10-26 10:55 |
Yamaguchi |
Kawatana Grand Hotel |
A study of automatic evaluation method for nurse's finger pointing and calling Akira Urashim, Tomoji Toriyama, Masaki Nakamura (Toyama Pref. Univ.), Mitsuko Nakagawa, Junichi Oshima (Koshi Rehabilitation Hospital), Tadao Nomura (Kinjo University) WIT2015-62 |
As a method of preventing human error in hospital nursing duties, it is performed to include finger pointing and calling... [more] |
WIT2015-62 pp.59-64 |
SS |
2015-03-09 09:30 |
Okinawa |
OKINAWAKEN SEINENKAIKAN |
Sufficient completeness of constructor-based order-sorted parameterized specifications Masaki Nakamura (Toyama Pref. Univ.), Daniel Mircea Gaina, Kazuhiro Ogata, Kokichi Futatsugi (JAIST) SS2014-55 |
CafeOBJ algebraic specification language supports description of specifications whose models are constructor-based order... [more] |
SS2014-55 pp.1-6 |
EE, WPT (Joint) |
2014-11-18 11:25 |
Kyoto |
Doshisha University |
Peak-cut control of Smart Energy BTS Masaki Nakamura, Hosei Matsuoka, Kazuhiko Takeno (NTT DOCOMO) EE2014-19 |
Reducing the power consumed by base stations is an urgent requirement. We envision “Green BTS” which is a base station u... [more] |
EE2014-19 pp.1-5 |
WIT |
2014-09-13 14:35 |
Hyogo |
Kobe Univ. Kusunoki Campus |
A Study of Safety Check Action for Cognitive Dysfunction Drivers Hisashi Shiotsuki, Tomoji Toriyama, Akira Urashima, Masaki Nakamura (Toyama Prefectural Univ.), Tadao Nomura (Toyama-ken Cognitive Dysfunction support center), Jun-ichi Ohshima, Osamu Yoshino (Toyama-ken Koshi-rehabilitation Hospital) WIT2014-33 |
Cognitive Dysfunction patients are sometimes unable to drive with safety check action by symptoms such as attention diso... [more] |
WIT2014-33 pp.75-80 |
WIT |
2013-10-26 15:10 |
Kagoshima |
|
A Study of Driving Skill Evaluation System Using Wearable Sensors for Cognitive Dysfunction Tomoji Toriyama, Akira Urashima, Masaki Nakamura (Toyama Prefectural Univ.), Tadao Nomura, Jun-ichi Ohshima, Osamu Yoshino (Toyama-ken Koshi-rehabilitation Hpspital), Takumi Nakayama, Shohei Tone (Toyama Prefectural Univ.) WIT2013-48 |
[more] |
WIT2013-48 pp.29-34 |
MVE, IE, WIT, IMQ, CQ (Joint) [detail] |
2013-03-11 15:25 |
Fukuoka |
Fukuoka Institute of Technology |
The Visualization System of COG and BOS in Sit-to-Stand Movement Masaki Nakamura, Junichi Miyamae, Akira Urashima, Tomoji Toriyama (Toyama Pref. Univ.), Tetsuo Tsukuda, Shigeki Kawabata, Kazunori Sano (Ookuma Central Hospital), Toshihiro Ninomiya (Mukaiyama Hospital) IMQ2012-65 IE2012-169 MVE2012-126 WIT2012-75 |
Analyzing sit-to-stand movement is important to understand how the balance function of a rehabilitation patient is recov... [more] |
IMQ2012-65 IE2012-169 MVE2012-126 WIT2012-75 pp.175-180 |
MVE, IE, WIT, IMQ, CQ (Joint) [detail] |
2013-03-11 15:50 |
Fukuoka |
Fukuoka Institute of Technology |
Prototype of Pointing and Calling Detection System for Nurses Akira Urashima, Masaki Nakamura, Tomoji Toriyama (Toyama Pref. Univ.), Junichi Oshima, Mitsuko Nakagawa, Tadao Nomura (Koshi Rehab. Hosp.) IMQ2012-66 IE2012-170 MVE2012-127 WIT2012-76 |
Human error occupies a large part of the medical accidents(such as injection of wrong medicine by mistake). Although poi... [more] |
IMQ2012-66 IE2012-170 MVE2012-127 WIT2012-76 pp.181-186 |
MSS, CAS, VLD, SIP |
2011-07-01 10:50 |
Okinawa |
Okinawa-Ken-Seinen-Kaikan |
[Panel Discussion]
Toward new developments of System and Signal Processing Subsociety Nagisa Ishiura (Kwansei Gakuin Univ.), Mitsunori Makino (Chuo Univ.), Kimiyoshi Usami (Shibaura Institute of Technology), Isao Yamada (Tokyo Institute of Technology), Kunihiko Hiraishi (JAIST), Shingo Yamaguchi (Yamaguchi Univ.), Masaki Nakamura (Toyama Pref. Univ.) CAS2011-22 VLD2011-29 SIP2011-51 MSS2011-22 |
[more] |
CAS2011-22 VLD2011-29 SIP2011-51 MSS2011-22 p.127 |
MSS |
2011-01-20 09:35 |
Yamaguchi |
Kaikyo-Messe-Shimonoseki |
CST solution competition 2010
-- Optimization of Multi-Car Elevator Controllers -- Masaki Nakamura (Kanazawa Univ.), Tatsushi Yamasaki (Setsunan Univ.), Shingo Yamaguchi (Yamaguchi Univ.), Toshiyuki Miyamoto (Osaka Univ.), Naoshi Uchihira (Toshiba Corp.) CST2010-57 |
[more] |
CST2010-57 pp.1-4 |
MSS |
2010-08-02 14:25 |
Ishikawa |
|
Generating test cases for implementing concurrent systems based on the OTS/CafeOBJ method Takahiro Seino (AIST), Masaki Nakamura (Kanazawa Univ.) CST2010-33 |
In software developments with formal methods, there exists an unavoidable gap between a system description in formal spe... [more] |
CST2010-33 pp.7-12 |
SS |
2007-12-17 11:15 |
Shimane |
Shimane Univ. |
Generating tests from proof scores in the OTS/CafeOBJ method Masaki Nakamura (JAIST), Takahiro Seino (AIST) SS2007-42 |
In the OTS/CafeOBJ method, we describe a specification in CafeOBJ specification language, and verify it with a proof sco... [more] |
SS2007-42 pp.25-30 |
CQ, LOIS, IE, IEE-CMN, ITE-ME |
2007-09-28 13:40 |
Tokushima |
The university of Tokushima |
Access control of contents on FACCIONET Masaki Nakamura, Hitoshi Masumura (TEPCO) |
The spread of Internet technology has brought a lot of convenience to our life every year. On the other hand, many Inter... [more] |
CQ2007-63 OIS2007-53 IE2007-60 pp.151-154 |
IE, CQ, LOIS, ITE-ME, IEE-CMN |
2006-09-15 15:25 |
Ehime |
|
Office data management on Network Infrastructure System FACCIO NET Hitoshi Masumura, Masaki Nakamura (TEPCO) |
[more] |
CQ2006-58 OIS2006-45 IE2006-60 pp.47-51 |
SS |
2006-06-22 13:30 |
Okayama |
|
A complete specification transformation from OTS/CafeOBJ to OTS/Maude Masaki Nakamura, Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi (JAIST) |
There are two ways to describe a state machine with algebraic specifications: observation transition systems on CafeOBJ ... [more] |
SS2006-13 pp.1-6 |
CQ, IE, LOIS, IEE-CMN, ITE-ME |
2005-09-15 13:00 |
Kochi |
Kochi Univ. of Technoloty |
Protection Method of Personal Infomation on Network Infrastructure System FACCIO NET Hitoshi Masumura, Masaki Nakamura (Tokyo Electric Power Company) |
The spread of Internet technology has brought a lot of convenience to our life every year. On the other hand, many Inter... [more] |
CQ2005-40 OIS2005-25 IE2005-33 pp.35-38 |
SS |
2005-01-20 13:00 |
Miyazaki |
Miyazaki University, Kibana Campus |
Comparison of CafeOBJ and Coq by Fomally Specifying and Verifying STS protocol Kotaro Hara (JAIST), Kazuhiro Ogata (NEC/JAIST), Masaki Nakamura, Kokichi Futatsugi (JAIST) |
[more] |
SS2004-43 pp.1-6 |