| 発行日 | タイトル |
著者 |
|---|
| 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 |
| 22-Jan-2004 | An Upper Bound on Blocking Probability for Vertical Stacked Optical Banyan Networks with Extra Stage | Yu, Chen; Jiang, Xiaohong; Horiguchi, Susumu |
| 9-Jul-2018 | Usability Evaluation of Open Source and Online Capture the Flag Platforms | Noor Azam, Muhammad Harith bin; Beuran, Razvan |
| 20-Jun-1996 | A user behavior model of organizational knowledge support | Kadowaki, Chie; Yamakami, Toshihiko; Kokogawa, Tomohiro; Sugita, Keizo; Kunifuji, Susumu |
| 2-Jan-2019 | User-Centric Consumption Scheduling and Fair Billing Mechanism in Demand-Side Management | Charoen, Prasertsak; Sioutis, Marios; Javaid, Saher; Charoenlarpnopparut, Chalie; Lim, Yuto; Tan, Yasuo |
| Using Conspiracy Numbers for Improving Move Selectionin Minimax Game-Tree Search | Vu, Quang; Ishitobi, Taichi; Terrillon, Jean-Christophe; Iida, Hiroyuki |
| 6-Jul-1994 | Using object-oriented techniques in microkernel based operating systems | Nakajima, Tatsuo; 中島, 達夫; ナカジマ, タツオ |
| 18-Jan-2013 | Using Shallow Semantic Parsing and Relation Extraction for Finding Contradiction in Text | Pham, Minh Quang Nhat; Nguyen, Minh Le; Shimazu, Akira |
| 7-Sep-2006 | Using text semantic similarity approach to check the consistency of UML | Kotb, Yasser; Katayama, Takuya |
| Aug-2012 | Utilization of 2-D Markov Source Correlation using Block Turbo Code | Izhar, Mohd Azri Mohd; Fisal, Norsheila; Zhou, Xiaobo; Anwar, Khoirul; Matsumoto, Tad |
| 5-Nov-2015 | Utilization of multi-dimensional source correlation in multi-dimensional single parity check codes | Izhar, Mohd Azri Mohd; Zhou, Xiaobo; Matsumoto, Tad |
