Timon

Results: 126



#Item
1

Bayonet: Probabilistic Inference for Networks Timon Gehr Sasa Misailovic Petar Tsankov

Add to Reading List

Source URL: nsg.ee.ethz.ch

Language: English - Date: 2018-04-26 04:15:58
    2

    DP-Finder: Finding Differential Privacy Violations by Sampling and Optimization Benjamin Bichsel Timon Gehr

    Add to Reading List

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

    Language: English - Date: 2018-09-05 10:55:58
      3Mathematical analysis / Probability theory / Statistical theory / Graphical models / Normal distribution / Infinitely divisible probability distributions / Bayesian statistics / Bayesian network / Substitution / Variational Bayesian methods / Exponential family / Dirac delta function

      PSI: Exact Symbolic Inference for Probabilistic Programs Timon Gehr1 , Sasa Misailovic1,2 , and Martin Vechev1 1 2

      Add to Reading List

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

      Language: English - Date: 2018-09-05 10:56:02
      4Network performance / Statistical randomness / Probability theory / Probability / Probabilistic logic / Queueing theory / Input queue / Robust random early detection / Network congestion / Probabilistic programming language

      Bayonet: Probabilistic Inference for Networks Timon Gehr Sasa Misailovic Petar Tsankov

      Add to Reading List

      Source URL: nsg.romeier.ch

      Language: English - Date: 2018-04-26 04:15:58
      5Cryptocurrencies / Economy / Money / Blockchains / Finance / Alternative currencies / Bitcoin / Digital currencies / Blockstream / Smart contract / Counterparty / Ethereum

      Enabling Blockchain Innovations with Pegged Sidechains Adam Back, Matt Corallo, Luke Dashjr, Mark Friedenbach, Gregory Maxwell, Andrew Miller, Andrew Poelstra, Jorge Timón, and Pieter Wuille∗† commit 562

      Add to Reading List

      Source URL: decred.org

      Language: English - Date: 2017-08-15 12:09:10
      6

      Incremental Inference for Probabilistic Programs Marco Cusumano-Towner Benjamin Bichsel Timon Gehr

      Add to Reading List

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

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

        Autonomous Navigation of Hexapod Robots With Vision-based Controller Adaptation Marko Bjelonic1∗ , Timon Homberger2∗ , Navinda Kottege3 , Paulo Borges3 , Margarita Chli4 , Philipp Beckerle5 Abstract— This work intr

        Add to Reading List

        Source URL: www.navinda.kottege.net

        Language: English - Date: 2017-03-02 18:58:24
          8Network performance / Statistical randomness / Probability theory / Probability / Probabilistic logic / Queueing theory / Input queue / Robust random early detection / Network congestion / Probabilistic programming language

          Bayonet: Probabilistic Inference for Networks Timon Gehr Sasa Misailovic Petar Tsankov

          Add to Reading List

          Source URL: www.vanbever.eu

          Language: English - Date: 2018-04-26 08:45:55
          9

          Terrain-dependant Control of Hexapod Robots using Vision Timon Homberger12∗ , Marko Bjelonic13∗ , Navinda Kottege1 , and Paulo V. K. Borges1 1

          Add to Reading List

          Source URL: www.navinda.kottege.net

          Language: English - Date: 2016-08-04 10:37:53
            10

            Enabling Blockchain Innovations with Pegged Sidechains Adam Back, Matt Corallo, Luke Dashjr, Mark Friedenbach, Gregory Maxwell, Andrew Miller, Andrew Poelstra, Jorge Timón, and Pieter Wuille∗† commit 562

            Add to Reading List

            Source URL: blockstream.com

            - Date: 2018-04-03 11:55:18
              UPDATE