|
|
JAIST Repository >
一覧: 日付
検索結果: 412-432 / 2071.
| 発行日 | タイトル |
著者 |
|---|
| Jul-2016 | Final Report of The Coding/Decoding Algorithms and Performance Comparison | He, Jiguang; He, Xin; Hou, Jiancao; Jiang, Weiwei; K¨uhlmorgen, Sebastian; Matsumoto, Tad; Paatelma, Anton; Qian, Shen; Tervo, Valtteri; Wolf, Albrecht; Yi, Na; Editor: Valtteri Tervo |
| Jul-2016 | Study on Quality Improvement of HMM-Based Synthesized Voices Using Asymmetric Bilinear Model | Dinh-Anh, Tuan; Morikawa, Daisuke; Akagi Masato |
| 30-Jun-2016 | On principles between ∑1- and ∑2-induction, and monotone enumerations | Kreuzer, Alexander P.; Yokoyama, Keita |
| 26-Jun-2016 | SMT-based scheduling for multiprocessor real-time systems | Cheng, Zhuo; Zhang, Haitao; Tan, Yasuo; Lim, Yuto |
| 15-Jun-2016 | Reverse mathematical bounds for the Termination Theorem | Steila, Silvia; Yokoyama, Keita |
| 12-Jun-2016 | SOFL-based dependency graph generation for scheduling | Cheng, Zhuo; Zhang, Haitao; Tan, Yasuo; Lim, Yuto |
| 9-Jun-2016 | 実用的な筋電義手実現のための上肢切断者を考慮した動作・速度推定システムの構築 | 末光, 厚夫; Suemitsu, Atsuo |
| 8-Jun-2016 | Automatic Verification of Distributed Mobile Robot Algorithms | Bonnet, Francois |
| 3-Jun-2016 | 項書換えの合流性解析とその応用 | 廣川, 直; Hirokawa, Nao |
| 3-Jun-2016 | グラフ同型性判定問題に対する幅パラメータ固定アルゴリズムの研究 | 大舘, 陽太; Otachi, Yota |
| 3-Jun-2016 | 形式証明の理論依存性解析とその計算可能証明発見への応用 | 小川, 瑞史; Ogawa, Mizuhito |
| 3-Jun-2016 | 進化言語学の方法による音楽の文脈自由規則の発見 | 東条, 敏; Tojo, Satoshi |
| 3-Jun-2016 | 発話過程の神経生理学的制御モデルの構築に関する研究 | 党, 建武; Dang, Jianwu |
| 2-Jun-2016 | 聴覚・視覚・体性感覚を統合した周辺刺激捕捉過程の解明 | 宮内, 良太; Miyauchi, Ryota |
| 1-Jun-2016 | Refined RC4 key correlations of internal states in WPA | Ito, Ryoma; Miyaji, Atsuko |
| 1-Jun-2016 | 準同型認証子による効率の良いデータ認証手法に関する研究 | 面, 和成; Omote, Kazumasa |
| 1-Jun-2016 | 離散事象システムのモデルレス故障診断法に関する研究 | 平石, 邦彦; Hiraishi, Kunihiko |
| Jun-2016 | The Convex Configurations of “Sei Shonagon Chie no Ita,” Tangram, and Other Silhouette Puzzles with Seven Pieces | Fox-Epstein, Eli; Katsumata, Kazuho; Uehara, Ryuhei |
| Jun-2016 | Convex Configurations on Nana-kin-san Puzzle | Horiyama, Takashi; Uehara, Ryuhei; Hosoya, Haruo |
| 30-May-2016 | Scheduling overload for real-time systems using SMT solver | Cheng, Zhuo; Zhang, Haitao; Tan, Yasuo; Lim, Yuto |
| 23-May-2016 | Combined Model Checking and Testing Create Confidence in Correctness of Commercial Automotive Operating System | Aoki, Toshiaki; Satoh, Makoto; Tani, Mitsuhiro; Yatake, Kenro; Kishi, Tomoji |
|
