Machine

Results: 42611



#Item
41Programming by Examples: Logical Reasoning meets Machine Learning NAMPI Workshop July 2018 Sumit Gulwani

Programming by Examples: Logical Reasoning meets Machine Learning NAMPI Workshop July 2018 Sumit Gulwani

Add to Reading List

Source URL: uclmr.github.io

Language: English - Date: 2018-08-06 06:17:49
42Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers Stuart Pernsteiner1 , Calvin Loncaric1 , Emina Torlak1 , Zachary Tatlock1 , Xi Wang1 , Michael D. Ernst1 , and Jonathan Jacky2 1

Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers Stuart Pernsteiner1 , Calvin Loncaric1 , Emina Torlak1 , Zachary Tatlock1 , Xi Wang1 , Michael D. Ernst1 , and Jonathan Jacky2 1

Add to Reading List

Source URL: unsat.cs.washington.edu

Language: English - Date: 2018-08-21 17:45:06
43An Offline Capture The Flag-Style Virtual Machine and an Assessment of its Value for Cybersecurity Education Tom Chothia School of Computer Science University of Birmingham, UK

An Offline Capture The Flag-Style Virtual Machine and an Assessment of its Value for Cybersecurity Education Tom Chothia School of Computer Science University of Birmingham, UK

Add to Reading List

Source URL: www.cs.bham.ac.uk

Language: English - Date: 2017-06-07 20:45:26
44

PDF Document

Add to Reading List

Source URL: www.plate-rolling-machine.com

- Date: 2018-03-27 03:25:05
    45

    PDF Document

    Add to Reading List

    Source URL: www.unbelievable-machine.com

    - Date: 2017-02-01 08:08:36
      46

      "Preliminary Historical Report On the Solution of the "B" Machine" by William F. Friedman

      Add to Reading List

      Source URL: cryptocellar.org

      - Date: 2016-01-28 16:28:11
        47Proceedings of Machine Learning Research 81:1–12, 2018 Conference on Fairness, Accountability, and Transparency The Cost of Fairness in Binary Classification Aditya Krishna Menon

        Proceedings of Machine Learning Research 81:1–12, 2018 Conference on Fairness, Accountability, and Transparency The Cost of Fairness in Binary Classification Aditya Krishna Menon

        Add to Reading List

        Source URL: proceedings.mlr.press

        Language: English - Date: 2018-07-16 18:43:08
          48Structural Design of a Newly Developed Ultraprecision machine Tool “ANGEL” Hayato Yoshioka1 , and Hidenori Shinno1 1 Tokyo Institute of Technology, Yokohama, Japan

          Structural Design of a Newly Developed Ultraprecision machine Tool “ANGEL” Hayato Yoshioka1 , and Hidenori Shinno1 1 Tokyo Institute of Technology, Yokohama, Japan

          Add to Reading List

          Source URL: www.jspe.or.jp

          Language: English - Date: 2014-04-23 03:37:33
            49Naive Bayes Classifiers Shrey Gupta Applied Machine Learning (HOUSECS 59-01), Duke University October 3, 2018

            Naive Bayes Classifiers Shrey Gupta Applied Machine Learning (HOUSECS 59-01), Duke University October 3, 2018

            Add to Reading List

            Source URL: shreygupta.me

            Language: English - Date: 2018-07-30 14:23:55
              50RIWI Corp. (CSE: RIW) How does RIWI give Finance Clients an Information Edge? RIWI captures proprietary and continuous opinion data, machine data, and economic activity data 24/7 from across the world. RIWI can collect

              RIWI Corp. (CSE: RIW) How does RIWI give Finance Clients an Information Edge? RIWI captures proprietary and continuous opinion data, machine data, and economic activity data 24/7 from across the world. RIWI can collect

              Add to Reading List

              Source URL: riwi.com

              Language: English - Date: 2018-03-07 13:14:55