| 発行日 | タイトル |
著者 |
|---|
| 26-Oct-1998 | On proving Ac-termination by AC-dependency pairs | Kusakari, Keiichirou; Toyama, Yoshihito |
| 23-Mar-1999 | On proving AC-termination by argument filtering method | Kusakari, Keiichirou; Toyama, Yoshihito |
| Apr-1994 | On Secure and Fast Elliptic Curve Cryptosystems over F_p | MIYAJI, Atsuko |
| 2-Jun-1997 | On solving the max-min 0-1 knapsack problem | Iida, Hiroshi |
| 2-Jul-1996 | On some evolutionary implications of the genetic code | Maeshiro, Tetsuya; Kimura, Masayuki; 真栄城, 哲也; 木村, 正行; マエシロ, テツヤ; キムラ, マサユキ |
| 18-Oct-1996 | On structural properties of genetic codes with high adaptability and robustness | Maeshiro, Tetsuya; Kimura, Masayuki; 真栄城, 哲也; 木村, 正行; マエシロ, テツヤ; キムラ, マサユキ |
| 16-Nov-1993 | On the complexity of negation-limited Boolean networks | Tanaka, Keisuke; Nishino, Tetsuro; 田中, 圭介; 西野, 哲朗; タナカ, ケイスケ; ニシノ, テツロウ |
| 14-Dec-2010 | On the complexity of reconfiguration problems | Ito, Takehiro; Demaine, Erik D.; Harvey, Nicholas J.A.; Papadimitriou, Christos H.; Sideri, Martha; Uehara, Ryuhei; Uno, Yushi |
| 18-Sep-2010 | On the contrapositive of countable choice | Ishihara, Hajime; Schuster, Peter |
| May-2008 | On the Convergence Property of an MMSE Based Multiuser MIMO Turbo Detector with Uplink Precoding | Karjalainen, J.; Matsumoto, T. |
| Mar-2009 | On the derivation of a minimum test set in high quality transition testing | Iwagaki, Tsuyoshi; Kaneko, Mineo |
| 18-Nov-2020 | On The Differences Between Song and Speech Emotion Recognition: Effect of Feature Sets, Feature Types, and Classifiers | Atmaja, Bagus Tris; Akagi, Masato |
| Nov-2012 | On the Duality of Source and Channel Correlations: Slepian-Wolf Relaying Viewpoint | Meng Cheng; Anwar, Khoirul; Matsumoto, Tad |
| 27-Jul-2017 | On the Enumeration of Chequered Tilings in Polygons | Hamanaka, Hiroaki; Horiyama, Takashi; Uehara, Ryuhei |
| 30-Jan-1998 | On the finite model property of intuitionistic modal logics over MIPC | Aoto, Takahito |
| 22-Apr-2024 | On the Generality and Application of Mason’s Voting Theorem to Center of Mass Estimation for Pure Translational Motion | Gao, Ziyan; Elibol, Armagan; Chong, Nak Young |
| 2007 | On the MMSE Criterion for Space-Time Coded Signaling in the Presence of Unknown Interference | Matsumoto, Tad; Hong, Aihua |
| 23-Feb-2010 | On the outage probability of MMSE turbo equalization in frequency-selective Rayleigh fading channels | Grossmann, Marcus; Matsumoto, Tad |
| 11-Apr-2014 | On the Parameterized Complexity for Token Jumping on Graphs | Ito, Takehiro; Kaminski, Marcin; Ono, Hirotaka; Suzuki, Akira; Uehara, Ryuuhei; Yamanaka, Katsuhisa |
| 9-Jul-2001 | On the Proof of the Interpolation Theorem without using Constants | Seki, Takahiro |
| Jun-2014 | On the Ramseyan factorization theorem | Murakami, Shota; Yamazaki, Takeshi; Yokoyama, Keita |
