1![SHA-3 on ARM11 processors Peter Schwabe1 , Bo-Yin Yang1 , and Shang-Yi Yang2 1 ? SHA-3 on ARM11 processors Peter Schwabe1 , Bo-Yin Yang1 , and Shang-Yi Yang2 1 ?](https://www.pdfsearch.io/img/988f9235b62e921fb3911c763bda9731.jpg) | Add to Reading ListSource URL: precision.moscito.orgLanguage: English - Date: 2013-02-27 00:13:54
|
---|
2![The Toolkit for Accurate Scientific Software Stephen F. Siegel, Timothy Zirkel, Yi Wei Verified Software Laboratory Department of Computer and Information Sciences University of Delaware Newark, DE, USA The Toolkit for Accurate Scientific Software Stephen F. Siegel, Timothy Zirkel, Yi Wei Verified Software Laboratory Department of Computer and Information Sciences University of Delaware Newark, DE, USA](https://www.pdfsearch.io/img/a51fb934c3b7068c31e684b86565298e.jpg) | Add to Reading ListSource URL: www.lix.polytechnique.frLanguage: English - Date: 2010-07-21 10:31:15
|
---|
3![Collaborative Metric Learning Cheng-Kang Hsieh‡ , Longqi Yang† ,Yin Cui† , Tsung-Yi Lin† , Serge Belongie† , Deborah Estrin† ‡ ‡ UCLA; † Cornell Tech Collaborative Metric Learning Cheng-Kang Hsieh‡ , Longqi Yang† ,Yin Cui† , Tsung-Yi Lin† , Serge Belongie† , Deborah Estrin† ‡ ‡ UCLA; † Cornell Tech](https://www.pdfsearch.io/img/482a19febe5e1f8ea10fa15638ef1dbc.jpg) | Add to Reading ListSource URL: www.cs.cornell.eduLanguage: English - Date: 2018-10-25 09:08:10
|
---|
4![FEVS: A Functional Equivalence Verification Suite Stephen F. Siegel, Timothy K. Zirkel, Yi Wei Supported by the National Science Foundation under Grant No. CCF FEVS: A Functional Equivalence Verification Suite Stephen F. Siegel, Timothy K. Zirkel, Yi Wei Supported by the National Science Foundation under Grant No. CCF](https://www.pdfsearch.io/img/be90b63fd0b61978880c4c1a3011ae0d.jpg) | Add to Reading ListSource URL: www.lix.polytechnique.frLanguage: English - Date: 2010-07-21 10:31:13
|
---|
5![Erays: Reverse Engineering Ethereum’s Opaque Smart Contracts Yi Zhou Deepak Kumar Surya Bakshi Joshua Mason Andrew Miller Michael Bailey University of Illinois, Urbana-Champaign Abstract Interacting with Ethereum smart Erays: Reverse Engineering Ethereum’s Opaque Smart Contracts Yi Zhou Deepak Kumar Surya Bakshi Joshua Mason Andrew Miller Michael Bailey University of Illinois, Urbana-Champaign Abstract Interacting with Ethereum smart](https://www.pdfsearch.io/img/e10b98374921e436a7e29008f8e5efc4.jpg) | Add to Reading ListSource URL: kumarde.comLanguage: English - Date: 2018-08-16 10:08:06
|
---|
6![Verifying Curve25519 Software Yu-Fang Chen1 , Chang-Hong Hsu2 , Hsin-Hung Lin3 , Peter Schwabe4 , Ming-Hsien Tsai1 , Bow-Yaw Wang1 , Bo-Yin Yang1 , and Shang-Yi Yang1 ? 1 Institute of Information Science Verifying Curve25519 Software Yu-Fang Chen1 , Chang-Hong Hsu2 , Hsin-Hung Lin3 , Peter Schwabe4 , Ming-Hsien Tsai1 , Bow-Yaw Wang1 , Bo-Yin Yang1 , and Shang-Yi Yang1 ? 1 Institute of Information Science](https://www.pdfsearch.io/img/428501bb6c20fe0001c1dc5c69c86e65.jpg) | Add to Reading ListSource URL: precision.moscito.orgLanguage: English - Date: 2014-12-08 15:41:25
|
---|
7![Paper accepted at the European Conf. on Computer Vision (ECCV), Munich, Semi-Dense 3D Reconstruction with a Stereo Event Camera Yi Zhou1,2 , Guillermo Gallego3 , Henri Rebecq3 , Laurent Kneip4 , Hongdong Li1,2 , a Paper accepted at the European Conf. on Computer Vision (ECCV), Munich, Semi-Dense 3D Reconstruction with a Stereo Event Camera Yi Zhou1,2 , Guillermo Gallego3 , Henri Rebecq3 , Laurent Kneip4 , Hongdong Li1,2 , a](https://www.pdfsearch.io/img/0216de8f65ecf707597a6c84475e436e.jpg) | Add to Reading ListSource URL: rpg.ifi.uzh.chLanguage: English - Date: 2018-08-04 04:56:25
|
---|
8![Feature Pyramid Networks for Object Detection Tsung-Yi Lin1,2 , Piotr Doll´ar1 , Ross Girshick1 , Kaiming He1 , Bharath Hariharan1 , and Serge Belongie2 1 arXiv:1612.03144v2 [cs.CV] 19 Apr 2017 Feature Pyramid Networks for Object Detection Tsung-Yi Lin1,2 , Piotr Doll´ar1 , Ross Girshick1 , Kaiming He1 , Bharath Hariharan1 , and Serge Belongie2 1 arXiv:1612.03144v2 [cs.CV] 19 Apr 2017](https://www.pdfsearch.io/img/c78c0082a1875a793f9112bfcdf29ffb.jpg) | Add to Reading ListSource URL: arxiv.orgLanguage: English - Date: 2017-04-20 20:09:43
|
---|
9![Towards Mobile Query Auto-Completion: An Efficient Mobile Application-Aware Approach Aston Zhang∗1 , Amit Goyal2 , Ricardo Baeza-Yates2 Yi Chang2 , Jiawei Han1 , Carl A. Gunter1 , Hongbo Deng2 1 Towards Mobile Query Auto-Completion: An Efficient Mobile Application-Aware Approach Aston Zhang∗1 , Amit Goyal2 , Ricardo Baeza-Yates2 Yi Chang2 , Jiawei Han1 , Carl A. Gunter1 , Hongbo Deng2 1](https://www.pdfsearch.io/img/8e2d1355c4a98f20324c2b3ef957e8c5.jpg) | Add to Reading ListSource URL: gdac.uqam.caLanguage: English - Date: 2017-10-04 01:31:09
|
---|
10![Domo: Passive Per-Packet Delay Tomography in Wireless Ad-hoc Networks Yi Gao1 , Wei Dong1 ∗ , Chun Chen1 , Jiajun Bu1 , Tianyu Chen2 , Mingyuan Xia3 , Xue Liu3 , Xianghua Xu2 1 College of Computer Science, Zhejiang Uni Domo: Passive Per-Packet Delay Tomography in Wireless Ad-hoc Networks Yi Gao1 , Wei Dong1 ∗ , Chun Chen1 , Jiajun Bu1 , Tianyu Chen2 , Mingyuan Xia3 , Xue Liu3 , Xianghua Xu2 1 College of Computer Science, Zhejiang Uni](https://www.pdfsearch.io/img/0a5b2587a6009bf6c1d29f23ce249acb.jpg) | Add to Reading ListSource URL: www.emnets.orgLanguage: English - Date: 2014-04-24 00:32:03
|
---|