skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Anais de Congresso remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
SmartCheck: static analysis of ethereum smart contracts
SmartCheck: static analysis of ethereum smart contracts
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

SmartCheck: static analysis of ethereum smart contracts

Tikhomirov, Sergei ; Voskresenskaya, Ekaterina ; Ivanitskiy, Ivan ; Takhaviev, Ramil ; Marchenko, Evgeny ; Alexandrov, Yaroslav

2018 IEEE/ACM 1st International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB), 2018, p.9-16

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
2
A Learning Method for Product Analysis in Product Design: Learning Method of Product Analysis Utilizing Collaborative Learning and a List of Analysis Items
A Learning Method for Product Analysis in Product Design: Learning Method of Product Analysis Utilizing Collaborative Learning and a List of Analysis Items
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A Learning Method for Product Analysis in Product Design: Learning Method of Product Analysis Utilizing Collaborative Learning and a List of Analysis Items

Lin, Haifu ; Kato, Hiroshi ; Toya, Takeshi

Human Interface and the Management of Information. Information and Knowledge Design and Evaluation, p.503-513 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
3
A Formal Analysis of 5G Authentication
A Formal Analysis of 5G Authentication
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A Formal Analysis of 5G Authentication

Basin, David ; Dreier, Jannik ; Hirschi, Lucca ; Radomirovic, Saša ; Sasse, Ralf ; Stettler, Vincent

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018, Vol.14, p.1383-1396

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
4
An Analysis of Scale Invariance in Object Detection - SNIP
An Analysis of Scale Invariance in Object Detection - SNIP
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

An Analysis of Scale Invariance in Object Detection - SNIP

Singh, Bharat ; Davis, Larry S.

2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2018, p.3578-3587

IEEE

Texto completo disponível

Citações Citado por
5
Analysis of the Blockchain Protocol in Asynchronous Networks
Analysis of the Blockchain Protocol in Asynchronous Networks
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Analysis of the Blockchain Protocol in Asynchronous Networks

Pass, Rafael ; Seeman, Lior ; Shelat, Abhi

Advances in Cryptology – EUROCRYPT 2017, p.643-673 [Periódico revisado por pares]

Cham: Springer International Publishing

Sem texto completo

Citações Citado por
6
Practitioners’ Perspectives on Change Impact Analysis for Safety-Critical Software – A Preliminary Analysis
Practitioners’ Perspectives on Change Impact Analysis for Safety-Critical Software – A Preliminary Analysis
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Practitioners’ Perspectives on Change Impact Analysis for Safety-Critical Software – A Preliminary Analysis

Borg, Markus ; de la Vara, Jose Luis ; Wnuk, Krzysztof

COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2016, 2016, p.346-358 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
7
Analysis of concept understanding students’ real analysis course by using realistic mathematics education approach
Analysis of concept understanding students’ real analysis course by using realistic mathematics education approach
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Analysis of concept understanding students’ real analysis course by using realistic mathematics education approach

Arnellis ; Yerizon ; Rosha, Media ; Jamaan, Elita Zusti ; Amalita, Nonong Yerizon ; Tasman, Fridgo ; Rifandi, Ronal ; Rusyda, Nurul Afifah

AIP Conference Proceedings, 2023, Vol.2698 (1) [Periódico revisado por pares]

Melville: American Institute of Physics

Sem texto completo

Citações Citado por
8
Leveraging stereopsis for saliency analysis
Leveraging stereopsis for saliency analysis
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Leveraging stereopsis for saliency analysis

Yuzhen Niu ; Yujie Geng ; Xueqing Li ; Feng Liu

2012 IEEE Conference on Computer Vision and Pattern Recognition, 2012, p.454-461

IEEE

Texto completo disponível

Citações Citado por
9
Psychometric analysis series software
Psychometric analysis series software
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Psychometric analysis series software

Jatnika, Ratna ; Purwono, Urip ; Djunaidi, Achmad ; Haffas, Mustofa Mujiarto ; Tlelo-Cuautle, E ; Komaro, M. ; Lien, C-H ; Vaidyanathan, Sundarapandian ; Jerusalem, M. Adam ; Mamat, Mustafa

AIP Conference Proceedings, 2023, Vol.2510 (1) [Periódico revisado por pares]

Melville: American Institute of Physics

Sem texto completo

Citações Citado por
10
An Analysis of Efficient Multi-Core Global Power Management Policies: Maximizing Performance for a Given Power Budget
An Analysis of Efficient Multi-Core Global Power Management Policies: Maximizing Performance for a Given Power Budget
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

An Analysis of Efficient Multi-Core Global Power Management Policies: Maximizing Performance for a Given Power Budget

Isci, Canturk ; Buyuktosunoglu, Alper ; Cher, Chen-Yong ; Bose, Pradip ; Martonosi, Margaret

2006 39th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO'06), 2006, p.347-358

Washington, DC, USA: IEEE Computer Society

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (963.591)
  2. Revistas revisadas por pares (258.528)

Data de Publicação 

De até
Refinar
  1. Antes de1959  (2.278)
  2. 1959Até1974  (17.133)
  3. 1975Até1990  (153.881)
  4. 1991Até2007  (592.980)
  5. Após 2007  (1.207.348)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (1.919.002)
  2. Francês  (49.765)
  3. Japonês  (21.498)
  4. Alemão  (6.952)
  5. Chinês  (4.376)
  6. Espanhol  (4.216)
  7. Russo  (2.295)
  8. Português  (1.912)
  9. Italiano  (938)
  10. Tailandês  (747)
  11. Serbian  (593)
  12. Turco  (548)
  13. Tcheco  (367)
  14. Eslovaco  (261)
  15. Letão  (251)
  16. Árabe  (202)
  17. Croatian  (177)
  18. Holandês  (127)
  19. Polonês  (108)
  20. Esloveno  (106)
  21. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.