===============================================
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)
===============================================
Technical Committee on Circuits and Systems (CAS)
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.)
DATE:
Thu, Nov 1, 2012 13:30 - 17:20
Fri, Nov 2, 2012 09:30 - 14:45
PLACE:
Ichiyu Kaikan, Iwate University(4-3-5 Ueda, Morioka, Iwate 020-8551, JAPAN. 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. YAMANAKA Katsuhisa)
TOPICS:
Graph, Petri Net, Neural network, etc
----------------------------------------
Thu, Nov 1 PM (13:30 - 14:20)
----------------------------------------
(1) 13:30 - 13:55
On Fuzzy Co-Clustering based on Homogenious Relational Fuzzy c-Means
Yuchi Kanzawa (Shibaura Inst. of Tech.)
(2) 13:55 - 14:20
A Note on the Energy-Aware Mapping for NoCs
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
Nam Tung Vu, Shigemasa Takai (Osaka Univ)
(4) 15:00 - 15:25
Decentralized Online Diagnosis of Discrete Event Systems Using the AND Rule
Takashi Yamamoto, Shigemasa Takai (Osaka Univ.)
(5) 15:25 - 15:50
Verification of Partially Observed Discrete Event Systems Using Abstraction
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
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
Shunsuke Yamaki (Tohoku Univ.)
----------------------------------------
Fri, Nov 2 AM (09:30 - 10:45)
----------------------------------------
(8) 09:30 - 09:55
Heuristic Mode Restriction Method on RCPSP/πRC
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
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
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
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
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
Yuya Sakai, Toshimitsu Ushio (Osaka Univ.)
(15) 13:55 - 14:20
On Extension and Soundness of Acyclic Well-Structured Work
Huan Wu, Shingo Yamaguchi (Yamaguchi Univ)
(16) 14:20 - 14:45
Group Control of 2 Shaft Elevator for Peak Power Cut and Service Performance
Kentaro Nakayama, Koji Takahashi (Tokyo Tech.)
# Information for speakers
General Talk will have 20 minutes for presentation and 5 minutes for discussion.
Invited Talk will have 50 minutes for presentation and 10 minutes for discussion.
=== Technical Committee on Mathematical Systems Science and its applications (MSS) ===
# FUTURE SCHEDULE:
Tue, Jan 22, 2013 - Wed, Jan 23, 2013: Osaka Int. Convention Center [Sat, Nov 10]
# SECRETARY:
NAKAMURA Masaki (Toyama Pref. Univ.)
Tel: 0766-56-7500 (ex 639)
E-mail: -npu-
=== Technical Committee on Circuits and Systems (CAS) ===
# FUTURE SCHEDULE:
Mon, Jan 28, 2013 - Tue, Jan 29, 2013: Beppu International Convention Center [Tue, Nov 13], Topics: General
# SECRETARY:
Kazuyuki Miyakita (Niigata Univ.)
TEL +81-25-262-7581
E-mail: caisi-u
Last modified: 2012-10-29 20:25:03
|
Notification: Mail addresses are partially hidden against SPAM.
|