TAO

Results: 1839



#Item
101

Tao Xie University of Illinois at Urbana-Champaign Tao Xie has collaborated with Microsoft Research (MSR) over the last decade. As a visiting researcher in the Research in Software

Add to Reading List

Source URL: taoxie.cs.illinois.edu

- Date: 2016-07-29 23:55:14
    102

    BiGUL: A Formally Verified Core Language for Putback-Based Bidirectional Programming Hsiang-Shang Ko Tao Zan

    Add to Reading List

    Source URL: www.prg.nii.ac.jp

    - Date: 2015-12-19 21:28:53
      103

      Rationalizing Neural Predictions Tao Lei, Regina Barzilay and Tommi Jaakkola Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology {taolei, regina, tommi}@csail.mit.edu

      Add to Reading List

      Source URL: people.csail.mit.edu

      - Date: 2016-09-28 13:00:42
        104

        Sparrows and Owls: Characterisation of Expert Behaviour in StackOverflow Jie Yang, Ke Tao, Alessandro Bozzon, and Geert-Jan Houben Delft University of Technology, Mekelweg 4, 2628 CD Delft, the Netherlands {j.yang-3, k.t

        Add to Reading List

        Source URL: wayback.archive.org

          105

          1 Energy Forecasting in the Smart Grid Era: Opportunities, Challenges and Case Studies Tao Hong, PhD

          Add to Reading List

          Source URL: www.emct.net

          - Date: 2013-08-15 16:46:40
            106

            SYMPLECTIC NON-SQUEEZING OF THE KDV FLOW J. COLLIANDER, M. KEEL, G. STAFFILANI, H. TAKAOKA, AND T. TAO Abstract. We prove two finite dimensional approximation results and a symplectic non-squeezing property for the Korte

            Add to Reading List

            Source URL: math.umn.edu

            - Date: 2006-01-25 12:08:11
              107

              Signature COLLECTION Champagne COCKTAILS

              Add to Reading List

              Source URL: www.tao-group.ch

              - Date: 2016-01-11 11:39:48
                108

                Strongly-Typed Language Support for InternetScale Information Sources 1 Don Syme, Keith Battocchi, Kenji Takeda , Donna Malayeri, Jomo Fisher, Jack Hu, Tao Liu, Brian McNamara, Daniel Quirk, Matteo Taveggia, Wonseok Chae

                Add to Reading List

                Source URL: tomasp.net

                - Date: 2016-08-20 19:46:57
                  109

                  ABSTRACT XIAO, XUSHENG. Cooperative Testing and Analysis via Informed Decision Making. (Under the direction of Tao Xie and Laurie Williams.) Software is pervasive in all aspects of our life, and thus it is critical to en

                  Add to Reading List

                  Source URL: repository.lib.ncsu.edu

                  - Date: 2014-07-25 02:20:30
                    110

                    WO C HE N M EN U FRISCH GEPRESSTER TAGESSAFT BLAUBEER-BUTTERMILCH-SMOOTHIE MIT BAOBAB 10

                    Add to Reading List

                    Source URL: www.tao-group.ch

                    - Date: 2016-08-22 05:06:15
                      UPDATE