1![Learning to Pass Expectation Propagation Messages Nicolas Heess∗ Gatsby Unit, UCL Daniel Tarlow Microsoft Research Learning to Pass Expectation Propagation Messages Nicolas Heess∗ Gatsby Unit, UCL Daniel Tarlow Microsoft Research](https://www.pdfsearch.io/img/48a3acf3d7bf9e11511fa31db49a0dbb.jpg) | Add to Reading ListSource URL: papers.nips.ccLanguage: English - Date: 2014-11-25 16:15:37
|
---|
2![”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 ”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](https://www.pdfsearch.io/img/32532d6e928478da65e78bb1f3a733ee.jpg) | Add to Reading ListSource URL: tendl.web.psi.chLanguage: English - Date: 2015-11-03 05:28:26
|
---|
3![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 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](https://www.pdfsearch.io/img/8d5109b711bc8b5862ddc51de5cc94f4.jpg) | Add to Reading ListSource URL: web.eecs.umich.eduLanguage: English - Date: 2016-04-03 10:58:13
|
---|
4![Microsoft PowerPoint - perspCompatibility Mode] Microsoft PowerPoint - perspCompatibility Mode]](https://www.pdfsearch.io/img/88e995afc06af6898a4914d6abb32ae0.jpg) | Add to Reading ListSource URL: resources.mpi-inf.mpg.deLanguage: English - Date: 2012-12-18 03:41:56
|
---|
5![Sequential Encodings from Max-CSP into Partial Max-SAT⋆ Josep Argelich1 , Alba Cabiscol2 , Inˆes Lynce3 , and Felip Many`a4 1 2 Sequential Encodings from Max-CSP into Partial Max-SAT⋆ Josep Argelich1 , Alba Cabiscol2 , Inˆes Lynce3 , and Felip Many`a4 1 2](https://www.pdfsearch.io/img/6585ddc9ad8760f3f9cc05e590a0471b.jpg) | Add to Reading ListSource URL: www.mancoosi.orgLanguage: English - Date: 2012-12-16 04:54:55
|
---|
6![Journal of Automated Reasoning manuscript No. DOIs10817Interpolation Systems for Ground Proofs in Automated Deduction: a Survey Maria Paola Bonacina · Moa Johansson Journal of Automated Reasoning manuscript No. DOIs10817Interpolation Systems for Ground Proofs in Automated Deduction: a Survey Maria Paola Bonacina · Moa Johansson](https://www.pdfsearch.io/img/e8b4185bc270213efdd0693cf4a96cee.jpg) | Add to Reading ListSource URL: www.cse.chalmers.seLanguage: English - Date: 2015-03-16 05:12:39
|
---|
7![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 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](https://www.pdfsearch.io/img/f84b0c02187d12a52e57274b6934cf5c.jpg) | Add to Reading ListSource URL: www.cse.chalmers.seLanguage: English - Date: 2012-03-21 07:54:00
|
---|
8![System Description: iProver – An Instantiation-Based Theorem Prover for First-Order Logic Konstantin Korovin? The University of Manchester School of Computer Science System Description: iProver – An Instantiation-Based Theorem Prover for First-Order Logic Konstantin Korovin? The University of Manchester School of Computer Science](https://www.pdfsearch.io/img/78d32906e178c8f81e39534ff543a37c.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2008-10-30 19:06:51
|
---|
9![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 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](https://www.pdfsearch.io/img/e07b0e7842d50d55c1f6934ea2a0d44a.jpg) | Add to Reading ListSource URL: select.cs.cmu.eduLanguage: English - Date: 2011-07-19 21:41:57
|
---|