|
|
JAIST Repository >
一覧: 日付
検索結果: 9997-10017 / 18596.
| 発行日 | タイトル |
著者 |
|---|
| Oct-2009 | Self-configuring Robot Swarms with Dual Rotating Infrared Sensors | Lee, Geunho; Yoon, Seokhoon; Chong, Nak Young; Christensen, Henrik |
| Oct-2009 | Self-adapting Robot Arm Movement Employing Neural Oscillators | Yang, Woosung; Bae, Ji-Hun; Kwon, Jaesung; Chong, Nak Young; Oh, Yonghwan; You, Bum Jae |
| Oct-2009 | Biologically Inspired Control for Robotic Arm Using Neural Oscillator Network | Yang, Woosung; Bae, Ji-Hun; Oh, Yonghwan; Chong, Nak Young; You, Bum Jae |
| Oct-2009 | オブジェクト指向言語における変数とデータの関係を理解するためのワークベンチ | 三浦, 元喜; 杉原, 太郎; 國藤, 進; Miura, Motoki; Sugihara, Taro; Kunifuji, Susumu |
| 30-Sep-2009 | 地域からのエコツーリズム : 観光・交流による持続可能な地域づくり | 敷田, 麻実; 森重, 昌之; 高木, 晴光; 宮本, 英樹 |
| 30-Sep-2009 | Fast spherical Bessel transform via fast Fourier transform and recurrence formula | Toyoda, Masayuki; Ozaki, Taisuke |
| 25-Sep-2009 | Growth of single-crystalline zirconium diboride thin film on sapphire | Bera, Sambhunath; Sumiyoshi, Yuichiro; Yamada-Takamura, Yukiko |
| 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 |
|
