発行日 | タイトル |
著者 |
19-Sep-2000 | A note on sequent systems of provability logic | Yoshida, Satoru |
2013 | A note on the sequential version of Π^1_2 statements | Fujiwara, Makoto; Yokoyama, Keita |
6-Mar-2007 | A note on the weak topology for the constructive completion of the space D(R) | YOSHIDA, Satoru |
Apr-2013 | Notes on the first-order part of Ramsey's theorem for pairs (Proof theory and complexity) | Yokoyama, Keita |
Jan-2010 | Notes on “reducing algorithm complexity for computing an aggregate uncertainty measure” | Huynh, Van-Nam; Nakamori, Yoshiteru |
26-Feb-2015 | Notes-nuggetter: Twitterを用いた不可逆的・集合的音楽創作システム | 鳥谷, 輝樹; 福成, 毅; 西本, 一志; Toya, Teruki; Fukunari, Takeshi; Nishimoto, Kazushi |
Mar-2023 | A Novel 3D Parametric Reconstruction Network of Primitive shapes | 黄, 建強; こ,けんきょう |
5-Nov-2016 | Novel applications of data analytics to higher education | Yu, Lily; Shimaoka, Mikiko; Koga, Yasuyuki; Tanaka, Azusa; Kobayashi, Naoto; Higginson, John |
Nov-2005 | A Novel Approach to the Combination of Knowledge Flow with Organizational Learning Process | Donghua, Pan; Wenqi, Dai; Jifa, Gu; Gerhard, Chroust |
2016 | Novel Concentration-Based Freezing Method for Efficient Protein Delivery | AHMED, Sana; MATSUMURA, Kazuaki |
Mar-2022 | A Novel Filter Pruning Algorithm for Vision Tasks based on Kernel Grouping | LEE, Jongmin; りー, じょんみん |
Jul-2022 | A Novel Filter Pruning Algorithm for Vision Tasks based on Kernel Grouping | Lee, Jongmin; Elibol, Armagan; Nak-Young, Chong |
13-Oct-2015 | A novel gait generation method independent of target settling-time adjustment for underactuated limit cycle walking | Asano, Fumihiko |
2011 | A Novel Game Information Dynamic Model based on Fluid Mechanics: Case Study using Base Ball Data in World Series 2010 | IIDA, Hiroyuki; NAKAGAWA, Takeo; SPOERER, Kristian |
2012 | A Novel Hybrid IP Traceback Scheme with Packet Counters | Tomoyuki Karasawa; Soshi, Masakazu; Miyaji, Atsuko |
Jun-2014 | Novel In-Situ Method for the Fabrication of Polypropylene/Magnesium Hydroxide Nanocomposites to Improve Flame Retardancy | Maira, Bulbul |
17-Oct-2016 | Novel mixture model for the representation of potential energy surfaces | Pham, Tien Lam; Kino, Hiori; Terakura, Kiyoyuki; Miyake, Takashi; Dam, Hieu Chi |
Jan-2009 | A novel receiver-aided scheme for improving TCP performance in multihop wireless networks | Chen, Chen; Wang, Hua; Wang, Xin; Li, Min; Lim, Azman Osman |
1-Apr-2008 | Novel Register Sharing in Datapath for Structural Robustness against Delay Variation | INOUE, Keisuke; KANEKO, Mineo; IWAGAKI, Tsuyoshi |
Oct-2021 | A Novel Room Categorization Approach to Semantic Localization for Domestic Service Robots | Setiono, Felix Yustian; Elibol, Armagan; Chong, Nak-Young |
2013 | Novel Strategies for Searching RC4 Key Collisions | Chen, Jiageng; Miyaji, Atsuko |