スポンサーリンク
金沢大学自然科学研究科 | 論文
- 確率時間ゲーム理論による組込みシステムのモデル化,仕様記述及び検証(ディペンダブルコンピューティング)
- Gray-Scottモデルと発熱反応拡散系に現われるパルス波ダイナミクス (散逸系の数理 : パターンを表現する漸近解の構成)
- コスト付き確率時間オートマトンの抽象化精錬を用いた到達可能性解析手法 (アルゴリズムと計算機科学の数理的基盤とその応用)
- 23aTE-12 自由電子メーザー発振実験へのハイブリッド・ブラッグ共鳴器の導入(23aTE プラズマ科学(ジャイロトロン・電磁波源),領域2(プラズマ基礎・プラズマ科学・核融合プラズマ・プラズマ宇宙物理))
- 23aTE-11 ハイブリッド・ブラッグ共鳴器を用いた自由電子メーザーのシミュレーション(23aTE プラズマ科学(ジャイロトロン・電磁波源),領域2(プラズマ基礎・プラズマ科学・核融合プラズマ・プラズマ宇宙物理))
- 脳外傷発生メカニズム解明のための実形状頭部物理モデルの構築と脳部変形計測
- ターン中のスキーのたわみ・ねじりと雪面圧力の測定(機械要素,潤滑,工作,生産管理など)
- 動的再構成可能プロセッサ向け仕様記述言語の開発と実問題の適用 (アルゴリズムと計算機科学の数理的基盤とその応用)
- B-4-85 波源電流推定における磁界ベクトル空間分布計測手法(B-4.環境電磁工学,一般セッション)
- 確率時間REGARによるPTCTLのサブクラスのモデル検査
- 確率ゲーム理論による組込みシステムのモデル化とモデル検査
- モータースポーツ時の生体情報反応 : レーシングカート走行による基礎的検討
- CPUと動的再構成可能プロセッサとの協調システムのモデル検査(ペトリネット,離散事象システム,一般)
- 組込みシステムのUML分析設計からタスク設計までの設計検証方法論(UML/開発方法論)
- O-276 貝形虫化石群集を用いた後期鮮新世の日本海沿岸域における古海洋復元とイベント
- ヒト血清アルブミンリン酸緩衝溶液の近赤外領域における分光学的特性およびその定量化の試み
- 確率時間REGARの実装と評価 (知能ソフトウェア工学)
- 確率時間REGARの実装と評価 (ソフトウェアサイエンス)
- 超高濃度BドープSi/GeB超格子構造の作製と熱電特性(結晶成長評価及びデバイス(化合物,Si,SiGe,その他の電子材料))
- 共鳴核反応分析法によるBCN膜の水素量測定(X線材料強度)
スポンサーリンク