基礎・境界/NOLTA-回路とシステム(開催日:2016/11/24)

タイトル/著者/発表日/資料番号
[招待講演]“交流”を主眼とする科学コミュニケーション活動の記録・分析

相田 慎(豊橋技科大),  

[発表日]2016-11-24
[資料番号]CAS2016-66,MSS2016-46
プログラムグラフによるCソースコードの表現と解析

大久保 建男(岩手県立大),  福原 和哉(i-MOS),  猪股 俊光(岩手県立大),  杉野 栄二(岩手県立大),  新井 義和(岩手県立大),  今井 信太郎(岩手県立大),  

[発表日]2016-11-24
[資料番号]CAS2016-64,MSS2016-44
A Traffic Load Balancing with Tie-sets in a Dispersion-managed Network

山田 正史(創価大),  篠宮 紀彦(創価大),  

[発表日]2016-11-24
[資料番号]CAS2016-61,MSS2016-41
エリア内部で充電するUAVの2回飛行による正方格子グラフ探索

金子 美博(岐阜大),  可児 丈輝(岐阜大),  間瀬 憲一(新潟大),  

[発表日]2016-11-24
[資料番号]CAS2016-59,MSS2016-39
非決定離散事象システムの模倣制御におけるノンブロッキングスーパバイザの存在性

山田 悠貴(阪大),  高井 重昌(阪大),  

[発表日]2016-11-24
[資料番号]CAS2016-62,MSS2016-42
センサトリガを用いたハードウェアトロイの実装と評価

岩瀬 貴都(名城大),  野崎 佑典(名城大),  吉川 雅弥(名城大),  

[発表日]2016-11-24
[資料番号]CAS2016-58,MSS2016-38
ポインタ付与によるRun-Based Trie探索の高速化

原田 崇司(神奈川大),  田中 賢(神奈川大),  三河 賢治(新潟大),  

[発表日]2016-11-24
[資料番号]CAS2016-60,MSS2016-40
[招待講演]映像検索の過去・現在・未来:既知から未知の検索対象へ

劉 健全(NEC),  西村 祥治(NEC),  荒木 拓也(NEC),  中村 祐一(NEC),  

[発表日]2016-11-24
[資料番号]CAS2016-67,MSS2016-47
探索時間制約下における複数粒子群最適化のための変動パラメータ設定手法

安里 祐哉(琉球大),  天願 健(名桜大),  名嘉村 盛和(琉球大),  

[発表日]2016-11-24
[資料番号]CAS2016-65,MSS2016-45
ペトリネット検証ツールHiPS向けon-the-flyモデル検査器の実現と評価

張江 洋次朗(信州大),  和﨑 克己(信州大),  

[発表日]2016-11-24
[資料番号]CAS2016-63,MSS2016-43
時間情報をもつユーザモデルを用いた人間機械系におけるモードコンフュージョンの検出

前田 佳樹(阪大),  潮 俊光(阪大),  

[発表日]2016-11-25
[資料番号]CAS2016-75,MSS2016-55
A Note on the Spanning Subgraph Isomorphism Problem

田湯 智(東工大),  市川 研二(東工大),  上野 修一(東工大),  

[発表日]2016-11-25
[資料番号]CAS2016-69,MSS2016-49
[招待講演]トークン整列問題への誘い

山中 克久(岩手大),  

[発表日]2016-11-25
[資料番号]CAS2016-72,MSS2016-52
戦略の更新間隔の違いを考慮した模倣ダイナミクス

町田 真直(阪大),  金澤 尚史(阪大),  

[発表日]2016-11-25
[資料番号]CAS2016-74,MSS2016-54
On the Complexity of Finding a Largest Common Subtree of Trees

勝又 広揮(東工大),  田湯 智(東工大),  上野 修一(東工大),  

[発表日]2016-11-25
[資料番号]CAS2016-70,MSS2016-50
A 3/2-Approximation Algorithm for the Bipartite Dense Subgraph Problem on Bipartite Permutation Graphs

稲葉 悠太(東工大),  田湯 智(東工大),  上野 修一(東工大),  

[発表日]2016-11-25
[資料番号]CAS2016-71,MSS2016-51
同期回路の機能的定義による同期概念の形式化

西村 俊二(熊本大),  尼崎 太樹(熊本大),  末吉 敏則(熊本大),  

[発表日]2016-11-25
[資料番号]CAS2016-73,MSS2016-53
利得関数が未知の集団ゲームにおける補助金を用いた任意目標状態の安定化

木下 雅也(阪大),  金澤 尚史(阪大),  

[発表日]2016-11-25
[資料番号]CAS2016-76,MSS2016-56
高位合成における信頼性を考慮したクロックスキュー調整に関する一検討

井上 恵介(金沢高専),  

[発表日]2016-11-25
[資料番号]CAS2016-68,MSS2016-48