|
|
| Chair |
|
Masaru Kokubo (Hitachi) |
| Vice Chair |
|
Keisuke Nakano (Niigata Univ.) |
| Secretary |
|
Yoshinobu Maeda (Niigata Univ.), Satoshi Tanaka (Renesas) |
| Assistant |
|
Daisuke Takafuji (Hiroshima Univ.), Takashi Kawamoto (Hitachi), Kazuyuki Miyakita (Niigata Univ.) |
|
| Technical Committee on Mathematical Systems Science and its applications (MSS) |
[schedule] [select]
|
|
| Chair |
|
Kunihiko Hiraishi (JAIST) |
| Vice Chair |
|
Yuichi Nakamaura (NEC) |
| Secretary |
|
Masaki Nakamura (Toyama Pref. Univ.), Shinnosuke Yamaguchi (Kyushu Inst. of Tech.) |
| Assistant |
|
Daisuke Nishiwaki (NEC) |
|
| Conference Date |
Thu, Nov 17, 2011 13:00 - 17:40
Fri, Nov 18, 2011 09:00 - 15:10 |
| Topics |
Graph, Petri Net, Neural network, etc |
| Conference Place |
Yoshida Campus, Yamaguchi University |
| Address |
1677-1, Yoshida, Yamaguchi-chi, Yamaguchi, Japan |
Contact
Person |
Pro. Shingo Yamaguchi
+81-836-85-9510 |
Copyright
and
reproduction |
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
Thu, Nov 17 PM CAS1
13:00 - 14:50 |
| (1) |
13:00-13:25 |
On Efficient Universal Quantum Circuits  CAS2011-64 MSS2011-33 |
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 CAS2011-65 MSS2011-34 |
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 CAS2011-66 MSS2011-35 |
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 CAS2011-67 MSS2011-36 |
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. CAS2011-68 MSS2011-37 |
Atsushi Ohta, Kohkichi Tsuji (Aichi Pref. Univ.) |
| (6) |
15:15-15:40 |
Simple Well-Structured Workflow Nets and Its Properties CAS2011-77 MSS2011-46 |
Bozhong Sun, Shingo Yamaguchi (Yamaguchi Univ.) |
| (7) |
15:40-16:05 |
Toward Modeling of Complex Processes in Nursing and Caregiving Services CAS2011-70 MSS2011-39 |
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 CAS2011-71 MSS2011-40 |
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 CAS2011-72 MSS2011-41 |
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 CAS2011-73 MSS2011-42 |
Yoichi Sakai, Norihiko Shinomiya (Soka Univ.) |
| (11) |
09:25-09:50 |
On a uniform allocation problem of stations to vertices in a graph CAS2011-74 MSS2011-43 |
Masahiro Nawata, Norihiko Shinomiya (Soka Univ.) |
| (12) |
09:50-10:15 |
An Improvement of stack queue mixed layouts of graphs CAS2011-75 MSS2011-44 |
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 CAS2011-76 MSS2011-45 |
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 CAS2011-69 MSS2011-38 |
Shihori Ahama, Qi-Wei Ge (Yamaguchi Univ.) |
| (15) |
11:15-11:40 |
On Reachability Verification for Acyclic Well-Structured Work CAS2011-78 MSS2011-47 |
Shinji Hamano, Shingo Yamaguchi (Yamaguchi Univ.) |
| (16) |
11:40-12:05 |
A UML Subset for Design and Verification of Systems Based on SOA CAS2011-79 MSS2011-48 |
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 CAS2011-80 MSS2011-49 |
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 CAS2011-81 MSS2011-50 |
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 CAS2011-82 MSS2011-51 |
Toshihiro Hori (Ibaraki CT) |
| (20) |
14:20-14:45 |
Influence of the number of couplings of cardiac cell models on the beating rhythm CAS2011-83 MSS2011-52 |
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 CAS2011-84 MSS2011-53 |
Toshihiko Takahashi (Niigata Univ.) |
| Announcement for Speakers |
| General Talk | Each speech will have 20 minutes for presentation and 5 minutes for discussion. |
| Invited Talk | Each speech will have 50 minutes for presentation and 10 minutes for discussion. |
| Contact Address and Latest Schedule Information |
| CAS |
Technical Committee on Circuits and Systems (CAS) [Latest Schedule]
|
| Contact Address |
Takashi Kawamoto (Hitachi Ltd)
TEL +81-42-323-1111 ext.4427
E- :        hv     |
| MSS |
Technical Committee on Mathematical Systems Science and its applications (MSS) [Latest Schedule]
|
| Contact Address |
NAKAMURA Masaki (Toyama Pref. Univ.)
Tel: 0766-56-7500 (ex 639)
E-:    -npu-  |
Last modified: 2011-11-09 08:51:07
|