| 発行日 | タイトル |
著者 |
|---|
| 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 |
| 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 |
| 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 |
| Mar-2013 | Computational Complexity of Piano-Hinged Dissections | Abel, Zachary; Demaine, Erik D.; Demaine, Martin L.; Horiyama, Takashi; Uehara, Ryuhei |
| Jun-2014 | Computational Complexity of Piano-Hinged Dissections | Abel, Zachary; Demaine, Erik D.; Demaine, Martin L.; Horimaya, Takashi; Uehara, Ryuhei |
| Jun-2015 | Computational Complexity of Puzzles and Games (Invited Talk) | Uehara, Ryuhei |
| 19-Apr-2017 | Computational Design of Ni-Zn Based Catalyst for Direct Hydrazine Fuel Cell Catalyst Using Density Functional Theory | Hanindriyo, Adie Tri; Prawira, TB. M. Yusuf Yuda; Agusta, Mohammad Kemal; Maezono, Ryo; Dipojono, Hermawan K. |
| Jul-2000 | A computational model of auditory sound localization based on ITD | Ito, Kazuhito; Akagi, Masato |
| 6-Feb-1998 | A computational model of co-modulation masking release | Unoki, Masashi; Akagi, Masato |
| 2005 | A computational model of cochlear nucleus neurons | Maki, Katuhiro; Akagi, Masato |
| 2001 | Computational Models of Auditory Function : A computational model of auditory sound localization | Ito, Kazuhito; Akagi, Masato |
| 2001 | Computational Models of Auditory Function : A computational model of co-modulation masking release | Unoki, Masashi; Akagi, Masato |
| Jan-2013 | Computational Reconstruction of Cognitive Music Theory | Tojo, Satoshi; Hirata, Keiji; Hamanaka, Masatoshi |
| Apr-2003 | A computationally efficient MIMO turbo-equaliser | Kansanen, Kimmo; Matsumoto, Tad |
