| 発行日 | タイトル |
著者 |
|---|
| 2-Aug-2017 | Power Flow Coloring System Over a Nanogrid With Fluctuating Power Sources and Loads | Javaid, Saher; Kato, Takekazu; Matsuyama, Takashi |
| 1-May-2010 | Practical and Secure Recovery of Disk Encryption Key Using Smart Cards | OMOTE, Kazumasa; KATO, Kazuhiko |
| 2001 | A Practical English Auction with One-time Registration | Omote, Kazumasa; Miyaji, Atsuko |
| May-2002 | A Practical English Auction with Simple Revocation | OMOTE, Kazumasa; MIYAJI, Atsuko |
| 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 |
