|
|
JAIST Repository >
一覧: タイトル
検索結果: 1611-1631 / 18042.
| 発行日 | タイトル |
著者 |
|---|
| Mar-2015 | Equality handling and efficiency improvement of SMT for non-linear constraints over reals. | Tung, Vu Xuan |
| Jun-2012 | Equational Reasoning and Completion | Klein, Dominik; くらいん, どみにく |
| Mar-2023 | Equational Reasoning by Maximal Ordered Completion | 齊藤, 哲平; さいとう, てっぺい |
| 13-Aug-1997 | The equivalence of the reductions with the E-strategy with and without marks | Nagaya, Takashi; Matsumoto, Michihiro; Ogata, Kazuhiro; Futatsugi, Kokichi |
| 2015 | ERIS: Epigenetic Robot Intelligent System | Pratama, Ferdian; Mastrogiovanni, Fulvio; Chong, Nak Young |
| 15-Oct-2004 | ERPの自己増殖機能に触発された共鳴的二重スパイラル軌道(イノベーションをめぐる諸問題(2)) | 保々, 雅世; 渡辺, 千仭 |
| Jun-2012 | Error Resistant Lossless Data Compression with Equal Length Coding using Fine Tuned Multiple Label Mapping | Tervo, Valtteri; Fukawa, Kisho; Matsumoto, Tad |
| 10-Oct-2023 | Error-Exponent of Distributed Hypothesis Testing for Gilbert-Elliot Source Models | Adamou, Ismaila Salihou; Dupraz, Elsa; Zribi, Amin; Matsumoto, Tad |
| 30-Oct-2021 | ESG 投資環境下での設備設計者の価値 | 平川, 仁士; 日戸, 浩之 |
| 28-Oct-2023 | ESG経営におけるCXOに必要なサイバーリスク対策Capabilityの考察 | 安岡, 祥吾 |
| Mar-2001 | ESRによる微粒子の粒径変化の観測 | 亀井, 邦彦; かめい, くにひこ |
| Mar-1999 | ESR観測によるPdナノクラスターの電子構造と量子効果の研究 | 中栄, 穣; なかえ ゆたか |
| Dec-2007 | Establish a creative environment for roadmapping in academy - From the perspective of i-system methodology | Ma, Tieju; Wierzbicki, Andrzej P.; Nakamori, Yoshiteru |
| 22-Oct-1992 | Establishing Priorities for S and T Policies in Region Development : The Case of Japan. | Christoloukas, G.D. |
| 2006 | Estimate of auditory filter shape using notched-noise masking for various signal frequencies | Unoki, Masashi; Ito, Kazuhito; Ishimoto, Yuichi; Tan, Chin-Tuan |
| 1-Oct-2018 | Estimating Achievable Range of Ground Robots Operating on Single Battery Discharge for Operational Efficacy Amelioration | Tiwari, Kshitij; Xiao, Xuesu; Chong, Nak Young |
| Mar-2020 | Estimating Exchange-level Annotations with Multitask Weakly Supervised Learning for Multimodal Dialogue System | 平野, 裕貴; ひらの, ゆうき |
| Mar-2020 | Estimating Gaze Depth by Convolutional Neural Network | Zhang, Yi; ちょう, き |
| 2013 | Estimating Similarity Judgment Processes Based on Neural Activities Measured by Near-Infrared Spectroscopy (NIRS) | Suzuki, Yoshihiko; Hidaka, Shohei |
| Aug-2023 | Estimating the Center of Mass of an Object with Non-uniform Density via High-speed Pushing | Gao, Ziyan; Elibol, Armagan; Chong, Nak Young |
| Aug-2022 | Estimating the Center of Mass of an Unknown Object for Nonprehensile Manipulation | Gao, Ziyan; Elibol, Armagan; Nak-Young, Chong |
|
