| 発行日 | タイトル |
著者 |
|---|
| 18-Jun-2004 | A Type Theory for Krivine-style Evaluation and Compilation | Choi, Kwanghoon; Ohori, Atsushi |
| 2005 | Tyrolean Termination Tool | Hirokawa, Nao; Middeldorp, Aart |
| Sep-2007 | Tyrolean termination tool: Techniques and features | Hirokawa, Nao; Middeldorp, Aart |
| Aug-2013 | UAV Dynamic Path Planning for Intercepting of a Moving Target: A Review | Triharminto, Hendri Himawan; Prabuwono, Anton Satria; Adji, Teguh Bharata; Setiawan, Noor Akhmad; Chong, Nak Young |
| 26-Aug-2016 | UAV-based Multiple Source Localization and Contour Mapping of Radiation Fields | Newaz, Abdullah Al Redwan; Jeong, Sungmoon; Lee, Hosun; Ryu, Hyejeong; Chong, Nak Young |
| Jul-2021 | A UAV-UUV Transformative Housing for Minimal Logistics Underwater Exploration | Tsai, Chung Hsuan; Elibol, Armagan; Chong, Nak-Young |
| 7-Feb-2006 | UML図面群の変更波及解析に利用可能な依存関係の自動生成法 | 小谷, 正行; 落水, 浩一郎 |
| 15-Jul-2008 | UML記述の変更波及解析に利用可能な依存関係の自動生成 | 小谷, 正行; 落水, 浩一郎; Kotani, Masayuki; Ochimizu, Koichiro |
| 1-Nov-2011 | Unconditionally Secure Oblivious Transfer Based on Channel Delays | Cheong, Kai-Yuen; Miyaji, Atsuko |
| 2008 | Uncurrying for Termination | Hirokawa, Nao; Middeldorp, Aart; Zankl, Harald |
| 25-Apr-2012 | Uncurrying for Termination and Complexity | Hirokawa, Nao; Middeldorp, Aart; Zankl, Harald |
| 2-Jun-2020 | Understanding Nonverbal Communication Cues of Human Personality Traits in Human-Robot Interaction | Shen, Zhihao; Elibol, Armagan; Chong, Nak Young |
| 2016 | Unfolding and Dissection of Multiple Cubes | Abel, Zach; Ballinger, Bran; Demaine, Erik D; Demaine, Martin L; Erickson, Jeff; Hesterberg, Adam; Ito, Hiro; Kostitsyana, Irina; Lynch, Jayson; Uehara, Ryuhei |
| 2017 | Unfolding and Dissection of Multiple Cubes, Tetrahedra, and Doubly Covered Squares | Abel, Zach; Ballinger, Brad; D. Demaine, Erik; L. Demaine, Martin; Erickson, Jeff; Hesterberg, Adam; Ito, Hiro; Kostitsyna, Irina; Lynch, Jayson; Uehara, Ryuhei |
| Jan-1993 | Unified Analysis on Performance Limits of Coded Multilevel DPSK in Rayleigh Fading Channels | Matsumoto, T.; Adachi, F. |
| 29-Dec-2018 | A Unified Framework for Operational Range Estimation of Mobile Robots Operating on a Single Discharge to Avoid Complete Immobilization | Tiwari, Kshitij; Xiao, Xuesu; Malik, Ashish; Chong, Nak Young |
| Mar-2001 | A Unified Scheme for Detecting Fundamental Curves in Binary Edge Images | Asano, Tetsuo; Katoh, Naoki; Tokuyama, Takeshi |
| 31-Dec-2011 | The uniform boundedness theorem and a boundedness principle | Ishihara, Hajime |
| 2001 | Uniform Normalisation beyond Orthogonality | Khasidashvili, Zurab; Ogawa, Mizuhito; Oostrom, Vincent van |
| 2007 | Unique Existence and Computability in Constructive Reverse Mathematics | Ishihara, Hajime |
| 6-May-2001 | Unique normal form property of compatible term rewriting systems: a new proof of Chew's theorem | Mano, Ken; Ogawa, Mizuhito |
