|
|
JAIST Repository >
一覧: 日付
検索結果: 421-441 / 2071.
| 発行日 | タイトル |
著者 |
|---|
| 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 |
| 22-May-2016 | Security and Experimental Performance Analysis of a Matrix ORAM | Gordon, Steven; Miyaji, Atsuko; Su, Chunhua; Sumongkaoythin, Karin |
| 17-May-2016 | Termination and Boundedness for Well-Structured Pushdown Systems | Lei, Suhua; Cai, Xiaojuan; Ogawa, Mizuhito |
| 16-May-2016 | Fast Radiation Mapping and Unknown Multiple Sources Localization using Topographic Contour Map and Incremental Density Estimation | Newaz, Abdullah Al Redwan; Jeong, Sungmoon; LEE, Hosun; Ryu, Hyejeong; Chong, Nak Young; Mason, Matthew T. |
| 7-May-2016 | Accurate Estimation of the Full Differential Distribution for General Feistel Structures | Chen, Jiageng; Miyiaji, Atsuko; Su, Chunhua; The, Je Sen |
| 29-Mar-2016 | Shortest Reconfiguration of Sliding Tokens on a Caterpillar | Yamada, Takeshi; Uehara, Ryuhei |
| 22-Mar-2016 | Balanced cooperative linear data exchange with physical layer network coding | Lin, Nyan; Kurkoski, Brian Michael; Tan, Yasuo; Lim, Yuto |
| 20-Mar-2016 | Identifying an Agent's Preferences Toward Similarity Measures in Description Logics | Racharak, Teeradaj; Suntisrivaraporn, Boontawee; Tojo, Satoshi |
| 1-Mar-2016 | rERA: An optimization algorithm of task dependency graph for scheduling | Cheng, Zhuo; Tan, Yasuo; Lim, Yuto |
| 1-Mar-2016 | Network coding scheme based on selection of number input packets in X-topology network | Ngeth, Rithea; Lin, Nyan; Tan, Yasuo; Lim, Yuto |
|
