| 発行日 | タイトル |
著者 |
|---|
| 1-Feb-2020 | Anonymization Technique based on SGD Matrix Factrization | Mimoto, Tomoaki; Hidano, Seira; Kiyomoto, Shinsaku; Miyaji, Atsuko |
| 2000 | An anonymous auction protocol with a single non-trusted center using binary trees | Omote, Kazumasa; Miyaji, Atsuko |
| 2010 | An Anonymous Designated Verifier Signature Scheme with Revocation: How to Protect a Company's Reputation | Emura, Keita; Miyaji, Atsuko ; Omote, Kazumasa |
| Aug-2001 | An Anonymous Sealed-bid Auction with a Feature of Entertainment | Omote, Kazumasa; Miyaji, Atsuko |
| Nov-1997 | Another Countermeasure to Forgeries over Message Recovery Signature | MIYAJI, Atsuko |
| 19-Mar-2012 | Any Monotone Function is Realized by Interlocked Polygons | Demaine, Erik D.; Demaine, Martin L.; Uehara, Ryuhei |
| 1-Feb-2009 | Application of DES Theory to Verification of Software Components | HIRAISHI, Kunihiko; KUČERA, Petr |
| 1-Aug-2009 | Approximate Algorithm for Hybrid Model Predictive Control with Time-Varying Reference | Kobayashi, Koichi; Hiraishi, Kunihiko; Tang, Nguyen Van |
| 2013 | Architecture for organizing context-aware data in smart home for activity recognition system | Wongpatikaseree, Konlakorn; Kim, Junsoo; Makino, Yoshiki; Lim, Azman Osman; Tan, Yasuo |
| 1-May-2004 | Arranging Fewest Possible Probes to Detect a Hidden Object with Industrial Application | SHIMAMOTO, Taisuke; ASANO, Tetsuo |
| Jun-2013 | Aspects of Opening Play | Muangkasem, Apimuk; Iida, Hiroyuki; Spoerer, Kristian |
| 1-Apr-2002 | Assignment-Driven Loop Pipeline Scheduling and Its Application to Data-Path Synthesis | YOROZUYA, Toshiyuki; OHASHI, Koji; KANEKO, Mineo |
| 6-Mar-2009 | Asymptotically stable biped gait generation based on stability principle of rimless wheel | Asano, Fumihiko; Luo, Zhi-Wei |
| 2000 | The auditory-oriented spectral distortion for evaluating speech signals distorted by additive noises | Mizumachi, Mitsunori; Akagi, Masato |
| 2008 | Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol | Li, Guoqiang; Ogawa, Mizuhito |
| Jul-2014 | Automated Complexity Analysis Based on Context-Sensitive Rewriting | Hirokawa, Nao; Moser, Georg |
| 2008 | Automated Complexity Analysis Based on the Dependency Pair Method | Hirokawa, Nao; Moser, Georg |
| 15-Jan-2008 | Automatic Construction of Program Transformation Templates | Chiba, Yuki; Aoto, Takahito; Toyama, Yoshihito |
| 1-Oct-2007 | Automatic Extraction of the Fine Category of Person Named Entities from Text Corpora | NGUYEN, Tri-Thanh; SHIMAZU, Akira |
| 1999 | Automatic Verification Based on Abstract Interpretation | Ogawa, Mizuhito |
| Jun-2005 | Automating the dependency pair method | Hirokawa, Nao; Middeldorp, Aart |
