Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
Quantifier elimination in the theory of an algebraically-closed fieldIerardi, D. Johnson, D. S.Annual ACM Symposium on Theory of Computing: Proceedings of the twenty-first annual ACM symposium on Theory of computing; 14-17 May 1989, 1989, p.138-147New York, NY, USA: ACMTexto completo disponível |
|
2 |
Material Type: Ata de Congresso
|
Millisecond-scale molecular dynamics simulations on AntonShaw, David E. ; Dror, Ron O. ; Salmon, John K. ; Grossman, J. P. ; Mackenzie, Kenneth M. ; Bank, Joseph A. ; Young, Cliff ; Deneroff, Martin M. ; Batson, Brannon ; Bowers, Kevin J. ; Chow, Edmond ; Eastwood, Michael P. ; Ierardi, Douglas J. ; Klepeis, John L. ; Kuskin, Jeffrey S. ; Larson, Richard H. ; Lindorff-Larsen, Kresten ; Maragakis, Paul ; Moraes, Mark A. ; Piana, Stefano ; Shan, Yibing ; Towles, BrianProceedings of the Conference on High Performance Computing Networking, Storage and Analysis, 2009, p.1-11New York, NY, USA: ACMTexto completo disponível |