|
|
JAIST Repository >
一覧: 日付
検索結果: 10042-10062 / 18634.
| 発行日 | タイトル |
著者 |
|---|
| 22-Sep-2009 | Proving Properties of Incremental Merkle Trees | Ogawa, Mizuhito; Horita, Eiichi; Ono, Satoshi |
| 22-Sep-2009 | Abstraction of programs in PML (Pointer Manipulation Language) | Takahashi, Koichi; Tanabe, Yoshinori; Sekizawa, Toshifusa; Yuasa, Yoshifumi |
| 22-Sep-2009 | A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ Method | Seino, Takahiro; Ogata, Kazuhiro; Futatsugi, Kokichi |
| 22-Sep-2009 | Toward Agda-2 Agda at CVS | Takeyama, Makoto |
| 22-Sep-2009 | Constructive Type Theory and Interactive Theorem Proving | Dybjer, Peter |
| 21-Sep-2009 | Solving Problems on Hybrid Systems by Constraint Satisfaction | Hiraishi, Kunihiko |
| 19-Sep-2009 | Self-stabilizing Human-Like Motion Control Framework for Humanoids Using Neural Oscillators | Yang, Woosung; Chong, Nak Young; Ra, Syungkwon; Bae, Ji-Hun; You, Bum Jae |
| 9-Sep-2009 | Efficient modeling of temporal structure of speech for applications in voice transformation | Nguyen, Binh Phu; Akagi, Masato |
| 8-Sep-2009 | 感情音声知覚モデルの提案とその応用 | 赤木, 正人; AKAGI, Masato |
| 7-Sep-2009 | A one-pot reaction for biorefinery: combination of solid acid and base catalysts for direct production of 5-hydroxymethylfurfural from saccharides | Takagaki, Atsushi; Ohara, Mika; Nishimura, Shun; Ebitani, Kohki |
| 7-Sep-2009 | サイドチャネル攻撃に対して安全な公開鍵暗号に関する研究 | 宮地, 充子; Miyaji, Atsuko |
| 5-Sep-2009 | Metal-Interface Second Harmonic Generation from Pt/Cu Bimetallic Nanowire Arrays on NaCl(110) Faceted Templates | Nguyen, Anh Tuan; Mizutani, Goro |
| 2-Sep-2009 | A Dynamic Attribute-Based Group Signature Scheme and its Application in an Anonymous Survey for the Collection of Attribute Statistics | Emura, Keita; Miyaji, Atsuko; Omote, Kazumasa |
| 1-Sep-2009 | よそ者と地域づくりにおけるその役割にかんする研究 | 敷田, 麻実; SHIKIDA, Asami |
| 1-Sep-2009 | プレゼンテーションスライド情報の構造抽出 | 羽山, 徹彩; 難波, 英嗣; 國藤, 進; Hayama, Tessai; Nanba, Hidetsugu; Kunifuji, Susumu |
| Sep-2009 | Interval/Probabilistic Uncertainty: Editorial | Huynh, Van-Nam; Kreinovich, Vladik |
| Sep-2009 | Adaptive CPG Based Coordinated Control of Healthy and Robotic Lower Limb Movements | Ryu, Jae-Kwan; Chong, Nak Young; You, Bum Jae; Christensen, Henrik |
| Sep-2009 | A simple near-capacity concatenation scheme over MISO channels | Tran, Nghi H.; Le-Ngoc, Tho; Mastumoto, Tad; Nguyen, Ha H. |
| Sep-2009 | When Existing and Emerging Disciplines Meet: Library and Information Science vs Knowledge Management | Roknuzzaman, Md. |
| Sep-2009 | Theorem Proving and Institutions | Gaina, Daniel |
| Sep-2009 | ラフ集合論を用いた感性評価モデリングとデザイン支援システム | JU, HONGLI; 鞠, 洪麗 |
|
