Information and Systems-Software Science(Date:2012/03/01)

Presentation
表紙

,  

[Date]2012/3/1
[Paper #]
目次

,  

[Date]2012/3/1
[Paper #]
Self-triggered predictive control considering activation costs of controller

Shogo NAKAO,  Toshimitsu USHIO,  

[Date]2012/3/1
[Paper #]MSS2011-72
Bisimilarity Control of Nondeterministic Discrete Event Systems under Event and State Observations

Katsuyuki KIMURA,  Masashi NOMURA,  Shigemasa TAKAI,  

[Date]2012/3/1
[Paper #]MSS2011-73
Verification of Codiagnosability for Decentralized Diagnosis of Discrete Event Systems Using the AND Rule

Takashi YAMAMOTO,  Shigemasa TAKAI,  

[Date]2012/3/1
[Paper #]MSS2011-74
Experimental Evaluation of Smart Voice Messaging in Nursing and Caregiving Services Using Virtual Field

Sunsoeog CHOE,  Kunihiko HIRAISHI,  Naoshi UCHIHIRA,  Kentaro TORII,  Toshiaki TANAKA,  Yuji HIRABAYASHI,  

[Date]2012/3/1
[Paper #]MSS2011-75
Effect of the improvement on classification performance of the filtering system based on Bayesian and decision tree methods

Hiroyuki YAMAGUCHI,  Manabu SUGII,  Hiroshi MATSUNO,  

[Date]2012/3/1
[Paper #]MSS2011-76
Consideration on the token retention-free in timed Petri net model based on the signaling pathway characteristics

Yuki MURAKAMI,  Qi-Wei GE,  Hiroshi MATSUNO,  

[Date]2012/3/1
[Paper #]MSS2011-77
A Translator of C to Petri Net Markup Language C2PNML and Its Application Examples

Hiroaki TANIGUCHI,  Shingo YAMAGUCHI,  Takeshi SUSAKI,  

[Date]2012/3/1
[Paper #]MSS2011-78
A Modeling Method of Single-Car Multi-Shaft Elevator Systems on CPN Tools and Its Application

Norihide ISHIDA,  Shingo YAMAGUCHI,  Ryohei UEDA,  

[Date]2012/3/1
[Paper #]MSS2011-79
GPGPU for the Industry

Kimikazu KATO,  

[Date]2012/3/1
[Paper #]MSS2011-80
Some expectations to Mathematical Approach from the Standpoint of Service Science

Youji KOHDA,  

[Date]2012/3/1
[Paper #]MSS2011-81
Mathematics and Application of Biological Network Analaysis by Systematic Approach

Katsuhisa Horimoto,  

[Date]2012/3/1
[Paper #]MSS2011-82
Fundamental Theory of Mathematical Systems Science

Kohkichi TSUJI,  

[Date]2012/3/1
[Paper #]MSS2011-83
Formal Verification of a Telephone System with a Concierge Server

Keito KURONO,  Aya MAEDA,  Yoshinobu KAWABE,  

[Date]2012/3/1
[Paper #]MSS2011-84
MFG Model of Transfer and Process for FA System with Multiple AGVs

Kenji YAMAMURA,  Koji TAKAHASHI,  

[Date]2012/3/1
[Paper #]MSS2011-85
A Hybrid Approach to Cyclic Scheduling Problems based on PBIL and Exact Algorithms

Shinji AGUNI,  Guan SENLIN,  Morikazu NAKAMURA,  

[Date]2012/3/1
[Paper #]MSS2011-86
Stable Matching Problem with Multicriteria Preference List

Hideki KINJO,  Morikazu NAKAMURA,  

[Date]2012/3/1
[Paper #]MSS2011-87
複写される方へ

,  

[Date]2012/3/1
[Paper #]
Notice for Photocopying

,  

[Date]2012/3/1
[Paper #]
12>> 1-20hit(22hit)