|
|
JAIST Repository >
一覧: 日付
検索結果: 10202-10222 / 18634.
| 発行日 | タイトル |
著者 |
|---|
| 25-Mar-2009 | Numerical evaluation of electron repulsion integrals for pseudoatomic orbitals and their derivatives | Toyoda, Masayuki; Ozaki, Taisuke |
| 23-Mar-2009 | Low-Temperature Deposition of Silicon Oxide Film from the Reaction of Silicone Oil Vapor and Ozone Gas | Horita, Susumu; Toriyabe, Koichi; Nishioka, Kensuke |
| 20-Mar-2009 | Substrate-mediated interactions of Pt atoms adsorbed on single-wall carbon nanotubes: Density functional calculations | Chi Dam, Hieu; Thanh Cuong, Nguyen; Sugiyama, Ayumu; Ozaki, Taisuke; Fujiwara, Akihiko; Mitani, Tadaoki; Okada, Susumu |
| 19-Mar-2009 | JAIST NOW No.5 (2009 Spring) | |
| 13-Mar-2009 | Ontology‐aware Course Management for Curriculum Evolution Process in Higher Education | Lu, Wenhuan |
| 13-Mar-2009 | 対立を用いた法的知識の整合性検証 : Verification of Legal Knowledge-base with Conflict | 萩原, 信吾 |
| 13-Mar-2009 | The logic for the burden of production | Suzuki, Yoshitaka |
| 12-Mar-2009 | KBO Orientability | Zankl, Harald; Hirokawa, Nao; Middeldorp, Aart |
| 12-Mar-2009 | A Verification Framework for Automotive Embedded Systems | KATO, Norio |
| 12-Mar-2009 | A Scalable Stacking-based Context-Sensitive Points-to Analysis for Java | Li, Xin |
| 12-Mar-2009 | On Agda | Kinoshita, Yoshiki; Yamagata, Yoriyuki |
| 12-Mar-2009 | Modeling, Specification, and Verification of QLOCK in CafeOBJ | FUTATSUGI, Kokichi |
| 7-Mar-2009 | A geometric approach to deploying robot swarms | Lee, Geunho; Chong, Nak Young |
| 6-Mar-2009 | Asymptotically stable biped gait generation based on stability principle of rimless wheel | Asano, Fumihiko; Luo, Zhi-Wei |
| 1-Mar-2009 | Effects from Spatial Cues on Detectability of Alarm Signals in Car Environments | Kuroda, Naoki; Li, Junfeng; Iwaya, Yukio; Unoki, Masashi; Akagi, Masato |
| 1-Mar-2009 | An MTF-based Blind Restoration Method for Improving Intelligibility of Bone-conducted Speech | Kinugasa, Kota; Unoki, Masashi; Akagi, Masato |
| 1-Mar-2009 | An emotional speech recognition system based on multi-layer emotional speech perception model | Aoki, Yuusuke; Huang, Chun-Fang; Akagi, Masato |
| 1-Mar-2009 | A study on nonlinguistic features in singing and speaking voices by brain activity measurement | Nakamura, Tomohiko; Kitamura, Tatsuya; Akagi, Masato |
| Mar-2009 | 観光地域ガバナンスにおける関係性モデルと中間システムの分析 : 北海道浜中町・霧多布湿原トラストの事例から | 敷田, 麻実; 木野, 聡子; 森重, 昌之; SHIKIDA, Asami; KINO, Akiko; MORISHIGE, Masayuki |
| Mar-2009 | 金沢箔の変遷 : 断切技術出現過程を中心とした予備的考察 | 加藤, 明 |
| Mar-2009 | Minimum Nomic : a tool for studying rule dynamics | Hatakeyama, Masaomi; Hashimoto, Takashi |
|
