.ac - PDFSEARCH.IO - Document Search Engine

.ac
Results: 359273

#	Item
231	Author Proof A Specification Theory of Real-Time Processes Chris Chilton1 , Marta Kwiatkowska1 , Faron Moller2 , and Xu Wang2(B) 1 2 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-01-24 06:23:37 I0 Invariant XC
232	PDF Document Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-03-03 03:04:53 Computing Software World Wide Web Hacking Ajax Internet privacy Computer network security Web browsers Content Security Policy HTTP cookie Cross-origin resource sharing Cross-site request forgery
233	The Impact of Length of the School Year on Student Performance and Earnings: Evidence from the German Short School Years Jörn-Ste¤en Pischke LSE January 2006 Add to Reading List Source URL: econ.lse.ac.uk Language: English - Date: 2006-05-11 09:57:03 Secondary education Education Student Education in Germany Tenth grade Ninth grade Academic degree Seventh grade
234	Form Methods Syst Des: 246–280 DOIs10703A Game-based Abstraction-Refinement Framework for Markov Decision Processes Mark Kattenbelt · Marta Kwiatkowska · Gethin Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2011-12-04 14:59:08 Markov models Mathematics Markov processes Probability Dynamic programming Stochastic control Graph theory Markov decision process Stochastic game Markov chain Stochastic matrix Shortest path problem
235	Verification of Markov Decision Processes using Learning Algorithms? Tom´asˇ Br´azdil1 , Krishnendu Chatterjee2 , Martin Chmel´ık2 , Vojtˇech Forejt3 , Jan Kˇret´ınsk´y2 , Marta Kwiatkowska3 , David Parker4 , a Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2015-03-30 13:03:10 Computational complexity theory Dynamic programming Markov processes Stochastic control Analysis of algorithms Markov decision process Reinforcement learning Time complexity PP Reachability
236	Safe Routing Reconfigurations with Route Redistribution Stefano Vissicchio∗ , Laurent Vanbever† , Luca Cittadini‡ , Geoffrey G. Xie§ , Olivier Bonaventure∗ ∗ Universit´e Add to Reading List Source URL: inl.info.ucl.ac.be Language: English - Date: 2018-05-31 05:56:11 Computing Routing protocols Network architecture Internet architecture Routing Network management Internet Standards Internet protocols Static routing Open Shortest Path First Administrative distance Enhanced Interior Gateway Routing Protocol
237	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2018-08-15 07:18:47 Mathematical logic Logic Theoretical computer science Logic in computer science Proof assistants Type theory Quantification Philosophical logic Isabelle First-order logic Logic for Computable Functions Logical framework
238	Keys to the Cloud: Formal Analysis and Concrete Attacks on Encrypted Web Storage Chetan Bansal1 , Karthikeyan Bhargavan2, Antoine Delignat-Lavaud2 , and Sergio Maﬀeis3, 1 Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2013-01-25 08:24:32 Cryptography Computing Secure communication Cryptographic software Cryptographic protocols Transport Layer Security Internet Standards HTTPS Password Public-key cryptography Client-side Key
239	Changes in the Wage Structure, Family Income, and Children’s Education¤ Daron Acemoglu Massachusetts Institute of Technology Jörn-Ste¤en Pischke Add to Reading List Source URL: econ.lse.ac.uk Language: English - Date: 2000-09-13 12:24:58 Economy Social inequality Demand Elasticity Income elasticity of demand Poverty Economic inequality Income tax in the United States Production Per capita income G factor Permanent income hypothesis
240	Considering Typestate Verification for Quantified Event Automata Giles Reger University of Manchester, Manchester, UK Abstract. This paper discusses how the existing static analyses developed for Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-08-10 12:12:08 Program analysis Typestate analysis Mathematical logic Logic Mathematics Runtime verification Quantifier Type system Sheaf

UPDATE