skip to main content
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
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
Securify: Practical Security Analysis of Smart Contracts
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Securify: Practical Security Analysis of Smart Contracts

Tsankov, Petar ; Dan, Andrei ; Drachsler-Cohen, Dana ; Gervais, Arthur ; Bünzli, Florian ; Vechev, Martin

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018, p.67-82

New York, NY, USA: ACM

Texto completo disponível

2
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

3
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 Yamamoto, Sakae

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

4
POS0474 FACTORS ASSOCIATED WITH EROSIVE RHEUMATOID ARTHRITIS, A MULTIMARKER PRINCIPAL COMPONENT ANALYSIS (PCA) AND PRINCIPAL COMPONENT REGRESSION (PCR) ANALYSIS
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

POS0474 FACTORS ASSOCIATED WITH EROSIVE RHEUMATOID ARTHRITIS, A MULTIMARKER PRINCIPAL COMPONENT ANALYSIS (PCA) AND PRINCIPAL COMPONENT REGRESSION (PCR) ANALYSIS

Adami, G ; Orsolini, G ; Fassio, A ; Viapiana, O ; Sorio, E ; Benini, C ; Gatti, D ; Bertelle, D ; Rossini, M

Annals of the rheumatic diseases, 2023, Vol.82 (Suppl 1), p.497-498 [Periódico revisado por pares]

London: BMJ Publishing Group LTD

Texto completo disponível

5
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

6
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, p.1383-1396

New York, NY, USA: ACM

Texto completo disponível

7
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 Skavhaug, Amund ; Schoitsch, Erwin ; Guiochet, Jérémie ; Bitsch, Friedemann

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

Cham: Springer International Publishing

Texto completo disponível

8
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

9
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

10
Calibrating data to sensitivity in private data analysis: a platform for differentially-private analysis of weighted datasets
Material Type:
Ata de Congresso
Adicionar ao Meu Espaço

Calibrating data to sensitivity in private data analysis: a platform for differentially-private analysis of weighted datasets

Proserpio, Davide ; Goldberg, Sharon ; McSherry, Frank

Proceedings of the VLDB Endowment, 2014, Vol.7 (8), p.637-648 [Periódico revisado por pares]

Texto completo disponível

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (110.260)

Data de Publicação 

De até
  1. Antes de1961  (206)
  2. 1961Até1976  (1.624)
  3. 1977Até1992  (41.662)
  4. 1993Até2009  (483.055)
  5. Após 2009  (443.883)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (952.128)
  2. Japonês  (15.260)
  3. Alemão  (4.986)
  4. Chinês  (4.202)
  5. Francês  (1.979)
  6. Russo  (1.434)
  7. Espanhol  (922)
  8. Português  (585)
  9. Turco  (210)
  10. Tcheco  (208)
  11. Croatian  (105)
  12. Italiano  (91)
  13. Serbian  (37)
  14. Catalão  (37)
  15. Norueguês  (31)
  16. Árabe  (23)
  17. Holandês  (17)
  18. Sueco  (13)
  19. Eslovaco  (12)
  20. Galês  (5)
  21. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.