Sasa - PDFSEARCH.IO - Document Search Engine

Sasa
Results: 352

#	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	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
3	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
4	Verifying Quantitative Reliability of Programs That Execute on Unreliable Hardware (Appendix) Michael Carbin Sasa Misailovic Add to Reading List Source URL: groups.csail.mit.edu Language: English - Date: 2013-10-28 12:00:37
5	Sasa Ibrulj - Igrac za raju final PDF.pdf Add to Reading List Source URL: buybook.ba Language: Croatian - Date: 2018-02-02 10:00:20
6	DRAFT Bambusa fortunei and Bambusa variegata: competing basionyms for the whitevariegated dwarf leptomorph bamboo currently placed in Arundinaria, Pleioblastus, or Sasa Chris Stapleton Introduction The two opposing views Add to Reading List Source URL: bamboo-identification.co.uk Language: English - Date: 2018-02-15 07:30:44
7	-deset let verižnega eksperimenta Jurij Bajc, Saša Ziherl, Katarina Susman Pedagoška fakulteta, Univerza v Ljubljani Add to Reading List Source URL: verizni.splet.arnes.si Language: Slovenian - Date: 2016-04-25 11:20:14
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	sasa — Command Print a summary of process accounting Add to Reading List Source URL: www.nesssoftware.com Language: English - Date: 2012-09-19 16:30:56
10	Accuracy-Aware Program Transformations Sasa Misailovic MIT 1. Add to Reading List Source URL: misailo.cs.illinois.edu - Date: 2017-07-02 19:52:45