JAIST Repository >

一覧: 日付

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

検索結果: 1417-1437 / 2074.

前ページ 次ページ
発行日タイトル 著者
2006 A Study on Restoration of Bone-Conducted Speech with MTF-Based and LP-Based ModelsThang, Tat Vu; Kimura, Kenji; Unoki, Masashi; Akagi, Masato
2006 Some Tips on Writing Proof Scores in the OTS/CafeOBJ MethodOgata, Kazuhiro; Futatsugi, Kokichi
2006 Induction-Guided FalsificationOgata, Kazuhiro; Nakano, Masahiro; Kong, Weiqiang; Futatsugi, Kokichi
Dec-2005 Efficient Constraint Extraction for Template-Based Processor Self-Test GenerationKambe, Kazuko; Iwagaki, Tsuyoshi; Inoue, Michiko; Fujiwara, Hideo
Nov-2005 Frequency Domain Joint-over-Antenna MIMO Turbo EqualizationKarjalainen, Juha; Kansanen, Kimmo; Veselinovic, Nenad; Matsumoto, Tad
Sep-2005 On constructing completionsCrosilla, Laura; Ishihara, Hajime; Schuster, Peter
Sep-2005 Frequency-domain MMSE turbo equalization of multilevel coded QAM-convergence in real fieldsKansanen, K.; Matsumoto, T.; Schneider, C.; Thoma, R.
Aug-2005 Java Obfuscation - Approaches to Construct Tamper-Resistant Object-Oriented ProgramsSakabe, Yusuke; Soshi, Masakazu; Miyaji, Atsuko
Aug-2005 Efficient Group Signature Scheme Based on a Modified Nyberg-Rueppel SignatureMiyaji, Atsuko; Umeda, Kozue
20-Jul-2005 Eventually consistent compasses for robust gathering of asynchronous mobile robots with limited visibilitySouissi, Samia; Defago, Xavier; Yamashita, Masafumi
19-Jul-2005 A sowing routing protocol for dense mobile ad hoc networksCartigny, Julien; Defago, Xavier
Jul-2005 Development of an F0 control model based on F0 dynamic characteristics for singing-voice synthesisSaitou, Takeshi; Unoki, Masashi; Akagi, Masato
Jul-2005 情報セキュリティの標準化動向について : ISO/IEC JTC1/SC27/WG2 2005年4月ウィーン会議報告宮地, 充子; 近澤, 武; 竜田, 敏男; 大塚, 玲; 安田, 幹; MIYAJI, Atsuko; CHIKAZAWA, Takeshi; TATSUTA, Toshio; OTSUKA, Akira; YASUDA, Kan
1-Jun-2005 Turbo Transceivers in MIMO Wireless Communications and Their Performance Verification via Multi-Dimensional Channel SoundingMATSUMOTO, Tadashi; THOMA , Reiner S.
Jun-2005 Automating the dependency pair methodHirokawa, Nao; Middeldorp, Aart
1-May-2005 A Heuristic Algorithm for One-Machine Just-In-Time Scheduling Problem with Periodic Time SlotsCHIBA, Eishi; HIRAISHI, Kunihiko
1-May-2005 Inkdot versus Pebble over Two-Dimensional LanguagesINOUE, Atsuyuki; ITO, Akira; HIRAISHI, Kunihiko; INOUE, Katsushi
May-2005 Multilevel-Coded QAM With MIMO Turbo-Equalization in Broadband Single-Carrier SignalingKansanen, Kimmo; Schneider, Christian; Matsumoto, Tadashi; Thoma, Reiner
May-2005 決定木に基づく対話行為のタグ付け支援白井, 清昭; 洪, 陽杓; SHIRAI, Kiyoaki; KO, Yoshaku
15-Apr-2005 項書き換えシステムにおける可簡約演算子とその応用中村, 正樹; 緒方, 和博; 二木, 厚吉; NAKAMURA, MASAKI; OGATA, KAZUHIRO; FUTATSUGI, KOKICHI
5-Apr-2005 A lazy routing protocol for large-scale mobile ad hoc networksCartigny, Julien; Defago, Xavier
前ページ 次ページ

 


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