SIMON

Results: 12846



#Item
431

A coinductive approach to ∞-equivalence relations jww Simon Boulier and Nicolas Tabareau (INRIA Nantes) Egbert Rijke Carnegie Mellon University

Add to Reading List

Source URL: hott-uf.github.io

- Date: 2018-03-28 14:04:14
    432

    1 Revisiting Online Autotuning for Sparse-Matrix Vector Multiplication Kernels on Next-Generation Architectures Simon Garcia De Gonzalo, Simon D. Hammond, Christian R. Trott, and Wen-Mei Hwu

    Add to Reading List

    Source URL: impact.crhc.illinois.edu

    - Date: 2017-12-15 20:53:35
      433

      Improved Testing through Refactoring Experience from the ProTest Project Simon Thompson, Huiqing Li School of Computing, University of Kent

      Add to Reading List

      Source URL: www2010.taicpart.org

      - Date: 2010-09-06 07:37:15
        434

        Case: 3:15-cvbbc Document #: 62 Filed: Page 1 of 76 Assessing the Current Wisconsin State Legislative Districting Plan Simon Jackman July 7, 2015

        Add to Reading List

        Source URL: www.campaignlegalcenter.org

        - Date: 2016-06-20 11:51:51
          435

          Privacy in Pharmacogenetics: An End-to-End Case Study of Personalized Warfarin Dosing Matthew Fredrikson∗ , Eric Lantz∗ , Somesh Jha∗ , Simon Lin† , David Page∗ , Thomas Ristenpart∗ University of Wisconsin∗

          Add to Reading List

          Source URL: www.cs.cmu.edu

          - Date: 2015-12-03 10:28:31
            436

            Pion and Simon Electronics PSERepeater Controller User’s Guide Document Version 2.4 Revised November 21, 2011

            Add to Reading List

            Source URL: www.repeater-builder.com

            - Date: 2016-02-19 11:42:24
              437

              rtCaptcha: A Real-Time CAPTCHA Based Liveness Detection System Erkam Uzun, Simon Pak Ho Chung, Irfan Essa and Wenke Lee Georgia Institute of Technology , , and wen

              Add to Reading List

              Source URL: wp.internetsociety.org

              - Date: 2018-02-14 16:46:12
                438

                Pion and Simon Electronics PSERepeater Controller User’s Guide Document Version 1.0 Revised November 21, 2011

                Add to Reading List

                Source URL: www.repeater-builder.com

                - Date: 2016-02-19 11:42:27
                  439

                  Application Report SLUA421A – May 2007 – Revised September 2007 Quick-Start Guide for bq20zxx Family Gas Gauges Keith Keller and Simon Wen .............................................................................

                  Add to Reading List

                  Source URL: transistor-man.com

                  - Date: 2016-06-23 14:12:09
                    440

                    MODEL STRUCTURE ON THE UNIVERSE IN A TWO LEVEL TYPE THEORY SIMON BOULIER, NICOLAS TABAREAU A BSTRACT. Last year we presented how to formalize a model structure on the universe of fibrant types in Homotopy Type System, an

                    Add to Reading List

                    Source URL: hott-uf.github.io

                    - Date: 2018-03-28 14:04:14
                      UPDATE