|
|
JAIST Repository >
一覧: タイトル
検索結果: 1991-2011 / 2073.
| 発行日 | タイトル |
著者 |
|---|
| 5-Nov-2009 | 計算論的神経科学のすすめ : 脳機能の理解に向けた最適化理論のアプローチ | 田中, 宏和 |
| 10-Apr-2010 | 証明スコアによる問題モデルの検証技術 | 二木, 厚吉; FUTATSUGI, KOKICHI |
| 10-Apr-2009 | 証明支援系とモデル検査器を効果的に利用できる環境と方法論 | 緒方, 和博; OGATA, KAZUHIRO |
| 1-Jun-2017 | 詰め将棋の美観評価と創作アルゴリズム | 飯田, 弘之; Iida, Hiroyuki |
| 17-Aug-2000 | 語彙的結束性に基づく語彙的連鎖の計算 | 望月, 源; 奥村, 学; 岩山, 真; Mochizuki, Hajime; Okumura, Manabu; Iwayama, Makoto; モチヅキ, ハジメ; オクムラ, マナブ; イワヤマ, マコト |
| 10-Jan-2002 | 語彙的連鎖計算プログラム Lexical Chainers version 1.50.2 マニュアル | 望月, 源; Mochizuki, Hajime; モチヅキ, ハジメ |
| 23-Apr-2014 | 論理式肥大に伴う活性のモデル検査の非効率化の改善 | 緒方, 和博; Ogata, Kazuhiro |
| 10-Jun-2009 | 講義映像を対象とした発話受講者の自動撮影と編集制御に関する研究 | 吉高, 淳夫; YOSHITAKA, ATSUO |
| Mar-2010 | 赤木研究室（北陸先端科学技術大学院大学） | 赤木, 正人; Akagi, Masato |
| 13-Dec-2001 | 超並列システムの将来像と課題 | 井口, 寧 |
| 23-May-1997 | 超並列シミュレーションとビジュアライゼーション | 堀口, 進; 井口, 寧; 山森, 一人; 林, 亮子; 加藤, 聡 |
| 27-Apr-1999 | 超並列・分散型コンピュータの高性能ネットワーク | 堀口, 進; Horiguchi, Susumu; ホリグチ, ススム |
| May-1993 | 超並列計算機CM-5による日本語テキストの高速な全文検索 | 森田, 昌宏; Morita, Masahiro; モリタ, マサヒロ |
| 12-Dec-2001 | 超並列計算機におけるハードウェア高速化によるシステム性能の評価 | 井口, 寧; 黒川, 原佳; 松澤, 照男 |
| 27-Jan-1999 | 超高精細・高階調カラー画像の統計的性質と Lossless coding | 戸田, 昌枝; 剣持, 雪子; 小谷, 一孔; 加藤, 茂夫; Toda, Masae; Kenmochi, Yukiko; Kotani, Kazunori; Katou, Shigeo; トダ, マサエ; ケンモチ, ユキコ; コタニ, カズノリ; カトウ, シゲオ |
| 2016 | 足裏面の摺動を考慮した半円足をもつコンパス型2脚受動歩行ロボットのモデリングと解析 | 浅野, 文彦; 坂, 利昭; 原田, 祐志; ASANO, Fumihiko; SAKA, Toshiaki; HARATA, Yuji |
| 1-Mar-2007 | 軌道アトラクタを用いたパターンベース推論 | 山根, 健; 蓮尾, 高志; 末光, 厚夫; 森田, 昌彦; YAMANE, Ken; HASUO, Takashi; SUEMITSU, Atsuo; MORITA, Masahiko |
| 15-May-1999 | 軽いハードウェアによる分散共有メモリ機構 (<特集>並列処理) | 田中, 清史; 松本, 尚; 平木, 敬; TANAKA, KIYOFUMI; MATSUMOTO, TAKASHI; HIRAKI, KEI |
| 10-Jun-2015 | 近似手法と数式処理の融合による実数多項式制約の効率化 | 小川, 瑞史; Mizuhito, Ogawa |
| 2012 | 連結型Rimless Wheelの受動歩行とその性能解析 : 前後脚間の位相差の調節による高速化 | 浅野, 文彦; 井上, 遼祐; 田中, 大樹; 徳田, 功; Asano, Fumihiko; Inoue, Ryosuke; Tanaka, Daiki; Tokuda, Isao |
| 3-Jul-1995 | 連続メディア処理に適した仮想記憶システム | 手塚, 宏史; 中島, 達夫; Tezuka, Hiroshi; Nakajima, Tatsuo; テズカ, ヒロシ; ナカジマ, タツオ |
|
