|
|
JAIST Repository >
一覧: タイトル
検索結果: 3105-3125 / 18042.
| 発行日 | タイトル |
著者 |
|---|
| 29-Jan-2007 | MITS : models of IT security : security rules & regulations : an interpretation | Bjorner, Dines |
| 5-Oct-1995 | MITスローンスクールMOTプログラム研修の最新状況 : 1994年度受講体験から | 青木, 壽晴 |
| 12-Jul-2017 | Mixture of half-duplex and full-duplex wireless network considering hidden terminal problem | Nguyen, Minh Dat; Lim, Yuto; Tan, Yasuo |
| Sep-2016 | Mixture of Language Models Utilization in Score-Based Sentiment Classification on Clinical Narratives | Dang, Tran Thai; だん, とらん たい |
| 1-Nov-2009 | MLD-Based Modeling of Hybrid Systems with Parameter Uncertainty | Kobayashi, Koichi; Hiraishi, Kunihiko |
| Mar-2005 | MLLRにおける回帰行列の重み付き線形和を用いた適応法に関する研究 | 小山, 岳史; こやま, たけふみ |
| Feb-2005 | Mn-doped ZnO and (Mn, Cu)-doped ZnO thin films: Does the Cu doping indeed play a key role in tuning the ferromagnetism? | Nguyen, Hoa Honga; Brizé, Virginie; Sakai, Joe |
| Mar-2003 | Mn-MoO2同時スパッタリング薄膜の作製と磁気的性質 | 木田, 孝則; きだ, たかのり |
| Mar-2004 | Mn^<2+>を添加したZnO-B_2O_3-GeO_2系透明結晶化ガラスの長残光現象 | 五十嵐, 大; いがらし, はじめ |
| 2007 | Mobile agent security with efficient oblivious transfer | Hasegawa, Wataru; Soshi, Masakazu; Miyaji, Atsuko |
| Mar-2018 | A Mobile Robot Path Planning System Using the Human-Robot Social Relations Model | 王, 震宇; おう, しんう |
| 9-Oct-2010 | Mobile technological shift from 2G to 3G : A review of scientific research activities | Suryanegara, Muhammad; Miyazaki, Kumiko |
| 24-Oct-2009 | Mobile Telephony Innovation System : The Case of Indonesian Regulatory Perspective | Suryanegara, Muhammad; Miyazaki, Kumiko |
| 24-Jun-2003 | MOBLE ROBOT LOCALIZATION USIGNG OMINI-DIRECTIONAL VIEW | Trung,Ngo Thanh; Horiguchi, Susumu |
| Mar-1999 | MOCVDを用いた交互吸着によるNiO膜の原子層エピタキシャル成長 | 野木, 広光; のぎ, ひろみつ |
| Mar-1997 | MOCVD法による鉄酸化物薄膜の作製 | 鳥羽, 環; とば, たまき |
| 3-Dec-1997 | Modality in open institutions with concrete syntax | Diaconescu, Razvan; Stefaneas, Petros |
| 18-Apr-2014 | Model Checking Conformance of Design Model to Its Formal Specification | Vu, Dieu-Huong; Chiba, Yuki; Yatake, Kenro; Aoki, Toshiaki |
| 3-Mar-2008 | Model Checking Infinite State Machines : Who's who in Ogawa lab | 小川, 瑞史 |
| Sep-2012 | Model Checking of FlexRay Communication Protocol | 郭, 暁芸; かく, しょうげい |
| Sep-2012 | Model Checking Real-Time Systems with Schedulers | Le Vo Hue, Quan |
|
