Information and Systems-Image Engineering(Date:2020/10/23)

Presentation
Mathematical Characterization and Computational Complexity of Anti-Slide Puzzles

Ko Minamisawa(JAIST),  Ryuhei Uehara(JAIST),  Masao Hara(Tokai Univ.),  

[Date]2020-10-23
[Paper #]COMP2020-13
The odd depth tree problem

Hiroshi Nishiyama(Kyushu Univ.),  

[Date]2020-10-23
[Paper #]COMP2020-14
Efficient Enumeration of Non-isomorphic Distance-Hereditary Graphs and Ptolemaic Graphs

Kazuaki Yamazaki(JAIST),  Qian Mengze(JAIST),  Ryuhei Uehara(JAIST),  

[Date]2020-10-23
[Paper #]COMP2020-16
On a Complete Visibility for Autonomous Mobile Robots with Lights in Asynchronous scheduler on a Grid Plane

Yuno Ishida(NIT),  Yonghwan Kim(NIT),  Yoshiaki Katayama(NIT),  

[Date]2020-10-23
[Paper #]COMP2020-11
Classical verification of quantum computing with the trusted center

Tomoyuki Morimae(Kyoto Univ.),  

[Date]2020-10-23
[Paper #]
Polynomial Delay Enumeration for Steiner Problems

Yasuaki Kobayashi(Kyoto Univ.),  Kazuhiro Kurita(NII),  Kunihiro Wasa(Toyohashi Tech),  

[Date]2020-10-23
[Paper #]COMP2020-17
[Invited Talk] Index reduction for differential-algebraic equations with mixed matrices

Satoru Iwata(The Univ. of Tokyo),  Taihei Oki(The Univ. of Tokyo),  Mizuyo Takamatsu(Chuo Univ.),  

[Date]2020-10-23
[Paper #]COMP2020-12
Optimal online packet scheduling for 2-bounded delay buffer management with lookahead

Koji M. Kobayashi(UT),  

[Date]2020-10-23
[Paper #]COMP2020-15