スポンサーリンク
北陸先端科学技術大学院大学 | 論文
- 舌・口底切除患者の声道モデルを変形させたモデルの声道伝達特性の分析
- 舌・口底切除患者の3次元声道形状モデルの有限要素法による分析
- グループ発想支援ツール「発想跳び」の試作と評価
- 負荷均一化に対するカクタス上の効率的なメッセージ伝搬 (最適化の数理とアルゴリズム)
- 形式検証技術の数理 : 安心・安全なシステム構築に向けて
- カラードペトリネットによるワークフローシステムのモデル化と検証
- 有限時間区間に対するハイブリッドシステムの離散抽象化
- 離散状態の流体化によるシステム検証(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- 連続化近似を用いたワークフローの性能評価(グラフ,ペトリ,ニューラルネット及び一般)
- 混合論理動的システム表現の改良に関する研究(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- 研究室配属のためのシラバスシステムの提案と試作(セッション4 : 教育・学習支援)
- AP-4-9 これからのコンカレント技術 : システムバイオロジー(AP-4.コンカレント技術の現在・過去・未来,パネル討論,ソサイエティ企画)
- A-3-9 温度並列SAのシーケンスペアによるパッキング問題への適用(A-3.VLSI設計技術,一般講演)
- 記号計算に基づくハイブリッドシステムの解析
- 周期的なタイムスロット付きジャストインタイムスケジューリング問題のヒューリスティックアルゴリズム
- D-7-6 遺伝子転写制御領域に含まれる特異的文字列の解析とDNAマイクロアレイデータを用いた遺伝子間の依存関係推定(D-7. MEとバイオサイバネティックスA)
- D-7-7 転写制御領域の解析と破壊株データからの遺伝子の依存関係推定
- ハイブリッドシステムの定性的解析について
- エージェント指向ペトリネットPN^2の効率的解析について : 動作を保存する縮約法
- 2F23 国立大学法人化後の組織間研究連携戦略のモデル構築とその実践 : 北陸先端科学技術大学院大学21世紀COEプログラムにおける事例((ホットイシュー) 次の学際・融合研究に向けて (7), 第20回年次学術大会講演要旨集II)
スポンサーリンク