Wouter - PDFSEARCH.IO - Document Search Engine

Wouter
Results: 635

#	Item
101	Introduction to Elliptic Curve Cryptography ECC Summer School KU Leuven, Belgium September 11, 2013 Add to Reading List Source URL: www.cosic.esat.kuleuven.be Language: English - Date: 2013-09-23 05:41:56 Geography of Belgium Katholieke Universiteit Leuven Leuven Alice series Wouter
102	High level architectural modelling for early estimation of power and performance Wouter Swierstra joint work with Koen Claessen, Carl Seger, Mary Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2016-03-22 06:34:53
103	AMEN Wouter Swierstra Department of Information and Computing Sciences Universiteit Utrecht Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2016-03-22 06:34:53
104	Minimax Time Series Prediction Alan Malek UC Berkeley Wouter M. Koolen Add to Reading List Source URL: papers.nips.cc Language: English - Date: 2015-12-18 16:12:15 Mathematics Decision theory Game theory Detection theory Game artificial intelligence Minimax Regret Online machine learning Applied mathematics
105	Power of Pi Wouter Swierstra Joint work with Nicolas Oury 1 Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2016-03-22 06:34:53
106	Cookieless Monster: Exploring the Ecosystem of Web-based Device Fingerprinting Nick Nikiforakis∗ , Alexandros Kapravelos† , Wouter Joosen∗ , Christopher Kruegel† , Frank Piessens∗ , Giovanni Vigna† ∗ iMinds Add to Reading List Source URL: seclab.cs.ucsb.edu Language: English - Date: 2013-03-11 18:50:23 Web browsers Internet privacy Cross-platform software News aggregators Computer network security HTTP cookie Device fingerprint JavaScript Firefox Adobe Flash Google Chrome Privacy mode
107	Xmonad in Coq: Programming a window manager in a proof assistant Wouter Swierstra FP Dag Add to Reading List Source URL: www.staff.science.uu.nl Language: English
108	Structure-aware version control A generic approach using Agda Victor Cacciari Miraldo Wouter Swierstra Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2016-03-22 06:34:53
109	Engineering Proof by Reflection in Agda Paul van der Walt and Wouter Swierstra Department of Computer Science, Utrecht University, The Netherlands , Abstract. This paper explores the Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2016-03-22 06:34:53
110	JMLR: Workshop and Conference Proceedings vol 40:1–21, 2015 Second-order Quantile Methods for Experts and Combinatorial Games Wouter M. Koolen Add to Reading List Source URL: jmlr.org Language: English - Date: 2015-07-20 20:08:36 Statistics Combinatory logic Lambda calculus Logic in computer science Principal component analysis Theoretical computer science Mathematics

UPDATE