Ilya - PDFSEARCH.IO - Document Search Engine

Ilya
Results: 536

#	Item
151	Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity Ilya Sergey, Aleksandar Nanevski, and Anindya Banerjee IMDEA Software Institute, Spain {ilya.sergey, aleks.nanevski, anindya.banerjee}@imdea. Add to Reading List Source URL: ilyasergey.net Language: English - Date: 2016-03-01 06:31:32 Logic in computer science Separation logic Substructural logic
152	Ilya Zaliapin Department of Mathematics and Statistics University of Nevada Reno, NVPhone: ( Add to Reading List Source URL: wolfweb.unr.edu Language: English - Date: 2015-06-23 15:29:41 Seismology Geology Planetary science Earth Earthquake prediction Earthquakes Prediction Southern California Earthquake Center Earthquake International Union of Geodesy and Geophysics SCEC Induced seismicity
153	Ilya Razenshteyn September 15, 2015 Resear interests Similarity search, sketching, metric embeddings, high-dimensional geometry, streaming algorithms, compressed sensing, combinatorial optimization. Add to Reading List Source URL: ilyaraz.org Language: English - Date: 2015-09-15 10:00:49
154	Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity Extended version Ilya Sergey, Aleksandar Nanevski, and Anindya Banerjee IMDEA Software Institute, Spain {ilya.sergey, aleks.nanevski, anindya Add to Reading List Source URL: ilyasergey.net Language: English - Date: 2016-03-01 06:31:32 Logic in computer science Separation logic Substructural logic
155	Beyond Locality-Sensitive Hashing Alexandr Andoni (Microsoft Research), Piotr Indyk (MIT), Huy L. Nguyen (Princeton) and Ilya Razenshteyn (MIT) (Approximate) Near Neighbor Problem ((A)NN) The main approach: data-depende Add to Reading List Source URL: ilyaraz.org Language: English - Date: 2014-04-21 21:52:06
156	Scala for TAPL’ers Part 2 Ilya Sergey Substitutions vs Closures Parsing Add to Reading List Source URL: ilyasergey.net Language: English - Date: 2016-03-01 06:31:32 Software engineering Computing Computer programming Lambda calculus Automated theorem proving Logic programming Subroutines Logic in computer science Substitution Closure Free variables and bound variables Term
157	Beyond Locality-Sensitive Hashing Alexandr Andoni1 Piotr Indyk2 Huy L. Nguy˜ên3 Ilya Razenshteyn2 1 Microsoft Research SVC Add to Reading List Source URL: ilyaraz.org Language: English - Date: 2014-01-06 16:21:36
158	2008 PROCEEDINGS of the NPA Resolution of the SLT-Order Paradox Glenn Borchardt Add to Reading List Source URL: scientificphilosophy.com Language: English - Date: 2009-09-16 12:51:44 Thermodynamic entropy Thermodynamics Philosophy of thermal and statistical physics Non-equilibrium thermodynamics State functions Second law of thermodynamics Entropy What Is Life? Irreversible process Thermodynamic system Isolated system Ilya Prigogine
159	Web PKI: Closing the Gap between Guidelines and Practices Antoine Delignat-Lavaud‡ , Mart´ın Abadi† , Andrew Birrell† , Ilya Mironov† , Ted Wobber† , and Yinglian Xie† † Microsoft Research Add to Reading List Source URL: users.soe.ucsc.edu Language: English - Date: 2013-12-08 16:43:03
160	Dark Elderberry Branch: Poems of Marina Tsvetaeva A Reading by Ilya Kaminsky and Jean Valentine Publication Date: November 2012 Distribution: National Barcode: Yes Add to Reading List Source URL: alicejamesbooks.org Language: English - Date: 2012-11-16 22:38:58

UPDATE