| 発行日 | タイトル |
著者 |
|---|
| 17-Jun-2011 | Stabilization of Finite Automata with Application to Hybrid Systems Control | Kobayashi, Koichi; Imura, Jun-ichi; Hiraishi, Kunihiko |
| 20-Oct-2009 | Stacking-based context-sensitive points-to analysis for java | Li, Xin; Ogawa, Mizuhito |
| 14-May-2009 | Stacking-based Context-Sensitive Points-to Analysis for Java | Li, Xin; Ogawa, Mizuhito |
| 13-Jun-2017 | STAR-CODE: STAR-struCtured relaying for glObal wireless Data Exchange | Khoirul, Anwar |
| 1-Dec-2010 | StarBEDを利用したネットワーク体験演習環境の構築 | 宮地, 利幸; 三輪, 信介; 長谷川, 忍; 丹, 康雄; 篠田, 陽一 |
| 2007 | State Evaluation Strategy for Exemplar-Based Policy Optimization of Dynamic Decision Problems | Ikeda, Kokolo; Kita, Hajime |
| 1-Mar-2007 | Statistical Analysis Driven Synthesis of Application Specific Asynchronous Systems | OHASHI, Koji; KANEKO, Mineo |
| May-2003 | Statistical Analysis of chi-square Attacks | ISOGAI, Norihisa; MIYAJI, Atsuko; NONAKA, Masao |
| 13-Nov-1996 | Still more on complexity of negation-limited circuits | Sung, Shao-Chin; Tanaka, Keisuke; 宋, 少秋; 田中, 圭介; タナカ, ケイスケ |
| 20-Jun-1989 | Stop and Wait ARQを用いた移動通信制御手順の特性 | 広池, 彰; 松本, 正; HIROIKE, Akira; MATSUMOTO, Tadashi |
| 22-Feb-2018 | The strength of SCT soundness | Frittaion, Emanuele; Pelupessy, Florian; Steila, Silvia; Yokoyama, Keita |
| Aug-2019 | String commitment scheme with low output locality | Miyaji, Hideaki; Kawachi, Akinori; Miyaji, Atsuko |
| 6-Jun-2000 | Strong normalization theorem for first order classical natural deduction | Ishii, Katsumasa |
| 14-Apr-1997 | Strong pareto optimality of compromise decisions in multi-criteria analysis | Ramik, Jaroslav; Vlach, Milan |
| 27-Aug-1998 | Strongly normalization from weakly normalization on some restricted λ-calculus | Motohama, Yoko |
| 7-Jul-2006 | Structural preservation and reflection of diagrams | Norrish, Michael; Vestergaard, Rene |
| 22-Jun-2012 | Structural Similarity Based on Time-span Tree | Tojo, Satoshi; Hirata, Keiji |
| 6-Oct-2004 | The structure and number of global roundings of a graph | Asano, Tetsuo; Katoh, Naoki; Tamaki, Hisao; Tokuyama, Takeshi |
| 28-Aug-2018 | Study of adaptive model predictive control for cyber-physical home systems | OOI, Sian En; FANG, Yuan; LIM, Yuto; TAN, Yasuo |
| 24-Feb-2015 | Study of balanced cooperative coding scheme for linear data exchange problem | Lin, Nyan; Ngeth, Rithea; Tan, Yasuo; Lim, Yuto |
| Jul-2010 | A study of brain activities elicited by synthesized emotional voices controlled with prosodic features | Hamada, Yasuhiro; Kitamura, Tatsuya; Akag, Masato |
