.ac - PDFSEARCH.IO - Document Search Engine

.ac
Results: 359273

#	Item
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 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-07-30 15:10:50 Theoretical computer science Automated theorem proving Mathematics Logic in computer science Mathematical logic Formal methods Automated reasoning Proof assistant Isabelle Interactive Theorem Proving Mathematical proof Geoff Sutcliffe
432	Formal Methods in System Design manuscript No. (will be inserted by the editor) Automatic Verification of Competitive Stochastic Systems Taolue Chen · Vojtˇ Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-10-04 14:48:40 Mathematics Temporal logic Mathematical analysis Theoretical computer science Linear temporal logic Mathematical logic Formal languages Computation tree logic Constructible universe Markov decision process Well-formed formula IP
433	1 Learning Universal Adversarial Perturbations with Generative Models Jamie Hayes and George Danezis University College London Add to Reading List Source URL: www.homepages.ucl.ac.uk Language: English - Date: 2018-06-12 12:53:19 Artificial intelligence Machine learning Computational neuroscience Learning Applied mathematics Artificial neural networks CIFAR-10 Deep learning Training test and validation sets ImageNet Support vector machine Generative model
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 Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2015-10-21 13:25:41 Finite automata Model checking -automaton Bchi automaton Deterministic automaton Muller automaton Weak Bchi automaton
435	Refinement Types for Secure Implementations JESPER BENGTSON, Uppsala University KARTHIKEYAN BHARGAVAN, Microsoft Research ´ CEDRIC FOURNET, Microsoft Research Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2012-02-28 13:28:34 Software engineering Computing Programming language theory Type theory Formal methods Functional languages Procedural programming languages Data types Type system F Sharp HindleyMilner type system First-order logic
436	INFINITYBranching-Time Model-Checking of Probabilistic Pushdown Automata Tom´asˇ Br´azdil1 V´aclav Broˇzek2 Vojtˇech Forejt3 Faculty of Informatics Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 12:53:36 Temporal logic Mathematical logic Theoretical computer science Finite model theory Linear temporal logic Symbol FO Constructible universe IP Computation tree logic Model theory Mathematics
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 Add to Reading List Source URL: spiral.imperial.ac.uk Language: English - Date: 2016-09-08 00:46:08 Humancomputer interaction Artificial intelligence Robot control Virtual reality Multimodal interaction Video game controllers Robot navigation Haptic technology Haptic perception Simultaneous localization and mapping Occupancy grid mapping Kalman filter
438	Department of Computer Science INCREMENTAL RUNTIME VERIFICATION OF PROBABILISTIC SYSTEMS Vojtˇech Forejt Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2015-10-05 08:25:27 Dynamic programming Markov processes Stochastic control Markov models Probability Markov decision process Markov chain PP Probabilistic CTL Model checking
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 Add to Reading List Source URL: www.dcs.ed.ac.uk Language: English - Date: 2006-08-30 07:27:10 Business Economy Queueing theory Management Graph theory Markov chain Service level Service-level agreement Airbag Statistical hypothesis testing Sensitivity analysis PEPA
440	An Operational Semantics for JavaScript? Sergio Maffeis1 , John C. Mitchell2 , Ankur Taly2 , 1 2 Department of Computing, Imperial College London Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2009-08-14 07:09:04 Software engineering Computing Computer programming Functional languages High-level programming languages Object-oriented programming Data types Programming paradigms JavaScript Scope Operational semantics Semantics