skip to main content
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Efficient simulation of agent-based models on multi-GPU and multi-core clusters
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Efficient simulation of agent-based models on multi-GPU and multi-core clusters

Aaby, Brandon G. ; Perumalla, Kalyan S. ; Seal, Sudip K.

Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques, 2010, p.1-10

ICST, Brussels, Belgium, Belgium: ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering)

Texto completo disponível

2
Impact of Denial of Service Attacks on Ad Hoc Networks
Material Type:
Artigo
Adicionar ao Meu Espaço

Impact of Denial of Service Attacks on Ad Hoc Networks

Aad, 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: IEEE

Texto completo disponível

3
Clustering algorithm for internet of vehicles (IoV) based on dragonfly optimizer (CAVDO)
Material Type:
Artigo
Adicionar ao Meu Espaço

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, Irfan

The Journal of supercomputing, 2018-09, Vol.74 (9), p.4542-4567 [Periódico revisado por pares]

New York: Springer US

Texto completo disponível

4
Empirical autopsy of deep video captioning encoder-decoder architecture
Material Type:
Artigo
Adicionar ao Meu Espaço

Empirical autopsy of deep video captioning encoder-decoder architecture

Aafaq, Nayyer ; Akhtar, Naveed ; Liu, Wei ; Mian, Ajmal

Array (New York), 2021-03, Vol.9, p.100052, Article 100052 [Periódico revisado por pares]

Elsevier Inc

Texto completo disponível

5
A Hazards-Based Correctness Statement for Pipelined Circuits
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

A Hazards-Based Correctness Statement for Pipelined Circuits

Aagaard, Mark D. Geist, Daniel ; Tronci, Enrico

Correct Hardware Design and Verification Methods, 2003, p.66-80 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

6
Relating Multi-step and Single-Step Microprocessor Correctness Statements
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Relating Multi-step and Single-Step Microprocessor Correctness Statements

Aagaard, 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 Heidelberg

Texto completo disponível

7
Xs Are for Trajectory Evaluation, Booleans Are for Theorem Proving
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Xs Are for Trajectory Evaluation, Booleans Are for Theorem Proving

Aagaard, Mark D. ; Melham, Thomas F. ; O’Leary, John W. Pierre, Laurence ; Kropf, Thomas

Correct Hardware Design and Verification Methods, 1999, p.202-218 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

8
Material Type:
Artigo
Adicionar ao Meu Espaço

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 Composition

Barbosa, Lucas Jordano De Melo

Anais do Museu Paulista: História e Cultura Material; v. 30 (2022); 1-51

Universidade de São Paulo. Museu Paulista 2022-11-04

Acesso online

9
Material Type:
Artigo
Adicionar ao Meu Espaço

A luz natural como diretriz de projeto; Light as a project guideline; La luz natural como directriz del proyectonatural

Barnabé, Paulo Marcos Mottos

Revista Pos FAUUSP; n. 22 (2007); 62-81

Universidade de São Paulo. Faculdade de Arquitetura e Urbanismo. 2007-12-01

Acesso online

10
Learning deep architectures for AI
Material Type:
Livro
Adicionar ao Meu Espaço

Learning deep architectures for AI

Yoshua Bengio 1964-

Hanover, Mass. Now Publishers c2009

Localização: ICMC - Inst. Ciên. Mat. Computação    (68M05.01 B466Ld e.1 )(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (168.087)
  2. Revistas revisadas por pares (84.413)
  3. Disponível na Biblioteca (25)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (91.776)
  2. Anais de Congresso  (57.070)
  3. magazinearticle  (12.165)
  4. Book Chapters  (4.334)
  5. Livros  (1.474)
  6. Reports  (514)
  7. Resenhas  (226)
  8. Imagens  (210)
  9. Dissertações  (94)
  10. Videos  (74)
  11. Conjunto de Dados  (61)
  12. Newsletter Articles  (38)
  13. Recursos Textuais  (35)
  14. Produções Acadêmicas  (25)
  15. Web Resources  (11)
  16. Verbetes  (11)
  17. Artigos de Jornal  (10)
  18. Outros  (5)
  19. Standards  (4)
  20. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1961  (621)
  2. 1961Até1976  (4.895)
  3. 1977Até1992  (11.759)
  4. 1993Até2009  (61.682)
  5. Após 2009  (91.233)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (167.682)
  2. Japonês  (9.578)
  3. Português  (245)
  4. Espanhol  (164)
  5. Alemão  (158)
  6. Francês  (92)
  7. Russo  (39)
  8. Chinês  (38)
  9. Norueguês  (24)
  10. Turco  (23)
  11. Italiano  (22)
  12. Sueco  (14)
  13. Catalão  (10)
  14. Persa  (7)
  15. Polonês  (5)
  16. Holandês  (5)
  17. Croatian  (5)
  18. Esloveno  (5)
  19. Árabe  (4)
  20. Bokmål, Norwegian  (4)
  21. Indeterminado  (3)
  22. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.