Learning to Pass Expectation Propagation Messages Nicolas Heess∗ Gatsby Unit, UCL Daniel Tarlow Microsoft Research

Source URL: papers.nips.cc

• Probability and statistics
• Statistical theory
• Statistics
• Graphical models
• Bayesian statistics
• Market research
• Market segmentation
• Machine learning
• Factor graph
• Belief propagation
• Variational Bayesian methods
• Mixture model

”Total Monte Carlo” Uncertainty propagation applied to the Phase II-2 burnup calculation (A report for the Assembly Physics of TMI-1 PWR unit cell of the OECD/UAM working group) D. Rochman and C.M. Sciolla

Source URL: tendl.web.psi.ch

Proc. Asia South Pacific Design Automation Conf. (ASP-DAC), Shanghai, China, vol. 1, Jan. 2005, pp. I/2-I/7. Opportunities and Challenges for Better Than Worst-Case Design Todd Austin, Valeria Bertacco, David Blaauw, an

Source URL: web.eecs.umich.edu

• Electronic engineering
• Computing
• Engineering
• Electronic design automation
• Microprocessors
• Central processing unit
• Digital electronics
• Electronic design
• Adder
• Propagation delay
• Standard cell
• Static timing analysis

Microsoft PowerPoint - perspCompatibility Mode]

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

• Logic
• Mathematical logic
• Mathematics
• Propositional calculus
• Automated theorem proving
• Boolean algebra
• Syntax
• Boolean satisfiability problem
• Clause
• Valuation
• Propositional variable
• Unit propagation

Sequential Encodings from Max-CSP into Partial Max-SAT⋆ Josep Argelich1 , Alba Cabiscol2 , Inˆes Lynce3 , and Felip Many`a4 1 2

Source URL: www.mancoosi.org

• Theoretical computer science
• Logic in computer science
• Combinatorial optimization
• Maximum satisfiability problem
• Unit propagation
• Constraint programming
• Mathematics
• Mathematical logic

Journal of Automated Reasoning manuscript No. DOIs10817Interpolation Systems for Ground Proofs in Automated Deduction: a Survey Maria Paola Bonacina · Moa Johansson

Source URL: www.cse.chalmers.se

• Mathematical logic
• Logic
• Theoretical computer science
• Automated theorem proving
• Formal methods
• Logic in computer science
• Electronic design automation
• Craig interpolation
• Interpolation
• Satisfiability modulo theories
• Unit propagation
• Resolution

On interpolation in decision procedures⋆ Maria Paola Bonacina and Moa Johansson Dipartimento di Informatica, Universit` a degli Studi di Verona Strada Le Grazie 15, IVerona, Italy

Source URL: www.cse.chalmers.se

• Automated theorem proving
• Logic in computer science
• Boolean algebra
• Electronic design automation
• Formal methods
• Craig interpolation
• Boolean satisfiability problem
• Unit propagation
• Resolution
• Interpolation
• Propositional calculus
• Satisfiability modulo theories

System Description: iProver – An Instantiation-Based Theorem Prover for First-Order Logic Konstantin Korovin? The University of Manchester School of Computer Science

Source URL: www.cs.man.ac.uk

• Automated theorem proving
• Logic in computer science
• Constraint programming
• Logic programming
• Rules of inference
• Resolution
• Boolean satisfiability problem
• Clause
• Small clause
• Reasoning system
• English relative clauses
• Unit propagation

Kernel Belief Propagation 1 Le Song,1 Arthur Gretton,1,2 Danny Bickson,1 Yucheng Low,1 Carlos Guestrin1 School of Computer Science, CMU; 2 Gatsby Computational Neuroscience Unit & MPI for Biological Cybernetics

Source URL: select.cs.cmu.edu

• Statistics
• Probability
• Mathematical analysis
• Machine learning
• Hilbert space
• Graphical models
• Probability theory
• Belief propagation
• Coding theory
• Positive-definite kernel
• Mixture model
• Normal distribution