11![Grivaux, Julien On a conjucture of Kashiwara relating Chern and Euler classes of O-modules. (English) Zbl J. Differ. Geom. 90, No. 2, Characteristic classes in Hochschild homology are well Grivaux, Julien On a conjucture of Kashiwara relating Chern and Euler classes of O-modules. (English) Zbl J. Differ. Geom. 90, No. 2, Characteristic classes in Hochschild homology are well](https://www.pdfsearch.io/img/dc4d1b5c04a985a1b85c7987af293282.jpg) | Add to Reading ListSource URL: jgrivaux.perso.math.cnrs.frLanguage: English - Date: 2018-03-18 08:56:03
|
---|
12![SECURITY The Adblocking Tug-of-War The Adblocking Tug-of-War H A M E D H A D D A D I , R I S H A B N I T H YA N A N D , S H E H A R B A N O K H AT TA K , M O B I N J AV E D, N A R S EO VA L L I N A - R O D R I G U E Z , SECURITY The Adblocking Tug-of-War The Adblocking Tug-of-War H A M E D H A D D A D I , R I S H A B N I T H YA N A N D , S H E H A R B A N O K H AT TA K , M O B I N J AV E D, N A R S EO VA L L I N A - R O D R I G U E Z ,](https://www.pdfsearch.io/img/470544502b4dcf2bf112c4785b372d65.jpg) | Add to Reading ListSource URL: sheharbano.comLanguage: English - Date: 2017-02-16 07:58:26
|
---|
13![Algebraic techniques for number field computations (extended abstract) Jean-Fran¸cois Biasse1 , Michael J. Jacobson, Jr.2? , and Alan K. Silvester3 ´ Ecole Polytechnique, 91128 Palaiseau, France Algebraic techniques for number field computations (extended abstract) Jean-Fran¸cois Biasse1 , Michael J. Jacobson, Jr.2? , and Alan K. Silvester3 ´ Ecole Polytechnique, 91128 Palaiseau, France](https://www.pdfsearch.io/img/5d09f6632b02783b8f26f15037fd00e2.jpg) | Add to Reading ListSource URL: www.lix.polytechnique.frLanguage: English - Date: 2014-09-02 14:57:05
|
---|
14![Unbounded Model-Checking with Interpolation for Regular Language Constraints Graeme Gange, Jorge A. Navas, Peter J. Stuckey, Harald Søndergaard, and Peter Schachte The University of Melbourne {ggange,jnavas,pjs,harald,s Unbounded Model-Checking with Interpolation for Regular Language Constraints Graeme Gange, Jorge A. Navas, Peter J. Stuckey, Harald Søndergaard, and Peter Schachte The University of Melbourne {ggange,jnavas,pjs,harald,s](https://www.pdfsearch.io/img/76866489c5cfff95da5495171320e8d7.jpg) | Add to Reading ListSource URL: jorgenavas.github.ioLanguage: English - Date: 2018-10-25 12:43:22
|
---|
15![IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, # 1 Swarm Verification Techniques Gerard J. Holzmann, Rajeev Joshi, and Alex Groce IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, # 1 Swarm Verification Techniques Gerard J. Holzmann, Rajeev Joshi, and Alex Groce](https://www.pdfsearch.io/img/da44ee26ae1e16c6b5630678ab6005af.jpg) | Add to Reading ListSource URL: rjoshi.orgLanguage: English - Date: 2010-09-11 18:27:55
|
---|
16![Quack: Scalable Remote Measurement of Application-Layer Censorship Benjamin VanderSloot, Allison McDonald, Will Scott, J. Alex Halderman, and Roya Ensafi University of Michigan {benvds, amcdon, willscott, jhalderm, ensaf Quack: Scalable Remote Measurement of Application-Layer Censorship Benjamin VanderSloot, Allison McDonald, Will Scott, J. Alex Halderman, and Roya Ensafi University of Michigan {benvds, amcdon, willscott, jhalderm, ensaf](https://www.pdfsearch.io/img/e786952b4e096a47d5c79b48c2ad6576.jpg) | Add to Reading ListSource URL: benvds.comLanguage: English - Date: 2018-09-18 11:06:16
|
---|
17![HONG KONG INSTITUTE FOR MONETARY RESEARCH HIGH-FREQUENCY TRADING IN THE U.S. TREASURY MARKET AROUND MACROECONOMIC NEWS ANNOUNCEMENTS George J. Jiang, Ingrid Lo and Giorgio Valente HONG KONG INSTITUTE FOR MONETARY RESEARCH HIGH-FREQUENCY TRADING IN THE U.S. TREASURY MARKET AROUND MACROECONOMIC NEWS ANNOUNCEMENTS George J. Jiang, Ingrid Lo and Giorgio Valente](https://www.pdfsearch.io/img/8fc4958baadadb370d02b8e1b9a6d9b3.jpg) | Add to Reading ListSource URL: www.hkimr.orgLanguage: English - Date: 2018-08-16 22:14:26
|
---|
18![](/pdf-icon.png) | Add to Reading ListSource URL: vote.franklincountyohio.govLanguage: English - Date: 2018-07-16 14:21:36
|
---|
19![Model-Driven Software Verification Gerard J. Holzmann Rajeev Joshi JPL Laboratory for Reliable Software California Institute of Technology 4800 Oak Grove Drive Model-Driven Software Verification Gerard J. Holzmann Rajeev Joshi JPL Laboratory for Reliable Software California Institute of Technology 4800 Oak Grove Drive](https://www.pdfsearch.io/img/579d82bea5f93ad180523ea554b736ce.jpg) | Add to Reading ListSource URL: rjoshi.orgLanguage: English - Date: 2010-09-11 18:26:03
|
---|
20![Quack: Scalable Remote Measurement of Application-Layer Censorship Benjamin VanderSloot, Allison McDonald, Will Scott, J. Alex Halderman, and Roya Ensafi University of Michigan {benvds, amcdon, willscott, jhalderm, ensaf Quack: Scalable Remote Measurement of Application-Layer Censorship Benjamin VanderSloot, Allison McDonald, Will Scott, J. Alex Halderman, and Roya Ensafi University of Michigan {benvds, amcdon, willscott, jhalderm, ensaf](https://www.pdfsearch.io/img/d697e1200b53b7fb748ccf142629f8c2.jpg) | Add to Reading ListSource URL: benjaminvandersloot.comLanguage: English - Date: 2018-09-18 11:06:16
|
---|