|
|
JAIST Repository >
一覧: 日付
検索結果: 1945-1965 / 2071.
| 発行日 | タイトル |
著者 |
|---|
| 18-Mar-1996 | PCTEによるCASEツールの統合とその応用 | 池田, 克則; 落水, 浩一郎 |
| 15-Mar-1996 | Persistency of confluence | Aoto,Takahito; Toyama,Yoshihito; 青戸, 等人; 外山, 芳人; アオト, タカヒト; トヤマ, ヨシヒト |
| 15-Mar-1996 | Shifted Recursive Torus interconnection network for massively parallel computers | Inoguchi, Yasushi; Horiguchi, Susumu |
| 12-Mar-1996 | 3次元動画像と仮想物体映像の合成 | 伊藤, 嘉昭; 阿部, 亨; 堀口, 進; Itou, Yoshiaki; Abe, Tooru; Horiguchi, Susumu; イトウ, ヨシアキ; アベ, トオル; ホリグチ, ススム |
| 12-Mar-1996 | Single machine scheduling with sequence-dependent due dates | Tanaka, Keisuke; Vlach, Milan; 田中, 圭介; タナカ, ケイスケ |
| Mar-1996 | 仮想現実空間上での3次元物体造形システム | 滝口, 章広; 阿部, 亨; 堀口, 進; Takiguchi, Akihiro; Abe, Toru; Horiguchi, Susumu; タキグチ, アキヒロ; アベ, トオル; ホリグチ, ススム |
| Mar-1996 | JAIST-REPORT completeness of semantic paramodulation : a category-based approach | Diaconescu, Razvan |
| 19-Feb-1996 | The efficient fault-tolerant design of artificial neural networks | Yamamori, Kunihito; Kim, J. H.; Horiguchi, Susumu; 山森, 一人; 堀口, 進; ヤマモリ, クニヒト; ホリグチ, ススム |
| 15-Feb-1996 | Minimizing maximum absolute lateness and range of lateness under generalized due dates on a single machine | Tanaka, Keisuke; Vlach, Milan; 田中, 圭介; Vlach, Milan; タナカ, ケイスケ |
| Feb-1996 | 翻訳例へのカテゴリ付加による実例型翻訳の高速化 | 佐藤, 理史; Sato, Satoshi; サトウ, サトシ |
| 19-Jan-1996 | Robustness of robot programs generated by genetic programming | Ito, Takuya; Iba, Hitoshi; Kimura, Masayuki; 伊藤, 拓也; 伊庭, 斉志; 木村, 正行; イトウ, タクヤ; イバ, ヒトシ; キムラ, マサユキ |
| 1996 | Unique normal form property of Higher-Order Rewriting | Mano, Ken; Ogawa, Mizuhito |
| 1996 | A message recovery signature scheme equivalent to DSA over elliptic curves | Miyaji, Atsuko |
| 25-Dec-1995 | 並列論理型言語におけるフォールトトレラントソフトウェアの構成 | 杉野, 栄二; 横田, 治夫; Sugino, Eiji; Yokota, Haruo; スギノ, エイジ; ヨコタ, ハルオ |
| 7-Dec-1995 | Fault tolerant software in parallel logic programming languages | Sugino, Eiji; Yokota, Haruo; 杉野, 栄二; 横田, 治夫; スギノ, エイジ; ヨコタ, ハルオ |
| 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; 中島, 達夫; 手塚, 宏史; ナカジマ, タツオ; テズカ, ヒロシ |
|
