|
|
JAIST Repository >
一覧: タイトル
検索結果: 5327-5347 / 18095.
| 発行日 | タイトル |
著者 |
|---|
| 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 |
| Mar-2005 | Universal Darwinism based on the theory of direct proper functions | 桐谷, 理; きりたに, おさむ |
| Nov-2005 | University as “Agent-Based Social Systems Sciences” | Sorin, Eugen ZAHARIA; Jifa, Gu; Gerhard, Chroust |
| Mar-2000 | UNIX ファイルシステムの振舞仕様 | 松宮, 千代; まつみや, ちよ |
| 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 |
| Sep-2023 | Unsupervised Machine Speech Chain Based on Adversarial Training for Low-Resource Speech Recognition and Synthesis | 陸, 逸先; りく, いつせん |
| 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 |
| Mar-2021 | Unsupervised Word Sense Disambiguation based on Word Embedding and Collocation | 韓, 尚壮; かん, しょうそう |
| 15-Jan-1996 | Unusually large absolute Raman scattering cross section of hydrogen vibrations on Si(111) | Sano, H.; Ushioda, S. |
| 25-Dec-2003 | UoQ : ジェスチャ認識を用いた映像体験環境 | 高橋, 誠史; 河原塚, 有希彦; 桑村, 宏幸; 宮田, 一乘; Takahashi, Masafumi; Kawarazuka, Yukihiko; Kuwamura, Hiroyuki; Miyata, Kazunori |
| 20-Sep-2004 | UoQA : ジェスチャ認識と簡易なモーションベースを用いたＶＲアプリケーション | 高橋, 誠史; 河原塚, 有希彦; 桑村, 宏幸; 宮田, 一乘; Takahashi, Masafumi; Kawarazuka, Yukihiko; Kuwamura, Hiroyuki; Miyata, Kazunori |
| Nov-2003 | UoQA : ジェスチャ認識とエアブロワを用いたVRアプリケーション | 高橋,誠史; 河原塚,有希彦; 桑村,宏幸; 宮田,一乗 |
| 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 |
| 28-Oct-2017 | URAに対する大学教員の支援ニーズ | 池見, 直俊; 永田, 晃也 |
| 27-Oct-2018 | URAはどこに向うのか : 大学における専門的職員という視座からの検討 | 齋藤, 芳子 |
|
