INF - PDFSEARCH.IO - Document Search Engine

INF
Results: 15295

#	Item
31	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
32	Verification Using SAT and SMT Solvers1 N. Shankar Computer Science Laboratory SRI International Menlo Park, CA Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-08-25 09:00:40 Theoretical computer science Mathematical logic Mathematics Boolean algebra Logic in computer science Electronic design automation Formal methods NP-complete problems Boolean satisfiability problem Satisfiability modulo theories Propositional calculus Model checking
33	Better Answers to Real Questions Thomas Sturm, Joint Work with M. Košta and A. Dolzmann SMT 2014, Vienna, 18 Julyhttp://www.mpi-inf.mpg.de/~sturm/ Add to Reading List Source URL: smt2014.it.uu.se Language: English - Date: 2014-07-18 15:01:43
34	Source Accountability with Domain-brokered Privacy Taeho Lee, Christos Pappas, David Barrera, Pawel Szalachowski, Adrian Perrig ETH Zürich {kthlee, pappasch, david.barrera, psz, adrian.perrig}@inf.ethz.ch ABSTRACT Add to Reading List Source URL: www.netsec.ethz.ch Language: English
35	PDF Document Add to Reading List Source URL: files.sri.inf.ethz.ch - Date: 2018-09-05 10:57:53
36	Overview Hoare Logic Separation Logic Entailment Exercise Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-08-26 04:15:49 Theoretical computer science Formal methods Mathematical logic Logic Logic in computer science Substructural logic Hoare logic Static program analysis Separation logic Predicate transformer semantics Loop invariant Existential quantification
37	Inferring Crypto API Rules from Code Changes Rumen Paletov∗ Petar Tsankov ETH Zurich, Switzerland Add to Reading List Source URL: files.sri.inf.ethz.ch Language: English - Date: 2018-09-05 10:55:59
38	(Mostly Real) Quantifier Elimination Thomas Sturm AVACS Autumn School, Oldenburg, Germany, October 1, 2015 http://www.mpi-inf.mpg.de/~sturm/ Add to Reading List Source URL: www.avacs.org Language: English - Date: 2015-10-05 02:59:04 Mathematical logic Mathematics Logic Model theory Predicate logic Quantification Quantifier First-order logic Definable set FO Grbner basis Real closed field
39	Planning and Patching Proofs: Exercises Lucas Dixon and Alan Bundy August 26, 2010 1 Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-08-26 11:35:12 Automated theorem proving Heuristics Rippling Mathematical induction Cognition
40	Unleashing dynamic task scheduling at rack-scale Magnus Norgren, Andra Hugo (DDN Storage), Stefanos Kaxiras, Konstan9nos Sagonas Add to Reading List Source URL: workshops.inf.ed.ac.uk Language: English - Date: 2018-04-03 09:33:36 Computing Computer memory Parallel computing Computer architecture Dynamic random-access memory Latency OpenMP Random-access memory

UPDATE