University - PDFSEARCH.IO - Document Search Engine

University
Results: 634567

#	Item
461	Compositional Strategy Synthesis for Stochastic Games with Multiple Objectives N. Basseta , M. Kwiatkowskaa,⇤, C. Wiltschea a Department of Computer Science, University of Oxford, United Kingdom Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2017-06-28 16:10:52 Probability theory Statistical randomness Probability Markov models Graph theory Stochastic game Probabilistic automaton Game theory Markov chain Determinacy Strategy Markov decision process
462	Mathematics of Machine Learning: An introduction Sanjeev Arora Princeton University Computer Science Institute for Advanced Study Add to Reading List Source URL: eta.impa.br Language: English - Date: 2018-07-28 17:09:48 Machine learning Learning Artificial intelligence Applied mathematics Artificial neural network Outline of machine learning Supervised learning Regularization Empirical risk minimization Backpropagation Poisson regression Parametric model
463	A Survey of Rollback-Recovery Protocols in Message-Passing Systems E.N. (MOOTAZ) ELNOZAHY IBM Research LORENZO ALVISI The University of Texas at Austin Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2002-05-07 12:54:50 Transaction processing Computing Fault-tolerant computer systems Data management Application checkpointing Data Rollback Database transaction Checkpoint Communication protocol Two-phase commit protocol
464	About Me: •  ColdFusion Developer Since 1998, CF 3.1 •  Work at the Wharton School of The University of Pennsylvania •  Best know Add to Reading List Source URL: www.mischefamily.com Language: English - Date: 2012-05-29 22:01:03 Computing Adobe ColdFusion Adobe software Web development software Gateway ColdFusion Markup Language Redis XMPP
465	Incorporating Side Information in Tensor Completion Hemank Lamba, Vaishnavh Nagarajan, Kijung Shin, Naji Shajarisales Carnegie Mellon University 5000 Forbes Avenue Pittsburgh PA 15213, USA Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:47:55 Algebra Linear algebra Mathematics Matrix theory Matrix Tensor Factorization Singular value decomposition Tensor product
466	TESTIMONY OF Kathryn Haun Rodriguez Former Assistant U.S. Attorney, U.S. Department of Justice, Lecturer in Law on Cybercrime and Digital Currency, Stanford University Current Member of the Board of Directors, Coinbase Add to Reading List Source URL: financialservices.house.gov Language: English - Date: 2017-06-08 09:25:33 Cryptocurrencies Economy Alternative currencies Money Finance Bitcoin Decentralization Digital currencies Virtual currency Mt. Gox Money laundering Blockchain
467	All in the XL Family: Theory and Practice Bo-Yin Yang1, and Jiun-Ming Chen2 1 Department of Mathematics, Tamkang University, Tamsui, Taiwan Add to Reading List Source URL: precision.moscito.org Language: English - Date: 2011-03-20 04:03:41 Mathematics Algebra Monomial Generating function Equation solving Grbner basis
468	Smoothness Testing of Polynomials over Finite Fields Jean-Franc ¸ ois Biasse and Michael J. Jacobson Jr. Department of Computer Science, University of Calgary 2500 University Drive NW Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2016-05-19 17:03:48 Mathematics Multiplication Polynomials Algebra Multiplication algorithm Computer algebra ToomCook multiplication Karatsuba algorithm Degree of a polynomial Finite field Remainder Computational complexity of mathematical operations
469	Understanding Regression Failures through Test-Passing and Test-Failing Code Changes Roykrong Sukkerd , Ivan Beschastnikh , Jochen Wuttke , Sai Zhang , Yuriy Brun University of Washington University of Massachusetts Seat Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:34 Abstract algebra Estimation theory Extreme programming Software testing Mathematics Debugging Delta debugging Regression analysis Regression testing Localization
470	A Tool for Estimating Information Leakage? Tom Chothia, Yusuke Kawamoto, and Chris Novakovic School of Computer Science, University of Birmingham, Birmingham, UK Abstract. We present leakiEst, a tool that estimates how m Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2017-06-07 20:45:26 Information theory Cryptography Information Electrical engineering Information flow Information leakage Leak Entropy Weka Memory leak Mutual information Biometric passport

UPDATE