| IEICE Technical Committee Submission System Conference Schedule |
Online Proceedings [Sign in] Tech. Rep. Archives |
All Technical Committee Conferences (All Years)
| Committee | Date Time | Place | Paper Title / Authors | Abstract | Paper # | |
| MSS, NLP | 2022-03-28 09:40 |
Online | Online | Prediction of Traffic Accidents using Formal Concept Analysis with Actual Data Shogo Kotani, Yuta Asanuma, Masaki Nakamura, Kazutoshi Sakakibara, Tatsuro Motoyoshi, Keisuke Hoshikawa (Toyama Pref. Univ.)  MSS2021-56 NLP2021-127 |
The purpose of this study is for preventing future traffic accidents by past ones to analyze traffic accident data based... [more] | MSS2021-56 NLP2021-127 pp.7-12 |
| MSS, NLP | 2022-03-28 10:05 |
Online | Online | Formal Verification of Control Policy of Elevator Systems using Statistical Model Checking Yuki Kitahara, Masaki Nakamura, Kazutoshi Sakakibara (Toyama Pref. Univ.) MSS2021-57 NLP2021-128 |
When designing an elevator system, efficient control laws can be expected to be obtained by considering the probability ... [more] | MSS2021-57 NLP2021-128 pp.13-18 |
| MSS, NLP (Joint) |
2020-03-09 13:30 |
Aichi | (Cancelled but technical report was issued) |
Formal concept analysis of protein properties based on amino acid sequences and structural information Yuki Ozaki, Tatsuki Yamazaki, Yuki Tsuchiya, Ryo Tsugita, Masaki Nakamura, Kazutoshi Sakakibara, Suguru Shinoda, Yasuhisa Asano (Toyama Pref. Univ.) MSS2019-58 |
[more] | MSS2019-58 pp.5-8 |
| MSS, NLP (Joint) |
2020-03-09 18:15 |
Aichi | (Cancelled but technical report was issued) |
Specification and verification of real-time multitasking systems by the OTS/CafeOBJ method Shuki Higashi, Masaki Nakamura, Kazutoshi Sakakibara (Toyama Pref. Univ.), Kazuhiro Ogata (JAIST) MSS2019-62 |
[more] | MSS2019-62 pp.25-30 |
| EE | 2020-01-16 12:45 |
Kagoshima | HOUZAN HALL | Commercial Power Optimization using Li-ion Batteries for Green Base Stations Fumiya Komatsu, Masaki Nakamura, Kazuhiko Takeno (NTT Docomo) EE2019-70 |
[more] | EE2019-70 pp.125-127 |
| EE, OME, CPM | 2019-11-26 14:50 |
Tokyo | Japan Society for the Promotiton of Machine Industry | Electrical Power Demand Prediction for Optimizing Balance of Power Demand and Supply in Radio Base Station Difei Miyao, Masaki Nakamura, Masayuki Terada, Kazuhiko Takeno (NTT Docomo) EE2019-45 CPM2019-87 OME2019-31 |
In recent years, the adjustment of power supply and demand is a big issue from the separation of electrical power produc... [more] | EE2019-45 CPM2019-87 OME2019-31 pp.53-55 |
| WPT, EE (Joint) |
2019-10-09 10:35 |
Shiga | Ryukoku Extension Center, Ryukoku University | Bi-directional Multiport Converter for Utilizing Green Base Stations Masaki Nakamura, Kazuhiko Takeno (NTT DOCOMO, Inc.), Ryota Hisamitsu, Masahito Shoyama (Kyushu Univ.) EE2019-29 |
In recent years, virtual power plant mechanisms that contribute to adjusting the power supply and demand by integrating ... [more] | EE2019-29 pp.19-21 |
| NLP, MSS (Joint) |
2019-03-14 13:20 |
Fukui | Bunkyo Camp., Univ. of Fukui | Specification description of real-time multitask systems by the OTS/CafeOBJ method Shuki Higashi, Masaki Nakamura, Kazutoshi Sakakibara (Toyama Pref. Univ.), Kazuhiro Ogata (JAIST) MSS2018-83 |
[more] | MSS2018-83 pp.13-18 |
| MSS, CAS, IPSJ-AL [detail] | 2018-11-13 10:35 |
Shizuoka | Numerical evaluation of parking lot layouts by the layered multi-agent simulation techniques Takeshi Oyama, Kazutoshi Sakakibara, Masaki Nakamura (Toyama Pref. Univ.), Takuya Matsumoto (Sohatsu), Makoto Ohara (Kobe Univ.) CAS2018-68 MSS2018-44 |
[more] | CAS2018-68 MSS2018-44 pp.83-88 |
|
| MSS, CAS, IPSJ-AL [detail] | 2018-11-13 15:15 |
Shizuoka | On formal verification of mathematical programming models by algebraic specifications Masaki Nakamura, Kazutoshi Sakakibara (Toyama Pref. Univ.) CAS2018-76 MSS2018-52 |
To apply a solver for optimization problems, we need to formalize a problem into a form acceptable by the solver. In th... [more] |
CAS2018-76 MSS2018-52 pp.127-130 |
|
| EE, IEE-SPC, IEE-EDD (Joint) |
2017-11-21 09:15 |
Kagoshima | Kagoshima Univ. | Electric Load Leveling Method for Green-BTS Masaki Nakamura, Kazuaki Kimura, Kazuhiko Takeno (NTT DOCOMO) EE2017-37 |
[more] | EE2017-37 pp.13-14 |
| EE, IEE-HCA | 2017-05-26 15:40 |
Tokyo | The Kikai Shinko Kaikan building | Cooperative Control Assuming Power Interchange for Green Base Stations Masaki Nakamura, Kazuaki Kimura, Kazuhiko Takeno (NTT DOCOMO, Inc.) EE2017-8 |
Recent years have seen a full-scale rollout of green base stations applying environmentally friendly equipmentsuch as so... [more] | EE2017-8 pp.75-79 |
| MRIS, IEE-MAG | 2017-03-10 15:10 |
Aichi | Nagoya Univ. | Proposal and Demonstration of two-dimensional information coding device using a GeSbTe-Si microresonator Yuya Kihara, Masaki Nakamura, Farrabi Sobhi, Daichi Kataiwa (Keio Univ.), Masashi Kuwahara (AIST), Toshiharu Saiki (Keio Univ.) MR2016-63 |
(To be available after the conference date) [more] | MR2016-63 pp.35-40 |
| EE | 2017-01-26 09:30 |
Nagasaki | Nagasaki University | Weathercast-linked Control of Lithium-Ion Battery in Green Base Stations Masaki Nakamura, Kazuaki Kimura, Kazuhiko Takeno (NTT DOCOMO, Inc.) EE2016-49 |
Recent years have seen a full-scale rollout of green base stations applying environmentally friendly equipment such as s... [more] | EE2016-49 pp.7-8 |
| EE | 2016-02-26 15:00 |
Tokyo | Kikai-Shinko-Kaikan Bldg. | Optimal Equipmet Design and Power Generation Characteristics for Disaster Resilient Green Base Stations Kazuhiro Komiya, Masaki Nakamura, Yurie Mura, Hironobu Minowa, Kazuhiko Takeno (NTT DOCOMO) EE2015-33 |
NTT DOCOMO has been studying “green base stations’’ as a means of strengthening environmental measures and disaster resi... [more] | EE2015-33 pp.19-23 |
| 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 |
[Return to Top Page]