Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2008] | [2009] | [2010] | [2011] | [2012] | [2013] | [2014] | [Japanese] / [English]
MSS2011-33
On Efficient Universal Quantum Circuits
Satoshi Tayu, Tomoki Yamada, Shuichi Ueno (Tokyo Inst. of Tech.)
pp. 1 - 6
MSS2011-34
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
MSS2011-35
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
MSS2011-36
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
MSS2011-37
On some algorithm to verify trap ccontaining circuit nets.
Atsushi Ohta, Kohkichi Tsuji (Aichi Pref. Univ.)
pp. 25 - 30
MSS2011-38
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
MSS2011-39
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
MSS2011-40
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
MSS2011-41
[Invited Talk]
a la carte Earthquakes and faults in Yamaguchi Prefecture
Yuji Kanaori (Yamaguchi Univ.)
pp. 47 - 52
MSS2011-42
A property verification of node-weights equalization focusing on cycles of a graph
Yoichi Sakai, Norihiko Shinomiya (Soka Univ.)
pp. 53 - 57
MSS2011-43
On a uniform allocation problem of stations to vertices in a graph
Masahiro Nawata, Norihiko Shinomiya (Soka Univ.)
pp. 59 - 63
MSS2011-44
An Improvement of stack queue mixed layouts of graphs
Hikoe Enomoto (Waseda Univ.), Miki Miyauchi (NTT)
pp. 65 - 70
MSS2011-45
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
MSS2011-46
Simple Well-Structured Workflow Nets and Its Properties
Bozhong Sun, Shingo Yamaguchi (Yamaguchi Univ.)
pp. 77 - 82
MSS2011-47
On Reachability Verification for Acyclic Well-Structured Work
Shinji Hamano, Shingo Yamaguchi (Yamaguchi Univ.)
pp. 83 - 87
MSS2011-48
A UML Subset for Design and Verification of Systems Based on SOA
Yasuwo Hasegawa, Hayato Niimura, Toshiyuki Miyamoto (Osaka Univ.)
pp. 89 - 94
MSS2011-49
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
MSS2011-50
Minimum Energy Broadcast on Two Dimensional Triangular Grid Wireless Networks
Youhei Kouchi, Akira Matsubayashi (Kanazawa Univ.)
pp. 101 - 106
MSS2011-51
Reduction in sampling-point numbers for 3-D diamond- shaped DFTs used in harmonic balance method
Toshihiro Hori (Ibaraki CT)
pp. 107 - 112
MSS2011-52
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
MSS2011-53
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.