开课单位--拉德布德大学
1 1/1

1
Computer Verified Exact Analysis[计算机验证的精确分析]
  Russell O Connor; Bas Spitters(拉德布德大学) This tutorial will illustrate how to use the Coq proof assistant to implement effective and provably correct computation for analysis. Coq provides a ...
热度：52

2
Laser Manipulation of Atoms and Spins[旋转激光操纵原子和]
  Theo Rasing(拉德布德大学) Two of the most important themes of modern magnetism are the making of magnetic structures and the switching of magnetization on ultra fast time scale...
热度：75

3
Opening and welcome of the 5th IAPR International Conference on Pattern Recognition in Bioinformatics 2010 [模式识别开幕的第五届IAPR国际会议，并欢迎在生物信息学2010]
  Elena Marchiori(拉德布德大学) author: Elena Marchiori, Radboud University Nijmegen published: Oct. 14, 2010, recorded: September 2010, views: 117
热度：61

4
Bounds and estimates for BP convergence on binary undirected graphical models[二进制无向图模型中BP收敛的边界和估算]
  Joris Mooij(拉德布德大学) Belief Propagation (BP) has become a popular method for inference on graphical models. Accurate approximations for intractable quantities (e.g. single...
热度：73

5
A Gaussian Approximation for Stochastic Nonlinear Dynamical Processes with Annihilation[带湮没的随机非线性动力学过程的高斯逼近]
  Wim Wiegerinck(拉德布德大学) 带湮没的随机非线性动力学过程的高斯逼近
热度：46

6
The Centre is Everywhere: Religion and the Public Space[ 中心无处不在：宗教与公共空间]
  Inigo Bocken(拉德布德大学)
热度：40

7
Expectation Propagation for Rating Players in Sports Competitions[体育竞赛中运动员的期望传播]
  Adriana Birlutiu(拉德布德大学) 体育竞赛中运动员的期望传播
热度：52
1 1/1