研究会 |
発表日時 |
開催地 |
タイトル・著者 |
抄録 |
資料番号 |
MSS, CAS (共催) IPSJ-AL (連催) [詳細] |
2016-11-24 10:00 |
兵庫 |
神戸情報大学院大学 |
センサトリガを用いたハードウェアトロイの実装と評価 ○岩瀬貴都・野崎佑典・吉川雅弥(名城大) CAS2016-58 MSS2016-38 |
近年,自動車における高機能化が進んでおり,自動運転技術や外部との通信技術といった車載システムは急速に発展している.しかし... [more] |
CAS2016-58 MSS2016-38 pp.1-6 |
MSS, CAS (共催) IPSJ-AL (連催) [詳細] |
2016-11-24 10:25 |
兵庫 |
神戸情報大学院大学 |
エリア内部で充電するUAVの2回飛行による正方格子グラフ探索 ○金子美博・可児丈輝(岐阜大)・間瀬憲一(新潟大) CAS2016-59 MSS2016-39 |
対象エリアを幾つかのサブエリアに分割し,各サブエリアに一組の無人航空機(UAV)と電気自動車(EV)を割り当てることによ... [more] |
CAS2016-59 MSS2016-39 pp.7-12 |
MSS, CAS (共催) IPSJ-AL (連催) [詳細] |
2016-11-24 10:50 |
兵庫 |
神戸情報大学院大学 |
ポインタ付与によるRun-Based Trie探索の高速化 ○原田崇司・田中 賢(神奈川大)・三河賢治(新潟大) CAS2016-60 MSS2016-40 |
Run-Based Trieは,アルファベット${0, 1, *}$上の長さ$w$の系列のリストによって定義された函数$... [more] |
CAS2016-60 MSS2016-40 pp.13-18 |
MSS, CAS (共催) IPSJ-AL (連催) [詳細] |
2016-11-24 11:15 |
兵庫 |
神戸情報大学院大学 |
A Traffic Load Balancing with Tie-sets in a Dispersion-managed Network ○Masashi Yamada・Norihiko Shinomiya(Soka Univ.) CAS2016-61 MSS2016-41 |
This paper proposes a traffic load balancing method to allev... [more] |
CAS2016-61 MSS2016-41 pp.19-24 |
MSS, CAS (共催) IPSJ-AL (連催) [詳細] |
2016-11-24 13:00 |
兵庫 |
神戸情報大学院大学 |
非決定離散事象システムの模倣制御におけるノンブロッキングスーパバイザの存在性 ○山田悠貴・高井重昌(阪大) CAS2016-62 MSS2016-42 |
[more] |
CAS2016-62 MSS2016-42 pp.25-30 |
MSS, CAS (共催) IPSJ-AL (連催) [詳細] |
2016-11-24 13:25 |
兵庫 |
神戸情報大学院大学 |
ペトリネット検証ツールHiPS向けon-the-flyモデル検査器の実現と評価 ○張江洋次朗・和﨑克己(信州大) CAS2016-63 MSS2016-43 |
ペトリネットモデルより生成される状態空間のイベントに着目したon-the-flyモデル検査器の設計を行った.HiPSは筆... [more] |
CAS2016-63 MSS2016-43 pp.31-35 |
MSS, CAS (共催) IPSJ-AL (連催) [詳細] |
2016-11-24 13:50 |
兵庫 |
神戸情報大学院大学 |
プログラムグラフによるCソースコードの表現と解析 ○大久保建男(岩手県立大)・福原和哉(i-MOS)・猪股俊光・杉野栄二・新井義和・今井信太郎(岩手県立大) CAS2016-64 MSS2016-44 |
プログラムグラフは,プログラムに含まれている関数や変数をノードとし,関数どうしの関係,関数と変数の関係,変数どうしの関係... [more] |
CAS2016-64 MSS2016-44 pp.37-42 |
MSS, CAS (共催) IPSJ-AL (連催) [詳細] |
2016-11-24 14:15 |
兵庫 |
神戸情報大学院大学 |
探索時間制約下における複数粒子群最適化のための変動パラメータ設定手法 ○安里祐哉(琉球大)・天願 健(名桜大)・名嘉村盛和(琉球大) CAS2016-65 MSS2016-45 |
本稿では複数群を持つ粒子群最適化において、あらかじめ与えられた探索回数に適した変動パラメータ設定法を提案する。
提案す... [more] |
CAS2016-65 MSS2016-45 pp.43-48 |
MSS, CAS (共催) IPSJ-AL (連催) [詳細] |
2016-11-24 16:25 |
兵庫 |
神戸情報大学院大学 |
[招待講演]“交流”を主眼とする科学コミュニケーション活動の記録・分析 ~ いわきにおける放射線に関する対話 ~ ○相田 慎(豊橋技科大) CAS2016-66 MSS2016-46 |
東京電力・福島第一原発事故によって,放射線被曝という「未知のリスク」に多くの国民が曝された.事故初期における東電・行政の... [more] |
CAS2016-66 MSS2016-46 pp.69-71 |
MSS, CAS (共催) IPSJ-AL (連催) [詳細] |
2016-11-24 17:15 |
兵庫 |
神戸情報大学院大学 |
[招待講演]映像検索の過去・現在・未来:既知から未知の検索対象へ ○劉 健全・西村祥治・荒木拓也・中村祐一(NEC) CAS2016-67 MSS2016-47 |
本論文では,監視領域における映像検索の過去・現在・未来について,既知と未知の検索対象に対して検索技術の変化と今後の発展を... [more] |
CAS2016-67 MSS2016-47 pp.73-77 |
MSS, CAS (共催) IPSJ-AL (連催) [詳細] |
2016-11-25 09:00 |
兵庫 |
神戸情報大学院大学 |
高位合成における信頼性を考慮したクロックスキュー調整に関する一検討 ○井上恵介(金沢高専) CAS2016-68 MSS2016-48 |
宇宙から飛来する中性子線やチップのシールド金属から放射される
アルファ線が回路の一時的な故障を引き起こす問題はソフトエ... [more] |
CAS2016-68 MSS2016-48 pp.79-82 |
MSS, CAS (共催) IPSJ-AL (連催) [詳細] |
2016-11-25 09:25 |
兵庫 |
神戸情報大学院大学 |
A Note on the Spanning Subgraph Isomorphism Problem ○Satoshi Tayu・Kenji Ichikawa・Shuichi Ueno(Tokyo Tech) CAS2016-69 MSS2016-49 |
[more] |
CAS2016-69 MSS2016-49 pp.83-88 |
MSS, CAS (共催) IPSJ-AL (連催) [詳細] |
2016-11-25 09:50 |
兵庫 |
神戸情報大学院大学 |
On the Complexity of Finding a Largest Common Subtree of Trees ○Hiroki Katsumata・Satoshi Tayu・Shuichi Ueno(Tokyo Tech) CAS2016-70 MSS2016-50 |
[more] |
CAS2016-70 MSS2016-50 pp.89-92 |
MSS, CAS (共催) IPSJ-AL (連催) [詳細] |
2016-11-25 10:15 |
兵庫 |
神戸情報大学院大学 |
A 3/2-Approximation Algorithm for the Bipartite Dense Subgraph Problem on Bipartite Permutation Graphs ○Yuta Inaba・Satoshi Tayu・Shuichi Ueno(Tokyo Tech) CAS2016-71 MSS2016-51 |
The densest $k$-subgraph problem is to find a $k$-vertex sub... [more] |
CAS2016-71 MSS2016-51 pp.93-96 |
MSS, CAS (共催) IPSJ-AL (連催) [詳細] |
2016-11-25 10:55 |
兵庫 |
神戸情報大学院大学 |
[招待講演]トークン整列問題への誘い ~ あみだくじをグラフへ一般化 ~ ○山中克久(岩手大) CAS2016-72 MSS2016-52 |
[more] |
CAS2016-72 MSS2016-52 p.97 |
MSS, CAS (共催) IPSJ-AL (連催) [詳細] |
2016-11-25 12:55 |
兵庫 |
神戸情報大学院大学 |
同期回路の機能的定義による同期概念の形式化 ○西村俊二・尼崎太樹・末吉敏則(熊本大) CAS2016-73 MSS2016-53 |
同期回路は多くの場合Dフリップフロップ(D-FF)同期回路を指すが,D-FF同期回路のみが同期という概念の全てを十分に表... [more] |
CAS2016-73 MSS2016-53 pp.99-104 |
MSS, CAS (共催) IPSJ-AL (連催) [詳細] |
2016-11-25 13:20 |
兵庫 |
神戸情報大学院大学 |
戦略の更新間隔の違いを考慮した模倣ダイナミクス ○町田真直・金澤尚史(阪大) CAS2016-74 MSS2016-54 |
[more] |
CAS2016-74 MSS2016-54 pp.105-108 |
MSS, CAS (共催) IPSJ-AL (連催) [詳細] |
2016-11-25 13:45 |
兵庫 |
神戸情報大学院大学 |
時間情報をもつユーザモデルを用いた人間機械系におけるモードコンフュージョンの検出 ○前田佳樹・潮 俊光(阪大) CAS2016-75 MSS2016-55 |
人間機械系におけるユーザとマシンの振舞いをオートマトンでモデル化して,オートメーションサプライズを形式的に検証する方法が... [more] |
CAS2016-75 MSS2016-55 pp.109-112 |
MSS, CAS (共催) IPSJ-AL (連催) [詳細] |
2016-11-25 14:10 |
兵庫 |
神戸情報大学院大学 |
利得関数が未知の集団ゲームにおける補助金を用いた任意目標状態の安定化 ○木下雅也・金澤尚史(阪大) CAS2016-76 MSS2016-56 |
利己的に行動選択する多数のプレイヤーの集団において,集団全体にとって望ましい状態が実現しない場合がある.このため,政府が... [more] |
CAS2016-76 MSS2016-56 pp.113-116 |