| 発行日 | タイトル |
著者 |
|---|
| 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 |
| 1996 | Unique normal form property of Higher-Order Rewriting | Mano, Ken; Ogawa, Mizuhito |
| 30-Aug-1995 | Unique normal proof property for implicational minimal formulas in the intuitionistic logic | Aoto, Takahito; 青戸, 等人; アオト, タカヒト |
| 11-Aug-1994 | Uniqueness of normal proofs in {→,∧}-fragment of NJ | Aoto, Takahito; Ono, Hiroakira |
| Jul-2022 | An Unmanned Aerial-Surface Vehicle Hybrid Outfitted with a Transformable Housing | Tsai, Chung Hsuan; Elibol, Armagan; Nak-Young, Chong |
| 2010 | UNO Is Hard, Even for a Single Player | Demaine, Erik D.; Demaine, Martin L.; Uehara, Ryuhei; Uno, Takeaki; Uno, Yushi |
| 22-Nov-2013 | UNO is hard, even for a single player | Demaine, Erik D.; Demaine, Martin L.; Harvey, Nicholas J. A.; Uehara, Ryuhei; Uno, Takeaki; Uno, Yushi |
| Sep-2014 | Unsupervised Learning Approach to Attention-Path Planning for Large-scale Environment Classification | Lee, Hosun; Jeong, Sungmoon; Chong, Nak Young |
| 2018 | Unsupervised Singing Voice Separation Based on Robust Principal Component Analysis Exploiting Rank-1 Constraint | Li, Feng; Akagi, Masato |
| 15-Nov-2018 | Unsupervised Singing Voice Separation Using Gammatone Auditory Filterbank and Constraint Robust Principal Component Analysis | Li, Feng; Akagi, Masato |
| Dec-2010 | Update Legal Documents Using Hierarchical Ranking Models and Word Clustering | Pham, Minh Quang Nhat; Nguyen, Minh Le; Shimazu, Akira |
