Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2015] | [2016] | [2017] | [2018] | [2019] | [2020] | [2021] | [Japanese] / [English]
MSS2018-81
A Proposal of Screen Design Personalization Based on Reference Relationships among Data Items
-- Focusing on Power Supply and Demand Systems --
Takuya Arata, Shingo Yamaguchi (Yamaguchi Univ), Ichiro Toyoshima (Toshiba Energy)
pp. 1 - 6
MSS2018-82
Experiment on SMT-LIB Encoding Methods for Simulink Models
Koki Takenaka, Daisuke Ishii (U. Fukui)
pp. 7 - 11
MSS2018-83
Specification description of real-time multitask systems by the OTS/CafeOBJ method
Shuki Higashi, Masaki Nakamura, Kazutoshi Sakakibara (Toyama Pref. Univ.), Kazuhiro Ogata (JAIST)
pp. 13 - 18
MSS2018-84
Implementation of Rigorous Simulator for Hybrid Systems Based on Duracz et al. 's Operational Semantics
Shota Kojima, Daisuke Ishii (U. Fukui)
pp. 19 - 22
MSS2018-85
An ADMM Approach to Distributed Optimization in Distribution System for Balancing Consumers Utilities
Naoki Hidaka, Toshiyuki Miyamoto (Osaka Univ.)
pp. 23 - 27
MSS2018-86
Population Game Model of Customers with Erroneous Perceptions of Values on Reviews
Daiki Kuromi, Takafumi Kanazawa (Osaka Univ.)
pp. 29 - 34
MSS2018-87
On Stability of Consensus Control of Discrete-time Multi-agent Systems by a Single Pinning Agent
Dongwu Xu, Toshimitsu Ushio (Osaka Univ.)
pp. 35 - 38
MSS2018-88
Invariants and Invariant groups of cellular automata
Tadakazu Sato (Toyo Univ.)
pp. 39 - 44
MSS2018-89
A study on the probabilistic information processing using a machine learning result
Shun Kataoka (OUC)
pp. 45 - 50
MSS2018-90
Verification of Anomaly Detection Method for Digital Input-Output Signals
Masahiko Shibata, Daiki Nakahara, Satoshi Mii (Mitsubishi Electric Corp.)
pp. 51 - 55
MSS2018-91
[Invited Talk]
Optimization Algorithms for Deregulation of Electric Power Market
Marta Marmiroli (MITSUBISHI ELECTRIC)
pp. 57 - 58
MSS2018-92
Words co-occurrence-based mail filtering using Jaccard coefficient
Seiya Temma, Manabu Sugii, Hiroshi Matsuno (Yamaguchi Univ)
pp. 59 - 64
MSS2018-93
(See Japanese page.)
pp. 65 - 68
MSS2018-94
Formalization Method for Language Classification Based on Case Grammar
Shuji Harazoe, Natsuki Kamiya (Yamaguchi Univ.), Ren Wu (Yamaguchi JC.), Hiroshi Matsuno (Yamaguchi Univ.)
pp. 69 - 74
MSS2018-95
A derivation of weighted transition system for Simulink models from simulation results
Ryota Owaki (Nagoya Univ), Shoji Yuen (Nagooya Univ)
pp. 75 - 80
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.