| 題目 |
指導教員(主査) |
| ２酸化チタンナノ粒子を曝露されたヒメダカのイメージング手法による解析 |
入江 克 |
| カエル幼生の動作解析とデータベース作成 |
入江 克 |
| ヒメダカの遊泳形態の研究 |
入江 克 |
| Explicit-time methodに基づくモデル検査器SLIMのリアルタイムシステムモデル検査器への拡張 |
上田 和紀 |
| LMNtalグラフの一意バイト列表現のインクリメンタルな生成手法 |
上田 和紀 |
| ハイブリッド制約言語HydLaのREDUCEを用いた高信頼実行処理系 |
上田 和紀 |
| ハイブリッド制約言語プログラムのハイブリッドオートマトンへの変換 |
上田 和紀 |
| 基数制約の概念を持つ拡張SATソルバの設計と実装 |
上田 和紀 |
| 並列モデル検査器SLIMの状態空間削減手法および最適化問題向けの状態空間構築手法 |
上田 和紀 |
| fCryptica：公開鍵暗号の実装を目的としたフレームワーク |
筧 捷彦 |
| Frepp:曲という単位に囚われない音楽プレイリストインタフェース |
筧 捷彦 |
| 日本語プログラミング言語プロデルにおけるコード補完機能の実装 |
筧 捷彦 |
| H.264/AVCエンコーダの複数階層並列処理による高速化 |
笠原 博徳 |
| Javaの自動並列化における例外フローのインライン化解析とメソッドディスパッチの高速化 |
笠原 博徳 |
| マルチコアシミュレーションの高速化手法とそのための精度切り替え機能の実装と評価 |
笠原 博徳 |
| メニーコア向けの自動並列化コンパイラにおける同期機構とコンパイル手法についての研究 |
笠原 博徳 |
| 科学技術計算のプログラム構造に着目したメニーコアアーキテクチャシミュレータの高速化手法 |
笠原 博徳 |
| 最適化スケジューリングアルゴリズムと電力制御スケジューラに関する研究 |
笠原 博徳 |
| 自動並列化コンパイラによるFortranを対象としたローカルメモリ管理 |
笠原 博徳 |
| 自動並列化コンパイラの様々なマルチコア・プロセッサへの適用が容易なOSCAR API標準解釈系の開発 |
笠原 博徳 |
| 並列化した複数アプリケーション同時実行時のRP2上での消費電力評価およびJPEG XRのOSCARコンパイラによる並列化 |
笠原 博徳 |
| ACK到着間隔計測に基づくネットワーク状況推定を利用したTCP輻輳制御 |
甲藤 二郎 |
| Bilateral Filterを用いたSIFTの性能改善に関する検討 |
甲藤 二郎 |
| システム運用管理のためのサーバ状態観測手法に関する研究 |
甲藤 二郎 |
| ソフトバイオメトリック情報を用いたサーベイランスシステムに関する研究 |
甲藤 二郎 |
| バイオメトリック暗号におけるテンプレートの安全性対策に関する研究－Fuzzy Commitment Schemeを用いた共通補助データの作成－ |
甲藤 二郎 |
| パケット対のRTTに着目したネットワーク帯域測定手法に関する研究 |
甲藤 二郎 |
| ビット深度スケーラブル符号化方式における非線形フィルタを用いたレイヤ間予測手法 |
甲藤 二郎 |
| プロセッサ・シェアリングGI/GI/1システムにおける待ち時間評価に関する研究 |
甲藤 二郎 |
| マルチモーダルデータを用いたトラヒックパターン分類法の研究 |
甲藤 二郎 |
| 海中センサネットワークにおけるContinuousとSelectiveとのHybrid ARQを用いたMACプロトコル評価 |
甲藤 二郎 |
| 携帯端末のセンサ情報を用いたユーザ行動状態の解析に関する研究－ケプストラム分析の有効性評価－ |
甲藤 二郎 |
| 特徴量の時間的な状態遷移を考慮したマルウェア感染検知手法に関する研究 |
甲藤 二郎 |
| 物体抽出を用いた一般物体認識の性能改善 |
甲藤 二郎 |
| 無線LANを利用したトランスポート層、アプリケーション層におけるQoS向上のための諸検討 |
甲藤 二郎 |
| 無線LAN環境におけるTCP差別化と無線リソース利用効率に関する研究 |
甲藤 二郎 |
| 無線マルチホップアドホックネットワークに適した低遅延型TCP輻輳制御方式 |
甲藤 二郎 |
| 話者照合システムにおけるウルフ攻撃とその対策に関する研究 |
甲藤 二郎 |
| OSCARコンパイラによるマルチコアに於けるローカルメモリ管理手法 |
木村 啓二 |
| OSCAR自動並列化コンパイラを用いた医療画像処理の並列高速化 |
木村 啓二 |
| マルチコアプロセッサ上でのコンパイラによる最大消費電力制御手法に関する研究 |
木村 啓二 |
| 自動並列化コンパイラにおけるポインタ解析結果を用いたローカルメモリ管理手法 |
木村 啓二 |
| 組み込み用マルチコアRP2上での電子回路シミュレーションのマルチグレイン並列処理 |
木村 啓二 |
| Bit Torrentにおける局所性を優先したピア選択法 |
後藤 滋樹 |
| Bit Torrentにおける低速ピアの支援法 |
後藤 滋樹 |
| OpenFlowを用いたサーバ負荷分散における省電力 |
後藤 滋樹 |
| シーダを保証するLocation BasedクラスタリングによるP2P動画配信 |
後藤 滋樹 |
| ファイル転送量をメトリックとしたデータ駆動型ALM |
後藤 滋樹 |
| ブログにおけるコメントスパムの収集と分析 |
後藤 滋樹 |
| 仮想センサを用いたダークネット空間の拡張 |
後藤 滋樹 |
| 時系列解析を用いた省電力ルーティング |
後藤 滋樹 |
| ライブストリーミングのための協調的音声書き起こしシステム |
小林 哲則 |
| 階層的構造を持つ発話単位ディリクレ過程混合モデルによるフルベイズ話者クラスタリング手法の提案 |
小林 哲則 |
| 形状分布を考慮したAAMによる顔形状フィッティング |
小林 哲則 |
| 携帯端末を用いた拡張現実感（AR）のための情報フィルタリングインタフェースに関する研究 |
小林 哲則 |
| 高齢者にも利用可能なウェブ閲覧インターフェースのフレームワーク |
小林 哲則 |
| キーワードテキストに対するイベント自動判定法の提案 |
菅原 俊治 |
| センサネットワークにおけるトポロジーと人物の動線推定 |
菅原 俊治 |
| 強化学習を用いたチーム編成の効率化手法の提案と性能評価 |
菅原 俊治 |
| 潜在ディリクレ配分法を用いた業種別日次ニュースのテキストマイニングによる株価変動予測 |
菅原 俊治 |
| 粒子群最適化手法の分散化による効率的 VLAN 間ルーティング配置の研究 |
菅原 俊治 |
| 連続した配置の渋滞緩和エージェントによる渋滞緩和の有効性の評価 |
菅原 俊治 |
| ３次元地図データを利用した計算機シミュレーションから得られるGPSと準天頂衛星の測位性能の実証実験による検証に関する研究 |
髙畑 文雄 |
| LDPC符号化OFDM伝送におけるウォータフォール領域のEXIT解析による特定に関する研究 |
髙畑 文雄 |
| LR-THPへの適応変調の適用に関する研究 |
髙畑 文雄 |
| THP MU-MIMOにおける非線形多重を用いるDMRS挿入損削減技術に関する研究 |
髙畑 文雄 |
| メトリック比較を利用したCOFDM両方向高速フェージング補償方式に関する研究 |
髙畑 文雄 |
| Fat treeを用いたバスマトリクス方式のネットワークプロセッサに関する研究 |
戸川 望 |
| HDRアーキテクチャを対象とした複数電源電圧指向の低電力化高位合成手法に関する研究 |
戸川 望 |
| 一般化レジスタ分散アーキテクチャを対象とした複数電源電圧による低消費電力化高位合成手法 |
戸川 望 |
| 画像レジストレーションにおけるサブピクセルマッチング高精細化手法に関する研究 |
戸川 望 |
| 規則性レジスタ分散型アーキテクチャを対象とした演算２重化フォールトセキュア高位合成 |
戸川 望 |
| 携帯端末を対象とした低負荷マルウェア検知システムとその評価に関する研究 |
戸川 望 |
| 次世代動画像符号化に適した並列補間手法のハードウェア設計に関する研究 |
戸川 望 |
| 組み込みシステム設計のための高速キャッシュ構成シミュレーション |
戸川 望 |
| 動的再構成型プロセッサFE-GAのマッピング手法に関する研究 －IIRフィルタ・CICフィルタ設計とそのマッピング自動化手法－ |
戸川 望 |
| Local Memory-Based Protection on Embedded Systems |
中島 達夫 |
| Photo Bokkuru：個人認証の際に用いる適切な画像の比較を目的としたシステムの構築と評価 |
中島 達夫 |
| Scalable and Flexible OpenFlow-based Distributed Rate Limiting |
中島 達夫 |
| Study of a Conversational Agent System Encouraging“Real”Answers of Individuals in a Group of Acquaintances |
中島 達夫 |
| キャラクタインタラクションを用いた暗黙的説得の有効性に関する考察 |
中島 達夫 |
| リアルタイム組込み機器向け仮想マシンモニタ上でのLock Holder Preemption問題の解決 |
中島 達夫 |
| 仮想マシンを用いたインテグリティチェッカー開発用フレームワーク |
中島 達夫 |
| UMLモデルからの変換によるWebアプリケーションの形式検証 |
深澤 良彰 |
| ヴィックレイオークションを利用したWebサービス選択アルゴリズムに関する研究 |
深澤 良彰 |
| 既存ウインドウ情報の解析による一貫性を持ったGUI自動生成に関する研究 |
深澤 良彰 |
| 無線センサネットワークアプリケーション開発におけるデータ品質最適化に関する研究 |
深澤 良彰 |
| 要求・設計資産からのプロダクトラインアーキテクチャ抽出支援に関する研究 |
深澤 良彰 |
| COFDM方式におけるビット誤り率の誤り訂正符号化器の拘束長依存性に関する研究 |
前原 文明 |
| GPSと無線LANによる推定位置の選択合成法に関する研究 |
前原 文明 |
| SC-FDEへの判定帰還型伝搬路推定法の適用に関する研究 |
前原 文明 |
| クリッピング＆フィルタリングへの送信電力制御を用いたOFDM非線形ひずみ抑圧方式の適用に関する研究 |
前原 文明 |
| 時間選択性フェージング環境下におけるSTBCの適応制御に関する研究 |
前原 文明 |
| 端末の移動度を考慮したマルチユーザMIMO伝送方式に関する研究 |
前原 文明 |
| 無線LANのRSSI測定機能を用いた位置推定の高精度化に関する研究 |
前原 文明 |
| Kinectを利用したダイナミックベイジアンネットワークによる人の動作認識 |
松山 泰男 |
| SVMを用いた認知課題遂行時の脳血流信号のクラス分類 |
松山 泰男 |
| ランダムフォレストによる複数画像特徴を用いた画像クラス分類 |
松山 泰男 |
| 複数画像間の相関関係に基づいた類似動画検索 |
松山 泰男 |
| 分子進化的観点から見た天然変性タンパク質の解析 |
松山 泰男 |
| 3Dモーション生成のための支援ツールの提案 |
村岡 洋一 |
| STGのAIプレイヤの作成 |
村岡 洋一 |
| コメント情報を利用した野球中継のダイジェスト自動生成 |
村岡 洋一 |
| 顔情報と口唇動作を用いたマルチモーダル個人認証 |
村岡 洋一 |
| 多人数不完全情報ゲームにおけるUCTプレイアウトの改良 |
村岡 洋一 |
| 対戦ゲームにおけるコンピュータの人間性 |
村岡 洋一 |
| 動画像中人物の動作推定 |
村岡 洋一 |
| 特徴抽出を利用したAR向けマーカーの作成 |
村岡 洋一 |
| 二次元画像における笑顔指標を用いた笑顔合成 |
村岡 洋一 |
| 暗号LSIにおけるリーク電流を利用した攻撃に関する研究 |
柳澤 政生 |
| 加速度センサを用いた対話時におけるフロー状態検出手法に関する研究 |
柳澤 政生 |
| 次世代映像圧縮符号化技術HEVCにおける画面内予測処理高速化に関する研究 |
柳澤 政生 |
| ２段階 GrabCut を用いた注目物体の視認性を向上させたサムネイル生成 |
山名 早人 |
| Multiple Kernel Learningを用いた階層的画像分類 |
山名 早人 |
| カスタマイズ性とリアルタイムなデータ提供を考慮したクローラの設計と実装 |
山名 早人 |
| 可視光カメラから得られる低解像度目画像を用いた視線推定 |
山名 早人 |
| 原語における形態素間の相対的な優先関係を利用した略語推定手法 |
山名 早人 |
| 講義動画における単語密集度を用いたトピック分割手法 |
山名 早人 |
| 筆記者の強調意図を利用した手書きドキュメントのスニペット生成 |
山名 早人 |
| 領域分割結果の投票処理を用いた背景に頑健な衣服領域抽出 |
山名 早人 |
| Simulinkモデルにおける非完全一致のモデルクローン検出に関する研究 |
鷲崎 弘宜 |
| Webサービスの変更履歴に基づく差分検出と修正支援に関する研究 |
鷲崎 弘宜 |
| ソフトウェア設計における詳細度を考慮したクラス図の定量的保守性評価 |
鷲崎 弘宜 |
| デザインパターンの検出におけるベンチマーク構築に関する研究 |
鷲崎 弘宜 |
| 言語非依存なアスペクト指向プログラミング環境に関する研究 |
鷲崎 弘宜 |
| 設計原則と実現手法に着目したソフトウェアアーキテクチャ設計支援に関する研究 |
鷲崎 弘宜 |
| 単語間類似度を用いたUMLクラス図の理解性評価と向上支援 |
鷲崎 弘宜 |
| 単体テストフレームワークのアスペクト指向プログラミングを用いた効率的な並列化に関する研究 |
鷲崎 弘宜 |
