UCL

Results: 5495



#Item
901

Proving nontermination via safety Hong-Yi Chen1 , Byron Cook2,1 , Carsten Fuhs1 , Kaustubh Nimkar1 , and Peter O’Hearn1 1 University College London

Add to Reading List

Source URL: www0.cs.ucl.ac.uk

Language: English - Date: 2014-01-19 15:10:16
    902

    SSS10 Proceedings of the 10th International Space Syntax Symposium Investigating the effect of urban form on the environmental appraisal of streetscapes Martin Bielik Bauhaus Universität Weimar

    Add to Reading List

    Source URL: www.sss10.bartlett.ucl.ac.uk

    Language: English - Date: 2015-07-20 14:23:08
      903

      Retrieval of Highly Dynamic Information in an Unstructured Peer-to-Peer Network H. Asthana Ingemar J. Cox

      Add to Reading List

      Source URL: www0.cs.ucl.ac.uk

      Language: English - Date: 2013-03-11 08:06:25
        904

        Nonparametric Indepedence Tests: Space Partitioning and Kernel Approaches Arthur Gretton1 and L´aszl´ o Gy¨ orfi2 1. Gatsby Computational Neuroscience Unit

        Add to Reading List

        Source URL: www.gatsby.ucl.ac.uk

        Language: English - Date: 2010-11-25 10:20:30
          905

          Lecture 3: Dependence measures using RKHS embeddings MLSS T¨ ubingen, 2015 Arthur Gretton Gatsby Unit, CSML, UCL

          Add to Reading List

          Source URL: www.gatsby.ucl.ac.uk

          Language: English - Date: 2015-07-24 06:32:14
            906

            Distribution Regression: Computational-Statistical Efficiency Tradeoff∗ Zolt´an Szab´o (Gatsby Unit, University College London) Abstract: In this talk I am going to focus on the distribution regression problem: regr

            Add to Reading List

            Source URL: www.gatsby.ucl.ac.uk

            Language: English - Date: 2015-12-04 17:39:58
              907

              SSS10 Proceedings of the 10th International Space Syntax Symposium Wayfinding to support urban exploration: Combining space syntax analysis with social media data for navigation system design Ricardo Andrade

              Add to Reading List

              Source URL: www.sss10.bartlett.ucl.ac.uk

              Language: English - Date: 2015-07-20 14:25:24
                908

                Journal of Machine Learning Research3622 Submitted 10/11; PublishedSVDFeature: A Toolkit for Feature-based Collaborative Filtering Tianqi Chen

                Add to Reading List

                Source URL: www0.cs.ucl.ac.uk

                Language: English - Date: 2013-04-16 17:33:31
                  909

                  Microsoft Word - SSS10_Proceedings_023.doc

                  Add to Reading List

                  Source URL: www.sss10.bartlett.ucl.ac.uk

                  Language: English - Date: 2015-07-20 12:58:29
                    910

                    Learning from Features of Sets and Probabilities Zolt´an Szab´ o (Gatsby Unit, UCL) Department of Computing Imperial College London

                    Add to Reading List

                    Source URL: www.gatsby.ucl.ac.uk

                    Language: English - Date: 2016-03-10 14:51:43
                      UPDATE