The Hanoi Omega-Automata Format This document describes the Hanoi Omega-Automata (HOA) format. The name is a reference to the ATVA’13 conference, which was organized in Hanoi, and where the foundations of this format w

Source URL: adl.github.io

• Finite automata
• Model checking
• -automaton
• Generalized Bchi automaton
• Bchi automaton
• Buchi
• Muller automaton
• Automata theory

Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries Shumo Chu, Brendan Murphy, Jared Roesch, Alvin Cheung, Dan Suciu Paul G. Allen School of Computer Science and Engineering University

Source URL: www.vldb.org

Foundations of Path-Dependent Types Nada Amin∗ † Tiark Rompf †∗

Source URL: lampwww.epfl.ch

• Type theory
• Software engineering
• Computing
• Computer programming
• Data types
• Object-oriented programming
• Formal methods
• Polymorphism
• Subtyping
• Type system
• Inheritance
• Refinement

New Foundations: Strategic Plan for the British Columbia Arts Council

Source URL: www.bcartscouncil.ca

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

Locality in Networks Jukka Suomela Helsinki Institute for Information Technology HIIT Department of Computer Science, University of Helsinki Foundations of Network Science Workshop Riga, 7 July 2013

Source URL: users.ics.aalto.fi

Mathematical Creativity Squared FP7 - Information and Communication Technologies Grant Agreement no: Strategic Objective ICT “Technologies and scientific foundations in the field of creativity” Collab

Source URL: www.mc2-project.eu

R Foundations and Trends
in Databases Vol. 4, Nos. 1––294 c 2012 G. Cormode, M. Garofalakis, P. J. Haas

Source URL: db.ucsd.edu

Mathematical Foundations David McAllester Draft of December 12, 2012 ii

Source URL: ttic.uchicago.edu

Epistemological Foundations for the Cosmological Argument Rob Koons October 5,

Source URL: robkoons.net