| 発行日 | タイトル |
著者 |
|---|
| 24-Nov-2006 | On domains and domain engineering : prerequisites for trustworthy software, a necessity for believable project management | Bjorner, Dines |
| 2004 | On Geometric Structure of Global Roundings for Graphs and Range Spaces | Asano, Tetsuo; Katoh, Naoki; Tamaki, Hisao; Tokuyama, Takeshi |
| 6-Dec-2010 | On Greedy Methods for EXIT Chart Based Transmission Power Allocation | Karjalainen, Juha; Codreanu, Marian; Tolli, Antti; Juntti, Markku; Matsumoto, Tad |
| Nov-2005 | ON GRID TECHNOLOGY IN SCIENCE, MEDIA AND INDUSTRY | Manfred, Grauer; Jifa, Gu; Gerhard, Chroust |
| 15-Feb-1993 | On monotone undirected contact networks computing T^n_<n-1> | Halldorsson, Magnus; Radhakrishnan, Jaikumar; Subrahmanyam, K.V. |
| 30-Jun-2016 | On principles between ∑1- and ∑2-induction, and monotone enumerations | Kreuzer, Alexander P.; Yokoyama, Keita |
| 2010 | On prioritized weighted aggregation in multi-criteria decision making | Yan, Hong-Bin; Huynh, Van-Nam; Nakamori, Yoshiteru; Murai, Tetsuya |
| 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 |
| 12-Sep-2016 | On qualitative multi-attribute group decision making and its consensus measure: A probability based perspective | Yan, Hong-Bin; Ma, Tieju; Huynh, Van-Nam |
| Nov-2005 | ON SCALABILITY IN SIMULATION AND OPTIMIZATION OF COMPLEX SYSTEMS | Manfred, Grauer; Frank, Thilo; Jifa, Gu; Gerhard, Chroust |
| Apr-1994 | On Secure and Fast Elliptic Curve Cryptosystems over F_p | MIYAJI, Atsuko |
| 26-Feb-2018 | On Shoulders of Infants: 「子供の発想」を利用するアイデア生成技法の提案 | 趙, 暁婷; 高島, 健太郎; 西本, 一志; Zhao, Xiaoting; Takashima, Kentaro; Nishimoto, Kazushi |
| 2-Jun-1997 | On solving the max-min 0-1 knapsack problem | Iida, Hiroshi |
| Mar-1997 | On some characterizations of implicational formulas in the intuitionistic logic | 青戸, 等人 |
| 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; 真栄城, 哲也; 木村, 正行; マエシロ, テツヤ; キムラ, マサユキ |
| Sep-2010 | On Testbed Environment for Evaluating Security in Mobile Ad hoc Network | NGUYEN, TRAN TRUNG |
| 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 |
