Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
![]() |
American Society for Diagnostic and Interventional Nephrology (ASDIN) 19th Annual Scientific Meeting AbstractsThe journal of vascular access, 2023, Vol.24 (6), p.NP1-NP8 [Periódico revisado por pares]London, England: SAGE PublicationsTexto completo disponível |
2 |
Material Type: Ata de Congresso
|
![]() |
FitSpec: refining property sets for functional testingBraquehais, Rudy ; Runciman, ColinProceedings of the 9th International Symposium on Haskell, 2016, p.1-12New York, NY, USA: ACMTexto completo disponível |
3 |
Material Type: Ata de Congresso
|
![]() |
A graph-based iterative compiler pass selection and phase ordering approachNobre, Ricardo ; Martins, Luiz G. A. ; Cardoso, João M. P.Proceedings of the 17th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools, and Theory for Embedded Systems, 2016, p.21-30New York, NY, USA: ACMTexto completo disponível |
4 |
Material Type: Ata de Congresso
|
![]() |
Performance implications of dynamic memory allocators on transactional memory systemsBaldassin, Alexandro ; Borin, Edson ; Araujo, GuidoProceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2015, p.87-96New York, NY, USA: ACMTexto completo disponível |
5 |
Material Type: Ata de Congresso
|
![]() |
Fine-grain parallel megabase sequence comparison with multiple heterogeneous GPUsde O. Sandes, Edans F. ; Miranda, Guillermo ; Melo, Alba C.M.A. ; Martorell, Xavier ; Ayguade, EduardProceedings of the 19th ACM SIGPLAN symposium on Principles and practice of parallel programming, 2014, p.383-384New York, NY, USA: ACMTexto completo disponível |
6 |
Material Type: Ata de Congresso
|
![]() |
Abstract effects and proof-relevant logical relationsBenton, Nick ; Hofmann, Martin ; Nigam, VivekProceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014, p.619-631New York, NY, USA: ACMTexto completo disponível |
7 |
Material Type: Ata de Congresso
|
![]() |
Strategies for Accelerating Nonlinear Convergence for T-Ω FormulationPING ZHOU ; DINGSHENG LIN ; BO HE ; KHER, Sameer S ; CENDES, Zoltan JIEEE transactions on magnetics, 2010, Vol.46 (8), p.3129-3132New York, NY: Institute of Electrical and Electronics EngineersTexto completo disponível |
8 |
Material Type: Ata de Congresso
|
![]() |
1.5 μm Emission and infrared-to-visible frequency upconversion in Er+3/Yb+3-doped phosphoniobate glassesBARBOSA, A. J ; DIAS FILHO, F. A ; MESSADDEQ, Y ; RIBEIRO, S. J. L ; GONCALVES, R. R ; LÜTHI, S. R ; GOMES, A. S. LJournal of non-crystalline solids, 2006, Vol.352 (32-35), p.3636-3641 [Periódico revisado por pares]Amsterdam: ElsevierTexto completo disponível |
9 |
Material Type: Ata de Congresso
|
![]() |
Glasses and related materials 7: Proceedings of the 7th Brazilian Symposium on Glasses and Related Materials and 3rd International Symposium on Non-Crystalline Solids in Brazil, Maringá, PR, Brazil, November 13-16, 2005BAESSO, Mauro Luciano ; BENTO, A. C ; ZANOTTO, E. DJournal of non-crystalline solids, 2006, Vol.352 (32-35) [Periódico revisado por pares]Amsterdam: ElsevierTexto completo disponível |
10 |
Material Type: Ata de Congresso
|
![]() |
Behavior of the Local Mode's Potential in BaTiO3 Studied by Effective Hamiltonian Numerical SimulationsMarqués, Manuel I. ; Gonzalo, Julio A.Ferroelectrics, 2006, Vol.337 (1), p.51-57 [Periódico revisado por pares]London: Taylor & Francis GroupTexto completo disponível |