Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
![]() |
Efficient simulation of agent-based models on multi-GPU and multi-core clustersAaby, Brandon G. ; Perumalla, Kalyan S. ; Seal, Sudip K.Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques, 2010, p.1-10ICST, Brussels, Belgium, Belgium: ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering)Texto completo disponível |
2 |
Material Type: Artigo
|
![]() |
Impact of Denial of Service Attacks on Ad Hoc NetworksAad, I. ; Hubaux, J.-P. ; Knightly, E.W.IEEE/ACM transactions on networking, 2008-08, Vol.16 (4), p.791-802 [Periódico revisado por pares]New York: IEEETexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
Clustering algorithm for internet of vehicles (IoV) based on dragonfly optimizer (CAVDO)Aadil, Farhan ; Ahsan, Waleed ; Rehman, Zahoor Ur ; Shah, Peer Azmat ; Rho, Seungmin ; Mehmood, IrfanThe Journal of supercomputing, 2018-09, Vol.74 (9), p.4542-4567 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
Empirical autopsy of deep video captioning encoder-decoder architectureAafaq, Nayyer ; Akhtar, Naveed ; Liu, Wei ; Mian, AjmalArray (New York), 2021-03, Vol.9, p.100052, Article 100052 [Periódico revisado por pares]Elsevier IncTexto completo disponível |
5 |
Material Type: Capítulo de Livro
|
![]() |
A Hazards-Based Correctness Statement for Pipelined CircuitsAagaard, Mark D. Geist, Daniel ; Tronci, EnricoCorrect Hardware Design and Verification Methods, 2003, p.66-80 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
6 |
Material Type: Ata de Congresso
|
![]() |
Relating Multi-step and Single-Step Microprocessor Correctness StatementsAagaard, Mark D. ; Day, Nancy A. ; Lou, Meng Aagaard, Mark D. ; O’Leary, John W.Formal Methods in Computer-Aided Design, 2002, p.123-141 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
7 |
Material Type: Capítulo de Livro
|
![]() |
Xs Are for Trajectory Evaluation, Booleans Are for Theorem ProvingAagaard, Mark D. ; Melham, Thomas F. ; O’Leary, John W. Pierre, Laurence ; Kropf, ThomasCorrect Hardware Design and Verification Methods, 1999, p.202-218 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
Estratégias Persuasivas da Arquitetura Barroca e suas Particularidades em uma Composição de Fachada Mexicana; Persuasive Strategies of Baroque Architecture and its Particularities in a Mexican Facade CompositionBarbosa, Lucas Jordano De MeloAnais do Museu Paulista: História e Cultura Material; v. 30 (2022); 1-51Universidade de São Paulo. Museu Paulista 2022-11-04Acesso online |
9 |
Material Type: Artigo
|
![]() |
A luz natural como diretriz de projeto; Light as a project guideline; La luz natural como directriz del proyectonaturalBarnabé, Paulo Marcos MottosRevista Pos FAUUSP; n. 22 (2007); 62-81Universidade de São Paulo. Faculdade de Arquitetura e Urbanismo. 2007-12-01Acesso online |
10 |
Material Type: Livro
|
![]() |
Learning deep architectures for AIYoshua Bengio 1964-Hanover, Mass. Now Publishers c2009Localização: ICMC - Inst. Ciên. Mat. Computação (68M05.01 B466Ld e.1 )(Acessar) |