Timon - PDFSEARCH.IO - Document Search Engine

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
3	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 Mathematical 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
4	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 Network performance Statistical randomness Probability theory Probability Probabilistic logic Queueing theory Input queue Robust random early detection Network congestion Probabilistic programming language
5	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 Cryptocurrencies Economy Money Blockchains Finance Alternative currencies Bitcoin Digital currencies Blockstream Smart contract Counterparty Ethereum
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
8	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 Network performance Statistical randomness Probability theory Probability Probabilistic logic Queueing theory Input queue Robust random early detection Network congestion Probabilistic programming language
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