| 発行日 | タイトル |
著者 |
|---|
| Aug-2013 | Production of Various Strategies and Position Control for Monte-Carlo Go - Entertaining human players | Ikeda, Kokolo; Viennot, Simon |
| 1-May-2010 | Program Transformation Templates for Tupling Based on Term Rewriting | Chiba, Yuki; Aoto, Takahito; Toyama, Yoshihito |
| 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 |
| 4-Nov-1997 | Propositional calculus with identity | Ishii, Tadao |
| Jul-2013 | ProRATE: Obtaining the potential throughput from the system view in two-way relay networks | Zhu, Lingyun; Wang, Hai; Wang, Xin; Zhu, Yu; Lim, Azman Osman |
| Apr-2008 | Protection and Recovery of Disk Encryption Key Using Smart Cards | Omote, Kazumasa; Kato, Kazuhiko |
| 2014 | A Provable Secure Batch Authentication Scheme for EPCGen2 Tags | Chen, Jiageng; Miyaji, Atsuko; Su, Chunhua |
| Aug-2002 | Provably Secure Multi-signature Scheme with Signers' Intentions | Kawauchi, Kei; Minato, Hiroshi; Miyaji, Atsuko; Tada, Mitsuru |
| 24-Jul-2002 | Providing a framework for conflict resolution | Schroeter, Kirsten; Sung, Shao Chin |
| 2005 | Proving Properties of Incremental Merkle Trees | Ogawa, Mizuhito; Horita, Eiichi; Ono, Satoshi |
| Jan-2004 | Pseudo approximation algorithms with applications to optimal motion planning | Asano, Tetsuo; Kirkpatrick, David; Yap, Chee |
| 23-Sep-2008 | Psychoacoustically-motivated adaptive β-order generalized spectral subtraction based on data-driven optimization | Li, Junfeng; Jiang, Hui; Akagi, Masato |
| Apr-2009 | Psychoacoustically-motivated adaptive β-order generalized spectral subtraction for cochlear implant patients | Li, Junfeng; Fu, Qian-Jie; Jiang, Hui; Akagi, Masato |
| May-2018 | A PTDOA-DRSS Hybrid Factor Graph-based Unknown Radio Wave Geolocation | Karimah, Shofiyati Nur; Aziz, Muhammad Reza Kahar; Matsumoto, Tad |
| 19-Dec-2006 | Public government, a domain analysis | Bjorner, Dines |
| 9-Nov-2016 | Public-Key Cryptosystems Resilient to Continuous Tampering and Leakage of Arbitrary Functions | Fujisaki, Eiichiro; Xagawa, Keita |
