|
|
JAIST Repository >
一覧: タイトル
検索結果: 600-620 / 18124.
| 発行日 | タイトル |
著者 |
|---|
| Mar-2000 | Cafe OBJ のラーニングシステムのデザインに関する研究 | 市山, 洋乃; しやま, ひろの |
| Mar-2004 | CafeOBJ を用いたハイブリッドシステムの形式的な仕様記述と検証 | 山岸, 大悟; やまぎし, だいご |
| Mar-1999 | CafeOBJからJavaへの変換と同期記述 | 兼, 英樹; かね, ひでき |
| Mar-1998 | CafeOBJによるB-抽象機械モデルの検証法に関する研究 | 梅原, 伸年; うめはら, のぶとし |
| Mar-2011 | CafeOBJを用いた在庫管理問題の記述と評価 | 坂本, 淳誌; さかもと, あつし |
| Dec-2003 | Call-by-Need Reduction for Membership Conditional Term Rewriting Systems | Ogawa, Mizuhito |
| 2-Mar-2020 | CalliShadow : Interactive User Guidance for Calligraphic Practice | He, Zhizhou; Xie, Haoran; Miyata, Kazunori |
| Mar-2020 | CalliShadow: Interactive User Guidance for Calligraphic Practice | 何, 之舟; か, ししゅう |
| Mar-2010 | CaM-ペプチド間の結合様式と既存の結合モチーフ分類の関連性の研究 | 飯田, 好則; いいだ, よしのり |
| Sep-2005 | Capturing window attributes for extending web browsing history records | Miura, M; Kunifuji, S; Sato, S; Tanaka, J |
| Mar-2018 | CARATS Open Data における航空機位置のセクター決定問題について | 德丸, 翔也; とくまる, しょうや |
| 13-Jun-2009 | Carbon nanotube imprinting on a polymer surface | Yoon, Howon; Okamoto, Kenzo; Yamaguchi, Masayuki |
| 8-Nov-2019 | Carbon nanotube localization at interface in cocontinuous blends of polyethylene and polycarbonate | Nishikawa, Riho; Tamaki, Kakeharu; Notoya, Osamu; Yamaguchi, Masayuki |
| 23-May-2011 | A carbon nanotube structured biomimetic catalyst for polysaccharide degradation | Sugano, Yasuhito; Vestergaard, Mun'delanji C.; Saito, Masato; Tamiya, Eiichi |
| Mar-2003 | Carboxydothermus Hydrogenoformans由来の新規なセンサータンパク質の酸化還元挙動 | 増田, 千晶; ますだ, ちあき |
| 23-Apr-2021 | The CARESSES Randomised Controlled Trial: Exploring the Health-Related Impact of Culturally Competent Artificial Intelligence Embedded Into Socially Assistive Robots and Tested in Older Adult Care Homes | Papadopoulos, Chris; Castro, Nina; Nigath, Abiha; Davidson, Rosemary; Faulkes, Nicholas; Menicatti, Roberto; Khaliq, Ali Abdul; Recchiuto, Carmine; Battistuzzi, Linda; Randhawa, Gurch; Merton, Len; Kanoria, Sanjeev; Chong, Nak-Young; Kamide, Hiroko; Hewson, David; Sgorbissa, Antonio |
| 20-Mar-2020 | The CARESSES study protocol: testing and evaluating culturally competent socially assistive robots among older adults residing in long term care homes through a controlled experimental trial | Papadopoulos, Chris; Hill, Tetiana; Battistuzzi, Linda; Castro, Nina; Nigath, Abiha; Randhawa, Gurch; Merton, Len; Kanoria, Sanjeev; Kamide, Hiroko; Chong, Nak-Young; Hewson, David; Davidson, Rosemary; Sgorbissa, Antonio |
| Sep-2010 | Carrier injection mechanism at the metal-semiconductor interface in CNT-FETs | SHIH, Hong-An; しい, ほんあん |
| 19-May-2022 | Carrier lifetime measurement of perovskite films by differential microwave photoconductivity decay | Ohdaira, Keisuke; Huynh, Thi Cam Tu; Shimazaki, Ai; Kaneko, Ryuji; Sumai, Yuka; Shahiduzzaman, Md.; Taima, Tetsuya; Wakamiya, Atsushi |
| 2-Oct-2012 | Carrier recombination lifetime in InAs thin films bonded on low-k flexible substrates | Suzuki, Toshi-kazu; Hayato Takita; Cong Thanh Nguyen; Iiyama, Koichi |
| 4-Mar-2008 | Case Studies with a Combined Formal System Verification Technique | Kong, Weiqiang |
|
