.ac - PDFSEARCH.IO - Document Search Engine

.ac
Results: 359273

#	Item
161	TASP: Towards Anonymity Sets that Persist Jamie Hayes Carmela Troncoso George Danezis Add to Reading List Source URL: www.homepages.ucl.ac.uk Language: English - Date: 2016-09-14 17:31:17 Computing Digital rights Secure communication Cryptography Internet privacy Anonymity Crypto-anarchism Mix network Traffic analysis Tor Onion routing Anonymous post
162	Automated Deduction for Verification Natarajan Shankar SRI International Automated deduction uses computation to perform symbolic logical reasoning. It has been a core technology for program verification from the very be Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-07-20 03:24:48 Logic Mathematical logic Mathematics Model theory Propositional calculus Logic in computer science Logical truth Linear temporal logic First-order logic Well-formed formula Interpretation Intuitionistic logic
163	Tobias Nipkow Markus Wenzel Lawrence C. Paulson lle Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2018-08-15 07:19:42 Mathematics Logic Mathematical logic Recursion Theoretical computer science Mathematical proofs Type theory Mathematical induction Structural induction Recursive definition Automated theorem proving Natural deduction
164	Exploring HTTP Header Manipulation In-The-Wild Gareth Tyson Shan Huang Felix Cuadrado Add to Reading List Source URL: www.eecs.qmul.ac.uk Language: English - Date: 2017-02-16 04:03:04 Computing Internet privacy Information and communications technology Hypertext Transfer Protocol Cache Computer network security Middlebox Hola Proxy server X-Forwarded-For Web cache HTTP cookie
165	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) PRISM-games: Verification and Strategy Synthesis for Stochastic Multi-player Games with Multiple Objectives Marta Kwiatkowska1 , Davi Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-10-06 04:04:07 Markov processes Game theory Strategy Stochastic game Markov decision process Probability and statistics Probability Computability theory
166	Reachability in Stochastic Timed Games Patricia Bouyer? and Vojtˇech Forejt?? 1 2 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 09:55:59 Algebra Mathematics Abstract algebra Timed automaton Markov chain Weight Markov decision process -ring Spectral theory of ordinary differential equations
167	shutterstock_88946509 [Converted] Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2014-11-19 06:25:57 Security Computer security Software Security breaches Antivirus software Computer network security Cybercrime Malware Computer virus Spyware AutoRun Internet security
168	Stochastic Games with Branching-Time Winning Objectives Tom´asˇ Br´azdil V´aclav Broˇzek Vojtˇech Forejt Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 06:00:18
169	Isolating JavaScript with Filters, Rewriting, and Wrappers Sergio Maffeis1 , John C. Mitchell2 , and Ankur Taly2 1 Imperial College London Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-01-15 12:55:39 Software engineering Computing Computer programming Functional languages Control flow High-level programming languages Programming language comparisons Programming language syntax Eval JavaScript Scope Dynamic programming language
170	PUSHING BOUNDARIES THE 2015 UK ALTERNATIVE FINANCE INDUSTRY REPORT February 2016 Bryan Zhang, Peter Baeck, Tania Ziegler, Add to Reading List Source URL: www.jbs.cam.ac.uk Language: English - Date: 2018-05-31 04:48:10 Economy Money Finance Financial technology Collaborative finance Entrepreneurship Crowdfunding Alternative finance Cambridge Centre For Alternative Finance Peer-to-peer lending Funding Borro Private Finance

UPDATE