スポンサーリンク
大阪大学 基礎工学部 | 論文
- モデル検査による分散システムにおける合意アルゴリズムの安全性の検証(ディペンダブルソフトウェアとネットワーク及び一般)
- ホームネットワークシステムにおけるサービス競合の分類と解消について
- ソフトウェアメトリクスのデータマイニングによる障害発生要因特定
- ランダムフォレスト法を用いた動作検索(コンピュータグラフィックス)
- 1744 バランスディスク隙間流れの動特性解析(S33-4 タービン・その他,S33 流体機械の諸問題)
- 歳差運動中のフランシス水車ランナのバックシュラウドに作用するロータダイナミック流体力モーメント
- 通信プロトコルのエラーリカバリ性自動検証の一方式
- 非構造化オーバーレイネットワーク構築におけるメトロポリス法を用いたアルゴリズムの評価(ディペンダブルコンピュータシステムとセキュリティ技術及び一般)
- 複合現実感によるデザイン画彩色支援システム
- 20aXF-12 高圧下のグラファイトボールの電子状態と伝導の理論解析
- Fittsの法則に基くマウスの操作方向の効率への影響
- LTLで記述されるマニュアルに対するオートメーションサプライズの検出
- 同期型言語を用いたソフトウェア検証 : クルーズコントロールシステムにおける事例紹介(フォーラム)
- 22aPS-103 磁化過程プラトー状態のストリング秩序の有限サイズスケーリング(領域3ポスターセッション(薄膜・人工格子,スピングラス,量子スピン系),領域3,磁性,磁気共鳴)
- 19aWA-4 フェリ磁性スピン鎖におけるストリング秩序(量子スピン系,領域11,統計力学,物性基礎論,応用数学,力学,流体物理)
- Mn系分子磁石の理論解析
- 25aXK-1 第一原理計算による微小分子フェリ磁性鎖Mn_6R_6の有効スピン模型の決定(25aXK 量子スピン系(クラスター系および一般),領域3(磁性,磁気共鳴))
- 20pYB-14 トリマー状態を基底状態に持つ(S=1, S=1/2)フェリ磁性スピン鎖(量子スピン系(一次元),領域3(磁性,磁気共鳴))
- 27pYF-3 (S=3/2,S=1)異方的フェリ磁性スピン鎖の量子相転移(量子スピン系,領域11(統計力学,物性基礎論,応用数学,力学,流体物理))
- 製品リリース履歴における論理的結合集合に基づいた横断フィーチャ分析法
スポンサーリンク