PDF Document

Source URL: www.cl.cam.ac.uk

• Software
• Proof assistants
• Computing
• Logic in computer science
• JEdit
• Isabelle
• Standard ML
• Plug-in
• Selection
• Logic for Computable Functions
• HOL
• Isabel

A Closed-loop quantitative verification of rate-adaptive pacemakers NICOLA PAOLETTI, University of Oxford, Department of Computer Science ANDREA PATANE` , University of Catania, Department of Mathematics and Computer Sci

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

• Mathematical analysis
• Mathematics
• Embedded systems
• Prosthetics
• Artificial cardiac pacemaker
• Cardiac electrophysiology
• Cybernetics
• Neuroprosthetics
• IP
• Analysis
• FO
• Dirac delta function

Specification Revision for Markov Decision Processes with Optimal Trade-off M. Lahijanian and M. Kwiatkowska Abstract— Optimal control policy synthesis for probabilistic systems from high-level specifications is increa

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

• Logic
• 120-cell
• Linear temporal logic
• Substitution
• Markov decision process
• Symbol
• Theoretical computer science
• Mathematical logic

This article has been accepted for inclusion in a future issue of this journal. Content is final as presented, with the exception of pagination. IEEE/ACM TRANSACTIONS ON NETWORKING 1 Milking the Cache Cow With Fairness

Source URL: www.eecs.qmul.ac.uk

LATEX Sugar for Isabelle Documents Florian Haftmann, Gerwin Klein, Tobias Nipkow, Norbert Schirmer August 15, 2018 Abstract This document shows how to typset mathematics in Isabelle-based

Source URL: www.cl.cam.ac.uk

• Computer programming
• Software engineering
• Computing
• Fold
• Recursion
• LaTeX

Synthesizing Pareto Optimal Decision for Autonomic Clouds using Stochastic Games Model Checking Azlan Ismail Marta Kwiatkowska

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

Experimental Biological Protocols with Formal Semantics Alessandro Abate2 , Luca Cardelli1,2 , Marta Kwiatkowska2 , Luca Laurenti2 , and Boyan Yordanov1 1

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

• Mathematics
• Mathematical analysis
• Theoretical computer science
• Distribution
• Functional analysis
• Substitution
• Denotational semantics
• Markov chain

A Declarative and Expressive Approach to Control Forwarding in Carrier-Grade Networks Stefano Vissicchio UCLouvain

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

• Computing
• Network architecture
• Information and communications technology
• Emerging technologies
• OpenFlow
• Computer networking
• Scalability
• Control theory
• Frenetic
• Software-defined networking
• Network function virtualization

1 Computing Minimal Update Sequences for Graceful Router-wide Reconfigurations Francois Clad1 , Stefano Vissicchio2 , Pascal Mérindol1 , Pierre Francois3 and Jean-Jacques Pansiot1 1

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

• Computing
• Routing protocols
• Data transmission
• Network architecture
• Internet architecture
• Internet Standards
• Internet protocols
• Routing algorithms
• Constraint
• Open Shortest Path First
• Link-state routing protocol
• Router

Unions and the Labor Market for Managers John DiNardo University of California – Irvine, University of California – Berkeley and NBER

Source URL: econ.lse.ac.uk

• Economy
• Labour relations
• Business
• Industrial relations
• Efficiency wage
• Trade union
• Labour economics
• Collective bargaining
• Union wage premium
• Minimum wage