AC P M | AC A R R VISION Strengthen the retirement income readiness of Canadians and their families BY PROVIDING RELEVANT INFORMATION SO THAT THEY CAN:

Source URL: retirementliteracy.acpm.com

Euclidean vs. Graph Metric Itai Benjamini

Source URL: www.wisdom.weizmann.ac.il

• Graph theory
• Algebraic graph theory
• Planar graphs
• Vertex-transitive graph
• Symmetric graph
• End
• Graph
• Planar separator theorem
• Gabriel graph

Defining (Co)datatypes and Primitively (Co)recursive Functions in Isabelle/HOL Julian Biendarra, Jasmin Christian Blanchette, Martin Desharnais, Lorenz Panny, Andrei Popescu, and Dmitriy Traytel 15 August 2018

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

• Computer programming
• Software engineering
• Computing
• Recursion
• Type theory
• Data types
• Theoretical computer science
• Functional programming
• Recursive data type
• Inductive data type
• Corecursion
• Mutual recursion

Object Capabilities and Isolation of Untrusted Web Applications Sergio Maffeis Imperial College London John C. Mitchell Stanford University

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

• Computing
• Computer programming
• Software engineering
• Functional languages
• High-level programming languages
• Computer access control
• Object-capability model
• JavaScript
• Heap
• Topological space
• Monad
• Caja project

© The AuthorPublished by Oxford University Press on behalf of The British Computer Society. All rights reserved. For Permissions, please email: Advance Access published on May

Source URL: www.dcs.ed.ac.uk

• Statistical randomness
• Queueing theory
• Mathematics
• Markov models
• Probability theory
• Process calculi
• PEPA
• Markov processes
• Markov chain
• Product-form solution
• Balance equation
• Jane Hillston

An Overview of M AR Q Giles Reger University of Manchester, Manchester, UK Abstract. MarQ is a runtime monitoring tool for specifications written as quantified event automata, an expressive automata-based specification l

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

1 POINTS IN EQUILIBRIUM Given locally finite configuration of points on the real line R, define a potential F (x, y) to be the force between two points x, y, for example

Source URL: www.wisdom.weizmann.ac.il

• Geometry
• Mathematics
• Space
• Geometric group theory
• Metric geometry
• Approximate group
• Group theory
• Metric space

M AR Q: Monitoring At Runtime with QEA Giles Reger, Helena Cuenca Cruz and David Rydeheard University of Manchester Abstract. Runtime monitoring is the process of checking whether an execution trace of a running system s

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

• Mathematical logic
• Logic
• Theoretical computer science
• Logic in computer science
• Runtime verification
• FO
• Quantifier

A Type Discipline for Authorization Policies ´ CEDRIC FOURNET and ANDREW D. GORDON Microsoft Research and

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

• Software engineering
• Computing
• Theoretical computer science
• Automated theorem proving
• Datalog
• Horn clause
• -calculus
• Logic programming
• Substitution
• Struct
• ALGOL 68
• Lambda calculus

What is a Trace? A Runtime Verification Perspective Giles Reger1? and Klaus Havelund2?? 1 2

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

• Computing
• Open formats
• Markup languages
• Formal methods
• Debugging
• Logic in computer science
• Runtime verification
• Tracing
• Comma-separated values
• Exception handling
• Database
• Data logger