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)

===============================================
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.

[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 CAS Schedule Page]   /   [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]

[Return to IEICE Web Page]


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan