|
|
JAIST Repository >
一覧: タイトル
検索結果: 1006-1026 / 18128.
| 発行日 | タイトル |
著者 |
|---|
| 10-Oct-2015 | CoPSプロジェクトにおける信頼と技術者コミュニティの形成 | 今井, 寿子 |
| 10-Oct-2015 | CoPSプロジェクトにおける技術者コミュニティと新たな技術分野の確立 | 今井, 寿子 |
| Mar-2021 | CoqによるBBSLの形式化と検証 | 宇田, 拓馬; うだ, たくま |
| 22-Sep-2004 | Core excitations of naphthalene: Vibrational structure versus chemical shifts | Minkov, I.; Gel'mukhanov, F.; Friedlein, R.; Osikowicz, W.; Suess, C.; Ohrwall, G.; Sorensen, S. L.; Braun, S.; Murdey, R.; Salaneck, W. R. and Agren, H. |
| 12-May-2014 | Core level excitations - a fingerprint of structural and electronic properties of epitaxial silicene | Friedlein, R.; Fleurence, A.; Aoyagi, K.; Jong, M. P. de; Bui, H. Van; Wiggers, F. B.; Yoshimoto, S.; Koitaya, T.; Shimizu, S.; H. Noritake; Mukai, K.; Yoshinobu, J.; Yamada-Takamura, Y. |
| 2-Nov-2013 | Core Technological Competence and Knowledge Accumulation in Japanese Food Firms : Empirical Study on トクホ | Lalinorasate, Paveena; Miyazaki, Kumiko |
| Sep-2009 | Core-Shell Alginate Microgles with an Electro-Responsive Movement | Quyen, Nguyen |
| 29-Oct-2022 | Corporate Effectuation | Hibara, Nobuhiko; Kurokawa, Akio |
| 2-Nov-2013 | Corporate Foresight in Japan | Yoda, Tatsuro |
| 3-Mar-2008 | Correctness Properties for Workflows with Multiple Starts and/or Ends | Takaki, O.; Takeuti, I.; Seino, T.; Izumi, N.; Takahshi, K. |
| 21-Jan-2014 | Correlated Sources Transmission in Orthogonal Multiple Access Relay Channel: Theoretical Analysis and Performance Evaluation | Zhou, Xiaobo; Lu, Pen-Shun; Anwar, Khoirul; Matsumoto, Tad |
| 14-Jan-2009 | Correlation between structural and low-temperature thermoelectric properties of Zn_<13+x>Sb_<10> compounds | Nakamoto, Go; Kinoshita, Keisuke; Kurisu, Makio |
| Mar-2007 | CosminexusワークフローシステムのColoured Petri Netsによるモデル化と検証 | 押手, 俊; おして, たかし |
| 16-May-2010 | The cost of probabilistic agreement in oblivious robot networks | Clement, Julien; Defago, Xavier; Potop-Butucaru, Maria Gradinariu; Izumi, Taisuke; Messika, Stephane |
| 7-Mar-2007 | Counterexample Discovery with a Combination of Induction and Bounded Model Checking | Ogata, Kazuhiro; Nakano, Masahiro; Kong, Weiqiang; Futatsugi, Kokichi |
| Sep-2016 | Counterexample-guided abstraction refinement for points-to analysis of object-oriented programs | Vu, Quang Vinh; ゔ, くあん ゔぃん |
| 17-Nov-2021 | Counterproductive knowledge behavior in volunteer work: perspectives from the theory of planned behavior and well-being theory | Shirahada, Kunio; Zhang, Yixin |
| Jun-2008 | Counting the number of independent sets in chordal graphs | Okamoto, Yoshio; Uno, Takeaki; Uehara, Ryuhei |
| Dec-2015 | Coupling between pore formation and phase separation in charged lipid membranes | Himeno, Hiroki; Ito, Hiroaki; Higuchi, Yuji; Hamada, Tsutomu; Shimokawa, Naofumi; Takagi, Masahiro |
| Dec-2018 | Covalent Organic Frameworks Design, Synthesis and Application in Electrochemical Catalysis | Jiang, Weiming; ちゃん, うぇいみん |
| Feb-2013 | Coverage with k-Transmitters in the Presence of Obstacles | Ballinger, Brad; Benbernou, Nadia; Bose, Prosenjit; Damian, Mirela; Demaine, Erik D.; Dujmović, Vida; Flatland, Robin; Hurtado, Ferran; Iacono, John; Lubiw, Anna; Morin, Pat; Sacristán, Vera; Souvaine, Diane; Uehara, Ryuuhei |
|
