Universally Composable $$\varSigma $$ -protocols in the Global Random-Oracle Model

Inductive Programming: A Survey of Program Synthesis Techniques

Bayesian Wishart matrix factorization

Inductive Programming: A Survey of Program Synthesis Techniques

Rachid EL BANSARKHANI Technische Universität Darmstadt

HoloClean: Holistic Data Repairs with Probabilistic Inference

GUIDEDSAMPLER: Coverage-guided Sampling of SMT Solutions

Fast, Small, Simple Rank/Select on Bitmaps

Non-commutative Ring Learning with Errors from Cyclic Algebras

Learning from evolving video streams in a multi-camera scenario

Bayesian Wishart matrix factorization

Bayesian Wishart matrix factorization

Latex Wikibook, PDF, Te X