Machines Reasoning about Machines A Personal Perspective J Strother Moore Department of Computer Sciences

Source URL: dream.inf.ed.ac.uk

• Computer programming
• Software engineering
• Computing
• Lisp
• Functional programming
• Data types
• Abstract data types
• Functional languages
• Append
• ACL2
• Cons
• Nqthm

Department of Computer Science EFFICIENT PROBABILISTIC PARAMETER SYNTHESIS FOR ADAPTIVE SYSTEMS Taolue Chen

Source URL: www.cs.ox.ac.uk

• Estimation theory
• Probability and statistics
• Statistics
• Graph theory
• Markov chain
• Parameter
• Machine learning
• Probability distribution fitting
• Parametric model
• Twisting properties

Chemical Reaction Network Designs for Asynchronous Logic Circuits∗ Luca Cardelli1,2 , Marta Kwiatkowska1 , and Max Whitby1 1 Department of Computer Science, University of Oxford

Source URL: qav.comlab.ox.ac.uk

• Electronic engineering
• Logic gates
• Digital electronics
• Electrical engineering
• Electronics
• Electrical circuits
• Digital systems
• Clock signal
• C-element
• Asynchronous circuit
• Sequential logic
• Flip-flop

LNCSDefensive JavaScript

Source URL: www.doc.ic.ac.uk

• Computing
• Software engineering
• Computer programming
• Web development
• JavaScript
• Ajax
• Hacking
• HTML
• Bookmarklet
• Content Security Policy
• Password manager
• XMLHttpRequest

Checkable Proofs for First-Order Theorem Proving Giles Reger1 , Martin Suda2 1 School of Computer Science, University of Manchester, UK 2 TU Wien, Vienna, Austria

Source URL: www.cs.man.ac.uk

• Software
• Automated theorem proving
• Theoretical computer science
• Formal methods
• TPTP
• Proof assistant
• Frama-C
• Theorem prover
• E theorem prover
• Theorem
• Isabelle

1 NNT : 2016SACLN058 Thèse de doctorat de l’Université Paris-Saclay

Source URL: cgi.csc.liv.ac.uk

Enabling SDN in old school networks with Software-Controlled Routing Protocols Laurent Vanbever† and Stefano Vissicchio†† ? Princeton University† , Universit´e catholique de Louvain††

Source URL: inl.info.ucl.ac.be

• Computing
• Network architecture
• Information and communications technology
• Internet architecture
• Routing protocols
• Routing
• Internet Standards
• Computer networking
• Software-defined networking
• OpenFlow
• Router
• Interior gateway protocol

Symbolic Magnifying Lens Abstraction in Markov Decision Processes Pritam Roy1 David Parker2 Gethin Norman2 Luca de Alfaro1 Computer Engineering Dept, UC Santa Cruz, Santa Cruz, CA, USA 1 Oxford University Computing Labor

Source URL: qav.comlab.ox.ac.uk

• Mathematics
• Dynamic programming
• Markov decision process
• Stochastic control
• Probability
• Mathematical analysis
• Reachability

Robust fault-recovery in Software-Defined Networks IBSDN: IGP as a Backup in SDN JuneOlivier Tilmans

Source URL: inl.info.ucl.ac.be

• Computing
• Network architecture
• Emerging technologies
• Configuration management
• Software-defined networking
• OpenFlow
• Information and communications technology
• Computer engineering
• Scalability
• Software-defined

Predicate Abstraction for Programmable Logic Controllers Sebastian Biallas, Mirco Giacobbe and Stefan Kowalewski Embedded Software Laboratory, RWTH Aachen University, Germany Abstract. In this paper, we present a predic

Source URL: pub.ist.ac.at

• Mathematical logic
• Predicate logic
• Mathematics
• Logic
• Predicate variable
• Scope
• Atomic sentence
• FO
• First-order logic
• Variable
• Structured text
• Assignment