発行日 | タイトル |
著者 |
2008 | Springer Handbook of Robotics: Networked Telerobots | Song, Dezhen; Goldberg, Kenneth; Chong, Nak Young |
2-Apr-2014 | Stability analysis of underactuated compass gait based on linearization of motion | Asano, Fumihiko |
16-Apr-2018 | Stabilization Mechanism of the Tetragonal Structure in a Hydrothermally Synthesized BaTiO_3 Nanocrystal | Hongo, Kenta; Kurata, Sinji; Jomphoak, Apichai; Inada, Miki; Hayashi, Katsuro; Maezono, Ryo |
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 |