Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
![]() |
Securify: Practical Security Analysis of Smart ContractsTsankov, Petar ; Dan, Andrei ; Drachsler-Cohen, Dana ; Gervais, Arthur ; Bünzli, Florian ; Vechev, MartinProceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018, p.67-82New York, NY, USA: ACMTexto completo disponível |
2 |
Material Type: Ata de Congresso
|
![]() |
SmartCheck: static analysis of ethereum smart contractsTikhomirov, Sergei ; Voskresenskaya, Ekaterina ; Ivanitskiy, Ivan ; Takhaviev, Ramil ; Marchenko, Evgeny ; Alexandrov, Yaroslav2018 IEEE/ACM 1st International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB), 2018, p.9-16New York, NY, USA: ACMTexto completo disponível |
3 |
Material Type: Ata de Congresso
|
![]() |
A Learning Method for Product Analysis in Product Design: Learning Method of Product Analysis Utilizing Collaborative Learning and a List of Analysis ItemsLin, Haifu ; Kato, Hiroshi ; Toya, Takeshi Yamamoto, SakaeHuman Interface and the Management of Information. Information and Knowledge Design and Evaluation, p.503-513 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
4 |
Material Type: Ata de Congresso
|
![]() |
POS0474 FACTORS ASSOCIATED WITH EROSIVE RHEUMATOID ARTHRITIS, A MULTIMARKER PRINCIPAL COMPONENT ANALYSIS (PCA) AND PRINCIPAL COMPONENT REGRESSION (PCR) ANALYSISAdami, G ; Orsolini, G ; Fassio, A ; Viapiana, O ; Sorio, E ; Benini, C ; Gatti, D ; Bertelle, D ; Rossini, MAnnals of the rheumatic diseases, 2023, Vol.82 (Suppl 1), p.497-498 [Periódico revisado por pares]London: BMJ Publishing Group LTDTexto completo disponível |
5 |
Material Type: Ata de Congresso
|
![]() |
An Analysis of Scale Invariance in Object Detection - SNIPSingh, Bharat ; Davis, Larry S.2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2018, p.3578-3587IEEETexto completo disponível |
6 |
Material Type: Ata de Congresso
|
![]() |
A Formal Analysis of 5G AuthenticationBasin, David ; Dreier, Jannik ; Hirschi, Lucca ; Radomirovic, Saša ; Sasse, Ralf ; Stettler, VincentProceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018, p.1383-1396New York, NY, USA: ACMTexto completo disponível |
7 |
Material Type: Ata de Congresso
|
![]() |
Practitioners’ Perspectives on Change Impact Analysis for Safety-Critical Software – A Preliminary AnalysisBorg, Markus ; de la Vara, Jose Luis ; Wnuk, Krzysztof Skavhaug, Amund ; Schoitsch, Erwin ; Guiochet, Jérémie ; Bitsch, FriedemannCOMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2016, 2016, p.346-358 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
8 |
Material Type: Ata de Congresso
|
![]() |
Leveraging stereopsis for saliency analysisYuzhen Niu ; Yujie Geng ; Xueqing Li ; Feng Liu2012 IEEE Conference on Computer Vision and Pattern Recognition, 2012, p.454-461IEEETexto completo disponível |
9 |
Material Type: Ata de Congresso
|
![]() |
An Analysis of Efficient Multi-Core Global Power Management Policies: Maximizing Performance for a Given Power BudgetIsci, Canturk ; Buyuktosunoglu, Alper ; Cher, Chen-Yong ; Bose, Pradip ; Martonosi, Margaret2006 39th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO'06), 2006, p.347-358Washington, DC, USA: IEEE Computer SocietyTexto completo disponível |
10 |
Material Type: Ata de Congresso
|
![]() |
Calibrating data to sensitivity in private data analysis: a platform for differentially-private analysis of weighted datasetsProserpio, Davide ; Goldberg, Sharon ; McSherry, FrankProceedings of the VLDB Endowment, 2014, Vol.7 (8), p.637-648 [Periódico revisado por pares]Texto completo disponível |