| 発行日 | タイトル |
著者 |
|---|
| 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 |
| 21-Sep-2005 | Model Checking Web Specifications : Verification of design specifications for Web applications | CHOI, Eun-Hye; WATANABE, Hiroshi |
| Oct-2021 | Model Diet: A Simple yet Effective Model Compression for Vision Tasks | Lee, Jongmin; Elibol, Armagan; Chong, Nak-Young |
| Mar-2015 | The Model of Idea Co-creation for Innovation | Nguyen Dinh, Le; Nguyen Dinh, Le |
| Mar-2015 | A Model of Integrating Employees' Knowledge in Myanmar: Case Study of a Processed Food Distribution Company | Aung, Nay Zar; Aung, Nay Zar |
| Mar-2010 | Model Synthesis and Parametric Model Checking for Real-Time System Designs | サタウォンウィチット, チャイワット; さたうぉんうぃちっと, ちゃいわっと |
| 2006 | A Model-Concept of the Selective Sound Segregation : A Prototype Model for Selective Segregation of Target Instrument Sound from the Mixed Sound of Various Instruments | Unoki, Masashi; Kubo, Masaaki; Haniu, Atsushi; Akagi, Masato |
| 2009 | Model-Membrane Morphological Transformations Induced by Different Amyloid Molecular Assemblies | Morita, Masamune; Vestergaard, Mun'delanji; Hamada, Tsutomu; Takagi, Masahiro |
| 23-Apr-2013 | Modeling and analysis of passive viscoelastic-legged rimless wheel that generates measurable period of double-limb support | Asano, Fumihiko; Kawamoto, Junji |
| 25-Jan-2013 | Modeling and Analyzing the Impact of Software Fault Tolerance Techniques on the Reliability of Component-based Systems | Pham, Thanh-Trung; Defago, Xavier |
| 11-Mar-2005 | Modeling and Verification of Workflows for e-Society | Hiraishi, Kunihiko |
