|
|
JAIST Repository >
一覧: 日付
検索結果: 1845-1865 / 2071.
| 発行日 | タイトル |
著者 |
|---|
| 20-Feb-1998 | Concurrent object composition in CafeOBJ | Iida, Shusaku; Matsumoto, Michihiro; Diaconescu, Razvan; Futatsugi, Kokichi; Lucanu, Dorel |
| 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 |
| Feb-1998 | テキスト自動要約技術の現状と課題 | 奥村, 学; 難波, 英嗣; Okumura, Manabu; Nanba, Hidetsugu; オクムラ, マナブ; ナンバ, ヒデツグ |
| 30-Jan-1998 | On the finite model property of intuitionistic modal logics over MIPC | Aoto, Takahito |
| 16-Jan-1998 | スーパーコンピュータの並列化動向 | 井口, 寧 |
| Jan-1998 | Locally finite varieties | Bezhanishvili, Guram |
| Jan-1998 | Conservative extensions in relevant implicational logics | Kamide, Norihiro; Kashima, Ryou; 上出,哲広; 鹿島,亮; カミデ, ノリヒロ; カシマ, リョウ |
| 1998 | Efficient elliptic curve exponentiaion using mixed coordinates | Cohen, Henri; Miyaji, Atsuko; Ono, Takatoshi |
| 3-Dec-1997 | Modality in open institutions with concrete syntax | Diaconescu, Razvan; Stefaneas, Petros |
| 1-Dec-1997 | Analysis of listening impression of modified piano performance by local tempo and dynamics | Yoshida, Takako; Fujinaga, Ichiro; Horiguchi, Susumu |
| 20-Nov-1997 | 非線形TRSのE重なり性について | 松浦, 邦博; 大山口, 通夫; 太田, 義勝; 小川, 瑞史; Matsuura, Kunihiro; Oyamaguchi, Michio; Ohta, Yoshikatsu; Ogata, Mizuhito |
| 20-Nov-1997 | 音質評価語の多次元空間におけるグルーピングと総合音質に重要な評価語 | 石川, 智治; 冬木, 真吾; 宮原, 誠; ISHIKAWA, Tomoharu; FUYUKI, Shingo; MIYAHARA, Makoto |
| 13-Nov-1997 | 時間付き離散事象システムの時間付き安定性 | 望山, 洋; 平石, 邦彦; Mochiyama, Hiromi; Hiraishi, kunihiko; モチヤマ, ヒロミ; ヒライシ, クニヒコ |
| 4-Nov-1997 | Propositional calculus with identity | Ishii, Tadao |
| Nov-1997 | Splitting monadic heyting algebras | Bezhanishvili, Guram |
| Nov-1997 | Multicarrier Signal Detection and Parameter Estimation in Frequency-Selective Rayleigh Fading Channels | Kuroda, Toshiaki; Matsumoto, Tadashi |
| Nov-1997 | Another Countermeasure to Forgeries over Message Recovery Signature | MIYAJI, Atsuko |
| 30-Oct-1997 | Negation-limited circuit complexity of symmetric functions | Sung, Shao-Chin |
| 7-Oct-1997 | Hilbert style proof system for BPL | Suzuki, Yasuhito; Ono, Hiroakira |
|
