スポンサーリンク
金沢大学自然科学研究科 | 論文
- 5a-YN-10 多段自動加速による短パルス電子ビームの生成
- 30p-YF-9 二段空洞により自動加速されたビームのエネルギー測定
- 2段の空洞によるIREBの自動加速II
- IREBの自動加速と自動変調
- 確率時間ゲーム理論による組込みシステムのモデル化, 仕様記述及び検証 (理論計算機科学の深化と応用)
- 組込みシステム設計検証のためのゲーム理論(「エージェント基礎」及び一般)
- 確率時間ゲーム理論に基づくリアルタイム組込みシステム設計検証手法
- 28pSC-5 U (1) に拡張さんた S_3 不変 SUSY 標準模型(素粒子論)
- メッシュリファイメントを用いた有限要素解の事前誤差評価 (計算科学の基盤技術としての高速アルゴリズムとその周辺)
- Stokes 極限波の一意性に対する数値的検証法(非線形波動の数理と応用)
- Stokes極限波の一意性に対する数値的検証法 (21世紀における数値解析の新展開)
- DE積分変換を利用した水面波および孤立波の数値計算について (微分方程式の離散化手法と数値計算アルゴリズム)
- DE変換公式とFFTによる水面重力波の解の高精度計算について (偏微分方程式の数値解法とその周辺II)
- 082 教 A03509 安静立位時における足圧中心動揺に及ぼす深呼吸の影響
- 容積振動型血圧計測法の高精度化に関する研究
- PBII法により作製したDLC膜の水素量解析法の検討
- 空間の概念を持つコスト付き確率時間オートマトンの提案とセンサネットワークへの適用(ペトリネット,離散事象システム,一般)
- 確率時間CEGAR(研究会優秀論文賞,ペトリネット,離散事象システム,一般)
- 確率ゾーングラフを用いた確率時間強模倣関係による検証(ディペンダブルコンピューティング)
- 述語抽象化とその洗練による確率時間オートマトンの到達可能性解析手法(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)