| 発行日 | タイトル |
著者 |
|---|
| 27-Jul-2017 | On the Enumeration of Chequered Tilings in Polygons | Hamanaka, Hiroaki; Horiyama, Takashi; Uehara, Ryuhei |
| 9-Feb-2015 | On the feasibility of silicene encapsulation by AlN deposited using an atomic layer deposition process | Bui, H. Van; Wiggers, F. B.; Friedlein, R.; Yamada-Takamura, Y.; Kovalgin, A. Y.; Jong, M. P. de |
| 30-Jan-1998 | On the finite model property of intuitionistic modal logics over MIPC | Aoto, Takahito |
| Mar-2006 | On the Future Role of Environmental Systems Analysis | Hordijk, Leen |
| 22-Apr-2024 | On the Generality and Application of Mason’s Voting Theorem to Center of Mass Estimation for Pure Translational Motion | Gao, Ziyan; Elibol, Armagan; Chong, Nak Young |
| 2007 | On the MMSE Criterion for Space-Time Coded Signaling in the Presence of Unknown Interference | Matsumoto, Tad; Hong, Aihua |
| 23-Feb-2010 | On the outage probability of MMSE turbo equalization in frequency-selective Rayleigh fading channels | Grossmann, Marcus; Matsumoto, Tad |
| 11-Apr-2014 | On the Parameterized Complexity for Token Jumping on Graphs | Ito, Takehiro; Kaminski, Marcin; Ono, Hirotaka; Suzuki, Akira; Uehara, Ryuuhei; Yamanaka, Katsuhisa |
| 9-Jul-2001 | On the Proof of the Interpolation Theorem without using Constants | Seki, Takahiro |
| Jun-2014 | On the Ramseyan factorization theorem | Murakami, Shota; Yamazaki, Takeshi; Yokoyama, Keita |
| 2005 | On the Success Probability of χ^2 attack on RC6 | Miyaji, Atsuko; Takano, Yuuki |
| Feb-2007 | On The Use of Multiple Access Coding in Cooperative Space-time Relay Transmission And Its Measurement Data-Based Performance Verification | Hong, Aihua; Thoma, Reiner; Matsumoto, Tad |
| 28-Oct-2017 | On the Use of the Grants-in-Aid Classification System to Analyze the Department Level Scientific Publications of a University | Gautam, Pitambar; Okada, Naosuke |
| Nov-2005 | On Vector Network Equilibrium Problems | Guangya, Chen; Jifa, Gu; Gerhard, Chroust |
| 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 |
