|
|
JAIST Repository >
一覧: 日付
検索結果: 13981-14001 / 18634.
| 発行日 | タイトル |
著者 |
|---|
| 15-Sep-2004 | 有限状態機械に基づくプログラミングでのgoto文使用の是非 : Hoare論理の観点から(プログラミングの理論) | 金藤, 栄孝; 二木, 厚吉; KONDOH, HIDETAKA; FUTATSUGI, KOKICHI |
| 14-Sep-2004 | 没入型3次元仮想現実体感システムCAVE利用研究(2002-2003年度) | 林, 亮子; ハヤシ, リョウコ |
| 9-Sep-2004 | Peeling Kinetics of giant multilamellar vesicles on a solid-liquid interface | Hamada, Tsutomu; Yoshikawa, Kenichi |
| 7-Sep-2004 | Direct Observation of Ferromagnetic Spin Polarization in Gold Nanoparticles | Yamamoto, Y.; Miura, T.; Suzuki, M.; Kawamura, N.; Miyagawa, H.; Nakamura, T.; Kobayashi, K.; Teranishi, T.; Hori, H. |
| 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 |
| 1-Sep-2004 | Electrophoresis of long deoxyribonucleic acid in curved channels: The effect of channel width on migration dynamics | Ueda, Masanori; Hayama, Tetsuya; Takamura, Yuzuru; Horiike, Yasuhiro; Dotera, Tomonari; Baba, Yoshinobu |
| Sep-2004 | 言語動力学におけるクレオールの創発 | 中村, 誠; 橋本, 敬; 東条, 敏 |
| 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 |
| Sep-2004 | Ab initio calculation of optical second harmonic generation at the rutile TiO_2(110) surface | Sano, H; Mizutani, G; Wolf, W; Podloucky, R |
| Sep-2004 | 温度で制約を緩やかに提示するシステムThermoscoreを用いた即興演奏支援 | 宮下,芳明; 西本,一志 |
| Sep-2004 | 新規脳梗塞治療薬FK506の非侵襲的脳内濃度および血中濃度測定法の開発 | 村上, 佳裕; むらかみ, よしひろ |
| Sep-2004 | 超好熱始原菌Thermococcus kodakaraensis KOD1株由来メチル基転移酵素の構造安定性とフォールディング機構 | 錦織, 伸吾; にしこり, しんご |
| Sep-2004 | Study of metal-insulator transition of the quasi-two-dimensional hole system in the delta-doped GaAs structures | Jung-Pil, NOH |
| Sep-2004 | Monte Carlo study on ultrafast carrier dynamics and coherent oscillations in p-i-n diode structure under high electric fields | Dinh, Nhu Thao |
| Sep-2004 | OTS/CafeOBJ仕様からJavaプログラムの変換に関する研究 | Jittisak, Senachak; じっていさく, せなちゃく |
| Sep-2004 | 積和エンジンを搭載した高機能メモリコントローラに関する研究 | 今井, 俊晴; いまい, としはる |
| Sep-2004 | EDR概念辞書とコーパスを用いた語義曖昧性解消 | 八木, 恒和; やぎ, つねかず |
| Sep-2004 | On Distributed Cooperative Mobile Robotics:Decomposition of Basic Problems and Study of a Self-stabilizing Circle Formation Algorithm | Souissi, Samia; すいしー, さみあ |
| Sep-2004 | ミドルワエアシステムにおけるソフトワエア構成管理に関する研究 | Pimruang, Adirake; ぴむりゃんぐ, あでいらーく |
|
