|
|
JAIST Repository >
一覧: 日付
検索結果: 11563-11583 / 19268.
| 発行日 | タイトル |
著者 |
|---|
| 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 |
| 4-Mar-2008 | Modular Conformance Testing and Verification for Evolving Component-Based Software | Hung, Pham Ngoc |
|
