スポンサーリンク
大阪大学基礎工学部情報工学科 | 論文
- A-16-20 歩行動作の速度に依存した自動非線形スケーリングによる仮想空間ナビゲーション手法(A-16. マルチメディア・仮想環境基礎,一般セッション)
- A-16-19 複数の仮想空間を操作するマルチビューポートインタフェースの多人数対応に関する検討(A-16. マルチメディア・仮想環境基礎,一般セッション)
- D-13-7 ウェアラブル学習システムのためのユーザのコンテキストを考慮した出題順序制御機構(D-13.知能ソフトウェア工学,一般講演)
- A-16-16 個人・共有作業空間を連携した協調作業支援システムについて(A-16.マルチメディア・仮想環境基礎,一般講演)
- 分析業務に関する知識を用いた財務分析支援方式(社会・人間系の情報システム)
- 臼蓋形成不全股に対するセメントレスカップ固定位置と骨移植
- ツムラ柴苓湯の、全人工股関節置換術症例における術後の下肢腫脹、免疫調節効果
- 5 組込みシステムにおけるソフトウェアプロダクトラインの導入(ソフトウェア再利用の新しい波-広がりを見せるプロダクトライン型ソフトウェア開発-)
- 並列論理シミュレーションにおけるロールバックについて
- B-19-15 アプリケーション層によるMANETs向け転送レート調節機構(B-19.ネットワークソフトウェア,一般セッション)
- 脳time-shift図と通信戦略 : 記憶ループと遠隔転写(ポスター講演)
- 機械的予防法単独による股関節手術後下肢深部静脈血栓症の有効性の検討
- 統計的形状モデルを用いた2次元X線画像からの股関節輪郭の半自動検出(セッション2)
- モデル検査入門
- モデル検査を用いたコンセンサスアルゴリズムの合意性検証(ネットワーク環境でのディペンダビリティ)
- Interpolantを利用したモデル検査による機能競合の検証(ネットワーク環境でのディペンダビリティ)
- 耐故障分散アルゴリズムに対するPROMELAモデルの生成(ディペンダブルコンピューティングシステム及び一般)
- 外部入力値のみを保持できる整数変数をもつFSMに対する記号モデル検査法(ソフトウェア工学)
- 招待講演 スケーラビリティとアダプタビリティを有するモバイルアドホックネットワーク技術 (アドホックネットワーク)
- B-19-14 モバイルアドホックネットワークにおける適応的クラスタ間データ転送機能を用いた階層マルチキャストルーティング(B-19.ネットワークソフトウェア,一般セッション)