|
|
JAIST Repository >
i. 北陸先端科学技術大学院大学(JAIST) >
i20. 学位論文 >
一覧: 日付
検索結果: 2278-2298 / 2528.
| 発行日 | タイトル |
著者 |
|---|
| Mar-1999 | Ambient Calculus を用いた移動エージェントの形式化 | 峯下, 聡志; みねした, さとし |
| Mar-1999 | 消去法による項書換え系の停止性 | 中村, 正樹; なかむら, まさき |
| Mar-1999 | マスタスレーブマニピュレータシステムのバイラテラル非線形制御に関する研究 | 藤原, 雅之; ふじわら, まさゆき |
| Mar-1999 | 二重様相論理に関する幾つかの結果 | 丸山, 晃生; まるやま, あきお |
| Mar-1999 | GAを用いた粘性流れ場における翼型の多目的形状最適設計 | 高橋, 真嘉; たかはし, まさよし |
| Mar-1999 | 二階述語論理の表現能力に関するゲーム論的アプローチ | 池田, 潔; いけだ, きよし |
| Mar-1999 | 超多自由度マニピュレータの実形状とその動的制御に関する研究 | 楠本, 淑夫; くすもと, よしお |
| Mar-1999 | 固有空間法と重判別分析による顔画像の個人性と表情の解析 | 黒住, 隆行; くろずみ, たかゆき |
| Mar-1999 | 共有メモリ型計算機による流体問題解析の並列計算 | 黒川, 原佳; くろかわ, もとよし |
| Mar-1999 | 超多自由度マニピュレータの力制御:マニピュレータ全体のインピーダンス制御 | 古長谷, 徹; こながや, とおる |
| Mar-1999 | 潜在帰納法と書換え帰納法の比較 | 小池, 広高; こいけ, ひろたか |
| Mar-1999 | 項書換え系における到達可能性の決定問題 | 安藤, 欣司; あんどう, きんじ |
| Mar-1999 | テクスチャの変化する自転球体の単一カメラによるステレオ立体視化に関する研究 | 北岡, 良之; きたおか, よしゆき |
| Mar-1999 | 時間性を表現する含意を持つ論理 | 菊池, 健太郎; きくち, けんたろう |
| Mar-1999 | 鍵の無効化を考慮に入れたIDに基づく鍵配送方式の研究 | 岡本, 健; おかもと, たけし |
| Mar-1999 | 信頼性の高い移動エージェントシステムの構成方法 | 新堀, 健治; しんぼり, けんじ |
| Mar-1999 | 動的コード生成を用いた適応的移動コードに関する研究 | 川崎, 大輔; かわさき, だいすけ |
| Mar-1999 | 物理およびオートマトンの実験における Operational Logics の代数的構造 | 勝島, 尚之; かつしま, なおゆき |
| Mar-1999 | エルモア遅延モデルに基づく最大信号伝播遅延最小化スタイナー配線 | 門地, 忠夫; かどぢ, ただお |
| Mar-1999 | イベントベースアーキテクチャにおける事象モニタリング機構 | 柏瀬, 秀行; かしわせ, ひでゆき |
| Mar-1999 | CafeOBJからJavaへの変換と同期記述 | 兼, 英樹; かね, ひでき |
|
