Pieter - PDFSEARCH.IO - Document Search Engine

Pieter
Results: 1110

#	Item
1	Bulletproofs: Short Proofs for Confidential Transactions and More Benedikt B¨ unz∗1 , Jonathan Bootle†2 , Dan Boneh‡1 , Andrew Poelstra§3 , Pieter Wuille¶3 , and Greg Maxwellk 1 Add to Reading List Source URL: web.stanford.edu Language: English - Date: 2018-06-28 10:34:47 Cryptography Cryptocurrencies Alternative currencies Bitcoin Decentralization Cryptographic protocols Non-interactive zero-knowledge proof Zero-knowledge proof Proof of knowledge NP Soundness IP
2	Imitation Learning of Hierarchical Programs via Variational Inference Roy Fox * 1 Richard Shin * 1 Pieter Abbeel 1 Ken Goldberg 1 2 Dawn Song 1 Ion Stoica 1 The design of controllers that operate in dynamical systems to Add to Reading List Source URL: uclmr.github.io Language: English - Date: 2018-08-06 06:17:49 Artificial intelligence Computational neuroscience Machine learning Learning Artificial neural networks Market research Convolutional neural network Outline of machine learning MNIST database Supervised learning Variational Bayesian methods Bayesian network
3	Under review as a conference paper at ICLRM ETA L EARNING S HARED H IERARCHIES Jonathan Ho, Xi Chen, Pieter Abbeel UC Berkeley, Department of Electrical Engineering and Computer Science Add to Reading List Source URL: arxiv.org Language: English - Date: 2017-10-26 20:31:00 Machine learning Artificial intelligence Learning Statistical randomness Q-learning Metalearning Reinforcement learning Artificial neural network Meta learning Multi-armed bandit Markov decision process Feature learning
4	Synthesis and verification of self-aware systems Radu Calinescu, Marco Autili, Javier C´amara, Antinisca Di Marco, Simos Gerasimou, Paola Inverardi, Alexander Perucci, Nils Jansen, Joost-Pieter Katoen, Marta Kwiatkowska Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-03-10 10:23:58 Computing Electronic engineering Theoretical computer science Electronic design automation Service choreography Formal verification Orchestration Autonomic computing Transition Business Process Execution Language High-level synthesis Systems engineering
5	PDF Document Add to Reading List Source URL: blog.pieter.pm - Date: 2015-08-28 09:45:38
6	32 CULTUUR REGIO Puntig Diverse werken van Pieter Vermeulen, sieraden van Anna Foppes. Te zien t/m 1 april in het koetshuis van De Casteelse Poort, Bowiespark 1A te Wageningen. Add to Reading List Source URL: www.marloukursten.nl Language: Dutch - Date: 2013-10-31 11:04:52
7	VeriFast: A Powerful, Sound, Predictable, Fast Verifier for C and Java Bart Jacobs, Jan Smans? , Pieter Philippaerts, Fr´ed´eric Vogels, Willem Penninckx, and Frank Piessens Department of Computer Science, Leuven, Belg Add to Reading List Source URL: people.cs.kuleuven.be Language: English - Date: 2011-10-17 02:58:18
8	Design in Engineering and Architecture Towards an Integrated Philosophical Understanding Peter Kroes, Andrew Light, Steven A. Moore, and Pieter E. Vermaas 1 Add to Reading List Source URL: www.pietervermaas.nl Language: English - Date: 2013-09-26 10:06:03
9	Pieter Hooimeijer Department of Computer Science University of Virginia 85 Engineer’s Way, PO BoxCharlottesville VA 22904 Add to Reading List Source URL: www.cs.virginia.edu Language: English - Date: 2012-04-07 15:26:45
10	Enabling Blockchain Innovations with Pegged Sidechains Adam Back, Matt Corallo, Luke Dashjr, Mark Friedenbach, Gregory Maxwell, Andrew Miller, Andrew Poelstra, Jorge Timón, and Pieter Wuille∗† commit 562 Add to Reading List Source URL: decred.org Language: English - Date: 2017-08-15 12:09:10 Cryptocurrencies Economy Money Blockchains Finance Alternative currencies Bitcoin Digital currencies Blockstream Smart contract Counterparty Ethereum