University - PDFSEARCH.IO - Document Search Engine

University
Results: 634567

#	Item
561	Automated Verification Techniques for Probabilistic Systems Vojtˇech Forejt1 , Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 Department of Computer Science, University of Oxford, Oxford, OX1 3QD, UK Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-10-06 19:34:00 Markov models Probability Dynamic programming Markov processes Stochastic control Markov decision process Markov chain Linear temporal logic S2 Reinforcement learning S0
562	Revisiting Question Answering in Vampire Giles Reger School of Computer Science, University of Manchester, UK The 4th Vampire Workshop Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-08-08 02:42:18 Automated theorem proving Resolution IP X0 Vampire Mathematics Propositional calculus Logic
563	Playing with AVATAR Giles Reger, Martin Suda and Andrei Voronkov ? University of Manchester, Manchester, UK Abstract. Modern first-order resolution and superposition theorem provers use saturation algorithms to search fo Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 13:24:35 Theoretical computer science Automated theorem proving Mathematics Mathematical logic Formal methods Logic in computer science Resolution Logic programming Clause Vampire Boolean satisfiability problem CARINE
564	An improved compression technique for signatures based on learning with errors Shi Bai and Steven D. Galbraith Department of Mathematics, University of Auckland, New Zealand. Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2014-01-22 16:26:55 Cryptography Post-quantum cryptography Lattice-based cryptography Computational hardness assumptions Ring learning with errors Learning with errors Digital signature Hash function Multivariate random variable Normal distribution RSA Entropy
565	Chainspace: A Sharded Smart Contracts Platform Mustafa Al-Bassam∗ , Alberto Sonnino∗ , Shehar Bano∗ , Dave Hrycyszyn† and George Danezis∗ ∗ University College London, United Kingdom † constructiveproof.com Add to Reading List Source URL: sheharbano.com Language: English - Date: 2018-04-25 05:23:47 Computing Cryptocurrencies Transaction processing Data management Data Blockchains Information Alternative currencies Two-phase commit protocol Database transaction Consensus Ethereum
566	Inferring Mechanics of Web Censorship Around the World John-Paul Verkamp Minaxi Gupta School of Informatics and Computing, Indiana University Add to Reading List Source URL: www.usenix.org Language: English Computing Information and communications technology Internet architecture Information Age Firewall software Internet censorship Computer network security Great Firewall Content-control software Localhost Firewall Router
567	The K IND 2 Model Checker ? Adrien Champion, Alain Mebsout, Christoph Sticksel, and Cesare Tinelli The University of Iowa Abstract. K IND 2 is an open-source, multi-engine, SMT-based model checker for safety properties o Add to Reading List Source URL: mebsout.github.io Language: English - Date: 2017-07-21 11:03:15 Formal methods Theoretical computer science Computing Software engineering Satisfiability modulo theories Model checking Invariant Lustre
568	BABELTOWER: How Language Affects Criminal Activity in Stolen Webmail Accounts Emeric Bernard-Jones, Jeremiah Onaolapo, and Gianluca Stringhini University College London {j.onaolapo,g.str Add to Reading List Source URL: jonaolapo.github.io Language: English - Date: 2018-10-25 12:11:25 Security Computing Webmail Human behavior Gmail Fraud Cybercrime Security breaches Phishing Identity theft Outlook.com Computer security
569	On Stochastic Games with Multiple Objectives Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, United Kingdom Abstract. We stud Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-06-19 11:02:11 Mathematical analysis Measure theory Mathematics Probability and statistics Determinacy Stochastic game Strategy Markov chain Stochastic process Support Mathematical optimization Statistical model
570	Coordination Mechanisms, Cost-Sharing, and Approximation Algorithms for Scheduling Ioannis Caragiannis1 , Vasilis Gkatzelis2 , and Cosimo Vinci3 1 University of Patras, Rion-Patras, Greece Add to Reading List Source URL: www.cs.drexel.edu Language: English - Date: 2017-10-10 09:04:55 Game theory Permutation Price of anarchy Shapley value Approximation algorithm Mathematics Microeconomics Mathematical economics

UPDATE