|
|
JAIST Repository >
一覧: 日付
検索結果: 1477-1497 / 2074.
| 発行日 | タイトル |
著者 |
|---|
| 1-Nov-2004 | Deriving Discrete Behavior of Hybrid Systems under Incomplete Knowledge | HIRAISHI, Kunihiko |
| Nov-2004 | Space-time coded turbo equalization and multiuser detection-asymptotic performance analysis in the presence of unknown interference | Veselinovic, Nenad; Matsumoto, Tad |
| 6-Oct-2004 | The structure and number of global roundings of a graph | Asano, Tetsuo; Katoh, Naoki; Tamaki, Hisao; Tokuyama, Takeshi |
| 5-Oct-2004 | JAISTにおける並列計算機および計算サーバ利用研究(2003年度) | 林, 亮子; ハヤシ, リョウコ |
| 24-Sep-2004 | 幾何学的特徴を用いた手書き文字列からの文字切り出しに関する研究 | 徳野, 淳子; トクノ, ジュンコ |
| 16-Sep-2004 | Well-quasi-orders and regular ω-languages | Ogawa, Mizuhito |
| 15-Sep-2004 | 有限状態機械に基づくプログラミングでのgoto文使用の是非 : Hoare論理の観点から(プログラミングの理論) | 金藤, 栄孝; 二木, 厚吉; KONDOH, HIDETAKA; FUTATSUGI, KOKICHI |
| 14-Sep-2004 | 没入型3次元仮想現実体感システムCAVE利用研究(2002-2003年度) | 林, 亮子; ハヤシ, リョウコ |
| 1-Sep-2004 | Amalgamation property of Commutative Residuated Lattices | Takamura, Hiroki |
| 1-Sep-2004 | Investigation of coarticulation in continuous speech of Japanese | Dang, Jianwu; Honda, Masaaki; Honda, Kiyoshi |
| Sep-2004 | Reduced complexity MIMO turbo equalization for STTrC-codes | Veselinovic, N.; Matsumoto, T. |
| Sep-2004 | Formal Analysis of an Anonymous Fair Exchange E-Commerce Protocol | Kong, Weiqiang; Ogata, Kazuhiro; Xiang Jianwen; Futatsugi, Kokichi |
| 4-Aug-2004 | Performance comparison of a rotating coordinator and a leader based consensus algorithm (extended version) | Urban, Peter; Hayashibara, Naohiro; Schiper, Andre; Katayama, Takuya |
| 1-Aug-2004 | Self-Reconfigurable Multi-Layer Neural Networks with Genetic Algorithms | SUGAWARA, Eiko; FUKUSHI, Masaru; HORIGUCHI, Susumu |
| Aug-2004 | Turbo transceivers for MIMO wireless communications | Matsumoto, Tad; Thoma, Reiner |
| Aug-2004 | On Anonymity Metrics for Practical Anonymous Communication Protocols | Kitazawa, Shigeki; Soshi, Masakazu; Miyaji, Atsuko |
| Aug-2004 | Pushback機構の一提案とそのモデル化に向けて | 寺田, 剛陽; 双紙, 正和; 宮地, 充子; Terada, Takeaki; Soshi, Masakazu; Miyaji, Atsuko |
| 16-Jul-2004 | An introduction ot the theory of C^*-algebras in constructive mathematics | Takamura, Hiroki |
| 6-Jul-2004 | A Double Classification Tree Search Algorithm for Index SNP Selection | Zhang, Peisen; Sheng, Huitao; Uehara, Ryuhei |
| Jul-2004 | A PDF Estimation-Based Iterative MIMO Signal Detection With Unknown Interference | Veselinovic, Nenad; Matsumoto, Tadashi; Juntti, Markku |
| 18-Jun-2004 | A Type Theory for Krivine-style Evaluation and Compilation | Choi, Kwanghoon; Ohori, Atsushi |
|
