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

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

• Finite automata
• Model checking
• -automaton
• Bchi automaton
• Deterministic automaton
• Muller automaton
• Weak Bchi automaton

In search of CurveSwap: Measuring elliptic curve implementations in the wild Luke Valenta∗ , Nick Sullivan† , Antonio Sanso‡ , Nadia Heninger∗ ∗ University

Source URL: www.seas.upenn.edu

• Cryptography
• Elliptic curve cryptography
• Elliptic-curve DiffieHellman
• DiffieHellman key exchange
• Cryptographic protocols
• Alice and Bob
• Computational hardness assumptions
• Transport Layer Security
• WolfSSH

Refinement Types for Secure Implementations JESPER BENGTSON, Uppsala University KARTHIKEYAN BHARGAVAN, Microsoft Research ´ CEDRIC FOURNET, Microsoft Research

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

• 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

Editorial: Single- Versus Double-Blind Reviewing Richard T. Snodgrass University of Arizona This editorial analyzes from a variety of perspectives the controversial issue of single-blind versus double-blind reviewing. In

Source URL: history.acm.org

• Academic publishing
• Scientific method
• Publishing
• Knowledge
• Science
• Scholarly peer review
• Blinded experiment
• Academic journal
• Bias
• Richard T. Snodgrass
• Scientific journal

Understanding Parallelism-Inhibiting Dependences in Sequential Java Programs Atanas Rountev∗, Kevin Van Valkenburgh†, Dacong Yan∗ and P. Sadayappan∗ ∗ Ohio State University

Source URL: dacongy.github.io

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

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

• Business
• Economy
• Queueing theory
• Management
• Graph theory
• Markov chain
• Service level
• Service-level agreement
• Airbag
• Statistical hypothesis testing
• Sensitivity analysis
• PEPA

Towards Algorithmic Synthesis of Synchronization for Shared-Memory Concurrent Programs Roopsha Samanta Computer Engineering Research Centre, The University of Texas at Austin.

Source URL: www.cs.purdue.edu

• Mathematics
• Formal languages
• Temporal logic
• Syntax
• Metalogic
• Logic
• Metaphilosophy
• Model theory
• Linear temporal logic
• Interpretation
• Computation tree logic
• Variable

Cognitive Reasoning and Trust in Human-Robot Interactions? Marta Kwiatkowska Department of Computer Science, University of Oxford, Oxford, UK Abstract. We are witnessing accelerating technological advances in autonomous

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

• Temporal logic
• Artificial intelligence
• Human behavior
• Cognitive science
• Logic
• Linear temporal logic
• Computation tree logic
• Autonomous agent
• Probabilistic logic
• Trust
• Humanrobot interaction
• Practical reason

SageMathT M Advice For Calculus Tuan A. Le and Hieu D. Nguyen Rowan University

Source URL: users.rowan.edu

• Mathematical software
• Application software
• Software
• SageMath
• Calculus
• Computer algebra system
• Integral
• Wolfram Mathematica
• Antiderivative
• Sage
• Logarithm
• Lebesgue integration

Automated Planning and Scheduling ΕΟ Constellations’ Operations with Ant Colony Optimization Evridiki Vasileia Ntagiou Surrey Space Centre, University of Surrey Abstract

Source URL: icaps16.icaps-conference.org

• Mathematics
• Computational complexity theory
• Nature-inspired metaheuristics
• Applied mathematics
• Ant colony optimization algorithms
• Swarm intelligence
• Optimization problem
• Mathematical optimization
• Ant
• Swarm behaviour
• Combinatorial optimization
• Shortest path problem