Information and Systems-Software Science(Date:2011/11/10)

Presentation
表紙

,  

[Date]2011/11/10
[Paper #]
目次

,  

[Date]2011/11/10
[Paper #]
On Efficient Universal Quantum Circuits

Satoshi TAYU,  Tomoki YAMADA,  Shuichi UENO,  

[Date]2011/11/10
[Paper #]MSS2011-33,CAS2011-64
Equilibrium Analysis of Irreversible Investment between Leader and Follower under Price/Demand Functions described by Variables including Jump Diffusion Processes

Shozo TOKINAGA,  Yosinori KISHIKAWA,  

[Date]2011/11/10
[Paper #]MSS2011-34,CAS2011-65
Synchronization of Chaotic Fluctuation observed in Features of Agents' Behaviors located on a Plane and affected by Local Interactions

Shozo TOKINAGA,  Yoshikazu IKEDA,  

[Date]2011/11/10
[Paper #]MSS2011-35,CAS2011-66
A Method of Generating Incidence Matrices for High-Speed Petri Net Simulation

Masafumi KONDO,  Yusuke KOYOSHI,  Tomoyuki YOKOGAWA,  Yoichiro SATO,  

[Date]2011/11/10
[Paper #]MSS2011-36,CAS2011-67
On Some Algorithms to Verify Trap Containing Circuit Nets

Atsushi OHTA,  Kohkichi TSUJI,  

[Date]2011/11/10
[Paper #]MSS2011-37,CAS2011-68
On Designing An e-Learning System for Training Attitude of Information Society by Using Petri Net

Shihori AHAMA,  Qi-Wei GE,  

[Date]2011/11/10
[Paper #]MSS2011-38,CAS2011-69
Toward Modeling of Complex Processes in Nursing and Caregiving Services

Kunihiko HIRAISHI,  Sunseong Choe,  Kentaro TORII,  Naoshi UCHIHIRA,  Toshiaki TANAKA,  

[Date]2011/11/10
[Paper #]MSS2011-39,CAS2011-70
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,  

[Date]2011/11/10
[Paper #]MSS2011-40,CAS2011-71
a la carte Earthquakes and faults in Yamaguchi Prefecture

Yuji Kanaori,  

[Date]2011/11/10
[Paper #]MSS2011-41,CAS2011-72
A property verification of node-weights equalization focusing on cycles of a graph

Yoichi SAKAI,  Norihiko SHINOMIYA,  

[Date]2011/11/10
[Paper #]MSS2011-42,CAS2011-73
On a uniform allocation problem of stations to vertices in a graph

Masahiro NAWATA,  Norihiko SHINOMIYA,  

[Date]2011/11/10
[Paper #]MSS2011-43,CAS2011-74
グラフのスタックキューミックスレイアウトの改良(グラフ,ペトリネット,ニューラルネット,及び一般)

,  

[Date]2011/11/10
[Paper #]MSS2011-44,CAS2011-75
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,  

[Date]2011/11/10
[Paper #]MSS2011-45,CAS2011-76
Simple Well-Structured Workflow Nets and Its Properties

Bozhong SUN,  Shingo YAMAGUCHI,  

[Date]2011/11/10
[Paper #]MSS2011-46,CAS2011-77
On Reachability Verification for Acyclic Well-Structured Workflow Nets

Shinji HAMANO,  Shingo YAMAGUCHI,  

[Date]2011/11/10
[Paper #]MSS2011-47,CAS2011-78
A UML Subset for Design and Verification of Systems Based on SOA

Yasuwo HASEGAWA,  Hayato NIIMURA,  Toshiyuki MIYAMOTO,  

[Date]2011/11/10
[Paper #]MSS2011-48,CAS2011-79
Decentralized Supervisory Control for Timed Discrete Event Systems Using a Partition of the Forcible Event Set

Masashi NOMURA,  Shigemasa TAKAI,  

[Date]2011/11/10
[Paper #]MSS2011-49,CAS2011-80
Minimum Energy Broadcast on Two Dimensional Triangular Grid Wireless Networks

Youhei KOUCHI,  Akira MATSUBAYASHI,  

[Date]2011/11/10
[Paper #]MSS2011-50,CAS2011-81
12>> 1-20hit(27hit)