| 発行日 | タイトル |
著者 |
|---|
| Mar-2015 | Production of Emotion-based Behaviors for a Human-like Computer Game Player [課題研究報告書] | Temsiririrkkul, Sila; テンシリリックン, シラ |
| 2016 | Production of Emotion-based Behaviors for a Human-like Computer Player | Temsiririrkkul, Sila; Luong, Huu Phuc; Ikeda, Kokolo |
| Aug-2013 | Production of Various Strategies and Position Control for Monte-Carlo Go - Entertaining human players | Ikeda, Kokolo; Viennot, Simon |
| Nov-2005 | Profit and Risk Sharing in Virtual Enterprises | Jian, CHEN; Jian-Feng, CHEN; Jifa, Gu; Gerhard, Chroust |
| 1-May-2010 | Program Transformation Templates for Tupling Based on Term Rewriting | Chiba, Yuki; Aoto, Takahito; Toyama, Yoshihito |
| 11-Dec-2014 | Progress in the materials science of silicene | Yamada-Takamura, Yukiko; Friedlein, Rainer |
| 4-Mar-2008 | Progress Report : CEq Emergence Assistant (the tool support for the CEq formal method) | Senachak, Jittisak |
| 4-Mar-2008 | Progress Report in 2007 : Research on Adaptive Failure Detector | Xiong, Naixue |
| 4-Mar-2008 | Progress Report in 2007 : Research on Fault Tolerance of Mobile Robots | YANG, Yan |
| 21-Oct-2016 | Progression of rapid potential-induced degradation of n-type single-crystalline silicon photovoltaic modules | Yamaguchi, Seira; Masuda, Atsushi; Ohdaira, Keisuke |
| Nov-2005 | “Project-based Collective On-the-Job Training” Methodology using Soft Systems Methodology | Chujo, Hisako; Kijima, Kyoichi; Jifa, Gu; Gerhard, Chroust |
| 2-Mar-2020 | Projection-Domino : プロジェクションマッピングを用いたドミノ制作支援 | 三島, 侑樹; 彭以, 琛; 五十嵐, 大和; 宮内, 涼将; 大川, 将広; 謝, 浩然; 宮田, 一乘 |
| Mar-2020 | Promoting student-centred learning in high school English reading class: based on the analysis of the effect of grade level on student perceptions | 安, 婧; あん, せい |
| 20-Feb-1998 | A proof of the conjecture of zantema on a persistent property of term rewriting systems | Aoto, Takahito |
| 2010 | Proof Score Approach to Analysis of Electronic Commerce Protocols | Ogata, Kazuhiro; Futatsugi, Kokichi |
| 1-Dec-2008 | Proof Score Approach to Verification of Liveness Properties | OGATA, Kazuhiro; FUTATSUGI, Kokichi |
| 4-Aug-1999 | Proof-theoretic analysis of termination proofs by recursive path ordering | Ishii, Katsumasa |
| 21-Jul-2018 | The proof-theoretic strength of Ramsey's theorem for pairs and two colors | Patey, Ludovic; Yokoyama, Keita |
| 12-Nov-2013 | Propagation of partial randomness | Higuchi, Kojiro; Hudelson, W. M. Phillip; Simpson, Stephen G.; Yokoyama, Keita |
| 1-Feb-2016 | Properties of bio-oil generated by a pyrolysis of forest cedar residuals with the movable Auger-type reactor | Nishimura, Shun; Miyazato, Akio; Ebitani, Kohki |
| 2013 | A proportional 3-tuple fuzzy linguistic screening evaluation model in new product development | Guo, Wen-Tao; Huynh, Van-Nam; Nakamori, Yoshiteru |
