Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2008] | [2009] | [2010] | [2011] | [2012] | [2013] | [2014] | [Japanese] / [English]
CAS2011-64
On Efficient Universal Quantum Circuits
Satoshi Tayu, Tomoki Yamada, Shuichi Ueno (Tokyo Inst. of Tech.)
pp. 1 - 6
CAS2011-65
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)
pp. 7 - 12
CAS2011-66
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.)
pp. 13 - 18
CAS2011-67
A Method of Generating Incidence Matrices for High-Speed Petri Net Simulation
Masafumi Kondo, Yusuke Koyoshi, Tomoyuki Yokogawa, Yoichiro Sato (Okayama Prefectural Univ)
pp. 19 - 24
CAS2011-68
On some algorithm to verify trap ccontaining circuit nets.
Atsushi Ohta, Kohkichi Tsuji (Aichi Pref. Univ.)
pp. 25 - 30
CAS2011-69
On Designing An e-Learning System for Training Attitude of Information Society by Using Petri Net
Shihori Ahama, Qi-Wei Ge (Yamaguchi Univ.)
pp. 31 - 34
CAS2011-70
Toward Modeling of Complex Processes in Nursing and Caregiving Services
Kunihiko Hiraishi, Sunseong Choe (JAIST), Kentaro Torii, Naoshi Uchihira, Toshiaki Tanaka (Toshiba)
pp. 35 - 40
CAS2011-71
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)
pp. 41 - 46
CAS2011-72
[Invited Talk]
a la carte Earthquakes and faults in Yamaguchi Prefecture
Yuji Kanaori (Yamaguchi Univ.)
pp. 47 - 52
CAS2011-73
A property verification of node-weights equalization focusing on cycles of a graph
Yoichi Sakai, Norihiko Shinomiya (Soka Univ.)
pp. 53 - 57
CAS2011-74
On a uniform allocation problem of stations to vertices in a graph
Masahiro Nawata, Norihiko Shinomiya (Soka Univ.)
pp. 59 - 63
CAS2011-75
An Improvement of stack queue mixed layouts of graphs
Hikoe Enomoto (Waseda Univ.), Miki Miyauchi (NTT)
pp. 65 - 70
CAS2011-76
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.)
pp. 71 - 76
CAS2011-77
Simple Well-Structured Workflow Nets and Its Properties
Bozhong Sun, Shingo Yamaguchi (Yamaguchi Univ.)
pp. 77 - 82
CAS2011-78
On Reachability Verification for Acyclic Well-Structured Work
Shinji Hamano, Shingo Yamaguchi (Yamaguchi Univ.)
pp. 83 - 87
CAS2011-79
A UML Subset for Design and Verification of Systems Based on SOA
Yasuwo Hasegawa, Hayato Niimura, Toshiyuki Miyamoto (Osaka Univ.)
pp. 89 - 94
CAS2011-80
Decentralized Supervisory Control for Timed Discrete Event Systems Using a Partition of the Forcible Event Set
Masashi Nomura, Shigemasa Takai (Osaka Univ.)
pp. 95 - 100
CAS2011-81
Minimum Energy Broadcast on Two Dimensional Triangular Grid Wireless Networks
Youhei Kouchi, Akira Matsubayashi (Kanazawa Univ.)
pp. 101 - 106
CAS2011-82
Reduction in sampling-point numbers for 3-D diamond- shaped DFTs used in harmonic balance method
Toshihiro Hori (Ibaraki CT)
pp. 107 - 112
CAS2011-83
Influence of the number of couplings of cardiac cell models on the beating rhythm
Yuichiro Kiryu, Yoshinobu Maeda, Atsuhiko Iijima, Toyohiko Hayashi (Niigata Univ)
pp. 113 - 118
CAS2011-84
A Recurrence for the Number of Baxter Permutations via Rectangular Partition
Toshihiko Takahashi (Niigata Univ.)
pp. 119 - 122
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.