Fri, Dec 13 09:00 - 18:10 |
(1) |
09:00-09:25 |
|
|
(2) |
09:25-09:50 |
A Self-Stabilizing 1-maximal Independent Set Algorithm |
Hideyuki Tanaka, Yuichi Sudo (Osaka Univ.), Hirotsugu Kakugawa (Ryukoku Univ.), Toshimitsu Masuzawa (Osaka Univ.), Ajoy K. Datta (UNLV) |
(3) |
09:50-10:15 |
Self-stabilizing graph exploration by a mobile agent with fast recovery from edge deletions |
Yuki Hara, Yuichi Sudo (Osaka Univ.), Hirotsugu Kakugawa (Ryukoku Univ.), Toshimitsu Masuzawa (Osaka Univ.) |
|
10:15-10:25 |
Break ( 10 min. ) |
(4) |
10:25-10:50 |
A Note on a Latch/Flip-flop Mixed High-level Synthesis |
Keisuke Inoue (ICT) |
(5) |
10:50-11:15 |
An exact string matching algorithm based on the distances of q-gram occurrences |
Satoshi Kobayashi, Diptarama Hendrian, Ryo Yoshinaka, Ayumi Shinohara (Tohoku Univ.) |
(6) |
11:15-11:40 |
Computational complexity of satisfiability problem with exact number of solutions |
Hiromu Horiuchi, Naoyuki Morimoto, Toshiyuki Yamada, Akinori Kawachi (Mie Univ.) |
|
11:40-13:00 |
Lunch ( 80 min. ) |
(7) |
13:00-14:00 |
[Invited Talk]
Spectral Sparsification of Hypergraphs |
Tasuku Soma (The Univ. of Tokyo), Yuichi Yoshida (NII) |
|
14:00-14:10 |
Break ( 10 min. ) |
(8) |
14:10-14:35 |
Computational Complexity of Relaxed Optimal Rule Ordering |
Takashi Harada (Kochi Univ. of Tech.), Ken Tanaka (Kanagawa Univ.), Kenji Mikawa (Niigata Univ.) |
(9) |
14:35-15:00 |
On a formula for Boolean expressions of Conjunctive normal form and computational complexity |
Tomoya Machide (NII) |
(10) |
15:00-15:25 |
On Ambiguous Reasoning of Multiple Input Variables Combination by Utilizing Additive Results |
Yoko Kamidoi, Shin'ichi Wakabayashi (Hiroshima City Univ.) |
|
15:25-15:35 |
Break ( 10 min. ) |
(11) |
15:35-16:00 |
Reduction of number of signals on controlling reaction systems |
Ryutaro Yako, Satoshi Kobayashi (UEC) |
(12) |
16:00-16:25 |
Improvement of complexity of control system of Regular Grammars with Unknown Behaviors |
Nobuya Kimoto, Satoshi Kobayashi (UEC) |
(13) |
16:25-16:50 |
Limited Deterministic Automata and Pumping Lemma |
Kosei Yoshida, Tomoyuki Yamakami (U of Fukui) |
|
16:50-17:00 |
Break ( 10 min. ) |
(14) |
17:00-17:25 |
|
|
(15) |
17:25-17:50 |
The Analysis of Anti-slide |
Kento Kimura, Kazuyuki Amano, Tetsuya Araki (Gunma Univ.) |
(16) |
17:50-18:10 |
Depth Two Majority Circuits for Majority |
Yasuhiro Ojima, Takuya Yokokawa, Kazuyuki Amano (Gunma Univ.) |