|
|
JAIST Repository >
検索結果
検索結果表示: 4691-4700 / 7099.
該当アイテム:
| 発行日 | タイトル |
著者 |
| 1-Jun-2018 | Efficient Evolutionary Algorithm of Multi-objective Optimization for High-Confidence Cyber-Physical Systems | Lim, Yuto; リム, 勇仁 |
| 3-Jul-2009 | 北陸先端科学技術大学院大学 共有計算サーバ使用成果報告2008 | 太田, 理; 尾崎, 泰助; 佐藤, 幸紀 ほか; 太田, 理; 尾崎, 泰助; 佐藤, 幸紀 |
| 18-Dec-2014 | Outage Probabilities of Orthogonal Multiple-Access Relaying Techniques with Imperfect Source-Relay Links | Lu, Pen-Shun; Zhou, Xiaobo; Matsumoto, Tad |
| 31-Jul-2001 | A scenario-based object-oriented modeling method with algebraic specification techniques | Nakajima, Shin; Futatsugi, Kokichi |
| 26-Sep-2008 | Fault-tolerant Flocking in a k-bounded Asynchronous System | Souissi, Samia; Yang, Yan; Defago, Xavier |
| 27-Apr-2007 | ED FD: Improving the phi accrual failure detector | Xiong, Naixue; Defago, Xavier |
| 20-Jul-2005 | Eventually consistent compasses for robust gathering of asynchronous mobile robots with limited visibility | Souissi, Samia; Defago, Xavier; Yamashita, Masafumi |
| 22-Mar-2005 | Definition and specification of accrual failure detectors | Defago, Xavier; Urban, Peter; Hayashibara, Naohiro; Katayama, Takuya |
| 11-Jun-2013 | Nested Timed Automata | Li, Guoqiang; Cai, Xiaojuan; Ogawa, Mizuhito; Yuen, Shoji |
| 25-Jul-2018 | Nonparallel Dictionary-Based Voice Conversion Using Variational Autoencoder with Modulation-Spectrum-Constrained Training | Ho, Tuan Vu; Akagi, Masato |
前へ
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
次へ
|