1![LibPoly: A Library for Reasoning about Polynomials∗ Dejan Jovanovi´c and Bruno Dutertre SRI International Abstract LibPoly is a C library for computing with polynomials. It provides data structures to represent multiv LibPoly: A Library for Reasoning about Polynomials∗ Dejan Jovanovi´c and Bruno Dutertre SRI International Abstract LibPoly is a C library for computing with polynomials. It provides data structures to represent multiv](https://www.pdfsearch.io/img/827f3e5daa2a89471b03ba07742141d8.jpg) | Add to Reading ListSource URL: smt-workshop.cs.uiowa.eduLanguage: English - Date: 2017-09-02 14:08:49
|
---|
2![Mike Izbicki About Me My research makes machine learning algorithms faster. I’ve developed improved data structures for nearest neighbor queries and faster distributed learning procedures. I use techniques from high di Mike Izbicki About Me My research makes machine learning algorithms faster. I’ve developed improved data structures for nearest neighbor queries and faster distributed learning procedures. I use techniques from high di](https://www.pdfsearch.io/img/eabdf7b834d28d9603032a5fc4f33a47.jpg) | Add to Reading ListSource URL: izbicki.meLanguage: English - Date: 2017-11-15 03:12:26
|
---|
3![Use Cases
Procera Networks: Find . See . Do . More Procera Networks structures mobile and fixed broadband network data, transforming it into Use Cases
Procera Networks: Find . See . Do . More Procera Networks structures mobile and fixed broadband network data, transforming it into](https://www.pdfsearch.io/img/29ecb64f6abe5bff0ac31a2eab468fa8.jpg) | Add to Reading ListSource URL: cdn2.hubspot.netLanguage: English - Date: 2017-10-07 05:47:13
|
---|
4![Static Detection of Loop-Invariant Data Structures Guoqing Xu1 , Dacong Yan2 , and Atanas Rountev2 1 2 University of California, Irvine, CA, USA Static Detection of Loop-Invariant Data Structures Guoqing Xu1 , Dacong Yan2 , and Atanas Rountev2 1 2 University of California, Irvine, CA, USA](https://www.pdfsearch.io/img/4fcbc35d0f4d8deab6b1f6119c6db945.jpg) | Add to Reading ListSource URL: dacongy.github.ioLanguage: English - Date: 2017-06-27 01:04:15
|
---|
5![Fair Synchronization∗ Gadi Taubenfeld† June 30, 2016 Abstract Most published concurrent data structures which avoid locking do not provide any fairness guarantees. That is, they allow processes to access a data struc Fair Synchronization∗ Gadi Taubenfeld† June 30, 2016 Abstract Most published concurrent data structures which avoid locking do not provide any fairness guarantees. That is, they allow processes to access a data struc](https://www.pdfsearch.io/img/68ad562fbac839e33ed9eed0d3d3b150.jpg) | Add to Reading ListSource URL: www.faculty.idc.ac.ilLanguage: English - Date: 2016-06-30 07:57:10
|
---|
6![](/pdf-icon.png) | Add to Reading ListSource URL: winprotocoldoc.blob.core.windows.netLanguage: English - Date: 2017-05-25 18:58:48
|
---|
7![A Fully Automated Method for Discovering Community Structures in High Dimensional Data Jianhua Ruan Department of Computer Science University of Texas at San Antonio One UTSA Circle, San Antonio, TX 78249 A Fully Automated Method for Discovering Community Structures in High Dimensional Data Jianhua Ruan Department of Computer Science University of Texas at San Antonio One UTSA Circle, San Antonio, TX 78249](https://www.pdfsearch.io/img/a54952bcc0fc6db9c8204b309037b2a2.jpg) | Add to Reading ListSource URL: cs.utsa.eduLanguage: English - Date: 2009-09-26 00:39:49
|
---|
8![Functional data structures and algorithms Functional data structures and algorithms](https://www.pdfsearch.io/img/2f225396aa26b0677b8ea9ce4c4e4a4f.jpg) | Add to Reading ListSource URL: fox.ucw.czLanguage: English - Date: 2013-08-11 16:44:56
|
---|
9![Enriching Language Data through Projected Structures William Lewis, Fei Xia, Dan Jinguji Department of Linguistics University of Washington Enriching Language Data through Projected Structures William Lewis, Fei Xia, Dan Jinguji Department of Linguistics University of Washington](https://www.pdfsearch.io/img/3a114f46ab0ad8d75e348ba7a0914c41.jpg) | Add to Reading ListSource URL: faculty.washington.eduLanguage: English - Date: 2006-10-21 21:59:44
|
---|
10![Compressing Deep Neural Networks with Probabilistic Data Structures Brandon Reagen Udit Gupta Compressing Deep Neural Networks with Probabilistic Data Structures Brandon Reagen Udit Gupta](https://www.pdfsearch.io/img/d2c9123cd870e0c4edc761fe3909920d.jpg) | Add to Reading ListSource URL: www.sysml.ccLanguage: English - Date: 2018-08-15 23:55:00
|
---|