IEICE Technical Committee Submission System
Advance Program
Online Proceedings
[Sign in]
Tech. Rep. Archives
 Go Top  Go Back   Prev IPSJ-AL Conf / Next IPSJ-AL Conf [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 

Special Interest Group on Algorithms (IPSJ-AL) [schedule] [select]
Chair Takashi Horiyama (Saitama University)
Secretary Yoshio Okamoto (The University of Electro-Communications), Jun Kawahara (Nara Institute of Science and Technology), Akitoshi Kawamura (University of Tokyo)

Technical Committee on Circuits and Systems (CAS) [schedule] [select]
Chair Mitsuru Hiraki (Renesas)
Vice Chair Hideaki Okazaki (Shonan Inst. of Tech.)
Secretary Motoi Yamaguchi (Renesas), Toshihiro Tachibana (Shonan Inst. of Tech.)
Assistant Yohei Nakamura (Hitachi)

Technical Committee on Mathematical Systems Science and its applications (MSS) [schedule] [select]
Chair Morikazu Nakamura (Univ. of Ryukyus)
Vice Chair Shigemasa Takai (Osaka Univ.)
Secretary Ichiro Toyoshima (Toshiba), Takahumi Kanazawa (Osaka Univ.)
Assistant Hideki Kinjo (Okinawa Univ.)

Conference Date Thu, Nov 16, 2017 09:15 - 17:55
Fri, Nov 17, 2017 09:15 - 16:55
Conference Place  
Sponsors This conference is technical co-sponsored by IEEE Circuits and Systems Society Japan Chapter(IEEE CASS JC).
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 16 AM 
09:15 - 10:30
09:15-09:40 After the Symposium "Circuits and Systems Based on Imprecision-Tolerant Computing Schemes" CAS2017-40 MSS2017-24 Shunsuke Koshita (Tohoku Univ.)
09:40-10:05 Modeling and simulation of motion of a multirotor in a light wind CAS2017-41 MSS2017-25 Kaito Isogai, Hideo Nakano, Hideaki Okazaki (SIT)
10:05-10:30 Modeling and simulation of motion of an underwater robot in a mild stream CAS2017-42 MSS2017-26 Munenari Sako, Kouki Fukuda, Kaito Isogai, Hideo Nakano, Hideaki Okazaki (SIT)
  10:30-10:35 Break ( 5 min. )
Thu, Nov 16 AM 
10:35 - 11:15
10:35-11:15 [Invited Talk]
Recent Advances in Optimization Methods Applied to Sparse Signal Processing CAS2017-43 MSS2017-27
Masao Yamagishi (Tokyo Inst. of Tech.)
  11:15-11:20 Break ( 5 min. )
Thu, Nov 16 AM 
11:20 - 12:00
11:20-12:00 [Invited Talk]
On the Recognition of Unit Grid Intersection Graphs CAS2017-44 MSS2017-28
Satoshi Tayu, Shuichi Ueno (Tokyo Inst. of Tech.)
  12:00-13:00 Lunch Break ( 60 min. )
Thu, Nov 16 PM 
13:00 - 13:45
13:00-13:45 [Invited Talk]
Some Optimization Problems in Energy Management Systems CAS2017-45 MSS2017-29
Kota Hirato (TOSHIBA Energy Systems & Solutions)
  13:45-13:50 Break ( 5 min. )
Thu, Nov 16 PM 
13:50 - 15:05
(7) 13:50-14:15 The Coloring Reconfiguration Problem on Specific Graph Classes
〇Tatsuhiko Hatanaka・Takehiro Ito・Xiao Zhou(Tohoku Univ.)
(8) 14:15-14:40 Complexity of Coloring Reconfiguration under Recolorability Constraints
〇Hiroki Osawa・Akira Suzuki・Takehiro Ito・Xiao Zhou(Tohoku Univ.)
(9) 14:40-15:05 Efficient Algorithms for the Partial Sum Dispersion Problem
Toshihiro Akagi(Gunma Univ.)・〇Tetsuya Araki・Hiroshi Ishikawa(Tokyo Metropolitan Univ.)・Shin-ichi Nakano(Gunma Univ.)
  15:05-15:15 Break ( 10 min. )
Thu, Nov 16 PM 
15:15 - 16:55
15:15-15:40 An Effectiveness on a Fieldwork with Smart Voice Messaging system CAS2017-46 MSS2017-30 Masanori Okada (Kanazawa Gakuin Univ.), Naoshi Uchihira, Kunihiko Hiraishi, Susumu Kunifuji (JAIST)
15:40-16:05 The stable transmission tree and minimum cost transmission tree on wireless sensor network with mobile sink along the boundary CAS2017-47 MSS2017-31 Yoshihiro Kaneko, Tsubasa Yamada, Takuya Tsujimoto (Gifu Univ.)
16:05-16:30 Document classification on unknown class using transfer learning CAS2017-48 MSS2017-32 Masato Shirai (Shimane Univ.), Jianquan Liu (NEC)
16:30-16:55 Logic to represent change of event frequency CAS2017-49 MSS2017-33 Osamu Takaki (Gunma Univ.)
  16:55-17:00 Break ( 5 min. )
Thu, Nov 16 PM 
17:00 - 17:55
17:00-17:55 [Invited Talk]
Supervisory Control with Linear Temporal Logic Specifications CAS2017-50 MSS2017-34
Ami Sakakibara, Toshimitsu Ushio (Osaka Univ.)
Fri, Nov 17 AM 
09:15 - 10:10
(15) 09:15-09:40  
(16) 09:40-10:05  
(17) 10:05-10:10  
  10:10-10:15 Break ( 5 min. )
Fri, Nov 17 AM 
10:15 - 11:05
10:15-10:40 Performance Comparison of Machine Learning and Process Mining in Evaluation of Software Development Processes CAS2017-51 MSS2017-35 Hitoshi Shiozawa, Kunihiko Hiraishi (JAIST)
10:40-11:05 Quantitative safety assessment of telemedicine using the MCCA CAS2017-52 MSS2017-36 Kenji Fujita, Toshiaki Aoki, Kunihiko Hiraishi (JAIST)
  11:05-11:15 Break ( 10 min. )
Fri, Nov 17 AM 
11:15 - 12:00
11:15-12:00 [Invited Talk]
Open Data of Air Traffic and its Application CAS2017-53 MSS2017-37
Megumi Oka, Yutaka Fukuda (ENRI)
  12:00-13:00 Break ( 60 min. )
Fri, Nov 17 PM 
13:00 - 14:15
13:00-13:25 Generating covering arrays by combining heuristic search and backtracking CAS2017-54 MSS2017-38 Toshiki Sato, Toshihiko Takahashi (Niigata Univ.)
13:25-13:50 Independent Spanning Trees on Pancake Graphs CAS2017-55 MSS2017-39 Daichi Matsui, Toshinori Yamada (Saitama Univ.)
13:50-14:15 Dynamic Compact Routing Tolerating Node Faults CAS2017-56 MSS2017-40 Yuki Takahashi, Toshinori Yamada (Saitama Univ.)
  14:15-14:20 Break ( 5 min. )
Fri, Nov 17 PM 
14:20 - 15:35
14:20-14:45 Hierarchical Reinforcement Learning of Stationary Policy Satisfying Linear Temporal Logic Constraints CAS2017-57 MSS2017-41 Yuma Yamakura, Toshimitsu Ushio (Osaka Univ.)
14:45-15:10 Game Model of Selfish Consumers in Power Consumption Reduction Problem under Aggregator's Incentive Allocation CAS2017-58 MSS2017-42 Yuta Hasegawa, Takafumi Kanazawa (Osaka Univ.)
15:10-15:35 Imitative Dynamics Based on Ordered Weighted Average of Payoff Differences and Its Relation with Equilibrium Concepts in Multicriteria Games CAS2017-59 MSS2017-43 Kosuke Iewaki, Takafumi Kanazawa (Osaka Univ.)
  15:35-15:40 Break ( 5 min. )
Fri, Nov 17 PM 
15:40 - 16:55
15:40-16:05 Development and Implementation of an Algorithm to Synthesize State Machines from Two Communication Diagrams CAS2017-60 MSS2017-44 Kazuya Tominaga, Toshiki Kinoshita, Toshiyuki Miyamoto (Osaka Univ.)
16:05-16:30 Colored Petri Net based Automatic Generation of Mathematical Programming for Optimum Resource Assignment Problems CAS2017-61 MSS2017-45 Ryosuke Ushijima (Univ. of the Ryukyus), Takeshi Tengan (Meio Univ.), Andrea Veronica Porco, Morikazu Nakamura (Univ. of the Ryukyus)
16:30-16:55 A SAT-based method for generating locating arrays CAS2017-62 MSS2017-46 Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ.)

Announcement for Speakers
General TalkEach speech will have 20 minutes for presentation and 5 minutes for discussion.
Invited Talk (CAS)Each speech will have 35 minutes for presentation and 5 minutes for discussion.
Invited Talk (MSS)Each speech will have 40 minutes for presentation and 5 minutes for discussion.

Contact Address and Latest Schedule Information
IPSJ-AL Special Interest Group on Algorithms (IPSJ-AL)   [Latest Schedule]
Contact Address Jun Kawahara (Nara Institute of Science and Technology)
E--mail: jisist 
CAS Technical Committee on Circuits and Systems (CAS)   [Latest Schedule]
Contact Address Motoi Yamaguchi(Renesas Electronics Corporation)
E--mail: igurjs 
MSS Technical Committee on Mathematical Systems Science and its applications (MSS)   [Latest Schedule]
Contact Address Ichiro Toyoshima (Toshiba Corp.)
Tel: +81-42-333-2843
E--mail: iba 

Last modified: 2017-11-07 19:28:56

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]   /   [Return to IPSJ-AL Schedule Page]   /  
 Go Top  Go Back   Prev IPSJ-AL Conf / Next IPSJ-AL 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