Files

Results: 106396



#Item
1Probability and statistics / Probability theory / Artificial intelligence / Machine learning / Computational statistics / Graphical models / Computational linguistics / Natural language processing / Conditional random field / Probabilistic programming language / Inference / Support vector machine

Programming with “Big Code”: Lessons, Techniques and Applications Pavol Bielik1 , Veselin Raychev1 , and Martin Vechev1 1 Department of Computer Science, ETH Zurich, Switzerland

Add to Reading List

Source URL: files.sri.inf.ethz.ch

Language: English - Date: 2018-09-05 10:56:02
2

Securify: Practical Security Analysis of Smart Contracts Petar Tsankov Andrei Dan Dana Drachsler-Cohen

Add to Reading List

Source URL: files.sri.inf.ethz.ch

Language: English - Date: 2018-09-05 10:55:59
    3Education / Culture / Human behavior / Cultural studies / Majorityminority relations / Acculturation / Immigration / Peer mentoring / International student / Psychology / Stress / Boarding school

    Microsoft Word - Vol 6 Issue 4 ALL Articles-Layout

    Add to Reading List

    Source URL: files.eric.ed.gov

    Language: English - Date: 2017-02-27 16:09:16
    4Computational chemistry / Constraint / Computational science / Physics / Applied mathematics

    Robust Relational Layout Synthesis from Examples for Android

    Add to Reading List

    Source URL: files.sri.inf.ethz.ch

    Language: English - Date: 2018-10-19 10:28:46
    5

    PDF Document

    Add to Reading List

    Source URL: files.sri.inf.ethz.ch

    Language: English - Date: 2018-09-05 10:56:00
      6

      PDF Document

      Add to Reading List

      Source URL: files.sri.inf.ethz.ch

      - Date: 2018-09-05 10:57:59
        7Education / Human behavior / Student exchange / International student / Student migration / Students' union / Higher education / Inclusion / Student / Study abroad in the United States / Student exchange program

        Microsoft Word - Vol 6 Issue 2 main artilces for print

        Add to Reading List

        Source URL: files.eric.ed.gov

        Language: English - Date: 2016-07-28 14:45:12
        8Applied mathematics / Cognition / Cybernetics / Learning / Machine learning / Artificial neural network / Analysis / Algorithm / Mathematics

        Learning a Static Analyzer from Data Pavol Bielik, Veselin Raychev, and Martin Vechev Department of Computer Science, ETH Z¨ urich, Switzerland {pavol.bielik, veselin.raychev, martin.vechev}@inf.ethz.ch

        Add to Reading List

        Source URL: files.sri.inf.ethz.ch

        Language: English - Date: 2018-09-05 10:55:58
        9

        Probabilistic Model for Code with Decision Trees Veselin Raychev Pavol Bielik Martin Vechev

        Add to Reading List

        Source URL: files.sri.inf.ethz.ch

        Language: English - Date: 2018-09-05 10:56:01
          10Programming language syntax / Biconjugate gradient stabilized method / Numerical linear algebra / Module:Dump

          http://plml.ethz.ch Big Code: last 5 years @ ETH • •

          Add to Reading List

          Source URL: files.sri.inf.ethz.ch

          Language: English - Date: 2018-09-05 10:57:53
          UPDATE