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

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

The sun, volcanoes, computers and the foundations of palaeoclimate Steven J. Phipps Climate Change Research Centre ARC Centre of Excellence for Climate System Science

Source URL: www.stevenphipps.com

Call for Papers Foundations of Software Technology and Theoretical Computer Science December 12-14, 2011 Program Commtitee

Source URL: www.fsttcs.org

Two Kinds of Foundations Robert Harper Computer Science Department Carnegie Mellon University LFCS 30th Anniversary Celebration

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

Y in Practical Programs∗ Extended Abstract Bruce McAdam Laboratory for Foundations of Computer Science, The University of Edinburgh,

Source URL: blog.klipse.tech

EXCERPTED FROM CHAPTER 1 The Foundations for a New Kind of Science

Source URL: wac.36f4.edgecastcdn.net

Service-Level Agreements for Service-Oriented Computing Allan Clark, Stephen Gilmore and Mirco Tribastone Laboratory for Foundations of Computer Science The University of Edinburgh, Scotland

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

• Computer networking
• Data transmission
• Computing
• Information and communications technology
• Graph theory
• Markov chain
• Idle
• Upload
• Download
• Availability

Bio-PEPA: a framework for the modelling and analysis of biological systems Federica Ciocchetta a,∗ and Jane Hillston a,b a Laboratory for Foundations of Computer Science, The University of Edinburgh,

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