2010年度(平成22年度)学位論文

卒業論文


氏 名 論文タイトル
鈴木 淳人体通信機能を備えた電子トリアージ・システムの開発
上田 佑樹パーティクルフィルタを用いた人物追跡システムの実装
遠藤 亮太拡大ハミング符号の処理に適したプロセッサ・アーキテクチャの提案
大滝 智史ペトリネット中のデッドロック検出のための有界モデル検査手法の改善
岡前 直由Bilinear Group に関する困難性仮定の正当性検証
樫山 文香多数の災害傷病者の処置順決定訓練シナリオにおける難易度調整手法
川合 諒STHOG特徴を用いた複数カメラ間での人物照合
窪田 純士SATソルバの学習結果を利用したシミュレーションカバレッジの改善手法
鈴木 雅博大腸形状分析のための腸管ボリュームの直線化
徳山 瞬ランダム線形ネットワークコーディングを利用したゴシッププロトコルの高信頼化手法の提案
長瀬 義大注視方向変化に起因する歩行特徴変化に関する基礎検討
二宮 祥インライン展開を考慮した低電力量化のための命令セット拡張手法
兵藤 佑亮命令ビヘイビア記述からのコンパイラ自動生成手法の提案
藤田 敦現実的な車両走行シナリオを用いた協調型車両位置推定手法の性能評価
冨士原 健太ネットワーク符号化における誤り検出符号の性能評価
松本 英樹ゼロサプレス二分決定グラフを用いたベイジアンネットワークに対するMAP推論アルゴリズム
森口 拓人クライアントサーバモデルに基づいた複数カメラからのデータ統合とその応用
山添 伸晃自己組織型仮想網制御手法の制御オーバーヘッドの評価
脇 みどりアトラクタ摂動モデルを応用したエンド間遅延を安定させるレート制御手法の提案と評価
和田 悠佑スキャナ式レンジセンサを用いた地下街における人流特性解析と人流モデル生成手法の提案
小倉 良介XMLスキーマで定義された型とXPath式との対応解析法におけるshuffle演算子を用いた計算量削減
楠 洋平DTD存在下におけるワイルドカードおよび兄弟軸を含むPositive XPathクエリの恒真性判定問題
合田 悠資XMLデータベースへの関数従属性を用いた推論攻撃に対する無限安全性検証法の実装と効率化
田辺 智行無線センサネットワークにおける情報共有のための情報伝播手法の比較評価
速水 直受信端末駆動型無線マルチホップネットワークにおける制御パケットの衝突回避による性能向上
井ノ口 真樹レーザレンジスキャナを備えた移動無線端末による障害物地図生成
金谷 拓実(非公開)
白神 康平小型画像処理モジュールとステレオカメラを用いた装着型監視システムの試作
高谷 剛志光学的重み付け計測による反射光と散乱光の分解
青木 正孝センサネットワークにおけるパケット衝突検出と自己安定アルゴリズムの性能に関する実験的評価
井岡 正和凝集度メトリクスCOBを用いた類似メソッド集約範囲の決定支援手法
石川 卓遅延耐性ネットワークにおけるアトラクター選択を用いた適応型経路制御手法の提案
石居 達也最小出力変化でトポロジ変化に適応する全域木構成分散アルゴリズムの実験的評価
井上 佑希MapReduceを用いた頻出系列パターン抽出アルゴリズムPrefixSpanの実装
今城 健太郎降水量の短時間予報のためのオプティカルフローアルゴリズム
大須賀 翔遺伝子制御ネットワーク推定の精度向上のための教師あり学習を用いた特徴選択手法
大谷 雅人コンテンツセントリックネットワークにおいてグループ単位の閉域性を実現するルータ仮想化手法の提案
岡 陽介GPU上で高負荷な描画および科学計算を並行実行するための 協調マルチタスキング
岡崎 祐也利己的なクラスタで構成される異種計算グリッドにおける負荷分散アルゴリズム
岡田 良知類似性に基づく工数予測へのMoving Windowsの適用とその評価
神田 哲也API呼び出し列の差分を利用したAndroidアプリケーション比較ツールの試作
北山 智也IEEE 802.16j リレーネットワークにおける適応変調符号化を考慮したタイムスロット割り当て手法
工藤 良介リファクタリング支援のためのコードクローンに含まれる識別子の変更内容分析
黒松 信行Hadoopにおけるジョブトラッカのチェックポインティングによる耐故障性の向上
鯉谷 和正エンド端末間パス上の複数箇所の利用可能帯域の同時計測手法に関する一検討
佐々木 唯ソースコードの重複関係が修正に及ぼす影響の調査-様々な条件の下で計測を行った結果の比較-
正原 竜太オーバレイネットワーク上の計測負荷削減のための空間的合成手法の性能評価
杉本 祐樹ボリュームレンダリングにおけるテクスチャキャッシュヒット率の向上手法
杉山 雅和遺伝子マーカーを用いた難病発症予測のためのルールベース解析手法
瀧元 友也無線ネットワークにおける通信効率のよい自己安定プロトコルについて
田口 明義改版履歴情報から求めたクラス図の変更量の応用
通阪 航IEEE 802.11 マルチホップネットワークにおける省電力手法がネットワーク性能に与える影響
中井 悠人クラウド環境における仮想計算機の多重度が通信性能に与える影響に関する一考察
花田 健太郎OCLからJMLへの変換ツールのEclipseプラグイン化と教務システムを対象とする適用実験
南山 侑希後続プロセスを認識不能な単方向匿名ネットワークにおける自己安定頂点彩色アルゴリズム
安永 卓哉クラス間関係を利用した単体テストおよび静的検査の通過率可視化手法の改良とその評価
安原 広幸ARジオラマにおける特徴点の可視性に基づく三次元形状復元手法
吉岡 一樹コードクローンの分類に基づいたメソッド引き上げ手順の提案とその有効性評価
ラドコフ アレクサンダー眼球の表面反射と高速度プログラマブルLEDプロジェクタを用いた非装着・キャリブレーション不要な視線検出システムの開発
渡邉 之人ベイジアンネットワークを用いた部分問題の結合による遺伝子制御ネットワーク推定手法
池田 成吾生物情報解析ワークフローの利用のためのRESTサービスからSOAPサービスへの変換手法
馬勝 淳史ARジオラマにおける領域分割に基づく三次元形状復元手法
山中 翔GPUを用いた高速なブロックソート

修士論文


氏 名 論文タイトル
植村 奈緒子センサネットワークにおけるトラッキングのエネルギー消費削減手法
悦田 翔悟データフロー情報を用いたコードナビゲーションツールの実装と評価
奥村 麻由大規模歩容データベースを用いた個人認証と年齢推定の評価
兼光 智子プログラム依存グラフを用いたリファクタリング候補の自動特定と可視化
椛島 誠一郎カプセル内視鏡読影のための教育手順とコンテンツ成形技術の提案
金 鎔煥大規模動的分散システムにおける並行部分スナップショットアルゴリズム
近藤 浩史GPUを用いた電波天文観測のための実時間広帯域信号解析システム
齋藤 晃コード片の生存期間がコードクローンと欠陥修正の有無に与える影響分析
阪下 和弘マルチバンドカメラと近赤外光プロジェクタによるテクスチャ付き3次元形状計測システム
佐々木 裕介ソースコード出典調査のためのコードクローン情報収集システムの試作
白石 明三次元歩容データを用いた任意視点変換モデルによる歩容認証
首藤 裕一最適寄り道経路問題に対する疑似多項式時間アルゴリズム
高田 祐輔小規模環境におけるユーザビリティの高いMapReduceフレームワークの実装
田中 俊彰複数反例抽出を用いた時間オートマトンの到達可能性解析手法
中川 進太複数GPU環境におけるストリーム処理のためのミドルウェア
中野 佑紀プログラム実行履歴を用いたオブジェクト生成関係の可視化手法
西野 稔プログラム依存グラフを用いたコードクローンのインクリメンタルな検出手法
馬場 葉子散乱媒体内における物体の反射特性モデルの提案
藤原 啓相互学習に対応したUNIXコマンド学習支援システム
松田 俊広GPUにおいてステンシル計算を高速化する自動チューニング手法
宮澤 清介OCLからJMLへの変換ツールの対応クラスの拡張と実プロジェクトに対する適用
本窪田 昌也GPUによる光学シミュレーションのスループット向上
山田 吾郎プログラム依存グラフを用いたソースコードのパターン違反検出法
山田 慎也改版履歴情報を用いたクラス図変更量の計測手法の提案
山田 真義時系列ボリュームの描画速度を調節するための非可逆圧縮手法
和田 悦朗自律移動センサの一様充填問題に対する分散解法の提案
藤木 哲也識別子とその対応するコメントを利用したプログラム理解用名詞辞書自動生成手法
森 弘樹広視野アイマークレコーダのための¥¥アピアランスベース視線推定
白石 多一郎DVSを用いたマルチプロセッサ・システムのための低消費電力量タスク割当て手法
大沢 弘樹カプセル型排尿筋圧測定器のための小型低消費電力SoCの開発
尾形 憲一相関ルールマイニングによるソフトウェアプロジェクト予測に用いるメトリクスの選択
岡田 千尋ソフトウェア実装時におけるTLMベースのSystemC記述の性能見積り手法の提案
國貞 智治全方位視覚センサとLEDを用いた入力インタフェースのための手指姿勢推定法
新谷 晃市ジェスチャインタフェースのための指差し動作における身体の左右差に関する調査
中井 亮介Webアプリケーションの脆弱性に対する検出手法の実験的評価
西本 哲コントロールフローグラフにおける辺のペアを考慮したコードカバレッジの提案と評価
野口 達也モデル検査とインダクションに基づくコンセンサスアルゴリズムの検証
平松 道久OpenCVを用いた光学カメラによる人物トラッキングシステムの実装
稲垣 彰祐無線センサネットワークにおける協調型アプリケーション実装の開発支援手法
上島 旭現実の車両分布再現を目的とした車両モビリティにおけるレーン合流部の挙動モデリング
上野 瑛次郎任意のノード密度分布を実現可能なWaypointモビリティモデルの設計と解析
カン ギョンヨンTDMA型無線メッシュネットワークにおける信号対干渉比を考慮した簡易電波干渉モデル
木山 敦之レーザレンジスキャナと無線通信を併用した複数歩行者の軌跡推定手法
栗林 晋平車車間アドホックネットワークのためのエピデミック型ブロードキャストにおける指向性アンテナの有効性について
重森 圭太ノード移動が頻発するアドホックネットワークのための軽量な分散クラスタリング手法
竹森 翔一無線ネットワークにおける幾何学的アルゴリズムに基づく被覆領域の性能改善手法
田中 慎平IEEE 802.16j における上り通信遅延時間低減のためのタイムスロット割り当て手法
塚本 圭一郎ブロック間類似度を用いた Web ページのハイパーリンク参照箇所推定手法
西島 孝通広域・広帯域ネットワークにおける異種 IP-SAN プロトコルのためのセッション多重度制御手法
西田 和生非交渉型サービス専用アドレスの共有によりセキュリティを向上させるIPv6 通信アーキテクチャの設計およびその実装方式
野上 大樹電子トリアージ有効性評価のための災害医療シミュレータ開発
細木 茂洋フロー数分布がべき則に従うルーターレベルトポロジの構造分析
南 勇貴光ネットワークにおける複数仮想網に対する管理型自己組織化制御手法に関する研究
太田 和伸ネットワーク符号化における2 元線形符号の最尤復号法とその性能評価
大野 敦司XMLスキーマで定義された型とXPath式との対応の解析およびその複雑度
川居 裕人XMLデータベースへの関数従属性を用いた推論攻撃に対する無限安全性検証法の提案
雲嶋 健太困難性仮定に対する Generic model における攻撃の数式処理を用いた導出
松村 卓朗連言問合せ間の解像度高低関係成立のための必要十分条件に関する研究
中山 智義免疫アルゴリズムによる遺伝子ネットワーク推定のためのS-system モデルの構築に関する研究
所 大輔ゼロサプレス二分決定図に基づくベイジアンネットワーク上での確率推論手法
大野 朋重反復マッピングによるアイソフォーム推定のためのRNA-Seq解析手法
酒井 皓太トランザクション識別子を伴うバスプロトコル間の変換器自動生成手法
首藤 優弥ヒル関数に基づく微分方程式モデルを用いたグレンジャー因果性検定による遺伝子制御ネットワークの推定手法
福本 貴紀Web サービスの接続関係グラフを利用した生物情報解析ワークフローの作成支援手法
吉澤 陽志細胞分化クロストーク遺伝子推定のためのモデル化と推定手法の提案

博士論文


氏 名 論文タイトル
高田 大輔ネットワーク型ウェアラブル拡張現実感システムの効率化およびコンテキストアウェアネスの導入に関する研究
稗田 拓路構成可変プロセッサのためのコード最適化手法
牧川 文紀近接性とバランスを考慮したオーバーレイネットワーク構築
長岡 武志実時間システムに対するモデル検査のためのモデル抽象化に関する研究
作元 雄輔流体近似法を用いたインターネットにおける輻輳制御機構の解析およびシミュレーション
藤井 彩恵モバイルアドホックネットワークを用いたレンジフリー軌跡推定手法
クリスティアン ニチュケ眼球の幾何・光学解析によるインタラクション技術およびシーン認識に関する研究
山中 広明P2Pコンテンツ共有システムにおける汚染コンテンツ拡散抑制に関する研究

[ICS HOME]ICS Home Page へ