発行日 | タイトル |
著者 |
7-Nov-2003 | Product Technology Strategy of Flash Memory Card in Japan's Market | Wihandoko, Wisnu; 渡辺, 千仭 |
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 | 安, 婧; あん, せい |
Sep-2024 | Pronunciation Learning Based on Visual Articulator Movement | Mushaffa Rasyid, Ridha; むさふぁらしっど, りだ |
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 |