| 発行日 | タイトル |
著者 |
|---|
| 31-Dec-2011 | A predicative completion of a uniform space | Berger, Josef; Ishihara, Hajime; Palmgren, Erik; Schuster, Peter |
| 21-Aug-2008 | Predicting phase synchronization of non-phase-coherent chaos | Tokuda, Isao T.; Kurths, Jurgen; Kiss, Istvan Z.; Hudson, John L. |
| 2006 | Predictive Labeling | Hirokawa, Nao; Middeldorp, Aart |
| 2010 | Privacy-Preserving Data Mining in Presence of Covert Adversaries | Miyaji, Atsuko; Rahman, Mohammad Shahriar |
| 29-Jun-2011 | Privacy-Preserving Data Mining: A Game-theoretic Approach | Miyaji, Atsuko; Rahman, Mohammad Shahriar |
| 2015 | A privacy-preserving efficient RFID authentication protocol from SLPN assumption | Islam Mamun, Mohammad Saiful; Miyaji, Atsuko |
| 17-Sep-2014 | A Probabilistic Approach to Control of Complex Systems and Its Application to Real-Time Pricing | Kobayashi, Koichi; Hiraishi, Kunihiko |
| 2012 | Probabilistic-constrained optimal control of a class of stochastic hybrid systems | Kobayashi, Koichi; Matou, Koichiro; Hiraishi, Kunihiko |
| 2015 | Process Acceleration in the Iterated Learning Model with String Clipping | Matoba, Ryuichi; Sudo, Hiroki; Nakamura, Makoto; Hagiwara, Shingo; Tojo, Satoshi |
| 1-May-2010 | Program Transformation Templates for Tupling Based on Term Rewriting | Chiba, Yuki; Aoto, Takahito; Toyama, Yoshihito |
| 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 |
| 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 |
| 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 |
| 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 |
| Aug-2004 | Pushback機構の一提案とそのモデル化に向けて | 寺田, 剛陽; 双紙, 正和; 宮地, 充子; Terada, Takeaki; Soshi, Masakazu; Miyaji, Atsuko |
| 12-Nov-2016 | Quality Improvement of Vietnamese HMM-Based Speech Synthesis System Based on Decomposition of Naturalness and Intelligibility using Non-negative Matrix Factorization | Dinh, Anh-Tuan; Phan, Thanh-Son; Akagi, Masato |
| 25-Jun-2012 | Quantum Monte Carlo study of high-pressure cubic TiO_2 | Abbasnejad, M.; Shojaee, E.; Mohammadizadeh, M. R.; Alaei, M.; Maezono, Ryo |
