Thu, Nov 17 PM CAS1 13:00 - 14:50 |
(1) |
13:00-13:25 |
On Efficient Universal Quantum Circuits |
Satoshi Tayu, Tomoki Yamada, Shuichi Ueno (Tokyo Inst. of Tech.) |
(2) |
13:25-13:50 |
Equilibrium Analysis of Irreversible Investment between Leader and Follower under Price/Demand Functions described by Variables including Jump Diffusion Processes |
Shozo Tokinaga (Kyushu Univ.), Yoshinori Kishikawa (UNCT) |
(3) |
13:50-14:15 |
Synchronization of Chaotic Fluctuation observed in Features of Agents Behaviors located on a Plane and affected by Local Interactions |
Shozo Tokinaga (Kyushu Univ.), Yoshikazu Ikeda (Kitakyushu Univ.) |
(4) |
14:15-14:40 |
A Method of Generating Incidence Matrices for High-Speed Petri Net Simulation |
Masafumi Kondo, Yusuke Koyoshi, Tomoyuki Yokogawa, Yoichiro Sato (Okayama Prefectural Univ) |
|
14:40-14:50 |
Break ( 10 min. ) |
Thu, Nov 17 PM MSS1 14:50 - 16:40 |
(5) |
14:50-15:15 |
On some algorithm to verify trap ccontaining circuit nets. |
Atsushi Ohta, Kohkichi Tsuji (Aichi Pref. Univ.) |
(6) |
15:15-15:40 |
Simple Well-Structured Workflow Nets and Its Properties |
Bozhong Sun, Shingo Yamaguchi (Yamaguchi Univ.) |
(7) |
15:40-16:05 |
Toward Modeling of Complex Processes in Nursing and Caregiving Services |
Kunihiko Hiraishi, Sunseong Choe (JAIST), Kentaro Torii, Naoshi Uchihira, Toshiaki Tanaka (Toshiba) |
(8) |
16:05-16:30 |
Improvement and Evaluation of Algorithms for Recognition of Consecutive Handwritten Characters by Feature Graph |
Ryuzo Fukuda, Ryo Arakawa, Mitsuru Nakata, Qi-Wei Ge, Makoto Yoshimura (Yamaguchi Univ) |
|
16:30-16:40 |
Break ( 10 min. ) |
Thu, Nov 17 PM Invited presentation 16:40 - 17:40 |
(9) |
16:40-17:40 |
[Invited Talk]
a la carte Earthquakes and faults in Yamaguchi Prefecture |
Yuji Kanaori (Yamaguchi Univ.) |
Fri, Nov 18 AM CAS2 09:00 - 10:25 |
(10) |
09:00-09:25 |
A property verification of node-weights equalization focusing on cycles of a graph |
Yoichi Sakai, Norihiko Shinomiya (Soka Univ.) |
(11) |
09:25-09:50 |
On a uniform allocation problem of stations to vertices in a graph |
Masahiro Nawata, Norihiko Shinomiya (Soka Univ.) |
(12) |
09:50-10:15 |
An Improvement of stack queue mixed layouts of graphs |
Hikoe Enomoto (Waseda Univ.), Miki Miyauchi (NTT) |
|
10:15-10:25 |
Break ( 10 min. ) |
Fri, Nov 18 AM MSS2 10:25 - 13:30 |
(13) |
10:25-10:50 |
Proposal of a method to determine retention-free firing frequencies in cycle-contained Petri net model of signaling pathway |
Yuki Murakami, Qi-Wei Ge, Hiroshi Matsuno (Yamaguchi Univ.) |
(14) |
10:50-11:15 |
On Designing An e-Learning System for Training Attitude of Information Society by Using Petri Net |
Shihori Ahama, Qi-Wei Ge (Yamaguchi Univ.) |
(15) |
11:15-11:40 |
On Reachability Verification for Acyclic Well-Structured Work |
Shinji Hamano, Shingo Yamaguchi (Yamaguchi Univ.) |
(16) |
11:40-12:05 |
A UML Subset for Design and Verification of Systems Based on SOA |
Yasuwo Hasegawa, Hayato Niimura, Toshiyuki Miyamoto (Osaka Univ.) |
(17) |
12:05-12:30 |
Decentralized Supervisory Control for Timed Discrete Event Systems Using a Partition of the Forcible Event Set |
Masashi Nomura, Shigemasa Takai (Osaka Univ.) |
|
12:30-13:30 |
Lunch Break ( 60 min. ) |
Fri, Nov 18 PM CAS3 13:30 - 15:10 |
(18) |
13:30-13:55 |
Minimum Energy Broadcast on Two Dimensional Triangular Grid Wireless Networks |
Youhei Kouchi, Akira Matsubayashi (Kanazawa Univ.) |
(19) |
13:55-14:20 |
Reduction in sampling-point numbers for 3-D diamond- shaped DFTs used in harmonic balance method |
Toshihiro Hori (Ibaraki CT) |
(20) |
14:20-14:45 |
Influence of the number of couplings of cardiac cell models on the beating rhythm |
Yuichiro Kiryu, Yoshinobu Maeda, Atsuhiko Iijima, Toyohiko Hayashi (Niigata Univ) |
(21) |
14:45-15:10 |
A Recurrence for the Number of Baxter Permutations via Rectangular Partition |
Toshihiko Takahashi (Niigata Univ.) |