情報・システム-ソフトウェアサイエンス(開催日:2017/11/16)

タイトル/著者/発表日/資料番号
[招待講演]線形時相論理仕様に対するスーパバイザ制御

榊原 愛海(阪大),  潮 俊光(阪大),  

[発表日]2017-11-16
[資料番号]CAS2017-50,MSS2017-34
転移学習によるクラス未知の文書分類

白井 匡人(島根大),  劉 健全(NEC),  

[発表日]2017-11-16
[資料番号]CAS2017-48,MSS2017-32
[招待講演]電力需給管理における最適化問題

平戸 康太(東芝エネルギーシステムズ),  

[発表日]2017-11-16
[資料番号]CAS2017-45,MSS2017-29
[招待講演]スパース信号処理における最適化手法の深化

山岸 昌夫(東工大),  

[発表日]2017-11-16
[資料番号]CAS2017-43,MSS2017-27
シンポジウム「誤りを許容する演算方式に基づく回路とシステム」を振り返って

越田 俊介(東北大),  

[発表日]2017-11-16
[資料番号]CAS2017-40,MSS2017-24
境界を移動するシンクを持つ無線センサネットワークの安定転送木と最小コスト転送木

金子 美博(岐阜大),  山田 翼(岐阜大),  辻本 卓也(岐阜大),  

[発表日]2017-11-16
[資料番号]CAS2017-47,MSS2017-31
事象発生頻度の変化を表現するための論理

高木 理(群馬大),  

[発表日]2017-11-16
[資料番号]CAS2017-49,MSS2017-33
微風中のマルチローターの運動のモデリングとシミュレーション

磯貝 海斗(湘南工科大),  中野 秀夫(湘南工科大),  岡崎 秀晃(湘南工科大),  

[発表日]2017-11-16
[資料番号]CAS2017-41,MSS2017-25
フィールドワークにおけるつぶやきシステムの効果

岡田 政則(金沢学院大),  内平 直志(北陸先端大),  平石 邦彦(北陸先端大),  國藤 進(北陸先端大),  

[発表日]2017-11-16
[資料番号]CAS2017-46,MSS2017-30
穏やかな流れの中の水中ロボットの単純化モデルとシミュレーション

嶝 宗成(湘南工科大),  福田 晃輝(湘南工科大),  磯貝 海斗(湘南工科大),  中野 秀夫(湘南工科大),  岡崎 秀晃(湘南工科大),  

[発表日]2017-11-16
[資料番号]CAS2017-42,MSS2017-26
[Invited Talk] On the Recognition of Unit Grid Intersection Graphs

田湯 智(東工大),  上野 修一(東工大),  

[発表日]2017-11-16
[資料番号]CAS2017-44,MSS2017-28
ソフトウェア開発プロセスの評価における機械学習とプロセスマイニングの性能比較

塩澤 仁(北陸先端大),  平石 邦彦(北陸先端大),  

[発表日]2017-11-17
[資料番号]CAS2017-51,MSS2017-35
線形時相論理制約を満たす定常方策の階層的強化学習

山倉 佑馬(阪大),  潮 俊光(阪大),  

[発表日]2017-11-17
[資料番号]CAS2017-57,MSS2017-41
複合的因果関係分析手法を用いた遠隔診療の定量的安全性評価

藤田 健治(北陸先端大),  青木 利晃(北陸先端大),  平石 邦彦(北陸先端大),  

[発表日]2017-11-17
[資料番号]CAS2017-52,MSS2017-36
アグリゲータによるインセンティブ配分のもとでの電力使用量削減問題における利己的消費者のゲームモデル

長谷川 祐太(阪大),  金澤 尚史(阪大),  

[発表日]2017-11-17
[資料番号]CAS2017-58,MSS2017-42
2つのコミュニケーション図からの状態機械合成アルゴリズムの構築と実装

冨永 一矢(阪大),  木下 聖基(阪大),  宮本 俊幸(阪大),  

[発表日]2017-11-17
[資料番号]CAS2017-60,MSS2017-44
カラーペトリネットに基づく最適資源割当て数理計画の自動生成

牛島 涼介(琉球大),  天願 健(名桜大),  アンドレア ヴェロニカ ポルコ(琉球大),  名嘉村 盛和(琉球大),  

[発表日]2017-11-17
[資料番号]CAS2017-61,MSS2017-45
発見的な手法とバックトラック探索による被覆配列の生成

佐藤 俊輝(新潟大),  高橋 俊彦(新潟大),  

[発表日]2017-11-17
[資料番号]CAS2017-54,MSS2017-38
SATソルバを使用したロケーティングアレイの生成手法について

小西 達也(阪大),  小島 英春(阪大),  中川 博之(阪大),  土屋 達弘(阪大),  

[発表日]2017-11-17
[資料番号]CAS2017-62,MSS2017-46
[招待講演]航空交通のオープンデータとその活用

岡 恵(電子航法研),  福田 豊(電子航法研),  

[発表日]2017-11-17
[資料番号]CAS2017-53,MSS2017-37
12>> 1-20hit(23hit)