| IEICE Technical Committee Submission System Advance Program |
Online Proceedings [Sign in] Tech. Rep. Archives |
| Go Top | Go Back | / | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
|
=============================================== Technical Committee on Circuits and Systems (CAS) 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) 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) DATE: Thu, Nov 17, 2011 13:00 - 17:40 Fri, Nov 18, 2011 09:00 - 15:10 PLACE: Yoshida Campus, Yamaguchi University(1677-1, Yoshida, Yamaguchi-chi, Yamaguchi, Japan. Pro. Shingo Yamaguchi. +81-836-85-9510) TOPICS: Graph, Petri Net, Neural network, etc ---------------------------------------- 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) ----- 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) ----- 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) ----- 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.) ----- 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.) # Information for speakers General Talk will have 20 minutes for presentation and 5 minutes for discussion. Invited Talk will have 50 minutes for presentation and 10 minutes for discussion. === Technical Committee on Circuits and Systems (CAS) === # FUTURE SCHEDULE: Thu, Jan 19, 2012 - Fri, Jan 20, 2012: Kyushu Univ. [Thu, Nov 17], Topics: Circuit and System, etc. # SECRETARY: Takashi Kawamoto (Hitachi Ltd) TEL +81-42-323-1111 ext.4427 E-mail:        hv     === Technical Committee on Mathematical Systems Science and its applications (MSS) === # FUTURE SCHEDULE: Thu, Jan 26, 2012 - Fri, Jan 27, 2012: Kochi City Culture-Plaza Cul-Port [Wed, Nov 16], Topics: General topics # SECRETARY: NAKAMURA Masaki (Toyama Pref. Univ.) Tel: 0766-56-7500 (ex 639) E-mail:    -npu-  Last modified: 2011-11-09 08:51:07 |
Notification: Mail addresses are partially hidden against SPAM.
[Download Paper's Information (in Japanese)] <-- Press download button after click here.
[Cover and Index of IEICE Technical Report by Issue]
[Presentation and Participation FAQ] (in Japanese)
[Return to CAS Schedule Page] / [Return to MSS Schedule Page] /
| Go Top | Go Back | / | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
[Return to Top Page]