Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2011] | [2012] | [2013] | [2014] | [2015] | [2016] | [2017] | [Japanese] / [English]
MSS2014-91
An improvement of topological queue layouts of complete graphs
Miki Miyauchi (NTT)
pp. 1 - 6
MSS2014-92
Optimal LLP supervisory control based on the learning of state transition model
Hijiri Umemoto, Tatsushi Yamasaki (Setsunan Univ.)
pp. 7 - 12
MSS2014-93
Path Finding Algorithms for large-scale building with structural change
Tomohiro Shimizu, Ken Umeno (Kyoto Univ.), Alice Okabe, Atsuko Enomoto, Yoichi Nonaka (Hitachi)
pp. 13 - 18
MSS2014-94
Code clone detection using parallel distributed processing for software revision history
Shin Chadani, Kohei Sakurai, Satoshi Yamane (Kanazawa Univ.)
pp. 19 - 24
MSS2014-95
Forcasting Individual stock prices using Deep Learning
Kazuya Matsumoto, Kohei Sakurai, Satoshi Yamane (Kanazawa Univ.)
pp. 25 - 30
MSS2014-96
Boolean mapping of a multivalued model using GINsim
-- A toy example --
Kaori Mitani, Hiroshi Matsuno, Adrien Faure (Yamaguchi Univ.)
pp. 31 - 34
MSS2014-97
A Method of Making Character State Data for Generating Language-Family Trees Based on Basic Vocabulary
Yuya Matsuura (Yamaguchi Univ.), Ren Wu (Yamaguchi Junior Coll.), Hiroshi Matsuno (Yamaguchi Univ.)
pp. 35 - 40
MSS2014-98
Equivalent Transformation of Retention-Free Petri Net by Dependent Shrink
Atsushi Mizuta, Qi-Wei Ge, Hiroshi Matsuno (Yamaguchi Univ.)
pp. 41 - 46
MSS2014-99
SMT-based Model Checking for Linear Hybrid Automata using CEGAR
Shohei Tomisaka, Ryo Yanase, Kohei Sakurai, Satoshi Yamane (Kanazawa Univ.)
pp. 47 - 52
MSS2014-100
Development of SMT-based model checker for assembly cords using interrupts reduction technique
Junpei Kobashi, Atsushi Takeshita, Satoshi Yamane, Kohei Sakurai (Kanazawa Univ.)
pp. 53 - 58
MSS2014-101
Parallel Distributed Clustering Algorithm with Node Partition and Aggregation in Large-Scale Graphs
Riku Asayama, Kohei Sakurai, Satoshi Yamane (Kanazawa Univ.)
pp. 59 - 64
MSS2014-102
The symbolic model checking by the model extraction from embedded assembly program
Tomonori Kato, Ryosuke Konoshita, Kohei Sakurai, Satoshi Yamane (Kanazawa Univ.)
pp. 65 - 70
MSS2014-103
A Retrieval Method of Similar Subgraphs Used in Japanese Historical Documents Image Retrieval System
Hiroaki Nagaoka, Yuichiro Iino, Mitsuru Nakata, Qi-Wei Ge (Yamaguchi Univ.)
pp. 71 - 76
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.