|
|
JAIST Repository >
一覧: タイトル
検索結果: 17119-17139 / 18596.
| 発行日 | タイトル |
著者 |
|---|
| 22-Oct-2005 | 設計と生産の連携強化のための生産技術マネジメント(技術経営, 第20回年次学術大会講演要旨集I) | 清野, 武寿; 丹羽, 清 |
| 15-Aug-1995 | 設計の上流工程支援を考慮した設計・製造プロセス統合支援システム | 金井, 秀明; 若林, 伸和; 本多, 中二; Kanai, Hideaki; Wakabayashi, Nobukazu; Honda, Nakaji |
| 22-Oct-1993 | 設計プロセスの改革 : Virtual Engineering | 沼田, 潤 |
| Mar-2009 | 設計モデル上でのメモリ量見積もりに関する研究 | 山下, 幸之輔; やました, こうのすけ |
| 10-Oct-2015 | 診療放射線技師の能力開発について : チーム医療への貢献を念頭に | 片桐, 邦彦; 名取, 隆 |
| Sep-2021 | 証拠推論と統合された質量推定に基づく外れ値の検出とクラスの不均衡 | HOANG, Anh; ほあん, あん |
| 10-Apr-2010 | 証明スコアによる問題モデルの検証技術 | 二木, 厚吉; FUTATSUGI, KOKICHI |
| Sep-2021 | 証明スコア法による形式検証の調査研究及び新規事例 [課題研究報告書] | 浅江, 尚輝; あさえ, なおき |
| 18-May-2016 | 証明スコア法に基づく革新的仕様検証システムの構築 | 二木, 厚吉; Kokichi, Futatsugi |
| Mar-2002 | 証明可能な意思付多重署名方式に関する研究 | 河内, 恵; かわうち, けい |
| 10-Apr-2009 | 証明支援系とモデル検査器を効果的に利用できる環境と方法論 | 緒方, 和博; OGATA, KAZUHIRO |
| Jun-2019 | 証明数を用いたゲーム木探索の新たなパラダイム | 張, 嵩; ちょう, すう |
| Mar-2005 | 証明数・反証明数を用いた罰回避政策形成アルゴリズムの高速化に関する研究 | 登, 崇志; のぼり, たかし |
| Mar-2002 | 証明論的手法を用いた部分構造論理間の埋め込みに関する研究 | 松田, 真由美; まつだ, まゆみ |
| Mar-2011 | 証明譜を用いたバケット同期法の形式検証 | 永浦, 尊信; ながうら, たかのぶ |
| 21-Oct-2006 | 評価人材の専門性 : 知識論的枠組みと区分概念化(評価 (2)) | 平澤, 泠; 田原, 敬一郎; 川島, 啓; 野呂, 高樹 |
| 21-Oct-2006 | 評価人材の集積メカニズム : 主要国比較(評価 (2)) | 平澤, 泠; 田原, 敬一郎; 川島, 啓; 野呂, 高樹 |
| Sep-2016 | 評価対象固有の知識とユーザネットワークを組み込んだマイクロブログユーザの感情分析 | Kaewpitakkun, Yongyos; げおぴたっくん, よんよす |
| 21-Oct-2000 | 評価者の特性に基因する評価バイアス | 近藤, 正幸 |
| Mar-2003 | 評価語から構成される主観評価構造：PQSvideoとの対応の検討 －PQSvideoの改善を目指して－ | 道免, 剛; どうめん, たけし |
| Mar-2016 | 評判情報分析のための製品属性異表記辞書の自動構築 | 劉, 朝いく; りゅう, ちょういく |
|
