|
|
JAIST Repository >
一覧: 日付
検索結果: 17094-17114 / 18591.
| 発行日 | タイトル |
著者 |
|---|
| Mar-1999 | 項書換え系の簡略戦略に関する研究 | 長谷, 崇; ながや, たかし |
| Mar-1999 | 高階項書換え系の停止性に関する研究 | 岩見, 宗弘; いわみ, むねひろ |
| Mar-1999 | ロボットマニピュレータのロバスト視覚フィードバック制御に関する研究 | 丸山, 章; まるやま, あきら |
| Mar-1999 | 拘束条件を有する制御系の解析および設計に関する研究 | 平田, 研二; ひらた, けんじ |
| 26-Feb-1999 | エージェント指向プログラミングによる魚群アニメーション | 大峯, 誠; 阿部, 亨; 堀口, 進; Oomine, Sei; Abe, Tooru; Horiguchi, Susumu; オオミネ, セイ; アベ, トオル; ホリグチ, ススム |
| 26-Feb-1999 | 類似フレーズに着目したピアノ演奏の自動採譜システム | 寺井, 浩司; 堀口, 進; Terai, Kouji; Horiguchi, Susumu; テライ, コウジ; ホリグチ, ススム |
| 15-Feb-1999 | フレーズと音楽プリミティブの相互関係の可視化による旋律創作支援の試み (<特集>ヒューマンインタフェースとインタラクション) | 西本, 一志; 間瀬, 健二; 中津, 良平; Nishimoto, Kazushi; Mase, Kenji; Nakatsu, Ryohei |
| 8-Feb-1999 | Substructural logics with mingle | Kamide, Norihiro; 上出, 哲広; カミデ, ノリヒロ |
| 1-Feb-1999 | Structural phase transition in the ammoniated alkali C_<60> compound (NH_3)K_3C_<60> | Ishii, Kenji; Watanuki, Tetsu; Fujiwara, Akihiko; Suematsu, Hiroyoshi; Iwasa, Yoshihiro; Shimoda, Hideo; Mitani, Tadaoki; Nakao, Hironori; Fujii, Yasuhiko; Murakami, Youichi; Kawada, Hajime |
| 28-Jan-1999 | The super-amalgamation property of the variety of ortholattices | Miyazaki, Yutaka |
| 27-Jan-1999 | 超高精細・高階調カラー画像の統計的性質と Lossless coding | 戸田, 昌枝; 剣持, 雪子; 小谷, 一孔; 加藤, 茂夫; Toda, Masae; Kenmochi, Yukiko; Kotani, Kazunori; Katou, Shigeo; トダ, マサエ; ケンモチ, ユキコ; コタニ, カズノリ; カトウ, シゲオ |
| 15-Jan-1999 | Experimental evidence of surface conduction in AlSb-InAs tunneling diodes | Nomoto, K.; Taira, K.; Suzuki, T.; Hase, I. |
| Jan-1999 | 微視的・巨視的構造に基づく花のグラフィックスモデルに関する研究 | 寺戸,育夫; 剣持,雪子; 小谷,一孔 |
| 1999 | Automatic Verification Based on Abstract Interpretation | Ogawa, Mizuhito |
| 1999 | Measurement of Interfacial Tension between Polymer Melts: Improved Imbedded Fiber Retraction, Breaking Thread and Dynamic Viscoelasticity Methods | Okamoto, Kenzo; TAKAHASHI, M.; YAMANE, H.; WATASHIBA, H.; TSUKAHARA, Y.; MASUDA, T. |
| 1999 | Modeling Categorization Dynamics through Conversation by Constructive Approach | Hashimoto, Takashi |
| 21-Dec-1998 | 手形状入力装置を用いた指文字認識システム | 鈴木, 信勝; 後藤, 岳志; 堀口, 進; Suzuki, Nobukatsu; Gotou, Takeshi; Horiguchi, Susumu; スズキ, ノブカツ; ゴトウ, タケシ; ホリグチ, ススム |
| 14-Dec-1998 | The completeness of linear logic with modal operator for Petri net models | Ishihara, Keiko; Hiraishi, Kunihiko |
| 8-Dec-1998 | Decidability for left-linear growing term rewriting systems | Nagaya, Takashi; Toyama, Yoshihito |
| 4-Dec-1998 | Decidable/undecidable properties of conditional term rewriting systems | Aoto, Takahito; Nagaya, Takashi |
| Dec-1998 | バードウォッチャーの価値認識と満足度の研究 : ラムサール条約湿地片野鴨池における比較研究 | 敷田, 麻実; 大畑, 孝二; SHIKIDA, Asami; OHATA, Koji |
|
