University

Results: 634567



#Item
291Computing / GPGPU / Computer architecture / Computer engineering / Video cards / Parallel computing / Coprocessors / Graphics hardware / Graphics processing unit / RCUDA / InfiniBand / Nvidia

Increasing Cluster Throughput while Reducing Energy Consumption for GPU Workloads Federico Silla Technical University of Valencia

Add to Reading List

Source URL: hpcadvisorycouncil.com

Language: English - Date: 2015-03-23 04:22:15
292Artificial neural networks / Applied mathematics / Cybernetics / Mathematics / Deep learning / CIFAR-10 / MNIST database / Rectifier / Softmax function / Feedforward neural network / Gradient descent / Activation function

Towards Evaluating the Robustness of Neural Networks Nicholas Carlini David Wagner University of California, Berkeley A BSTRACT

Add to Reading List

Source URL: www.ieee-security.org

Language: English - Date: 2017-04-03 16:02:30
293Computing / Network architecture / Information and communications technology / Internet architecture / Routing protocols / Routing / Internet Standards / Computer networking / Software-defined networking / OpenFlow / Router / Interior gateway protocol

Enabling SDN in old school networks with Software-Controlled Routing Protocols Laurent Vanbever† and Stefano Vissicchio†† ? Princeton University† , Universit´e catholique de Louvain††

Add to Reading List

Source URL: inl.info.ucl.ac.be

Language: English - Date: 2018-05-31 05:55:37
294Mathematics / Dynamic programming / Markov decision process / Stochastic control / Probability / Mathematical analysis / Reachability

Symbolic Magnifying Lens Abstraction in Markov Decision Processes Pritam Roy1 David Parker2 Gethin Norman2 Luca de Alfaro1 Computer Engineering Dept, UC Santa Cruz, Santa Cruz, CA, USA 1 Oxford University Computing Labor

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2008-07-01 03:47:28
295Mathematical logic / Predicate logic / Mathematics / Logic / Predicate variable / Scope / Atomic sentence / FO / First-order logic / Variable / Structured text / Assignment

Predicate Abstraction for Programmable Logic Controllers Sebastian Biallas, Mirco Giacobbe and Stefan Kowalewski Embedded Software Laboratory, RWTH Aachen University, Germany Abstract. In this paper, we present a predic

Add to Reading List

Source URL: pub.ist.ac.at

Language: English - Date: 2018-05-10 06:54:27
296Economy / Leasing / Law / Finance / Landlordtenant law / Business law / Lease / Property law / South African law of lease / Finance lease

North Dakota Board of University and School Lands: Surface Land Management

Add to Reading List

Source URL: land.nd.gov

Language: English - Date: 2018-09-28 11:30:26
297Mathematical analysis / Mathematical optimization / Operations research / Stochastic game / Nash equilibrium / Markov chain / Determinacy / Stochastic process / Mathematics / Analysis / Multi-objective optimization

Decidability Results for Multi-objective Stochastic Games Romain Brenguier and Vojtˇech Forejt Department of Computer Science, University of Oxford, UK Abstract. We study stochastic two-player turn-based games in which

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2016-07-05 18:17:09
298Cryptography / Public-key cryptography / Pairing-based cryptography / Elliptic curve cryptography / Pairing / IBE

Déjà Q: Using Dual Systems to Revisit q-Type Assumptions Melissa Chase (MSR Redmond) Sarah Meiklejohn (UC San Diego → University College London)

Add to Reading List

Source URL: smeiklej.com

Language: English - Date: 2018-10-23 14:58:02
299Cryptocurrencies / Alternative currencies / Economy / Bitcoin / Money / Exonumia / Digital currencies / Blockchains / CoinJoin / Silk Road / Zerocoin protocol / Ethereum

Privacy-Enhancing Overlays in Bitcoin Sarah Meiklejohn1 and Claudio Orlandi2 1 University College London

Add to Reading List

Source URL: smeiklej.com

Language: English - Date: 2018-10-23 14:58:02
300Linguistics / Computational linguistics / Statistical natural language processing / Natural language processing / Corpus linguistics / Applied linguistics / Speech recognition / Topic model / Latent Dirichlet allocation / N-gram / Stemming / Text corpus

Understanding Text Pre-Processing for Latent Dirichlet Allocation Alexandra Schofield1 M˚ans Magnusson2 Laure Thompson1 David Mimno3 1 Department of Computer Science, Cornell University, Ithaca, NY {xanda, laurejt}@cs.c

Add to Reading List

Source URL: www.cs.cornell.edu

Language: English - Date: 2017-07-19 14:45:03
UPDATE