| 発行日 | タイトル |
著者 |
|---|
| Oct-2017 | Recent studies on the proof-theoretic strength of Ramsey's theorem for pairs | Yokoyama, Keita |
| 1-Mar-2013 | Reconstruction Algorithms for Permutation Graphs and Distance-Hereditary Graphs | Kiyomi, Masashi; Saitoh, Toshiki; Uehara, Ryuhei |
| Mar-2001 | Reconstruction of Chaotic Dynamics via a Network of Stochastic Resonance Neurons and Its Application to Speech | Tokuda, Isao; Yanai, Tomokazu; Aihara, Kazuyuki |
| 21-Jul-2017 | Recursive Matrix Oblivious RAM: An ORAM construction for constrained storage devices | Gordon, Steven; Huang, Xinyi; Miyaji, Atsuko; Su, Chunhua; Sumongkayothin, Karin; Wipusitwarakun, Komwut |
| 19-Jul-2011 | Redesigning Group Key Exchange Protocol based on Bilinear Pairing Suitable for Various Environments | Desmedt, Yvo; Miyaji, Atsuko |
| 1-Feb-2010 | Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications | Nakamura, Masaki; Ogata, Kazuhiro; Futatsugi, Kokichi |
| 1-Jan-2017 | Refined Construction of RC4 Key Setting in WPA | Ito, Ryoma; Miyaji, Atsuko |
| 1-Jun-2016 | Refined RC4 key correlations of internal states in WPA | Ito, Ryoma; Miyaji, Atsuko |
| 6-Nov-2012 | Relating Bishop's function spaces to neighbourhood spaces | Ishihara, Hajime |
| 15-May-2014 | Reliability prediction for component-based software systems: Dealing with concurrent and propagating errors | Pham, Thanh-Trung; Defago, Xavier; Huynh, Quyet-Thang |
| 1-Dec-2001 | Reliable Data Routing for Spatial-Temporal TMR Multiprocessor Systems | KANEKO, Mineo |
| 1-Jul-2001 | Results of Link-Level Simulations Using Field Measurement Data for an FTDL-Spatial/ MLSE-Temporal Equalizer | YAMADA, Takefumi; TOMISATO, Shigeru; MATSUMOTO, Tadashi; TRAUTWEIN, Uwe |
| 15-Jun-2016 | Reverse mathematical bounds for the Termination Theorem | Steila, Silvia; Yokoyama, Keita |
| 27-Oct-2012 | Reverse mathematics and Peano categoricity | Simpson, Stephen G.; Yokoyama, Keita |
| 17-Oct-2015 | Revising a Labelled Sequent Calculus for Public Announcement Logic | Nomura, Shoshin; Sano, Katsuhiko; Tojo, Satoshi |
| 15-Sep-2008 | Revisited (Hyper)-Elliptic Curve Scalar Multiplication with a Fixed Point | Miyaji, Atsuko; Mizosoe, Kenji |
| 15-Jul-2012 | A Revocable Group Signature Scheme with the Property of Hiding the Number of Revoked Users | Emura, Keita; Miyaji, Atsuko; Omote, Kazumasa |
| Apr-2004 | Rewriting-Based Verification of Authentication Protocols | Ogata, Kazuhiro; Futatsugi, Kokichi |
| 2007 | RFID-based mobile robot guidance to a stationary target | Kim, Myungsik; Chong, Nak Young |
| Jan-2009 | Robust DOA estimation and target docking for mobile robots | Kim, Myungsik; Nak Young, Chong; Yu, Wonpil |
| Dec-2007 | A Robust Fingerprint Indexing Scheme Using Minutia Neighborhood Structure and Low-Order Delaunay Triangles | Liang, Xuefeng; Bishnu, A; Asano, T |
