スポンサーリンク
北陸先端科学技術大学院大学 | 論文
- ヒューマンインタフェースシンポジウム2007報告
- 冗長化アルゴリズムからの耐故障データパス自動合成(高位・論理合成,システムオンシリコンを支える設計技術)
- モデル検査のためのアスペクト指向メカニズム切り替え手法の提案(設計支援)
- モデル検査のためのアスペクト指向でのモデル記述支援環境(形式手法(1)・言語(学生セッション))
- プロジェクト紹介 : 高信頼組込み用オブジェクト指向設計技術(組込み・アスペクト指向)
- カメラとモニタ導入に伴うグループホーム介護者の負担感に関する研究(第2報)(肢体障害・介護,HCGシンポジウム)
- グループホームにおけるあったかい介護のためのインタラクション(セッション6,あったかいインタラクション)
- コミュニテイ活動を利用して意欲を高める相互扶助型目覚まし時計(セッション4:人と人とのつながり)
- 障害物を考慮した高速配線長推定手法(見積もり技術,システム設計及び一般)
- 障害物を考慮した高速配線長推定手法(システム設計及び一般)
- カスタマイズ可能な学習コンテンツを中心にした知識循環型e-Learning環境(教育データの蓄積・共有技術と応用/一般)
- 電子教材ライフサイクルモデルに基づく学習管理システム(e-Learningにおける学習支援とコンテンツ開発/一般)
- 電子教材ライフサイクルモデルに基づく学習管理システム (「e-Learningにおける学習支援とコンテンツ開発」および一般)
- ナビゲーション機能を有する学習管理システムに関する研究
- 「サ変名詞+する」から動詞相当句への言い換え
- 「サ変名詞+する」の動詞への言い換え
- 折紙の計算量的複雑さの研究 (小特集 折紙工学の現状と課題)
- 情報セキュリティの標準化動向について : ISO/IEC JTC1/SC27/WG2 2009年5月北京会議報告
- 複数経路を用いたP2Pネットワーク上でのネゴシエーションと鍵共有法(セキュリティ)
- 26aQE-1 FMO-LCMO法に基づく巨大分子系の電子状態解析(電子状態・振動子・エネルギー移動と緩和,領域12,ソフトマター物理,化学物理,生物物理)