| IEICE Technical Committee Submission System Advance Program |
Online Proceedings [Sign in] Tech. Rep. Archives |
| Go Top | Go Back | Prev MSS Conf / Next MSS Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
|
=============================================== Technical Committee on Mathematical Systems Science and its applications (MSS) Chair: Kunihiko Hiraishi (JAIST) Vice Chair: Yuichi Nakamaura (NEC) Secretary: Masaki Nakamura (Toyama Pref. Univ.), Shinnosuke Yamaguchi (Kyushu Inst. of Tech.) Assistant: Daisuke Nishiwaki (NEC) DATE: Thu, Mar 8, 2012 13:30 - 17:45 Fri, Mar 9, 2012 09:30 - 14:40 PLACE: JAIST Center for Advanced Education for Working Professionals(2-15-1 Konan, Minato-ku, Tokyo 108-6019 JAPAN. Prof. K. Hiraishi) TOPICS: ---------------------------------------- Thu, Mar 8 PM (13:30 - 15:10) ---------------------------------------- (1) 13:30 - 13:55 Self-triggered predictive control considering activation costs of controller Shogo Nakao, Toshimitsu Ushio (Osaka Univ.) (2) 13:55 - 14:20 Bisimilarity Control of Nondeterministic Discrete Event Systems under Event and State Observations Katsuyuki Kimura, Masashi Nomura, Shigemasa Takai (Osaka Univ.) (3) 14:20 - 14:45 Verification of Codiagnosability for Decentralized Diagnosis of Discrete Event Systems Using the AND Rule Takashi Yamamoto, Shigemasa Takai (Osaka Univ.) (4) 14:45 - 15:10 Experimental Evaluation of Smart Voice Messaging in Nursing and Caregiving Services Using Virtual Field Sunseong Choe, Kunihiko Hiraishi (JAIST), Naoshi Uchihira, Kentaro Torii, Toshiaki Tanaka (Toshiba), Yuji Hirabayashi (Shimizu) ---------------------------------------- Thu, Mar 8 PM (15:15 - 16:55) ---------------------------------------- (5) 15:15 - 15:40 Effect of the improvement on classification performance of the filtering system based on Baysian and decision tree methods Hiroyuki Yamaguchi, Manabu Sugii, Hiroshi Matsuno (Yamaguchi Univ.) (6) 15:40 - 16:05 Consideration on the token retention-free in timed Petri net model based on the signaling pathway characteristics Yuki Murakami, Qi-Wei Ge, Hiroshi Matsuno (Yamaguchi Univ.) (7) 16:05 - 16:30 A Translator of C to Petri Net Markup Language C2PNML and Its Application Examples Hiroaki Taniguchi, Shingo Yamaguchi, Takeshi Susaki (Yamaguchi Univ.) (8) 16:30 - 16:55 A Modeling Method of Single-Car Multi-Shaft Elevator Systems on CPN Tools and Its Application Norihide Ishida, Shingo Yamaguchi, Ryohei Ueda (Yamaguchi Univ.) ---------------------------------------- Thu, Mar 8 PM (17:00 - 17:45) ---------------------------------------- (9) 17:00 - 17:45 [Invited Talk] GPGPU for the Industry Kimikazu Kato (Nihon Unisys) ---------------------------------------- Fri, Mar 9 AM (09:30 - 11:55) ---------------------------------------- (10) 09:30 - 10:15 [Invited Talk] Some expectations to Mathematical Approach from the Standpoint of Service Science Youji Kohda (JAIST) ----- Break ( 5 min. ) ----- (11) 10:20 - 11:05 [Invited Talk] Mathematics and Application of Biological Network Analaysis by Systematic Approach Katsuhisa Horimoto (AIST) ----- Break ( 5 min. ) ----- (12) 11:10 - 11:55 [Invited Talk] Fundamental Theory of Mathematical Systems Science Kohkichi Tsuji (Aichi Prefectural Univ.) ---------------------------------------- Fri, Mar 9 PM (13:00 - 14:40) ---------------------------------------- (13) 13:00 - 13:25 Formal Verification of a Telephone System with a Concierge Server Keito Kurono, Aya Maeda, Yoshinobu Kawabe (Aichi Inst. Tech.) (14) 13:25 - 13:50 MFG Model of Transfer and Process for FA System with Multiple AGVs Kenji Yamamura, Koji Takahashi (Tokyo Tech.) (15) 13:50 - 14:15 A Hybrid Approach to Cyclic Scheduling Problems based on PBILs and Exact Algorithms Shinji Aguni, Senlin Guan, Morikazu Nakamura (Univ. of the Ryukyus) (16) 14:15 - 14:40 Stable Matching Problem with Multicriteria Preference List Hideki Kinjo (Okinawa Univ.), Morikazu Nakamura (Univ. of the Ryukyus) # Information for speakers General Talk will have 20 minutes for presentation and 5 minutes for discussion. Invited Talk will have 40 minutes for presentation and 5 minutes for discussion. === Technical Committee on Mathematical Systems Science and its applications (MSS) === # SECRETARY: NAKAMURA Masaki (Toyama Pref. Univ.) Tel: 0766-56-7500 (ex 639) E-mail:    -n pu-   Last modified: 2011-12-13 18:31:50 |
Notification: Mail addresses are partially hidden against SPAM.
[Download Paper's Information (in Japanese)] <-- Press download button after click here.
[Cover and Index of IEICE Technical Report by Issue]
[Presentation and Participation FAQ] (in Japanese)
[Return to MSS Schedule Page] /
| Go Top | Go Back | Prev MSS Conf / Next MSS Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
[Return to Top Page]