INF

Results: 15295



#Item
531

Probabilistic Modelling of Station Locations in Bicycle-Sharing Systems Dani¨el Reijsbergen(B) University of Edinburgh, Edinburgh, UK

Add to Reading List

Source URL: blog.inf.ed.ac.uk

Language: English - Date: 2017-02-23 11:35:00
    532

    Annual ReportIAMJanuary, 2001

    Add to Reading List

    Source URL: www.inf.unibe.ch

    Language: English - Date: 2017-11-10 04:59:07
      533

      Efficient Syntax-driven Lumping of Differential Equations Luca Cardelli1 , Mirco Tribastone2 , Max Tschaikowski2 , and Andrea Vandin2 1 2

      Add to Reading List

      Source URL: blog.inf.ed.ac.uk

      Language: English - Date: 2017-02-23 09:14:34
        534

        Lecture 5 Maximal Independent Set 5.1 The Problem

        Add to Reading List

        Source URL: www.mpi-inf.mpg.de

        Language: English - Date: 2016-11-24 14:49:03
          535

          AIF-Projekt Projektleiter: Prof. Dr. Christiane Tammer Mitarbeiter: Dipl.-Inf. Gabriel Neumann Thema: Neuartige Verfahren interaktiver, kombinierter Touren- und Standortoptimierung Kurzbezeichnung: Neuartige Algorithmen

          Add to Reading List

          Source URL: ito.mathematik.uni-halle.de

          Language: German - Date: 2013-05-14 09:14:51
            536

            QUANTICOL A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours quancol

            Add to Reading List

            Source URL: blog.inf.ed.ac.uk

            Language: English - Date: 2017-03-17 09:13:31
              537

              Typing Massive JSON Datasets Dario Colazzo Université Paris Sud INRIA Sunday, September 9, 12

              Add to Reading List

              Source URL: workshops.inf.ed.ac.uk

              Language: English - Date: 2012-11-05 10:20:13
                538

                Contents Version Abregée vii Abstra t

                Add to Reading List

                Source URL: people.inf.ethz.ch

                Language: English - Date: 2014-04-16 16:28:15
                  539

                  QUANTICOL A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours quancol

                  Add to Reading List

                  Source URL: blog.inf.ed.ac.uk

                  Language: English - Date: 2016-03-30 09:23:08
                    540

                    CGCExplorer: A Semi-Automated Search Procedure for Provably Correct Concurrent Collectors Martin T. Vechev Cambridge University Eran Yahav

                    Add to Reading List

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

                    Language: English - Date: 2018-05-15 09:28:45
                      UPDATE