Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2013] | [2014] | [2015] | [2016] | [2017] | [2018] | [2019] | [Japanese] / [English]
CAS2016-58
センサトリガを用いたハードウェアトロイの実装と評価
○岩瀬貴都・野崎佑典・吉川雅弥（名城大）
pp. 1 - 6
CAS2016-59
エリア内部で充電するUAVの2回飛行による正方格子グラフ探索
○金子美博・可児丈輝（岐阜大）・間瀬憲一（新潟大）
pp. 7 - 12
CAS2016-60
ポインタ付与によるRun-Based Trie探索の高速化
○原田崇司・田中 賢（神奈川大）・三河賢治（新潟大）
pp. 13 - 18
CAS2016-61
A Traffic Load Balancing with Tie-sets in a Dispersion-managed Network
○Masashi Yamada・Norihiko Shinomiya（Soka Univ.）
pp. 19 - 24
CAS2016-62
非決定離散事象システムの模倣制御におけるノンブロッキングスーパバイザの存在性
○山田悠貴・高井重昌（阪大）
pp. 25 - 30
CAS2016-63
ペトリネット検証ツールHiPS向けon-the-flyモデル検査器の実現と評価
○張江洋次朗・和﨑克己（信州大）
pp. 31 - 35
CAS2016-64
プログラムグラフによるCソースコードの表現と解析
○大久保建男（岩手県立大）・福原和哉（i-MOS）・猪股俊光・杉野栄二・新井義和・今井信太郎（岩手県立大）
pp. 37 - 42
CAS2016-65
探索時間制約下における複数粒子群最適化のための変動パラメータ設定手法
○安里祐哉（琉球大）・天願 健（名桜大）・名嘉村盛和（琉球大）
pp. 43 - 48
CAS2016-66
［招待講演］“交流”を主眼とする科学コミュニケーション活動の記録・分析 ～ いわきにおける放射線に関する対話 ～
○相田 慎（豊橋技科大）
pp. 69 - 71
CAS2016-67
［招待講演］映像検索の過去・現在・未来:既知から未知の検索対象へ
○劉 健全・西村祥治・荒木拓也・中村祐一（NEC）
pp. 73 - 77
CAS2016-68
高位合成における信頼性を考慮したクロックスキュー調整に関する一検討
○井上恵介（金沢高専）
pp. 79 - 82
CAS2016-69
A Note on the Spanning Subgraph Isomorphism Problem
○Satoshi Tayu・Kenji Ichikawa・Shuichi Ueno（Tokyo Tech）
pp. 83 - 88
CAS2016-70
On the Complexity of Finding a Largest Common Subtree of Trees
○Hiroki Katsumata・Satoshi Tayu・Shuichi Ueno（Tokyo Tech）
pp. 89 - 92
CAS2016-71
A 3/2-Approximation Algorithm for the Bipartite Dense Subgraph Problem on Bipartite Permutation Graphs
○Yuta Inaba・Satoshi Tayu・Shuichi Ueno（Tokyo Tech）
pp. 93 - 96
CAS2016-72
［招待講演］トークン整列問題への誘い ～ あみだくじをグラフへ一般化 ～
○山中克久（岩手大）
p. 97
CAS2016-73
同期回路の機能的定義による同期概念の形式化
○西村俊二・尼崎太樹・末吉敏則（熊本大）
pp. 99 - 104
CAS2016-74
戦略の更新間隔の違いを考慮した模倣ダイナミクス
○町田真直・金澤尚史（阪大）
pp. 105 - 108
CAS2016-75
時間情報をもつユーザモデルを用いた人間機械系におけるモードコンフュージョンの検出
○前田佳樹・潮 俊光（阪大）
pp. 109 - 112
CAS2016-76
利得関数が未知の集団ゲームにおける補助金を用いた任意目標状態の安定化
○木下雅也・金澤尚史（阪大）
pp. 113 - 116
注： 本技術報告は査読を経ていない技術報告であり，推敲を加えられていずれかの場に発表されることがあります．