IEICE Technical Committee

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

Presentation

Optimal Control of Weighted Automata with Linear Temporal Logic Constraints

Ami Sakakibara(Osaka Univ.), Sasinee Pruekprasert(Osaka Univ.), Toshimitsu Ushio(Osaka Univ.),

[Date]2016-01-26
[Paper #]MSS2015-54,SS2015-63

Application of reinforcement learning to output feedback networked control systems with network delay

Taishi Fujita(Osaka Univ.), Toshimitsu Ushio(Osaka Univ.),

[Date]2016-01-26
[Paper #]MSS2015-55,SS2015-64

A Proposal of Job Scheduling with Performance Measurements by Benchmarks for User PC Computing System

Yuki Aoyagi(Okayama Univ.), Nobuo Funabiki(Okayama Univ.), Minoru Kuribayashi(Okayama Univ.),

[Date]2016-01-26
[Paper #]MSS2015-62,SS2015-71

Elastic WLAN System Model and Its Implementation on Linux-PC

Md. Ezharul Islam(Okayama Univ.), Nobuo Funabiki(Okayama Univ.), Minoru Kuribayashi(Okayama Univ.),

[Date]2016-01-26
[Paper #]MSS2015-61,SS2015-70

A Study of Value Trace Problems for Graph Theory Algorithms in Java Programming Learning Assistant System

Khin Khin Zaw(Okayama Univ.), Nobuo Funabiki(Okayama Univ.), Minoru Kuribayashi(Okayama Univ.),

[Date]2016-01-26
[Paper #]MSS2015-63,SS2015-72

Identifying Generated Code by Using Machine Learning Techniques

Kento Shimonaka(Osaka Univ.), Soichi Sumi(Osaka Univ.), Yoshiki Higo(Osaka Univ.), Shinji Kusumoto(Osaka Univ.),

[Date]2016-01-26
[Paper #]MSS2015-64,SS2015-73

An Automatic Repair Method Based on Genetic Programming Using Selective Crossover

Ryotaro Kou(Osaka Univ.), Yoshiki Higo(Osaka Univ.), Shinji Kusumoto(Osaka Univ.),

[Date]2016-01-26
[Paper #]MSS2015-65,SS2015-74

Active damping control for Automatic drive wagon

Kosuke Kishimoto(Kinki Univ), Manabu Kosaka(Kinki Univ),

[Date]2016-01-26
[Paper #]MSS2015-56,SS2015-65

An Empirical Study of Uncertainty in OSS Development Based on Commit Log

Kazuhiro Yamashita(Kyushu Univ.), Guanda Jiang(Kyushu Univ.), Takuya Fukamachi(Kyushu Univ.), Yasutaka Kamei(Kyushu Univ.), Noyasu Ubayashi(Kyushu Univ.),

[Date]2016-01-26
[Paper #]MSS2015-66,SS2015-75

Towards an Extension of CCS for Hybrid Systems

Yuto Kawakita(Ngagoya Univ.), Shoji Yuen(Ngagoya Univ.),

[Date]2016-01-26
[Paper #]MSS2015-58,SS2015-67

Transforming Constrained Dependency Pairs by Narrowing

Tomohiro Sasano(Nagoya Univ.), Naoki Nishida(Nagoya Univ.), Masahiko Sakai(Nagoya Univ.),

[Date]2016-01-26
[Paper #]MSS2015-57,SS2015-66

Modeling and Performance Verification of Embedded Software Sharing Resources with Least Laxity First Schedulers Using Extended Time Petri Nets

Takafumi Nakamura(Hiroshima City Univ.), Akio Nakata(Hiroshima City Univ.),

[Date]2016-01-26
[Paper #]MSS2015-59,SS2015-68