JAIST Repository >
検索結果
検索結果表示: 4051-4060 / 7865.
該当アイテム:
発行日 | タイトル |
著者 |
Mar-2010 | モデル検査技術を活用した検証指向ソフトウェア設計手法の研究 | 金井, 勇人; かない, はやと |
Mar-2013 | プレイヤの意図や価値観を学習し行動選択するチームプレイAIの構成 | 吉谷, 慧; よしがい, けい |
Mar-2013 | ネットワーク実証実験環境の モジュール単位構築に関する研究 | 村上, 正太郎; むらかみ, しょうたろう |
2006 | 和分型/差分型状態方程式表現に基づくロバスト制御系の解析/設計条件の関連性について | 小林, 孝一; 木山, 健; 北森, 俊行; Kobayashi, Koichi; Kiyama, Tsuyoshi; Kitamori, Toshiyuki |
Jun-2008 | 医療画像から作成したボクセルデータによる血流・血管壁 連成解析システム | 熊畑, 清; くまはた, きよし |
Mar-2013 | 予測市場メカニズムを用いた合議制とコンピュータ囲碁への応用 | 立石, 真也; たていし, しんや |
Mar-2011 | 証明譜を用いたバケット同期法の形式検証 | 永浦, 尊信; ながうら, たかのぶ |
Mar-2013 | 室の音響測定を必要としない音声伝達指標と室内音響特性の推定法の研究 | 佐々木, 恭平; ささき, きょうへい |
Nov-2009 | 国立大学法人北陸先端科学技術大学院大学技術サービス部業務報告集 : 平成20年度 | |
Mar-2012 | スプライン基底関数系を用いた固体系の量子モンテカルロシミュレーションに対するGPGPUによる高速化の研究 | 上嶋, 裕; うえじま, ゆたか |
前へ
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
次へ
|