Jonathan

Results: 11063



#Item
291

Where I’m From By Jonathan Joy, Boyd County I am from the S-curve And plastic Big Wheels scraping against hot Willowvale pavement. I am from a Glenroy house overlooking the mighty Ohio,

Add to Reading List

Source URL: artscouncil.ky.gov

- Date: 2016-12-19 15:46:39
    292

    Effects for Funargs Jeremy G. Siek, Michael M. Vitousek, and Jonathan D. Turner University of Colorado at Boulder Abstract

    Add to Reading List

    Source URL: homes.soic.indiana.edu

    - Date: 2018-03-09 15:07:53
      293

      Extracting from F* to C: a progress report Peng Wang MIT, Microsoft Research Karthikeyan Bhargavan Jean-Karim Zinzindohoué

      Add to Reading List

      Source URL: jonathan.protzenko.fr

      - Date: 2016-07-26 19:39:57
        294

        The Security of NTP’s Datagram Protocol Aanchal Malhotra⇤ , Matthew Van Gundy† , Mayank Varia⇤ , Haydn Kennedy⇤ , Jonathan Gardner† , Sharon Goldberg⇤ ⇤ Boston University

        Add to Reading List

        Source URL: fc17.ifca.ai

        - Date: 2017-03-17 11:55:03
          295

          Beyond Open Source: The TouchDevelop Cloud-based Integrated Development Environment Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Michał Moskal, Jonathan Protzenko, Nikolai Tillmann Microsoft Research One Micr

          Add to Reading List

          Source URL: jonathan.protzenko.fr

          - Date: 2016-02-17 18:26:35
            296

            An Evaluation of Selective Depipelining for FPGA-based Energy-Reducing Irregular Code Coprocessors Jack Sampson, Manish Arora, Nathan Goulding-Hotta, Ganesh Venkatesh, Jonathan Babb+ , Vikram Bhatt, Steven Swanson, and M

            Add to Reading List

            Source URL: cseweb.ucsd.edu

            - Date: 2011-08-22 21:37:18
              297

              Functional Pearl: the Proof Search Monad Jonathan Protzenko Microsoft Research Abstract We present the proof search monad, a set of combinators that allows one to write a proof search

              Add to Reading List

              Source URL: jonathan.protzenko.fr

              - Date: 2015-11-24 20:09:38
                298

                Deep Voice: Real-time Neural Text-to-Speech ¨ Arık * 1 Mike Chrzanowski * 1 Adam Coates * 1 Gregory Diamos * 1 Andrew Gibiansky * 1 Sercan O. Yongguo Kang * 2 Xian Li * 2 John Miller * 1 Andrew Ng * 1 Jonathan Raiman *

                Add to Reading List

                Source URL: proceedings.mlr.press

                - Date: 2018-02-06 15:06:57
                  299

                  Iris: A Conversational Agent for Complex Tasks Ethan Fast, Binbin Chen, Julia Mendelsohn, Jonathan Bassen, Michael S. Bernstein Stanford University {bchen45, jmendels, jbassen}@stanford.edu, {ethan.fast, msb}@cs.stanford

                  Add to Reading List

                  Source URL: hci.stanford.edu

                  - Date: 2018-02-20 18:25:34
                    300

                    The implementation of the Mezzo type-checker Jonathan Protzenko INRIA Abstract

                    Add to Reading List

                    Source URL: jonathan.protzenko.fr

                    - Date: 2015-01-02 09:04:04
                      UPDATE