スポンサーリンク
東京工業大学大学院情報理工学研究科数理・計算科学専攻 | 論文
- OSDI 2004
- 確率モデルのシミュレーションにおける摂動解析法(OR事典Wiki)
- 3充足可能性判定問題3SATの正例題生成手法の解析(並列処理)
- 3充足可能性判定問題3SATの正例題生成手法について
- 仮想機械の仕様記述に基づくバイトコードインタプリタ生成系
- 踏み台攻撃だけを抑制できるVMMレベル・パケットフィルタ
- D-041 大規模社会ネットワークからのクラスタ構造の抽出(D分野:データベース)
- 量子計算における整数格子問題へのアプローチ(量子情報処理論文)
- 仮想マシンモニタによるきめ細かいパケットフィルタリング
- 仮想マシンモニタによるきめ細かいパケットフィルタリング
- 相関関数ベースの方位マップ生成モデルの数学的解析
- 方位選択性問題への理論計算機科学からのアプローチ (離散的アルゴリズムと計算量)
- 匿名性と不正者の特定を両立させるP2P環境用認証方式(セキュリティ)
- 匿名相互証明書とP2P通信を用いる認証方式(OS-1: セキュリティ, 2005年並列/分散/協調処理に関する『武雄』サマー・ワークショップ(SWoPP武雄2005)-研究会・連続同時開催-)
- 気象予報グリツドポータルの開発
- 百行プログラミングの試み : 情報通信技術の科学的理解のために(科学的リテラシー)
- 最大尤度解探索の計算複雑さ
- NP困難問題における最悪時困難性からの平均時困難性証明への試み
- 教養としてのコンピュータ・サイエンス教育 : 東京工業大学での試み
- メッセージ伝播法によるグラフの分割アルゴリズム