arXiv 2018-04-30 EN Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes Baier, Christel · Bertrand, Nathalie · Dubslaff, Clemens · Gburek, Daniel +1
arXiv 2017-08-25 EN Accurate parameter estimation for Bayesian Network Classifiers using Hierarchical Dirichlet Processes Petitjean, Francois · Buntine, Wray · Webb, Geoffrey I. · Zaidi, Nayyar
arXiv 2017-04-04 EN Polynomial Time and Sample Complexity for Non-Gaussian Component Analysis: Spectral Methods Tan, Yan Shuo · Vershynin, Roman
arXiv 2016-11-02 EN Information-theoretic thresholds from the cavity method Coja-Oghlan, Amin · Krzakala, Florent · Perkins, Will · Zdeborova, Lenka
arXiv 2015-12-04 EN Numerical calculations of magnetic properties of nanostructures Kapitan, Vitalii · Peretyatko, Alexey · Nefedev, Konstantin
arXiv 2014-10-27 EN Analyzing Expected Outcomes and Almost-Sure Termination of Probabilistic Programs is Hard Kaminski, Benjamin Lucien · Katoen, Joost-Pieter
arXiv 2013-05-07 EN Probabilistic Constructions of Computable Objects and a Computable Version of Lovász Local Lemma Rumyantsev, Andrei · Shen, Alexander
arXiv 2011-12-06 EN On the satisfiability of random regular signed SAT formulas Laus, Christian · Theis, Dirk Oliver
arXiv 2011-07-01 EN Unbounded Contention Resolution in Multiple-Access Channels Anta, Antonio Fernández · Mosteiro, Miguel A. · Muñoz, Jorge Ramón
