| 発行日 | タイトル |
著者 |
|---|
| Jul-2016 | Final Report of The Coding/Decoding Algorithms and Performance Comparison | He, Jiguang; He, Xin; Hou, Jiancao; Jiang, Weiwei; K¨uhlmorgen, Sebastian; Matsumoto, Tad; Paatelma, Anton; Qian, Shen; Tervo, Valtteri; Wolf, Albrecht; Yi, Na; Editor: Valtteri Tervo |
| 29-Jul-2016 | Finding Comfortable Settings of Video Games - Using Game Refinement Measure in Pokemon Battle AI | Panumate, Chetprayoon; Iida, Hiroyuki |
| 22-May-2019 | First-Principles Study of Structural Transitions in LiNiO_2 and High-Throughput Screening for Long Life Battery | Yoshida, Tomohiro; Hongo, Kenta; Maezono, Ryo |
| Dec-2014 | Fitting method for hybrid temperature control in smart home environment | CHENG, Zhuo; TAN, Yasuo; LIM, Azman Osman |
| Aug-2006 | Fixed-Hamming-Weight Representation for Indistinguishable Addition Formulae | Mamiya, Hideyo; Miyaji, Atsuko |
| 24-Nov-1999 | Fixpoint formulation of the completion problem of orthomodular lattices | Miyazaki, Yutaka |
| 24-Sep-2014 | Flat Foldings of Plane Graphs with Prescribed Angles and Edge | Abel, Zachary; Demaine, Erik D.; Demaine, Martin; Eppstein, David; Lubiw, Anna; Ryuhei Uehara |
| 2018 | Flat foldings of plane graphs with prescribed angles and edge lengths | Abel, Zachary; Demaine, Erik D.; Demaine, Martin L.; Eppstein, David; Lubiw, Anna; Uehara, Ryuhei |
| Apr-2003 | Flaw and modification of the ikp electronic payment protocols | Ogata, Kazuhiro; Futatsugi, Kokichi |
| 25-Feb-2004 | Flexible failure detection with k-FD | Hayashibara, Naohiro; Defago, Xavier; Katayama, Takuya |
| 2009 | A flexible spectral modification method based on temporal decomposition and Gaussian mixture model | Nguyen, Binh Phu; Akagi, Masato |
| 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. |
