|
JAIST Repository >
一覧: タイトル
検索結果: 852-872 / 18065.
発行日 | タイトル |
著者 |
Mar-2017 | Competitive game environment and its application: Case study with focus on tournament entertainment | Pham, Nhien Hoang Bao; ふぁむ, にえん ほあん ばお |
30-Nov-2006 | A Complete Axiomatic Semantics for the CSP Stable-Failures Model | Isobe, Yoshinao |
2004 | Complete Axiomatization of an Algebraic Construction of Graphs | Ogawa, Mizuhito |
16-Nov-1998 | The completeness of linear logic for petri net models | Ishihara, Keiko; Hiraishi, Kunihiko |
14-Dec-1998 | The completeness of linear logic with modal operator for Petri net models | Ishihara, Keiko; Hiraishi, Kunihiko |
7-Mar-1997 | Completeness theorem of infinitary propositional modal logic | Tanaka, Yoshihito; 田中, 義人; タナカ, ヨシヒト |
Nov-2002 | A Complex Baseband Platform for Spatial-Temporal Mobile Radio Channel Simulations | Tsukamoto, Satoshi; Sasoh, Takuji; Sakaki, Takahiro; Okamura, Toshiyuki; Tomisato, Shigeru; Asai, Takahiro; Matsumoto, Tadashi |
Nov-2005 | The Complex Network Modeling Method and Its Application to the Knowledge System | Xi, Yunjiang; Dang, Yanzhong; Wu, Jiangning; Jifa, Gu; Gerhard, Chroust |
Nov-2005 | Complex problem solving : HeXie Management Theory from China | XI, You-min; ZENG, Xian-ju; Jifa, Gu; Gerhard, Chroust |
Jul-2006 | The complexity of a Pop-up book | Uehara, Ryuuhei; Teramoto Sachio |
31-Jan-2018 | Complexity of the Maximum k-Path Vertex Cover Problem | Miyano, Eiji; Saitoh, Toshiki; Uehara, Ryuhei; Yagita, Tsuyoshi; Zanden, Tom van der |
17-Mar-2017 | Complexity of Tiling a Polygon with Trominoes or Bars | Horiyama, Takashi; Ito, Takehiro; Nakatsuka, Keita; Suzuki, Akira; Uehara, Ryuhei |
2008 | Complexity, Graphs, and the Dependency Pair Method | Hirokawa, Nao; Moser, Georg |
6-May-1999 | Component-based algebraic specification and verification in cafeOBJ | Diaconescu, Razvan; Futatsugi, Kokichi; Iida, Shusaku |
2004 | Composition Analysis of Polar Lipids in Halobacteria with Mass Spectrometry | NOGUCHI, Yuuki; HAYASHI, Akio; TSUJIMOTO, Kazuo; MIYABAYASHI, Keiko; MIZUKAMI, Taku; NAITO, Yasuhide; OHASHI, Mamoru |
16-Apr-2018 | Comprehensive study of potential‐induced degradation in silicon heterojunction photovoltaic cell modules | Yamaguchi, Seira; Yamamoto, Chizuko; Ohdaira, Keisuke; Masuda, Atsushi |
14-Jun-2001 | Compressibility of the MgB_2 superconductor | Prassides, K.; Iwasa, Y.; Ito, T.; H. Chi, Dam; Uehara, K.; Nishibori, E.; Takata, M.; Sakata, M.; Ohishi, Y.; Shimomura,O.; Muranaka, T.; Akimitsu, J. |
Mar-2016 | A computational and experimental study to determine a temporal issue in voluntary movement | 李, 龍川; り, りゅうせん |
Mar-2010 | A computational approach to characterizing nucleosome dynamics | Le, Ngoc Tu; レ, トゥ ゴ |
Aug-2013 | Computational complexity and an integer programming model of Shakashaka | Demaine, Erik D.; Okamoto, Yoshio; Uehara, Ryuhei; Uno, Yushi |
1-Jun-2014 | Computational complexity and an integer programming model of Shakashaka | Demaine, Erik D.; Okamoto, Yoshio; Uehara, Ryuhei; Uno, Yushi |
|