|
|
JAIST Repository >
一覧: 日付
検索結果: 1960-1980 / 2071.
| 発行日 | タイトル |
著者 |
|---|
| Dec-1995 | Po-hyperdoctrinal semantics for substructural predicate logics | Shirasu, Hiroyuki; 白須, 裕之; シラス, ヒロユキ |
| 28-Nov-1995 | Software cache techniques for memory nodes in distributed memory parallel production systems | Miyazaki, Jun; Yokota, Haruo; 宮崎, 純; 横田, 治夫; ミヤザキ, ジュン; ヨコタ, ハルオ |
| 14-Nov-1995 | A scalable disk system with data reconstruction functions | Yokota, Haruo; Mimatsu, Yasuyuki; 横田, 治夫; 味松, 康行; ヨコタ, ハルオ; ミマツ, ヤスユキ |
| 31-Oct-1995 | シャノン理論のAdvance course : Csiszar-Kornerの情報理論 | 植松, 友彦; Uyematsu, Tomohiko; ウエマツ, トモヒコ |
| 17-Oct-1995 | A relationship between the number of negations and the circuit size | Tanaka, Keisuke; Nishino, Tetsuro; 田中, 圭介; 西野, 哲朗; タナカ, ケイスケ; ニシノ, テツロウ |
| 10-Oct-1995 | Operating system servers for continuous media on a microkernel-based Real-Time operating system | Nakajima, Tatsuo; Tezuka, Hiroshi; 中島, 達夫; 手塚, 宏史; ナカジマ, タツオ; テズカ, ヒロシ |
| 4-Oct-1995 | スケーラブルメディアを扱うためのReal-Time Mach上の連続メディアツールキット | 古野, 真太郎; 中島, 達夫; Furuno, Shintaro; Nakajima, Tatsuo; フルノ, シンタロ; ナカジマ, タツオ |
| 7-Sep-1995 | Minimizing the range of lateness on a single machine under generalized due dates | Tanaka, Keisuke; Vlach, Milan; 田中, 圭介; タナカ, ケイスケ |
| Sep-1995 | Glueing of algebras for substructural logics | Shirasu, Hiroyuki; 白須, 裕之; シラス, ヒロユキ |
| Sep-1995 | 対話リーグ戦'95用プログラムの作成 : 対話からの知識獲得 | 佐藤, 理史; Sato, Satoshi; サトウ, サトシ |
| 30-Aug-1995 | Unique normal proof property for implicational minimal formulas in the intuitionistic logic | Aoto, Takahito; 青戸, 等人; アオト, タカヒト |
| Aug-1995 | Joint Decorrelating Multiuser Detection and Channel Estimation in Asynchronous CDMA Mobile Communications Channels | Kawahara, Toshiro; Matsumoto, Tadashi |
| 31-Jul-1995 | Computer performance of piano music with normative performance data | Hoshishiba, Takayuki; Horiguchi, Susumu; Fujinaga, Ichiro; 星芝, 貴行; 堀口, 進; ホシシバ, タカユキ; ホリグチ, ススム; フジナガ, イチロウ |
| 13-Jul-1995 | 並列論理型言語KL1による並列推論マシン上の関係データベース処理の実現 | 横田, 治夫; 伊関, 浩; 木田, 圭治; 原田, 隆; 右田, 敏之; Yokota, Haruo; Iseki, Ko; Kida, Keiji; Harada, Takashi; Migita, Toshiyuki; Widada, Wahyu; ヨコタ, ハルオ; イセキ, コウ; キダ, ケイジ; ハラダ, タカシ; ミギタ, トシユキ |
| 10-Jul-1995 | Automatic texture mapping for 3-dimensional visualization | Iwata, Hideaki; Kim, Jung Hwan; Horiguchi, Susumu; 岩田, 英朗; 堀口, 進; イワタ, ヒデアキ; ホリグチ, ススム |
| 3-Jul-1995 | 連続メディア処理に適した仮想記憶システム | 手塚, 宏史; 中島, 達夫; Tezuka, Hiroshi; Nakajima, Tatsuo; テズカ, ヒロシ; ナカジマ, タツオ |
| 3-Jul-1995 | パーソナル連続メディア処理に適したストレージシステム | 手塚, 宏史; 中島, 達夫; Tezuka, Hiroshi; Nakajima, Tatsuo; テズカ, ヒロシ; ナカジマ, タツオ |
| 1-Jul-1995 | 動的QOS制御をサポートする連続メディア処理に適したプロセッサ管理機構 | 藤田, 浩; 中島, 達夫; Fujita, Hiroshi; Nakajima, Tatsuo; フジタ, ヒロシ; ナカジマ, タツオ |
| 1-Jul-1995 | サービスプロキシを用いた移動計算機環境におけるアプリケーション構築法 | 栗原, 邦彰; 中島, 達夫; Kurihara, Kuniaki; Nakajima, Tatsuo; クリハラ, クニアキ; ナカジマ, タツオ |
| 1-Jul-1995 | 適応的な連続メディアオブジェクトを扱うためのオペレーティングシステム | 中島, 達夫; Nakajima, Tatsuo; ナカジマ, タツオ |
| 1-Jul-1995 | メディアスケーリング可能な連続メディアオブジェクト | 中島, 達夫; Nakajima, Tatsuo; ナカジマ, タツオ |
|
