University - PDFSEARCH.IO - Document Search Engine

University
Results: 634567

#	Item
411	Recursively Cautious Congestion Control Radhika Mittal, Justine Sherry, and Sylvia Ratnasamy, University of California, Berkeley; Scott Shenker, University of California, Berkeley and International Computer Science Insti Add to Reading List Source URL: www.usenix.org Language: English - Date: 2016-02-19 17:51:14 Computing Flow control Network architecture Network protocols TCP congestion control Data transmission Network performance Transmission Control Protocol Packet loss TCP window scale option CUBIC TCP Transport layer
412	Noise-contrastive estimation: A new estimation principle for unnormalized statistical models Michael Gutmann Dept of Computer Science and HIIT, University of Helsinki Add to Reading List Source URL: proceedings.mlr.press Language: English - Date: 2018-07-14 18:55:46 Estimation theory Econometrics Statistical inference Estimator Probability distribution fitting M-estimators Maximum likelihood estimation Fisher information Gamma distribution Maximum spacing estimation
413	Integrating Planning and Recognition to Close the Interaction Loop Richard G. Freedman College of Information and Computer Sciences University of Massachusetts Amherst Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-09 08:09:26 Artificial intelligence Cognitive science Automated planning and scheduling Statistical natural language processing Hierarchical task network Activity recognition STRIPS Latent Dirichlet allocation Intelligence Action selection Topic model Robot
414	Parametric Higher-Order Abstract Syntax for Mechanized Semantics Adam Chlipala Harvard University Add to Reading List Source URL: adam.chlipala.net Language: English - Date: 2016-01-02 15:47:17 Computer programming Declarative programming Software engineering Exponentials Dependently typed programming Higher-order abstract syntax Logic programming Programming language theory Type theory Exponentiation Monad ?:
415	Tap-Tap and Pay (TTP): Preventing the Mafia Attack in NFC Payment Maryam Mehrnezhad, Feng Hao, and Siamak F. Shahandashti School of Computing Science, Newcastle University, Newcastle upon Tyne, United Kingdom {m.mehrnezh Add to Reading List Source URL: homepages.cs.ncl.ac.uk Language: English - Date: 2015-09-24 14:01:42 Economy Money Finance Mobile payments Payment systems ISO standards Mobile telecommunications Online payments Near-field communication EMV Apple Pay Payment terminal
416	ANONIZE: A Large-Scale Anonymous Survey System Susan Hohenberger Johns Hopkins University Steven Myers Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-07-06 21:10:31 Cryptography Public-key cryptography Digital signature Ring signature Group signature Pseudorandom function family Commitment scheme Random oracle Secure multi-party computation
417	Getting to Work with OpenPiton Princeton University http://openpiton.org OpenPit Add to Reading List Source URL: parallel.princeton.edu Language: English - Date: 2017-02-16 15:26:17 Computer architecture Manycore processors Parallel computing Hardware description languages Computing Verilog Electronic engineering Computer engineering
418	HYPERBOLICITY Colloquium – University of Michigan March 9, 2004 Olivier Debarre There exist several notions of hyperbolicity for compact complex varieties and I will try to explain what they are and how they are relate Add to Reading List Source URL: www.math.ens.fr Language: English - Date: 2006-01-10 13:48:42 Algebra Abstract algebra Geometry Algebraic geometry Vector bundles Algebraic varieties Projective geometry Bernhard Riemann Projective variety Kobayashi metric RiemannRoch theorem Canonical bundle
419	Self-Practice Imitation Learning from Weak Policy Qing Da, Yang Yu, and Zhi-Hua Zhou National Key Laboratory for Novel Software Technology Nanjing University, Nanjing, China {daq,yuy,zhouzh}@lamda.nju.edu.cn Add to Reading List Source URL: cs.nju.edu.cn Language: English - Date: 2016-01-04 03:15:09 Survey methodology Machine learning algorithms Sampling techniques Artificial intelligence Sampling Support vector machine Reinforcement learning Simple random sample Learning Machine learning Cognition
420	1 Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss GRAEME GANGE, JORGE A. NAVAS, PETER SCHACHTE, HARALD SØNDERGAARD, and PETER J. STUCKEY, The University of Melbourne, Australia Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Mathematics Computer arithmetic Algebra Abstract algebra Abstract interpretation Interval arithmetic Two's complement Interval Signedness Logarithm Modular arithmetic Division by zero

UPDATE