|
JAIST Repository >
i. 北陸先端科学技術大学院大学(JAIST) >
i20. 学位論文 >
一覧: 日付
検索結果: 1061-1081 / 2524.
発行日 | タイトル |
著者 |
Sep-2012 | Web Security Analysis for Java Using Conditional Weighted Pushdown System | HUA, Vy Le Thanh; HUA, Vy Le Thanh |
Sep-2012 | Bounded Model Checking for Concurrent Behavior with Scheduler | ZHANG, Haitao |
Sep-2012 | Task Allocation for Mobile Robots | Nguyen, Huy Jr; Nguyen, Huy Jr |
Sep-2012 | Collaborative Editing Application in Mobile Ad-hoc Networks | Le, Nam Jr; Le, Nam Jr |
Sep-2012 | Fast Convergent Gait Generation for Underactuated Spoked Walker with Torso | Xiao, Xuan |
Sep-2012 | Model Checking of FlexRay Communication Protocol | 郭, 暁芸; かく, しょうげい |
Sep-2012 | Requirements of User Interface (UI) for home network system | Le, Loc |
Sep-2012 | 2-hop Scheme for Data Collection in Wireless Sensor Networks | ヴーン, ホン アン; ゔーん, ほん あん |
Sep-2012 | A study on data hiding scheme for digital audio in amplitude-modulation domain | Ngo, Nhut Minh Jr; ごー, にゅっとみん Jr |
Sep-2012 | Model Checking Real-Time Systems with Schedulers | Le Vo Hue, Quan |
Sep-2012 | PEDESTRIAN TRACKING BY LEARNING OF MULTI-VIEW HUMAN COLOR APPEARANCE | Huynh, Loc Huu |
Sep-2012 | A Study on Practical Real-Time Task Scheduling | 尹, 傲彤; いん, あおとん |
Sep-2012 | TOWARDS EFFICIENT AND SECURE DATA STORAGE IN CLOUD COMPUTING | Tran, Thao Phuong |
Sep-2012 | A study on Hierarchical Table of Indexes for Multi-documents | LE, Tho Thi Ngoc; れ, とう てぃ ごっく |
Sep-2012 | Text Classification of Technical Papers Using Text Segmentation | Thien, Nguyen |
Sep-2012 | 発話文の前提の推定に関する研究 | 冨永, 善視; とみなが, よしみ |
Sep-2012 | Supervised Learning of Semantic Class Disambiguation Classifiers for All Words Task | Ariyakornwijit, Patanan; ありやこーんうぃじっと, ぱったなん |
Jun-2012 | Pursuit-Evasion game in the presence of Byzantine behavior | Ta, Dat |
Jun-2012 | モデル検査ツールにより出力された反例に基づく誤り特定に関する研究 | 陳, 適; ちん, てき |
Mar-2012 | 音声伝達指標のブラインド推定法に関する研究 | 池田, 友洋; いけだ, ともひろ |
Mar-2012 | 稀にアクセスされるWebページを検出するシステムに関する研究 | 立花, 一樹; たちばな, かずき |
|