IEICE Technical Committee

Engineering Sciences/NOLTA-Mathematical Systems Science and its applications(Date:2019/01/15)

Presentation

On Representation of Structures and Unions in Logically Constrained Rewriting

Yoshiaki Kanazawa(Nagoya Univ.), Naoki Nishida(Nagoya Univ.), Masahiko Sakai(Nagoya Univ.),

[Date]2019-01-16
[Paper #]MSS2018-67,SS2018-38

Design of distribution ratio on a multi-stage parallel production line based on an optimal velocity traffic model

Toru Sano(Osaka Pref. Univ.), Keiji Konishi(Osaka Pref. Univ.), Takehiro Itou(NEC), Hisaya Wakayama(NEC),

[Date]2019-01-16
[Paper #]MSS2018-70,SS2018-41

Simpler proof of topological queue layout of graphs

Miki Miyauchi(NTT),

[Date]2019-01-16
[Paper #]MSS2018-71,SS2018-42

Extending Narrowing Trees to Basic Narrowing in Term Rewriting

Yuya Maeda(Nagoya Univ.), Naoki Nishida(Nagoya Univ.), Masahiko Sakai(Nagoya Univ.), Tomoya Kobayashi(Nagoya Univ.),

[Date]2019-01-16
[Paper #]MSS2018-68,SS2018-39

Unbounded Model Checking of Time Petri Nets Using SMT Solver

Nao Igawa(Okayama Prefectural Univ.), Tomoyuki Yokogawa(Okayama Prefectural Univ.), Masafumi Kondo(Kawasaki Univ. of Medical Welfare), Yoichiro Sato(Okayama Prefectural Univ.), Kazutami Arimoto(Okayama Prefectural Univ.),

[Date]2019-01-16
[Paper #]MSS2018-69,SS2018-40

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.),

[Date]2019-01-16
[Paper #]MSS2018-75,SS2018-46

Verification method of GearsOS based on Hoare Logic

Masataka Hokama(Ryukyu Univ), Shinji Kono(Ryukyu Univ),

[Date]2019-01-16
[Paper #]MSS2018-74,SS2018-45