ken-system: Advance Program

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)

[schedule] [select]

Chair		Yuichi Nakamaura (NEC)
Vice Chair		Satoshi Yamane (Kanazawa Univ.)
Secretary		Shinnosuke Yamaguchi (Kyushu Inst. of Tech.), Mitsuru Nakata (Yamaguchi Univ.)
Assistant		Daisuke Nishiwaki (NEC)

Conference Date	Thu, Mar 5, 2015 13:00 - 17:25 Fri, Mar 6, 2015 10:00 - 14:45
Topics
Conference Place
Copyright and reproduction	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, Mar 5 PM 13:00 - 14:15
(1)	13:00-13:25	An improvement of topological queue layouts of complete graphs MSS2014-91	Miki Miyauchi (NTT)
(2)	13:25-13:50	Optimal LLP supervisory control based on the learning of state transition model MSS2014-92	Hijiri Umemoto, Tatsushi Yamasaki (Setsunan Univ.)
(3)	13:50-14:15	Path Finding Algorithms for large-scale building with structural change MSS2014-93	Tomohiro Shimizu, Ken Umeno (Kyoto Univ.), Alice Okabe, Atsuko Enomoto, Yoichi Nonaka (Hitachi)
	14:15-14:30	Break ( 15 min. )
Thu, Mar 5 PM 14:30 - 17:25
(4)	14:30-15:30
(5)	15:30-15:50	Code clone detection using parallel distributed processing for software revision history MSS2014-94	Shin Chadani, Kohei Sakurai, Satoshi Yamane (Kanazawa Univ.)
	15:50-16:05	Break ( 15 min. )
(6)	16:05-16:25	Forcasting Individual stock prices using Deep Learning MSS2014-95	Kazuya Matsumoto, Kohei Sakurai, Satoshi Yamane (Kanazawa Univ.)
(7)	16:25-16:45	Boolean mapping of a multivalued model using GINsim -- A toy example -- MSS2014-96	Kaori Mitani, Hiroshi Matsuno, Adrien Faure (Yamaguchi Univ.)
(8)	16:45-17:05	A Method of Making Character State Data for Generating Language-Family Trees Based on Basic Vocabulary MSS2014-97	Yuya Matsuura (Yamaguchi Univ.), Ren Wu (Yamaguchi Junior Coll.), Hiroshi Matsuno (Yamaguchi Univ.)
(9)	17:05-17:25	Equivalent Transformation of Retention-Free Petri Net by Dependent Shrink MSS2014-98	Atsushi Mizuta, Qi-Wei Ge, Hiroshi Matsuno (Yamaguchi Univ.)
Fri, Mar 6 AM 10:00 - 14:45
(10)	10:00-10:25	SMT-based Model Checking for Linear Hybrid Automata using CEGAR MSS2014-99	Shohei Tomisaka, Ryo Yanase, Kohei Sakurai, Satoshi Yamane (Kanazawa Univ.)
(11)	10:25-10:50	Development of SMT-based model checker for assembly cords using interrupts reduction technique MSS2014-100	Junpei Kobashi, Atsushi Takeshita, Satoshi Yamane, Kohei Sakurai (Kanazawa Univ.)
	10:50-11:05	Break ( 15 min. )
(12)	11:05-12:20
	12:20-13:30	Break ( 70 min. )
(13)	13:30-13:55	Parallel Distributed Clustering Algorithm with Node Partition and Aggregation in Large-Scale Graphs MSS2014-101	Riku Asayama, Kohei Sakurai, Satoshi Yamane (Kanazawa Univ.)
(14)	13:55-14:20	The symbolic model checking by the model extraction from embedded assembly program MSS2014-102	Tomonori Kato, Ryosuke Konoshita, Kohei Sakurai, Satoshi Yamane (Kanazawa Univ.)
(15)	14:20-14:45	A Retrieval Method of Similar Subgraphs Used in Japanese Historical Documents Image Retrieval System MSS2014-103	Hiroaki Nagaoka, Yuichiro Iino, Mitsuru Nakata, Qi-Wei Ge (Yamaguchi Univ.)

Announcement for Speakers
General Talk	Each speech will have 20 minutes for presentation and 5 minutes for discussion.

Contact Address and Latest Schedule Information
MSS	Technical Committee on Mathematical Systems Science and its applications (MSS) [Latest Schedule]
	Contact Address	Shin'nosuke Yamaguchi (Kyushu Institute of Technology) Tel: 0948-29-7572 E-: sltck