|
JAIST Repository >
検索結果
検索結果表示: 1521-1530 / 1951.
該当アイテム:
| 発行日 | タイトル |
著者 |
|---|
| 9-Aug-2010 | Improving accuracy of host load predictions on computational grids by artificial neural networks | Duy, Truong Vinh Truong; Sato, Yukinori; Inoguchi, Yasushi |
| 19-May-2014 | Analyzing the Impact of Mitigation Strategies on the Spread of a Virus | Nguyen, Thanh Dang; Bonnet, Francois; Defago, Xavier |
| 13-Jul-2010 | Decreasing Diagrams and Relative Termination | Hirokawa, Nao; Middeldorp, Aart |
| 2010 | A New Class of RC4 Colliding Key Pairs With Greater Hamming Distance | Chen, Jiageng; Miyaji, Atsuko |
| 1999 | Automatic Verification Based on Abstract Interpretation | Ogawa, Mizuhito |
| 27-Oct-1990 | An Overview of Bibliometrics | Hicks, Diana |
| 2008 | Algebraic characterizations of variable separation properties | KIHARA, Hitoshi; ONO, Hiroakira |
| 2009 | Discounting and combination scheme in evidence theory for dealing with conflict in information fusion | Huynh, Van-Nam |
| 1-May-2008 | Drouting Architecture: Improvement of Failure Avoidance Capability Using Multipath Routing | OHARA, Yasuhiro; KUSUMOTO, Hiroyuki; NAKAMURA, Osamu; MURAI, Jun |
| 2008 | Complexity, Graphs, and the Dependency Pair Method | Hirokawa, Nao; Moser, Georg |
前へ
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
次へ
|
