Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
CAS, MSS |
2011-11-17 13:00 |
Yamaguchi |
Univ. of Yamaguchi |
On Efficient Universal Quantum Circuits Satoshi Tayu, Tomoki Yamada, Shuichi Ueno (Tokyo Inst. of Tech.) CAS2011-64 MSS2011-33 |
The universal quantum circuit has been studied in the literature as a programmable quantum circuit, which can realize ma... [more] |
CAS2011-64 MSS2011-33 pp.1-6 |
CAS, MSS |
2011-11-17 13:25 |
Yamaguchi |
Univ. of Yamaguchi |
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) CAS2011-65 MSS2011-34 |
This report deals with the equilibrium analysis of irreversible investment between leader and follower under price/deman... [more] |
CAS2011-65 MSS2011-34 pp.7-12 |
CAS, MSS |
2011-11-17 13:50 |
Yamaguchi |
Univ. of Yamaguchi |
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.) CAS2011-66 MSS2011-35 |
This report deals with the synchronization of chaotic fluctuation
observed in features of agents' behaviors located on... [more] |
CAS2011-66 MSS2011-35 pp.13-18 |
CAS, MSS |
2011-11-17 14:15 |
Yamaguchi |
Univ. of Yamaguchi |
A Method of Generating Incidence Matrices for High-Speed Petri Net Simulation Masafumi Kondo, Yusuke Koyoshi, Tomoyuki Yokogawa, Yoichiro Sato (Okayama Prefectural Univ) CAS2011-67 MSS2011-36 |
A high-speed method of evaluating performance of large scale digital systems by combination with analytical approaches ... [more] |
CAS2011-67 MSS2011-36 pp.19-24 |
CAS, MSS |
2011-11-17 14:50 |
Yamaguchi |
Univ. of Yamaguchi |
On some algorithm to verify trap ccontaining circuit nets. Atsushi Ohta, Kohkichi Tsuji (Aichi Pref. Univ.) CAS2011-68 MSS2011-37 |
Petri net is a graphical and mathematical modeling tool for concurrent systems.
Analysis of general Petri net requires ... [more] |
CAS2011-68 MSS2011-37 pp.25-30 |
CAS, MSS |
2011-11-17 15:15 |
Yamaguchi |
Univ. of Yamaguchi |
Simple Well-Structured Workflow Nets and Its Properties Bozhong Sun, Shingo Yamaguchi (Yamaguchi Univ.) CAS2011-77 MSS2011-46 |
Acyclic well-structured workflow net is a subclass of acyclic extended free choice workflow net. We are working on a pro... [more] |
CAS2011-77 MSS2011-46 pp.77-82 |
CAS, MSS |
2011-11-17 15:40 |
Yamaguchi |
Univ. of Yamaguchi |
Toward Modeling of Complex Processes in Nursing and Caregiving Services Kunihiko Hiraishi, Sunseong Choe (JAIST), Kentaro Torii, Naoshi Uchihira, Toshiaki Tanaka (Toshiba) CAS2011-70 MSS2011-39 |
From 2010, JST/RISTEX started a new R & D program “Service Science, Solutions and Foundation Integrated Research Program... [more] |
CAS2011-70 MSS2011-39 pp.35-40 |
CAS, MSS |
2011-11-17 16:05 |
Yamaguchi |
Univ. of Yamaguchi |
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) CAS2011-71 MSS2011-40 |
We have proposed the consecutive handwritten character recognition method based on the feature graph. The feature graph ... [more] |
CAS2011-71 MSS2011-40 pp.41-46 |
CAS, MSS |
2011-11-17 16:40 |
Yamaguchi |
Univ. of Yamaguchi |
[Invited Talk]
a la carte Earthquakes and faults in Yamaguchi Prefecture Yuji Kanaori (Yamaguchi Univ.) CAS2011-72 MSS2011-41 |
This invited talk introduces topics of earthquakes and faults for a la carte, as going northeastward along Route 9 from ... [more] |
CAS2011-72 MSS2011-41 pp.47-52 |
CAS, MSS |
2011-11-18 09:00 |
Yamaguchi |
Univ. of Yamaguchi |
A property verification of node-weights equalization focusing on cycles of a graph Yoichi Sakai, Norihiko Shinomiya (Soka Univ.) CAS2011-73 MSS2011-42 |
Researches on various types of network management have been in progress, and there are some previous works focusing on c... [more] |
CAS2011-73 MSS2011-42 pp.53-57 |
CAS, MSS |
2011-11-18 09:25 |
Yamaguchi |
Univ. of Yamaguchi |
On a uniform allocation problem of stations to vertices in a graph Masahiro Nawata, Norihiko Shinomiya (Soka Univ.) CAS2011-74 MSS2011-43 |
Generally, p-center problem and p-median problem are known as an emergency or a public facility allocation problem on a ... [more] |
CAS2011-74 MSS2011-43 pp.59-63 |
CAS, MSS |
2011-11-18 09:50 |
Yamaguchi |
Univ. of Yamaguchi |
An Improvement of stack queue mixed layouts of graphs Hikoe Enomoto (Waseda Univ.), Miki Miyauchi (NTT) CAS2011-75 MSS2011-44 |
Dujmovic and Wood showed that for every integers s, q > 0, every graph G
has an s-stack q-queue mixed subdivision layou... [more] |
CAS2011-75 MSS2011-44 pp.65-70 |
CAS, MSS |
2011-11-18 10:25 |
Yamaguchi |
Univ. of Yamaguchi |
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.) CAS2011-76 MSS2011-45 |
[more] |
CAS2011-76 MSS2011-45 pp.71-76 |
CAS, MSS |
2011-11-18 10:50 |
Yamaguchi |
Univ. of Yamaguchi |
On Designing An e-Learning System for Training Attitude of Information Society by Using Petri Net Shihori Ahama, Qi-Wei Ge (Yamaguchi Univ.) CAS2011-69 MSS2011-38 |
[more] |
CAS2011-69 MSS2011-38 pp.31-34 |
CAS, MSS |
2011-11-18 11:15 |
Yamaguchi |
Univ. of Yamaguchi |
On Reachability Verification for Acyclic Well-Structured Work Shinji Hamano, Shingo Yamaguchi (Yamaguchi Univ.) CAS2011-78 MSS2011-47 |
Workflow nets are making great contributions for modeling and analysis of workflows.
In this paper, we tackle verificat... [more] |
CAS2011-78 MSS2011-47 pp.83-87 |
CAS, MSS |
2011-11-18 11:40 |
Yamaguchi |
Univ. of Yamaguchi |
A UML Subset for Design and Verification of Systems Based on SOA Yasuwo Hasegawa, Hayato Niimura, Toshiyuki Miyamoto (Osaka Univ.) CAS2011-79 MSS2011-48 |
SOA has received attension as an architecture which enables developping information systems in a short time. For efficie... [more] |
CAS2011-79 MSS2011-48 pp.89-94 |
CAS, MSS |
2011-11-18 12:05 |
Yamaguchi |
Univ. of Yamaguchi |
Decentralized Supervisory Control for Timed Discrete Event Systems Using a Partition of the Forcible Event Set Masashi Nomura, Shigemasa Takai (Osaka Univ.) CAS2011-80 MSS2011-49 |
In the framework of decentralized supervisory control of timed discrete event systems (TDESs), each local supervisordeci... [more] |
CAS2011-80 MSS2011-49 pp.95-100 |
CAS, MSS |
2011-11-18 13:30 |
Yamaguchi |
Univ. of Yamaguchi |
Minimum Energy Broadcast on Two Dimensional Triangular Grid Wireless Networks Youhei Kouchi, Akira Matsubayashi (Kanazawa Univ.) CAS2011-81 MSS2011-50 |
The minimum energy broadcast problem is to assign a transmission range to each node in an ad hoc wireless network to con... [more] |
CAS2011-81 MSS2011-50 pp.101-106 |
CAS, MSS |
2011-11-18 13:55 |
Yamaguchi |
Univ. of Yamaguchi |
Reduction in sampling-point numbers for 3-D diamond- shaped DFTs used in harmonic balance method Toshihiro Hori (Ibaraki CT) CAS2011-82 MSS2011-51 |
A method for reducing the numbers of sampling points to obtain the 3-D discrete Fourier transform (DFT) used in the harm... [more] |
CAS2011-82 MSS2011-51 pp.107-112 |
CAS, MSS |
2011-11-18 14:20 |
Yamaguchi |
Univ. of Yamaguchi |
Influence of the number of couplings of cardiac cell models on the beating rhythm Yuichiro Kiryu, Yoshinobu Maeda, Atsuhiko Iijima, Toyohiko Hayashi (Niigata Univ) CAS2011-83 MSS2011-52 |
Cardiac cells generate the action potential, which has relatively long absolute refractory period, so-called, the platea... [more] |
CAS2011-83 MSS2011-52 pp.113-118 |