IEICE Technical Report

Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380

Mathematical Systems Science and its applications

Workshop Date : 2020-03-09 - 2020-03-10 / Issue Date : 2020-03-02

MSS2019-57
PI Controller for Population-Independent Imitation of Success
Kou Kajiyama, Takafumi Kanazawa (Osaka Univ.)
pp. 1 - 4

MSS2019-58
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.)
pp. 5 - 8

MSS2019-59
Effect of Non-learned Words in Spam Mail Filtering
Kazuya Nakatani, Seiya Temma, Manabu Sugii, Hiroshi Matsuno (Yamaguchi Univ.)
pp. 9 - 12

MSS2019-60
Feature Analysis of Strange Words for Spam Mail Filtering
Seiya Temma, Kazuya Nakatani, Manabu Sugii, Hiroshi Matsuno (Yamaguchi Univ.)
pp. 13 - 18

MSS2019-61
Formalization of Modalities in Fillmore's Case Grammar for Language Characterization.
Shuji Harazoe (Yamaguchi Univ.), Ren Wu (Yamaguchi JC.), Hiroshi Matsuno (Yamaguchi Univ.)
pp. 19 - 24

MSS2019-62
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)
pp. 25 - 30

MSS2019-63
Greedy Heuristic Methods for 2-object Min-Max Set Multi-cover Problem
Qiwei SUN, Toshiyuki Miyamoto (Osaka Univ.), Shoichi Kitamura, Ayako Taniguchi-Matsuoka, Kento Naito, Kazuyuki Mori (Mitsubishi Electric), Yoshio Izui (KIT)
pp. 31 - 36

MSS2019-64
Optimal Resource Allocation for Distributed Computing Environments based on Integer Programming Generation
Shoya Kyan, Tomoya Uchihara, Morikazu Nakamura (Univ. of the Ryukyus)
pp. 37 - 42

MSS2019-65
NA
Masashi Tawada, Nozomu Togawa (Waseda Univ.)
pp. 43 - 48

MSS2019-66
Design of Event-Triggered Quantized State Feedback Based on Uniformly Ultimate Boundedness
Shumpei Yoshikawa, Koichi Kobayashi, Yuh Yamashita (Hokkaido Univ.)
pp. 49 - 52

MSS2019-67
Temporal Logic Falsification for Simulink models based on the hybrid robustness using ChainerRL
Ryota Owaki, Shoji Yuen (NU)
pp. 53 - 58

MSS2019-68
Reinforcement learning in goods transportation for an autonomous vehicle with co-safe temporal logic specifications
Jian Mi, Toshimitsu Ushio (Osaka Univ.)
pp. 59 - 64

Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.

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