JAIST Repository >

一覧: 日付

年月を指定して移動:
年を入力して移動:
降順ソート 昇順ソート

検索結果: 1054-1074 / 2071.

前ページ 次ページ
発行日タイトル 著者
Jul-2010 Design and Control of JAIST Active Robotic WalkerLee, Geunho; Ohnuma, Takanori; Chong, Nak Young
21-Jun-2010 Combining Testing and Static Analysis to Overflow and Roundoff Error DetectionDo, Ngoc Thi Bich; Ogawa, Mizuhito
10-Jun-2010 無線ヘテロジニアスネットワークにおける非対称マルチキャスト通信の提案と実証実験LIM, Azman Osman; リム, アズマン・オスマン
2-Jun-2010 Two-stage binaural speech enhancement with Wiener filter for high-quality speech communicationLi, Junfeng; Sakamoto, Shuichi; Hongo, Satoshi; Akagi, Masato; Suzuki, Yôiti
1-Jun-2010 New Analysis Based on Correlations of RC4 PRGA with Nonzero-Bit DifferencesMIYAJI, Atsuko; SUKEGAWA, Masahiro
Jun-2010 A concurrent power supply and data transmission protocol for 2D communication sensor systemLim, Azman Osman; Oota, Toshifumi; Kado, Youiti; Shirazi, Mehdad N.; Zhang, Bing
29-May-2010 Kaboozle Is NP-complete, Even in a StripAsano, Tetsuo; Demaine, Erik; Demaine, Martin; Uehara, Ryuhei
29-May-2010 Do We Need a Stack to Erase a Component in a Binary Image?Asano, Tetsuo
29-May-2010 構成的数学における逆数学の研究石原, 哉; ISHIHARA, HAJIME
26-May-2010 項書き換えに基づく計算量解析の自動化廣川, 直; HIROKAWA, NAO
16-May-2010 The cost of probabilistic agreement in oblivious robot networksClement, Julien; Defago, Xavier; Potop-Butucaru, Maria Gradinariu; Izumi, Taisuke; Messika, Stephane
7-May-2010 Efficient dynamic bipedal walking using effects of semicircular feetAsano, Fumihiko; Luo, Zhi-Wei
1-May-2010 Practical and Secure Recovery of Disk Encryption Key Using Smart CardsOMOTE, Kazumasa; KATO, Kazuhiko
1-May-2010 Program Transformation Templates for Tupling Based on Term RewritingChiba, Yuki; Aoto, Takahito; Toyama, Yoshihito
May-2010 Chained Turbo Equalization for Block Transmission without Guard IntervalAnwar, Khoirul; Zhou, Hui; Matsumoto, Tad
May-2010 Treatment of Legal Sentences Including Itemization Written in Japanese, English and Vietnamese —Towards Translation into Logical Forms—Nakamura, Makoto; Kimura, Yusuke; Nhat Pham, Minh Quang; Nguyen, Minh Le; Shimazu, Akira
20-Apr-2010 Modeling of Real-Time System Designs for Parametric AnalysisChaiwat, Sathawornwichit; Aoki, Toshiaki; Katayama, Takuya
16-Apr-2010 Scale free properties of random k-treesCooper, Colin; Uehara, Ryuhei
10-Apr-2010 名人を超えるコンピュータ将棋飯田, 弘之; IIDA, HIROYUKI
10-Apr-2010 証明スコアによる問題モデルの検証技術二木, 厚吉; FUTATSUGI, KOKICHI
7-Apr-2010 Emulation framework for the design and development of active RFID tag systemsBeuran, Razvan; Nakata, Junya; Kawakami, Tetsuya; Okada, Takashi; Chinen, Ken-ichi; Tan, Yasuo; Shinoda, Yoichi
前ページ 次ページ

 


お問合せ先 : 北陸先端科学技術大学院大学 研究推進課図書館情報係 (ir-sys[at]ml.jaist.ac.jp)