431![This space is reserved for the EPiC Series header, do not use it Checkable Proofs for First-Order Theorem Proving∗ Giles Reger1 and Martin Suda2 1 This space is reserved for the EPiC Series header, do not use it Checkable Proofs for First-Order Theorem Proving∗ Giles Reger1 and Martin Suda2 1](https://www.pdfsearch.io/img/c45d1989a299c50011f907bd35b60a2e.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2017-07-30 15:10:50
|
---|
432![Formal Methods in System Design manuscript No. (will be inserted by the editor) Automatic Verification of Competitive Stochastic Systems Taolue Chen · Vojtˇ Formal Methods in System Design manuscript No. (will be inserted by the editor) Automatic Verification of Competitive Stochastic Systems Taolue Chen · Vojtˇ](https://www.pdfsearch.io/img/bdaed727c48869a360dc2dc64b04135a.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2013-10-04 14:48:40
|
---|
433![1 Learning Universal Adversarial Perturbations with Generative Models Jamie Hayes and George Danezis University College London 1 Learning Universal Adversarial Perturbations with Generative Models Jamie Hayes and George Danezis University College London](https://www.pdfsearch.io/img/9468dba0be745ffcb17b00ac06acc4c6.jpg) | Add to Reading ListSource URL: www.homepages.ucl.ac.ukLanguage: English - Date: 2018-06-12 12:53:19
|
---|
434![Parity and Generalised Büchi Automata Determinisation and Complementation Thesis submitted in accordance with the requirements of the University of Liverpool for the degree of Doctor in Philosophy Parity and Generalised Büchi Automata Determinisation and Complementation Thesis submitted in accordance with the requirements of the University of Liverpool for the degree of Doctor in Philosophy](https://www.pdfsearch.io/img/dddc2ab921183e9754c40a86aed5a076.jpg) | Add to Reading ListSource URL: cgi.csc.liv.ac.ukLanguage: English - Date: 2015-10-21 13:25:41
|
---|
435![Refinement Types for Secure Implementations JESPER BENGTSON, Uppsala University KARTHIKEYAN BHARGAVAN, Microsoft Research ´ CEDRIC FOURNET, Microsoft Research Refinement Types for Secure Implementations JESPER BENGTSON, Uppsala University KARTHIKEYAN BHARGAVAN, Microsoft Research ´ CEDRIC FOURNET, Microsoft Research](https://www.pdfsearch.io/img/eb4d34ffc61f33ccbc3a0cdde7dd663b.jpg) | Add to Reading ListSource URL: www.doc.ic.ac.ukLanguage: English - Date: 2012-02-28 13:28:34
|
---|
436![INFINITYBranching-Time Model-Checking of Probabilistic Pushdown Automata Tom´asˇ Br´azdil1 V´aclav Broˇzek2 Vojtˇech Forejt3 Faculty of Informatics INFINITYBranching-Time Model-Checking of Probabilistic Pushdown Automata Tom´asˇ Br´azdil1 V´aclav Broˇzek2 Vojtˇech Forejt3 Faculty of Informatics](https://www.pdfsearch.io/img/5632e8dfcf42bd0569a02e39068e0345.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2013-12-01 12:53:36
|
---|
437![Haptic SLAM: an ideal observer model for Bayesian inference of object shape and hand pose from contact dynamics Feryal M. P. Behbahani1 , Guillem Singla–Buxarrais2 and A. Aldo Faisal1,2,3 1 Haptic SLAM: an ideal observer model for Bayesian inference of object shape and hand pose from contact dynamics Feryal M. P. Behbahani1 , Guillem Singla–Buxarrais2 and A. Aldo Faisal1,2,3 1](https://www.pdfsearch.io/img/93b5a37b9e011c6b52b9159576b6935e.jpg) | Add to Reading ListSource URL: spiral.imperial.ac.ukLanguage: English - Date: 2016-09-08 00:46:08
|
---|
438![Department of Computer Science INCREMENTAL RUNTIME VERIFICATION OF PROBABILISTIC SYSTEMS Vojtˇech Forejt Department of Computer Science INCREMENTAL RUNTIME VERIFICATION OF PROBABILISTIC SYSTEMS Vojtˇech Forejt](https://www.pdfsearch.io/img/84ab4773ce72b31f4b04e7d98d5c6ece.jpg) | Add to Reading ListSource URL: www.cs.ox.ac.ukLanguage: English - Date: 2015-10-05 08:25:27
|
---|
439![Evaluating quality of service for service level agreements Allan Clark and Stephen Gilmore Laboratory for Foundations of Computer Science, The University of Edinburgh, Edinburgh, Scotland Evaluating quality of service for service level agreements Allan Clark and Stephen Gilmore Laboratory for Foundations of Computer Science, The University of Edinburgh, Edinburgh, Scotland](https://www.pdfsearch.io/img/70e864b2f3ac486b8aeced41e1c29675.jpg) | Add to Reading ListSource URL: www.dcs.ed.ac.ukLanguage: English - Date: 2006-08-30 07:27:10
|
---|
440![An Operational Semantics for JavaScript? Sergio Maffeis1 , John C. Mitchell2 , Ankur Taly2 , 1 2 Department of Computing, Imperial College London An Operational Semantics for JavaScript? Sergio Maffeis1 , John C. Mitchell2 , Ankur Taly2 , 1 2 Department of Computing, Imperial College London](https://www.pdfsearch.io/img/a9aead3dd49437b215d94560f9a0cfc0.jpg) | Add to Reading ListSource URL: www.doc.ic.ac.ukLanguage: English - Date: 2009-08-14 07:09:04
|
---|