Information and Systems-Software Science(Date:2015/02/26)

Presentation
表紙

,  

[Date]2015/2/26
[Paper #]
目次

,  

[Date]2015/2/26
[Paper #]
An improvement of topological queue layouts of complete graphs

Miki Miyauchi,  

[Date]2015/2/26
[Paper #]MSS2014-91
Optimal LLP supervisory control based on the learning of state transition model

Hijiri UMEMOTO,  Tatsushi YAMASAKI,  

[Date]2015/2/26
[Paper #]MSS2014-92
Path Finding Algorithms for large-scale building with structural change

Tomohiro SHIMIZU,  Ken UMENO,  Alice OKABE,  Atsuko ENOMOTO,  Yoichi NONAKA,  

[Date]2015/2/26
[Paper #]MSS2014-93
Code clone detection using parallel distributed processing for software revision history

Shin CHADANI,  Kohei SAKURAI,  Satoshi YAMANE,  

[Date]2015/2/26
[Paper #]MSS2014-94
Forcasting Individual stock prices using Deep Learning

Kazuya MATSUMOTO,  Kouhei SAKURAI,  Satoshi YAMANE,  

[Date]2015/2/26
[Paper #]MSS2014-95
Boolean mapping of a multivalued model using GINsim : A toy example

Kaori MITANI,  Hiroshi MATSUNO,  Adrien FAURE,  

[Date]2015/2/26
[Paper #]MSS2014-96
A Method of Making Character State Data for Generating Language-Family Trees Based on Basic Vocabulary

Yuya MATSUURA,  Ren WU,  Hiroshi MATSUNO,  

[Date]2015/2/26
[Paper #]MSS2014-97
Equivalent Transformation of Retention-Free Petri Net by Dependent Shrink

Atsushi MIZUTA,  Qi-Wei GE,  Hiroshi MATSUNO,  

[Date]2015/2/26
[Paper #]MSS2014-98
SMT-based Model Checking for Linear Hybrid Automata using CEGAR

Shohei TOMISAKA,  Ryo YANASE,  Kohei SAKURAI,  Satoshi YAMANE,  

[Date]2015/2/26
[Paper #]MSS2014-99
Development of SMT-based model checker for assembly codes using an interrupt reduction technique

Jumpei KOBASHI,  Atsushi TAKESHITA,  Satoshi YAMANE,  Kohei SAKURAI,  

[Date]2015/2/26
[Paper #]MSS2014-100
Parallel Distributed Clustering Algorithm with Node Partition and Aggregation in Large-Scale Graphs

Riku ASAYAMA,  Kohei SAKURAI,  Satoshi YAMANE,  

[Date]2015/2/26
[Paper #]MSS2014-101
組込みアセンブリプログラムからのモデル抽出による記号モデル検査(離散事象システム及び一般)

TOMONORI Kato,  RYOSUKE Konoshita,  KOHEI Sakurai,  SATOSHI Yamane,  

[Date]2015/2/26
[Paper #]MSS2014-102
A Retrieval Method of Similar Subgraphs Used in Japanese Historical Documents Image Retrieval System

Hiroaki NAGAOKA,  Yuichiro IINO,  Mitsuru NAKATA,  Qi-Wei GE,  

[Date]2015/2/26
[Paper #]MSS2014-103
複写される方へ

,  

[Date]2015/2/26
[Paper #]
Reprographic Reproduction outside Japan

,  

[Date]2015/2/26
[Paper #]
奥付

,  

[Date]2015/2/26
[Paper #]
裏表紙

,  

[Date]2015/2/26
[Paper #]