Engineering Sciences/NOLTA-Circuits and Systems(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 #]CAS2011-64,MSS2011-33
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 #]CAS2011-65,MSS2011-34
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 #]CAS2011-66,MSS2011-35
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 #]CAS2011-67,MSS2011-36
On Some Algorithms to Verify Trap Containing Circuit Nets

Atsushi OHTA,  Kohkichi TSUJI,  

[Date]2011/11/10
[Paper #]CAS2011-68,MSS2011-37
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 #]CAS2011-69,MSS2011-38
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 #]CAS2011-70,MSS2011-39
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 #]CAS2011-71,MSS2011-40
a la carte Earthquakes and faults in Yamaguchi Prefecture

Yuji Kanaori,  

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

Yoichi SAKAI,  Norihiko SHINOMIYA,  

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

Masahiro NAWATA,  Norihiko SHINOMIYA,  

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

,  

[Date]2011/11/10
[Paper #]CAS2011-75,MSS2011-44
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 #]CAS2011-76,MSS2011-45
Simple Well-Structured Workflow Nets and Its Properties

Bozhong SUN,  Shingo YAMAGUCHI,  

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

Shinji HAMANO,  Shingo YAMAGUCHI,  

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

Yasuwo HASEGAWA,  Hayato NIIMURA,  Toshiyuki MIYAMOTO,  

[Date]2011/11/10
[Paper #]CAS2011-79,MSS2011-48
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 #]CAS2011-80,MSS2011-49
Minimum Energy Broadcast on Two Dimensional Triangular Grid Wireless Networks

Youhei KOUCHI,  Akira MATSUBAYASHI,  

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