Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2015] | [2016] | [2017] | [2018] | [2019] | [2020] | [2021] | [Japanese] / [English]
MSS2018-54
A method for reducing instability of negawatt power and inequality among consumers in an electricity market
Naohiro Tachibana, Ryo Hase, Norihiko Shinomiya (Soka Univ.)
pp. 1 - 6
MSS2018-55
Model Predictive Control of Dynamics in Power Consumption for Demand Response
Kenta Ohashi, Koichi Kobayashi, Yuh Yamashita (Hokkaido Univ.)
pp. 7 - 12
MSS2018-56
Design of Demand Response Based on Event-Triggered Model Predictive Control
Kodai Miyazaki, Koichi Kobayashi (Hokkaido Univ.), Shun-ichi Azuma (Nagoya Univ.), Nobuyuki Yamaguchi (Tokyo Univ. of Science), Yuh Yamashita (Hokkaido Univ.)
pp. 13 - 18
MSS2018-57
Similarity Control of Nondeterministic Discrete Event Systems under Partial Observation
Jinglun Li, Shigemasa Takai (Osaka Univ.)
pp. 19 - 23
MSS2018-58
A Study on Control Specifications Using LTL[F] for Supervisory Control
Ami Sakakibara, Toshimitsu Ushio (Osaka Univ.)
pp. 25 - 28
MSS2018-59
A design method of a self-triggered model predictive controller for linear discrete-time systems with noises
Fumito Tagashira, Toshimitsu Ushio (Osaka Univ.)
pp. 29 - 32
MSS2018-60
Multi-Agent Monitoring with Fuel Constraints over Graphs
Ryo Masuda, Koichi Kobayashi, Yuh Yamashita (Hokkaido Univ.)
pp. 33 - 36
MSS2018-61
(See Japanese page.)
pp. 37 - 42
MSS2018-62
A Case Study of Process Improvement on an Application Development with Test Design
Takumi Tsujihara, Naoki Fukuyasu, Naruki Mitsuda, Takuo Matsunobe, Tsuneo Ajisaka (Wakayama Univ.)
pp. 43 - 48
MSS2018-63
Towards a framework for computational reconciliation
Toshinori Takai (NAIST)
pp. 49 - 54
MSS2018-64
[Invited Talk]
Electricity Demand Forecasting by Machine Learning
-- Potential of Utilizing Numerical Weather Prediction by Machine Learning --
Hiromasa Shin, Yoshiaki Shiga, Mitsuru Kakimoto (Toshiba)
pp. 55 - 56
MSS2018-65
[Invited Talk]
Game Theoretic Approach to Power Consumption Reduction Problem with Incentive Allocation
Yuta Hasegawa, Takafumi Kanazawa (Osaka Univ.)
pp. 57 - 60
MSS2018-66
Optimal Run Problem for Weighted Register Automata
Reo Yoshimura, Hiroyuki Seki (Nagoya Univ.)
pp. 61 - 66
MSS2018-67
On Representation of Structures and Unions in Logically Constrained Rewriting
Yoshiaki Kanazawa, Naoki Nishida, Masahiko Sakai (Nagoya Univ.)
pp. 67 - 72
MSS2018-68
Extending Narrowing Trees to Basic Narrowing in Term Rewriting
Yuya Maeda, Naoki Nishida, Masahiko Sakai, Tomoya Kobayashi (Nagoya Univ.)
pp. 73 - 78
MSS2018-69
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.)
pp. 79 - 84
MSS2018-70
Design of distribution ratio on a multi-stage parallel production line based on an optimal velocity traffic model
Toru Sano, Keiji Konishi (Osaka Pref. Univ.), Takehiro Itou, Hisaya Wakayama (NEC)
pp. 85 - 90
MSS2018-71
Simpler proof of topological queue layout of graphs
Miki Miyauchi (NTT)
pp. 91 - 96
MSS2018-72
Efficient XQuery evaluation on compressed XML documents
Jukiya Ogura (Osaka Univ.), Yasunori Ishihara (Nanzan Univ.), Toru Fujiwara (Osaka Univ.)
pp. 97 - 102
MSS2018-73
Data publishing based on query resolution in the data exchange framework
Keiji Fukushima (Osaka Univ.), Yasunori Ishihara (Nanzan Univ.), Toru Fujiwara (Osaka Univ.)
pp. 103 - 108
MSS2018-74
Verification method of GearsOS based on Hoare Logic
Masataka Hokama, Shinji Kono (Ryukyu Univ)
pp. 109 - 114
MSS2018-75
User Preference Extraction Method and Its Rating Scale with Associative Mining and Workflow Net
Mohd Anuaruddin Bin Ahmadon (Yamaguchi Univ.), Piyatida Sakorn (Kasetsart Univ.), Shingo Yamaguchi (Yamaguchi Univ.)
pp. 115 - 119
MSS2018-76
Prediction of Position for Mobile Objects based on BLE Signals and Machine Learning
Nan Toma, Arata Sashida (Univ. of the Ryukyus), Hideki Kinjo (Okinawa Univ.), Morikazu Nakamura (Univ. of the Ryukyus), Akira Sakima (Kuniken Systems)
pp. 121 - 125
MSS2018-77
Agricultural Knowledge Management Using Smart Voice Messaging Systems
-- Trial Experiment at Greenhouse Vegetable Farm --
Naoshi Uchihira (JAIST), Masami Yoshida (Agrisensing)
pp. 127 - 132
MSS2018-78
(See Japanese page.)
pp. 133 - 138
MSS2018-79
(See Japanese page.)
pp. 139 - 144
MSS2018-80
(See Japanese page.)
pp. 145 - 150
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.