スポンサーリンク
九州大学情報基盤研究開発センター | 論文
- 精度保証付き数値計算(2) : 線形逆作用素のノルム評価
- 漸増的なパストライ構築に基づく高速・軽量XML文書フィルタリング
- 解けたらうれしい線形方程式
- Some computer assisted proofs on the bifurcation structure of solutions for the Rayleigh-Benard problem (流体と気体の数学解析--RIMS研究集会報告集)
- Rayleigh-Benard 問題の大域分岐構造に対する精度保証付き数値計算(計算科学の基盤技術とその発展)
- 多倍長計算を適用した精度保証数値計算 (21世紀における数値解析の新展開)
- SCAN 2004
- Navier-Stokes方程式の解に対する数値的検証の現状と動向 (数値解析と新しい情報技術)
- 高性能大規模計算と精度保証付き計算に関するワークショップ(学術会合報告)
- SCAN 2000/Interval 2000(学術会合報告)
- 連成・連携計算によるデータ量削減の評価
- 連成・連携計算によるデータ量削減の評価
- スペース・コラボレーション・システムを用いた数学教育の可能性について(論文発表の部)
- 日本人中学生による遠隔ディベ-トの教育的価値に関する分析
- トラフィックに応じた通信機器の給電制御に関する研究(省エネルギーと超高速ネットワーク,省エネルギーと超高速ネットワーク,一般)
- Contents Auto CreatorによるVODコンテンツ作成とMediaBaseによる配信
- 分散環境における共有メモリ型SPMDプログラミングモデル : Split-C/PVMの実装
- 端末認証に基づいた動的給電による省電力無線LANシステムの設計と実装(スマートな社会を支えるインターネットアーキテクチャ論文)
- 動的パターン照合機の効率的な実現法
- 22pPSB-74 流体音に於ける移動境界問題 : 音源としての移動境界(22pPSB 領域11ポスターセッション,領域11(統計力学,物性基礎論,応用数学,力学,流体物理))