J

Results: 175847



#Item
11Grivaux, 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

Add to Reading List

Source URL: jgrivaux.perso.math.cnrs.fr

Language: English - Date: 2018-03-18 08:56:03
12SECURITY 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 ,

Add to Reading List

Source URL: sheharbano.com

Language: English - Date: 2017-02-16 07:58:26
13Algebraic 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

Add to Reading List

Source URL: www.lix.polytechnique.fr

Language: English - Date: 2014-09-02 14:57:05
14Unbounded 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

Add to Reading List

Source URL: jorgenavas.github.io

Language: English - Date: 2018-10-25 12:43:22
15IEEE 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

Add to Reading List

Source URL: rjoshi.org

Language: English - Date: 2010-09-11 18:27:55
16Quack: 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

Add to Reading List

Source URL: benvds.com

Language: English - Date: 2018-09-18 11:06:16
17HONG 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

Add to Reading List

Source URL: www.hkimr.org

Language: English - Date: 2018-08-16 22:14:26
18

«PARTY»-«PRECINCT» «FIRSTNAME»J<> "" " " "" J «MIDDLE» «LASTNAME»<> "" ", " "" «SUFFIX» «RES_HOUSE»<> "" " " "" «RES_FRAC» «RES_STREET» «RES_APT» «RES_CITY», «RES_STATE» «RES_ZIP» «Next Record

Add to Reading List

Source URL: vote.franklincountyohio.gov

Language: English - Date: 2018-07-16 14:21:36
    19Model-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

    Add to Reading List

    Source URL: rjoshi.org

    Language: English - Date: 2010-09-11 18:26:03
    20Quack: 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

    Add to Reading List

    Source URL: benjaminvandersloot.com

    Language: English - Date: 2018-09-18 11:06:16