スポンサーリンク
筑波大学システム情報工学研究科 | 論文
- 全国の指定実態分析からみた特定用途制限地域の類型化に関する研究
- 極超音速航空機搭載用MHD発電機設計に関する予備的検討
- 書き換え可能ハードウェアを用いた耐故障性能向上手法の研究(高信頼化技術・設計技術)
- 完全相補系列系のいくつかの性質について(一般セッション,フレッシュマンセッション,一般)
- 密集住宅地における緑量の変化とその要因に関する研究
- 目の不自由な人の歩行介助技術学習ソフト
- 多目的順序メディアン立地問題 (21世紀の数理計画 : 最適化モデルとアルゴリズム)
- FPGAを用いたHMMERの高速化(リコンフィギャラブル応用)
- 対象情報源の動的変化を考慮した分散ストリーム処理最適化手法の提案(セッション7b:ストリーム・スカイライン)
- UV構造を考慮した適応的複製選択による実数値GAの提案
- 周回積分に基づく非線形固有値問題の解法 (数値解析における理論・手法・応用)
- オントロジを利用した異種河川測量データの統合(ポスターセッション,iDBフォーラム2008(招待講演・ポスター英語ディスカッション))
- 二階文脈計算(プログラミング及びプログラミング言語)
- 定理証明システムCoq上でのPre Logical Relationを用いた詳細化の正しさの証明
- 自己反映的証明体系RPTの理論と実現
- Analysis of Noise Sensitivity of Attractor Selection (The 8th Workshop on Stochastic Numerics)
- 23203 高靭性繊維補強セメント複合材料を用いた超小型模型試験体による簡易震動実験手法の開発 : (その11) 超縮小模型の振動実験結果と実大試験体の対応(骨組(4),構造IV)
- 23343 高靭性繊維補強セメント複合材料を用いた超小型模型試験体による簡易震動実験手法の開発 : (その10) フレーム構造試験体の振動実験破壊加振結果および地震応答解析(骨組 (2), 構造IV)
- 23342 高靭性繊維補強セメント複合材料を用いた超小型模型試験体による簡易震動実験手法の開発 : (その9) フレーム構造試験体の製作と実験概要および弾性加振結果(骨組 (2), 構造IV)
- 大規模映像ストリームのための映像情報統合基盤システムの提案