|
|
| Chair |
|
Keisuke Nakano (Niigata Univ.) |
| Vice Chair |
|
Takafumi Yamaji (Toshiba) |
| Secretary |
|
Yoshinobu Maeda (Niigata Univ.), Toshiya Mitomo (Toshiba) |
| Assistant |
|
Daisuke Takafuji (Hiroshima Univ.), Kazuyuki Miyakita (Niigata Univ.) |
|
| Technical Committee on Mathematical Systems Science and its applications (MSS) |
[schedule] [select]
|
|
| 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) |
|
| Conference Date |
Thu, Nov 1, 2012 13:30 - 17:20
Fri, Nov 2, 2012 09:30 - 14:45 |
| Topics |
Graph, Petri Net, Neural network, etc |
| Conference Place |
Ichiyu Kaikan, Iwate University |
| Address |
4-3-5 Ueda, Morioka, Iwate 020-8551, JAPAN |
| Transportation Guide |
Taxi -- A taxi will bring you here in about 10 minutes from Morioka Station.(about 2km) Walking -- A 25-minute walk from Morioka Station will bring you here.
http://www.iwate-u.ac.jp/english/campusmap/campusmap.shtml |
Contact
Person |
YAMANAKA Katsuhisa |
Copyright
and
reproduction |
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
Thu, Nov 1 PM
13:30 - 14:20 |
| (1) |
13:30-13:55 |
On Fuzzy Co-Clustering based on Homogenious Relational Fuzzy c-Means  CAS2012-50 MSS2012-30 |
Yuchi Kanzawa (Shibaura Inst. of Tech.) |
| (2) |
13:55-14:20 |
A Note on the Energy-Aware Mapping for NoCs CAS2012-51 MSS2012-31 |
Satoshi Tayu, Shuichi Ueno (Tokyo Inst. of Tech.) |
Thu, Nov 1 PM
14:35 - 16:15 |
| (3) |
14:35-15:00 |
Similarity Control of Transition Systems by Output Feedback CAS2012-52 MSS2012-32 |
Nam Tung Vu, Shigemasa Takai (Osaka Univ) |
| (4) |
15:00-15:25 |
Decentralized Online Diagnosis of Discrete Event Systems Using the AND Rule CAS2012-53 MSS2012-33 |
Takashi Yamamoto, Shigemasa Takai (Osaka Univ.) |
| (5) |
15:25-15:50 |
Verification of Partially Observed Discrete Event Systems Using Abstraction CAS2012-54 MSS2012-34 |
Misato Yokotani, Shigemasa Takai (Osaka Univ.) |
| (6) |
15:50-16:15 |
Diagnosis of Stochastic Discrete Event Systems Based On N-gram Models With Wildcard Characters CAS2012-55 MSS2012-35 |
Kunihiko Hiraishi, Miwa Yoshimoto, Koichi Kobayashi (JAIST) |
Thu, Nov 1 PM
16:30 - 17:20 |
| (7) |
16:30-17:20 |
[Invited Talk]
Analytical Approaches for Synthesis of High Accuracy Digital Filter Structures CAS2012-56 MSS2012-36 |
Shunsuke Yamaki (Tohoku Univ.) |
Fri, Nov 2 AM
09:30 - 10:45 |
| (8) |
09:30-09:55 |
Heuristic Mode Restriction Method on RCPSP/πRC CAS2012-57 MSS2012-37 |
Hironori Okubo, Toshiyuki Miyamoto (Osaka Univ.), Kazuyuki Mori, Shoichi Kitamura, Yoshio Izui (Mitsubishi Electric Corporation) |
| (9) |
09:55-10:20 |
A Study on the Modeling and Analysis in Model-Based Development CAS2012-58 MSS2012-38 |
Yusuke Chiba, Toshimitsu Inomata, Yoshikazu Arai, Shintaro Imai (Iwate Pref Univ.) |
| (10) |
10:20-10:45 |
Easily understandable and computable representation method of medical quality indicators |
Osamu Takaki (JAIST), Izumi Takeuti, Koichi Takahashi, Noriaki Izumi (AIST), Koichiro Murata (Kitasato Univ.), Mitsuru Ikeda (JAIST), Koiti Hasida (AIST) |
Fri, Nov 2 AM
11:00 - 12:15 |
| (11) |
11:00-11:25 |
Linear time generation of random derangements CAS2012-59 MSS2012-39 |
Kenji Mikawa (Niigata Univ.), Ken Tanaka (Kanagawa Univ.) |
| (12) |
11:25-11:50 |
On deployment of charging stations for electric vehicles in two-dimensional road networks CAS2012-60 MSS2012-40 |
Shunsuke Hayatsu, Kazuyuki Miyakita, Keisuke Nakano (Niigata Univ.) |
| (13) |
11:50-12:15 |
On effects of using location information of charging stations on waiting time for battery charging for electric vehicles CAS2012-61 MSS2012-41 |
Kazuyuki Miyakita, Keisuke Nakano (Niigata Univ.) |
Fri, Nov 2 PM
13:30 - 14:45 |
| (14) |
13:30-13:55 |
Scheduling and Resource Assignment of Periodic Tasks in Computer Networks Using an SMT Solver CAS2012-62 MSS2012-42 |
Yuya Sakai, Toshimitsu Ushio (Osaka Univ.) |
| (15) |
13:55-14:20 |
On Extension and Soundness of Acyclic Well-Structured Work CAS2012-63 MSS2012-43 |
Huan Wu, Shingo Yamaguchi (Yamaguchi Univ) |
| (16) |
14:20-14:45 |
Group Control of 2 Shaft Elevator for Peak Power Cut and Service Performance CAS2012-64 MSS2012-44 |
Kentaro Nakayama, Koji Takahashi (Tokyo Tech.) |
| Announcement for Speakers |
| General Talk | Each speech will have 20 minutes for presentation and 5 minutes for discussion. |
| Invited Talk | Each speech will have 50 minutes for presentation and 10 minutes for discussion. |
| Contact Address and Latest Schedule Information |
| CAS |
Technical Committee on Circuits and Systems (CAS) [Latest Schedule]
|
| Contact Address |
Kazuyuki Miyakita (Niigata Univ.)
TEL +81-25-262-7581
E- :      cais  i -u |
| MSS |
Technical Committee on Mathematical Systems Science and its applications (MSS) [Latest Schedule]
|
| Contact Address |
NAKAMURA Masaki (Toyama Pref. Univ.)
Tel: 0766-56-7500 (ex 639)
E-:   -npu- |
Last modified: 2012-10-29 20:25:03
|