| 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: m       gu -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:  simk ecei   === 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]