skip to main content
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Refinado por: Base de dados/Biblioteca: ACM remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Quantifier elimination in the theory of an algebraically-closed field
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Quantifier elimination in the theory of an algebraically-closed field

Ierardi, 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-147

New York, NY, USA: ACM

Texto completo disponível

2
Millisecond-scale molecular dynamics simulations on Anton
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Millisecond-scale molecular dynamics simulations on Anton

Shaw, 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, Brian

Proceedings of the Conference on High Performance Computing Networking, Storage and Analysis, 2009, p.1-11

New York, NY, USA: ACM

Texto completo disponível

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Buscando em bases de dados remotas. Favor aguardar.