スポンサーリンク
北陸先端科学技術大学院大学情報科学研究科 | 論文
- 形式検証技術の数理 : 安心・安全なシステム構築に向けて
- カラードペトリネットによるワークフローシステムのモデル化と検証
- 有限時間区間に対するハイブリッドシステムの離散抽象化
- 離散状態の流体化によるシステム検証(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- ブーリアンネットワークモデルによる遺伝子発現ネットワークの可制御性解析 (第21回 回路とシステム軽井沢ワークショップ論文集) -- (ネットとシステム)
- 連続化近似を用いたワークフローの性能評価(グラフ,ペトリ,ニューラルネット及び一般)
- 混合論理動的システム表現の改良に関する研究(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- 研究室配属のためのシラバスシステムの提案と試作(セッション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の効率的解析について : 動作を保存する縮約法
- プロセッサの仕様に適応可能なコンパイラのための汎用最適化器
- デモンストレーション: 若手による研究紹介II
- プレゼンテーションスライド情報の構造化(ライフログ活用技術とその課題,オフィス情報システム,デジタルドキュメント,一般)
- ボランティアコンピューティング環境における動的クラスタ再構成法(分散環境,「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2008))
スポンサーリンク