TIM

Results: 12630



#Item
501

A Mechanical Soundness Proof for Subtyping Over Recursive Types Timothy Jones David J. Pearce School of Engineering and Computer Science Victoria University of Wellington, New Zealand {tim,djp}@ecs.vuw.ac.nz

Add to Reading List

Source URL: homepages.ecs.vuw.ac.nz

- Date: 2016-06-28 21:00:30
    502

    Kroger Bakery Cake Icing Line NORA Abstract Vance Bowman, Josh Holmstead, Kevin Hettinger, Tim Duffy Icing a cake requires skilled manual labor, which is difficult to remove through engineering measures. This task requir

    Add to Reading List

    Source URL: www.ergo.mech.utah.edu

    - Date: 2015-03-06 17:43:58
      503

      The First WISCONSIN POVERTY REPORT Tim Smeeding

      Add to Reading List

      Source URL: irp.wisc.edu

      - Date: 2012-03-29 14:34:13
        504

        Autom Softw Eng: 439–468 DOIs10515x Automatically finding the control variables for complex system behavior Gregory Gay · Tim Menzies · Misty Davies ·

        Add to Reading List

        Source URL: ntrs.nasa.gov

        - Date: 2013-04-10 16:59:51
          505

          Generating Natural Language Inference Chains Vladyslav Kolesnyk and Tim Rockt¨ aschel and Sebastian Riedel University College London London, UK

          Add to Reading List

          Source URL: arxiv.org

          - Date: 2016-06-06 20:46:49
            506

            Preclinical and Clinical Activity of Anti-DLL4 (Demcizumab) in Combination with Gemcitabine Plus nab-Paclitaxel in Pancreatic Cancer Manuel Hidalgo*, Antonio Cubillo*, Robert Stagg**, Jakob Dupont**, Wan-Ching Yen**, Tim

            Add to Reading List

            Source URL: s3.amazonaws.com

            - Date: 2014-11-19 14:29:44
              507

              Improved Techniques for Training GANs arXiv:1606.03498v1 [cs.LG] 10 Jun 2016 Tim Salimans

              Add to Reading List

              Source URL: arxiv.org

              - Date: 2016-06-13 20:46:18
                508

                Innovation and Sustainability with Gold Cards I am not a load factor - I am a free man Julian Higman Tim Mackinnon Ivan Moore

                Add to Reading List

                Source URL: www.morethan.technology

                - Date: 2014-04-03 17:40:43
                  509

                  Universal Dependencies Joakim Nivre, Dan Zeman, Filip Ginter, Sampo Pyysalo, Chris Manning, Marie-Catherine de Marneffe, Natalia Silveira, Slav Petrov, Ryan McDonald, Tim Dozat, Jan Hajič, Jinho Choi, Reut Tsarfaty, Yoa

                  Add to Reading List

                  Source URL: ufal.mff.cuni.cz

                  - Date: 2016-07-20 20:53:50
                    510

                    Whitepaper on App Token Funds Primoz Kordez, Tim M. Zagar, Jani Valjavec, Zenel Batagelj, Ervin U. Kovac Abstract With the unprecedented rise of cryptocurrencies and blockchain technology, new opportunities are arising i

                    Add to Reading List

                    Source URL: www.iconomi.net

                    - Date: 2016-08-30 10:56:15
                      UPDATE