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: Satoshi Yamane (Kanazawa Univ.) Vice Chair: Morikazu Nakamura (Univ. of Ryukyus)
Secretary: Mitsuru Nakata (Yamaguchi Univ.), Ichiro Toyoshima (Toshiba)
Assistant: Hideki Kinjo (Okinawa Univ.)

===============================================
Technical Committee on Circuits and Systems (CAS)
Chair: Toshihiko Takahashi (Niigata Univ.) Vice Chair: Mitsuru Hiraki (Renesas)
Secretary: Shunsuke Koshita (Tohoku Univ.), Motoi Yamaguchi (Renesas)
Assistant: Toshihiro Tachibana (Shonan Inst. of Tech.), Yohei Nakamura (Hitachi)

===============================================
Special Interest Group on Algorithms (IPSJ-AL)


DATE:
Thu, Nov 24, 2016 10:00 - 18:05
Fri, Nov 25, 2016 09:00 - 14:35

PLACE:
Kobe Institute of Computing, Graduate School of Information Technology(2-2-7 Kano-cho, Chuo-ku, Kobe 650-0001,JAPAN. From JR Sannomiya station, Hankyu/Hanshin/Subway Sannomiya station, JR Shinkansen Shin-Kobe station — about 10 mins. walk to campus.https://www.kic.ac.jp/en/index/access/. Prof. Yukinobu MIYAMOTO)

TOPICS:


----------------------------------------
Thu, Nov 24 AM (10:00 - 11:40)
----------------------------------------

(1)/CAS 10:00 - 10:25
Hardware Trojan with Sensor Trigger
Takato Iwase, Yusuke Nozaki, Masaya Yoshikawa (Meijo Univ.)

(2)/CAS 10:25 - 10:50
The shortest twice flight routes of UAV on square grid graph with inside depot
Yoshihiro Kaneko, Kani (Gifu Univ.), Mase Kennichi (Niigata Univ.)

(3)/CAS 10:50 - 11:15
A Fast Search Method for Run-Based Tries via Pointers
Takashi Harada, Ken Tanaka (Kanagawa Univ.), Kenji Mikawa (Niigata Univ.)

(4)/CAS 11:15 - 11:40
A Traffic Load Balancing with Tie-sets in a Dispersion-managed Network
Masashi Yamada, Norihiko Shinomiya (Soka Univ.)

----- Lunch Break ( 80 min. ) -----

----------------------------------------
Thu, Nov 24 PM (13:00 - 14:40)
----------------------------------------

(5)/MSS 13:00 - 13:25
Existence of Nonblocking Supervisors for Similarity Control of Nondeterministic Discrete Event Systems
Hiroki Yamada, Shigemasa Takai (Osaka Univ.)

(6)/MSS 13:25 - 13:50
Development and evaluation of on-the-fly model checking for a Petri net verification tool (HiPS)
Yojiro Harie, Katsumi Wasaki (Shinshu Univ.)

(7)/MSS 13:50 - 14:15
Representation and analysis of C Source Code by using The Program Graph
Tateo Okubo (Iwate Pref Univ.), Kazuya Fukuhara (i-MOS), Toshimitsu Inomata, Eiji Sugino, Yoshikazu Arai, Shintaro Imai (Iwate Pref Univ.)

(8)/MSS 14:15 - 14:40
Effects of Time-Varying Parameters in Particle Swarm Optimization of Multiple Swarms under Search-Time Constraints
Yuya Asato (Univ. of the Ryukyus), Takeshi Tengan (Meio Univ.), Morikazu Nakamura (Univ. of the Ryukyus)

----- Break ( 15 min. ) -----

----------------------------------------
Thu, Nov 24 PM (14:55 - 16:10)
----------------------------------------

(9) 14:55 - 15:20


(10) 15:20 - 15:45


(11) 15:45 - 16:10


----- Break ( 15 min. ) -----

----------------------------------------
Thu, Nov 24 PM (16:25 - 17:05)
----------------------------------------

(12)/CAS 16:25 - 17:05
[Invited Talk]
On Recording and Analyzing for Science Communication Focused on ``Interaction among Various People''
-- Conversations on Radiactivity in Iwaki-city --
Shin Aida (Toyohashi-Tech)

----- Break ( 10 min. ) -----

----------------------------------------
Thu, Nov 24 PM (17:15 - 18:05)
----------------------------------------

(13)/MSS 17:15 - 18:05
[Invited Talk]
The Past, Present, and Future of Video Search: Query Object from Known to Unknown
Jianquan Liu, Shoji Nishimura, Takuya Araki, Yuichi Nakamura (NEC)

----------------------------------------
Fri, Nov 25 AM (09:00 - 10:40)
----------------------------------------

(14)/CAS 09:00 - 09:25
A Note on Reliablity-Aware Clock Skew Scheduling in High-Level Synthesis
Keisuke Inoue (KTC)

(15)/CAS 09:25 - 09:50
A Note on the Spanning Subgraph Isomorphism Problem
Satoshi Tayu, Kenji Ichikawa, Shuichi Ueno (Tokyo Tech)

(16)/CAS 09:50 - 10:15
On the Complexity of Finding a Largest Common Subtree of Trees
Hiroki Katsumata, Satoshi Tayu, Shuichi Ueno (Tokyo Tech)

(17)/CAS 10:15 - 10:40
A 3/2-Approximation Algorithm for the Bipartite Dense Subgraph Problem on Bipartite Permutation Graphs
Yuta Inaba, Satoshi Tayu, Shuichi Ueno (Tokyo Tech)

----- Break ( 15 min. ) -----

----------------------------------------
Fri, Nov 25 AM (10:55 - 11:35)
----------------------------------------

(18)/CAS 10:55 - 11:35
[Invited Talk]
Introduction to Token Swapping Problem
-- An generalization of Amidakuji --
Katsuhisa Yamanaka (Iwate Univ.)

----- Lunch Break ( 80 min. ) -----

----------------------------------------
Fri, Nov 25 PM (12:55 - 14:35)
----------------------------------------

(19)/MSS 12:55 - 13:20
Formal Description of Synchronization by Functional Definition of Synchronous Circuits
Shunji Nishimura, Motoki Amagasaki, Toshinori Sueyoshi (Kumamoto Univ.)

(20)/MSS 13:20 - 13:45
Imitation Dynamics with Population-Varying Revision Intervals of Strategies
Manao Machida, Takafumi Kanazawa (Osaka Univ.)

(21)/MSS 13:45 - 14:10
Detection of mode confusion in human machine systems using user models with time information.
Yoshiki Maeda, Toshimitsu Ushio (Osaka Univ.)

(22)/MSS 14:10 - 14:35
Subsidy-based Stabilization of Nonequilibrium Target State in Population Games with Unknown Payoff Functions
Masaya Kinoshita, Takafumi Kanazawa (Osaka Univ.)

# Information for speakers
General Talk will have 20 minutes for presentation and 5 minutes for discussion.
Invited Talk (CAS) will have 35 minutes for presentation and 5 minutes for discussion.
Invited Talk (MSS) will have 45 minutes for presentation and 5 minutes for discussion.

# CONFERENCE SPONSORS:
- This conference is technical co-sponsored by IEEE Circuits and Systems Society Japan Chapter(IEEE CASS JC).


=== Technical Committee on Mathematical Systems Science and its applications (MSS) ===
# FUTURE SCHEDULE:

Thu, Jan 26, 2017 - Fri, Jan 27, 2017: Kyoto Institute of Technology [Thu, Nov 17]

# SECRETARY:
Mitsuru Nakata (Yamaguchi Univ.)
Tel: +81-83-933-5402
E-mail: mgu-u

=== Technical Committee on Circuits and Systems (CAS) ===
# FUTURE SCHEDULE:

Thu, Jan 26, 2017 - Fri, Jan 27, 2017: Kikai-Shinko-Kaikan Bldg. [Wed, Nov 16]
Thu, Feb 23, 2017 - Fri, Feb 24, 2017: [Tue, Dec 13], Topics: Network processor, Signal processing and circuits for communications, Wireless LAN / PAN, etc.

# SECRETARY:
Shunsuke Koshita(Tohoku Univ.)
TEL: 022-795-7095
E-mail: simkecei

=== Special Interest Group on Algorithms (IPSJ-AL) ===


Last modified: 2016-11-21 18:15:47


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