発行日 | タイトル |
著者 |
4-Mar-2025 | FlexScatter: Predictive Scheduling and Adaptive Rateless Coding for Wi-Fi Backscatter Communications in Dynamic Traffic Conditions | He, Xin; Xie, Jingwen; Zhang, Aohua; Jiang, Weiwei; Zhu, Yujun; Matsumoto, Tad |
26-Feb-2015 | Folding a Paper Strip to Minimize Thickness | Demaine, Erik D.; Eppstein, David; Hesterberg, Adam; Ito, Hiro; Lubiw, Anna; Uehara, Ryuhei; Uno, Yushi |
28-Oct-2015 | Folding a Paper Strip to Minimize Thickness | Demaine, Erik D.; Eppstein, David; Hesterberg, Adam; Ito, Hiro; Lubiw, Anna; Uehara, Ryuhei; Uno, Yushi |
Sep-2004 | Formal Analysis of an Anonymous Fair Exchange E-Commerce Protocol | Kong, Weiqiang; Ogata, Kazuhiro; Xiang Jianwen; Futatsugi, Kokichi |
20-Aug-2002 | Formal analysis of the iKP electronic payment protocols | Ogata, Kazuhiro; Futatsugi, Kokichi |
11-Sep-2012 | A Formal Framework for Access Rights Analysis | Li, Xin; Hua, Vy Le Thanh |
17-Feb-2015 | Formal Semantics of Core SQL Language based on the K Framework | Sitthisak, Pakakorn |
15-Mar-2013 | Formalization and Verification of Behavioral Correctness of Dynamic Software Updates | Zhang, Min; Ogata, Kazuhiro; Futatsugi, Kokichi |
17-Jan-2011 | Formulating Team-Sport Video Summarization as a Resource Allocation Problem | Chen, Fan; De Vleeschouwer, Christophe |
10-Oct-1991 | Forward link capacity limit of coded FFH/CDMA multiuser mobile radios | Kawahara, T.; Matsumoto, T. |
1-Jul-2001 | FPGAを用いて実現したトレリス符号化同一チャネル干渉波キャンセラのリアルタイム室内伝送実験 | 村田, 英一; 塚本, 悟司; 冨里, 繁; 松本, 正; 吉田, 進; MURATA, Hidekazu; TSUKAMOTO, Satoshi; TOMISATO, Shigeru; MATSUMOTO, Tadashi; YOSHIDA, Susumu |
25-May-2007 | Fragmentation method combined with quantum Monte Carlo calculations | Maezono, Ryo; Watanabe, Hirofumi; Tanaka, Shigenori; Towler, M. D.; Needs, R. J. |
25-Jul-2016 | A framework for scheduling real-time systems | Cheng, Zhuo; Zhang, Haitao; Tan, Yasuo; Lim, Yuto |
24-Mar-1997 | A framework of a support environment for cooperative works over distributed computing system based on a decision management | Ochimizu, Koichiro; Kadowaki, Chie |
Nov-2005 | Frequency Domain Joint-over-Antenna MIMO Turbo Equalization | Karjalainen, Juha; Kansanen, Kimmo; Veselinovic, Nenad; Matsumoto, Tad |
Sep-2005 | Frequency-domain MMSE turbo equalization of multilevel coded QAM-convergence in real fields | Kansanen, K.; Matsumoto, T.; Schneider, C.; Thoma, R. |
15-Jan-2015 | Fully analytical solution to discrete behavior of hybrid zero dynamics in limit cycle walking with constraint on impact posture | Asano, Fumihiko |
2004 | A Fully-Functional group signature scheme over only known-order group | Miyaji, Atsuko; Umeda, Kozue |
Jul-2013 | A fully-secure RFID authentication protocol from exact LPN assumption | Mamun, Mohammad Saiful Islam; Miyaji, Atsuko |
28-Mar-2005 | Fundamental frequency estimation for noisy speech based on instantaneous amplitude and frequency | Ishimoto, Yuichi; Unoki, Masashi; Akagi, Masato |
1-Jan-2004 | Fundamental Frequency Estimation for Noisy Speech Using Entropy-Weighted Periodic and Harmonic Features | ISHIMOTO, Yuichi; ISHIZUKA, Kentaro; AIKAWA, Kiyoaki; AKAGI, Masato |