|
JAIST Repository >
一覧: 日付
検索結果: 17473-17493 / 18593.
発行日 | タイトル |
著者 |
Mar-1998 | 移動計算環境における動的適応アプリケーションの構築法に関する研究 | 保木本, 晃弘; ほきもと, あきひろ |
Mar-1998 | 関数および属性文法型計算モデルを用いた耐故障ソフトウェアのための複製技法 | Cherif, Adel; しぇりふ, あでる |
Mar-1998 | 抽象解釈に基づくソフトウェアの段階的構成法とその評価 | 吉岡, 信和; よしおか, のぶかず |
Mar-1998 | 超並列・分散コンピュータネットワークにおける並列計算機モデルと設備配置に関する研究 | 當山, 孝義; とうやま, たかよし |
Mar-1998 | 否定数限定回路計算量について | 宋, 少秋; そん, しょうしゅう |
Mar-1998 | 神経細胞の局所変数モデルとカオスによる神経回路モジュールの統合 | 佐野, 彰; さの, あきら |
Mar-1998 | 巨大分子の超並列分子動力学法シミュレーションに関する研究 | 林, 亮子; はやし, りょうこ |
Mar-1998 | フローショップ問題:特殊条件下の完了時刻和最小化の解析 | 岡田, 政則; おかだ, まさのり |
Mar-1998 | 合意形成プロセスにおける参加者の視点情報の共有に基づくグループ意思決定支援システムの研究 | 加藤, 直孝; かとう, なおたか |
Mar-1998 | 超多自由度マニピュレータの形状制御 | 望山, 洋; もちやま, ひろみ |
Mar-1998 | ネットワーク結合型並列ディスクシステムに関する研究 | 味松, 康行; みまつ, やすゆき |
Mar-1998 | ロバスト推定による視覚サーボシステムの設計 | 川端, 昭弘; かわばた, あきひろ |
Mar-1998 | 画像のサブバンド符号化における帯域分割の最適化に関する研究 | 亀田, 昌志; かめだ, まさし |
Mar-1998 | オブジェクト指向方法論のための動的モデルの形式化の研究 | 伊藤, 恵; いとう, けい |
Mar-1998 | 並行自己反映計算の宣言的記述に関する研究 | 石川, 洋; いしかわ, ひろし |
20-Feb-1998 | A proof of the conjecture of zantema on a persistent property of term rewriting systems | Aoto, Takahito |
20-Feb-1998 | Concurrent object composition in CafeOBJ | Iida, Shusaku; Matsumoto, Michihiro; Diaconescu, Razvan; Futatsugi, Kokichi; Lucanu, Dorel |
15-Feb-1998 | 線形多様体クラスタリングと楕円型ファジィモデル | 馬屋原, 一孝; 中森, 義輝; UMAYAHARA, Kazutaka; NAKAMORI, Yoshiteru |
9-Feb-1998 | Nonpreemtive flowshop scheduling with machine dominance | Cepek, Ondrej; Okada, Masanori; Vlach, Milan |
6-Feb-1998 | A computational model of co-modulation masking release | Unoki, Masashi; Akagi, Masato |
6-Feb-1998 | A method of signal extraction from noisy signal based on auditory scene analysis | Unoki, Masashi; Akagi, Masato |
|