| 発行日 | タイトル |
著者 |
|---|
| 2007 | On-the-Fly Model Checking of Fair Non-repudiation Protocols | Li, Guoqiang; Ogawa, Mizuhito |
| Mar-2008 | On-the-fly Model Checking of Security Protocols | 国強, 李; ゴーチャン, リ |
| 4-Mar-2008 | On-the-fly Model Checking of Security Protocols | Li, Guoqiang |
| 15-Jun-2007 | On-the-fly Model Checking of Security Protocols and Its Implementation by Maude | Li, Guoqiang; Ogawa, Mizuhito |
| 29-Nov-2006 | On-the-fly Model Checking Security Protocols and Its Implementation by Maude | Li, Guoqiang; Ogawa, Mizuhito |
| Mar-2011 | "One Day Free"による研究開発マネジメント | 村山, 純一; むらやま, じゅんいち |
| Apr-1986 | A One-Day Chip: An Innovative IC Construction Approach Using Electrically Reconfigurable Logic VLSI with On-Chip Programmable Interconnections | Ikawa, Yasuo; Urui, Kiyoshi; Wada, Masashi; Takada, Tomoji; Kawamura, Masahiko; Miyata, Misao; Amano, Noboru; Shibata, Tadashi |
| 7-Sep-2009 | A one-pot reaction for biorefinery: combination of solid acid and base catalysts for direct production of 5-hydroxymethylfurfural from saccharides | Takagaki, Atsushi; Ohara, Mika; Nishimura, Shun; Ebitani, Kohki |
| 25-Jul-2011 | One-pot synthesis and characterization of well defined core–shell structure of FePt@CdSe nanoparticles | Trinh, Thuy T.; Mott, Derrick; Thanh, Nguyen T. K.; Maenosono, Shinya |
| Jun-2012 | one-pot synthesis of furans from various saccharides using combination of solid acid and base catalysts. | Tuteja, Jaya |
| 6-Jan-2014 | One-Pot Synthesis of Furfural Derivatives from Pentoses using Solid Acid and Base Catalysts | Shirotori, Mahiro; Nishimura, Shun; Ebitani, Kohki |
| Sep-2017 | One-pot synthesis of TiO2/graphene nanocomposites based on chemical exfoliation method and its photocatalytic application | Ton, Nu Thanh Nhan; とん, ぬ たん にゃん |
| 12-Dec-2005 | One-Step Nanomorphology Control of Self-Organized Projection Coronas in Uniform Polymeric Nanoparticles | Hamada, Kazuhiro; Kaneko, Tatsuo; Chen, Ming Qing; Akashi, Mitsuru |
| 26-Jul-2018 | Onion-like networks are both robust and resilient | Hayashi, Yukio; Uchiyama, Naoya |
| 2-Oct-2017 | Online Boundary Estimation in Partially Observable Environments Using a UAV | Newaz, Abdullah Al Redwan; Jeong, Sungmoon; Chong, Nak Young |
| Nov-2008 | Online Structured Learning for Semantic Parsing with Synchronous and λ-Synchronous Context Free Grammars | Nguyen, Le-Minh; Shimazu, Akira; Phan, Xuan Hieu; Nguyen, Phuong Thai |
| 10-Sep-2008 | Online Uniformity of Integer Points on a Line | Asano, Tetsuo |
| 31-Oct-2020 | OntoISを用いたイノベーション解析 : 中小企業を事例として | 三井, 俊明; 古川, 柳蔵 |
| 24-Jul-2013 | Ontological characterization of functions: Perspectives for capturing functions and modeling guidelines | Kitamura, Yoshinobu; Mizoguchi, Riichiro |
| 2013 | Ontological Model of Abnormal States and its Application in the Medical Domain | Yamagata, Yuki; Kou, Hiroko; Kozaki, Kouji; Mizoguchi, Riichiro; Imai, Takeshi; Ohe, Kazuhiko |
| 21-May-2014 | An ontological modeling approach for abnormal states and its application in the medical domain | Yamagata, Yuki; Kozaki, Kouji; Imai, Takeshi; Ohe, Kazuhiko; Mizoguchi, Riichiro |
