|
|
JAIST Repository >
検索結果
検索結果表示: 1541-1550 / 1951.
該当アイテム:
| 発行日 | タイトル |
著者 |
|---|
| 1-Feb-2013 | Optimal Control of Boolean Biological Networks Modeled by Petri Nets | Kobayashi, Koichi; Hiraishi, Kunihiko |
| 29-Jun-2011 | Privacy-Preserving Data Mining: A Game-theoretic Approach | Miyaji, Atsuko; Rahman, Mohammad Shahriar |
| 6-Mar-2012 | Confluence of Non-Left-Linear TRSs via Relative Termination | Klein, Dominik; Hirokawa, Nao |
| Sep-2004 | ミドルワエアシステムにおけるソフトワエア構成管理に関する研究 | Pimruang, Adirake; ぴむりゃんぐ, あでいらーく |
| 27-Oct-2012 | Reverse mathematics and Peano categoricity | Simpson, Stephen G.; Yokoyama, Keita |
| Jul-2013 | Private Multiparty Set Intersection Protocol in Rational Model | Emura, Keita; Miyaji, Atsuko; Rahman, Mohammad Shahriar |
| 3-Mar-2011 | Accurate finite element method for atomic calculations based on density functional theory and Hartree-Fock method | Ozaki, Taisuke; Toyoda, Masayuki |
| Apr-2013 | Distance and Similarity of Time-span Tree | Tojo, Satoshi; Hirata, Keiji |
| Nov-2008 | Nondestructive Readout of Ferroelectric-Gate Field-Effect Transistor Memory With an Intermediate Electrode by Using an Improved Operation Method | Horita, Susumu; Trinh, Bui Nguyen Quoc |
| Nov-2005 | Finding Efficiency and Inefficiency : Multi-Viewpoint Apporoach | AOKI, Shingo; MINAMI, Kyousei; TSUJI, Hiroshi; Jifa, Gu; Gerhard, Chroust |
前へ
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
次へ
|
