|
|
JAIST Repository >
一覧: 日付
検索結果: 10885-10905 / 18591.
| 発行日 | タイトル |
著者 |
|---|
| 14-Mar-2008 | アウェアホームのためのアウェア技術の開発研究 ―４年目の研究成果― | 國藤, 進; 金井, 秀明; 藤波, 努; 三浦, 元喜; 中田, 豊久; 高塚, 亮三; 山崎, 竜二; 小柴, 等; 宮田, 一乗; 加藤, 直孝; 上田, 芳弘; 高橋, 哲郎; 山口, 聖哉; 森田, 健一; 伊藤, 禎宣 |
| 10-Mar-2008 | Evolution of magnetic circular dichroism of pure ZnTe in magnetic field : Spectral similarity between undoped and Cr-doped ZnTe | Weng, Hongming; Dong, Jinming; Fukumura, Tomoteru; Kawasaki, Masashi; Kawazoe, Yoshiyuki |
| 5-Mar-2008 | Influence of surface ligands on saturation magnetization of FePt nanoparticles | Tanaka, Yasushi; Saita, Soichiro; Maenosono, Shinya |
| 4-Mar-2008 | Construction and Control of a 3D physiological articulatory model for speech production | FANG, Qiang |
| 4-Mar-2008 | PREGORESS REPORT FOR THREE-LAYER PERCEPTUAL MODEL OF EXPRESSIVE SPEECH PROJECT | Huang, Chun-Fang |
| 4-Mar-2008 | Progress Report in 2007 : Research on Fault Tolerance of Mobile Robots | YANG, Yan |
| 4-Mar-2008 | Progress Report in 2007 : Research on Adaptive Failure Detector | Xiong, Naixue |
| 4-Mar-2008 | Hybrid Overloading and Fault Tolerant Task Scheduling in Multiprocessor systems Based on Primary and Backup Scheme | Sun, Wei |
| 4-Mar-2008 | A study of Quality of Service on wireless mesh network | Nguyen, Lan Tien |
| 4-Mar-2008 | Modeling traffic of wireless mobile networks under security-related events | Nguyen, Hoai Nam |
| 4-Mar-2008 | Network Coding and QoS Routing for Wireless Networks | Peng, Chao |
| 4-Mar-2008 | Some Studies on Language-Inclusion Problem | Nguyen, Van Tang |
| 4-Mar-2008 | Round off error analysis based on Weighted Pushdown Model checking | Do, Ngoc Thi Bich |
| 4-Mar-2008 | On-the-fly Model Checking of Security Protocols | Li, Guoqiang |
| 4-Mar-2008 | A Framework for Securing Component-Based Applications | Vo, Hieu Dinh |
| 4-Mar-2008 | Progress Report : CEq Emergence Assistant (the tool support for the CEq formal method) | Senachak, Jittisak |
| 4-Mar-2008 | Termination Verification and Complexity Analysis of Term Rewrite Systems | Hirokawa, Nao |
| 4-Mar-2008 | Static Program Analysis for Software Validation | Li, Xin |
| 4-Mar-2008 | Case Studies with a Combined Formal System Verification Technique | Kong, Weiqiang |
| 4-Mar-2008 | Automated target acquisition and docking RFID system in a cluttered environment | Kim, Myungsik |
| 4-Mar-2008 | A Coordination Model for Coordinating Software Components | Lin, Hsin-Hung |
|
