基礎・境界/NOLTA-システム数理と応用(開催日：2015/02/26)

タイトル/著者/発表日/資料番号
表紙

,  

[発表日]2015/2/26
[資料番号]
目次

,  

[発表日]2015/2/26
[資料番号]
完全グラフのトポロジカルキューレイアウトの改良(離散事象システム及び一般)

宮内 美樹,  

[発表日]2015/2/26
[資料番号]MSS2014-91
状態遷移モデルの学習に基づく最適LLPスーパバイザの構成(離散事象システム及び一般)

梅本 聖,  山崎 達志,  

[発表日]2015/2/26
[資料番号]MSS2014-92
構造変化を伴う大規模建造物における経路探索アルゴリズムについて(離散事象システム及び一般)

清水 智広,  梅野 健,  岡部 亜梨子,  榎本 敦子,  野中 洋一,  

[発表日]2015/2/26
[資料番号]MSS2014-93
並列分散処理を用いたソフトウェア変更履歴からのコードクローンの検出(離散事象システム及び一般)

茶谷 慎,  櫻井 孝平,  山根 智,  

[発表日]2015/2/26
[資料番号]MSS2014-94
Deep Learningを用いた個別株価の予測(離散事象システム及び一般)

松本 和也,  櫻井 孝平,  山根 智,  

[発表日]2015/2/26
[資料番号]MSS2014-95
Boolean mapping of a multivalued model using GINsim : A toy example

三谷 和織,  松野 浩嗣,  フォレ アドリエン,  

[発表日]2015/2/26
[資料番号]MSS2014-96
基礎語彙に基づく言語系統樹生成のための形質状態データの作成手法(離散事象システム及び一般)

松浦 佑哉,  呉 靱,  松野 浩嗣,  

[発表日]2015/2/26
[資料番号]MSS2014-97
依存縮約による滞留なしペトリネットの等価変換(離散事象システム及び一般)

水田 淳史,  葛 崎偉,  松野 浩嗣,  

[発表日]2015/2/26
[資料番号]MSS2014-98
線形ハイブリッドオートマタのCEGARを適用したSMTベースモデル検査(離散事象システム及び一般)

冨坂 征平,  柳瀬 龍,  櫻井 孝平,  山根 智,  

[発表日]2015/2/26
[資料番号]MSS2014-99
割込み遷移削減手法を導入した組込みアセンブリコード向けSMTベースモデル検査器の開発(離散事象システム及び一般)

小橋 潤平,  竹下 淳,  山根 智,  櫻井 孝平,  

[発表日]2015/2/26
[資料番号]MSS2014-100
大規模グラフのノード分割と逐次集約による並列分散クラスタリングアルゴリズム(離散事象システム及び一般)

浅山 陸,  櫻井 孝平,  山根 智,  

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

加藤 友紀,  公下 亮佑,  櫻井 孝平,  山根 智,  

[発表日]2015/2/26
[資料番号]MSS2014-102
古文書画像検索システムにおける類似部分グラフ検索手法の提案(離散事象システム及び一般)

長岡 弘祥,  飯野 雄一郎,  中田 充,  葛 崎偉,  

[発表日]2015/2/26
[資料番号]MSS2014-103
複写される方へ

,  

[発表日]2015/2/26
[資料番号]
Reprographic Reproduction outside Japan

,  

[発表日]2015/2/26
[資料番号]
奥付

,  

[発表日]2015/2/26
[資料番号]
裏表紙

,  

[発表日]2015/2/26
[資料番号]