Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
Strong Complementarity and Non-locality in Categorical Quantum MechanicsCoecke, Bob ; Duncan, Ross ; Kissinger, Aleks ; Wang, Quanlong2012 27th Annual IEEE Symposium on Logic in Computer Science, 2012, p.245-254Washington, DC, USA: IEEE Computer SocietyTexto completo disponível |
|
2 |
Material Type: Ata de Congresso
|
Eulerian solids for soft tissue and morePai, Dinesh K. ; Levin, David I. W. ; Fan, YeACM SIGGRAPH 2014 Courses, 2014, p.1-151New York, NY, USA: ACMTexto completo disponível |
|
3 |
Material Type: Ata de Congresso
|
High-tech publications need old-fashioned editingRamey, Janis ; Miller, MarleneACM Special Interest Group for Design of Communication: Proceedings of IEEE professional communication society international professional communication conference and Proceedings of the 18th annual ACM international conference on Computer documentation: technology & teamwork; 24-27 Sept. 2000, 2000, p.145-154Piscataway, NJ, USA: IEEE Educational Activities DepartmentTexto completo disponível |
|
4 |
Material Type: Ata de Congresso
|
Gamification in educational software developmentBuisman, Achilleas L. D. ; van Eekelen, Marko C. J. D. Dagiené, Valentina ; Barendsen, ErikProceedings of the Computer Science Education Research Conference, 2014, p.9-20New York, NY, USA: ACMTexto completo disponível |
|
5 |
Material Type: Ata de Congresso
|
A Smoothed Particle Hydrodynamics Mini-App for ExascaleCavelan, Aurélien ; Cabezón, Rubén M. ; Grabarczyk, Michal ; Ciorba, Florina M.Proceedings of the Platform for Advanced Scientific Computing Conference, 2020, p.1-11New York, NY, USA: ACMTexto completo disponível |
|
6 |
Material Type: Ata de Congresso
|
Evolving Solutions to TSP Variants for Active Space Debris RemovalIzzo, Dario ; Getzner, Ingmar ; Hennes, Daniel ; Simões, Luís Felismino Silva, SaraProceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation, 2015, p.1207-1214New York, NY, USA: ACMTexto completo disponível |
|
7 |
Material Type: Ata de Congresso
|
A proof of the security of quantum key distribution (extended abstract)Biham, Eli ; Boyer, Michel ; Boykin, P. Oscar ; Mor, Tal ; Roychowdhury, VwaniAnnual ACM Symposium on Theory of Computing: Proceedings of the thirty-second annual ACM symposium on Theory of computing; 21-23 May 2000, 2000, p.715-724 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
|
8 |
Material Type: Ata de Congresso
|
Improving Crowd-Supported GUI Testing with Structural GuidanceChen, Yan ; Pandey, Maulishree ; Song, Jean Y. ; Lasecki, Walter S. ; Oney, SteveProceedings of the 2020 CHI Conference on Human Factors in Computing Systems, 2020, p.1-706New York, NY, USA: ACMTexto completo disponível |
|
9 |
Material Type: Ata de Congresso
|
Life's a game and the game of life: how making a game out of it can change student behaviorDecker, Adrienne ; Lawley, Elizabeth LaneProceeding of the 44th ACM technical symposium on Computer science education, 2013, p.233-238New York, NY, USA: ACMTexto completo disponível |
|
10 |
Material Type: Ata de Congresso
|
Using predictive human performance models to inspire and support UI design recommendationsJohn, Bonnie E.Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, 2011, p.983-986New York, NY, USA: ACMTexto completo disponível |