EXPRESSMatching Systems for Concurrent Calculi Bjørn Haagensen1 Aalborg University Denmark

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

• Theoretical computer science
• Process calculi
• -calculus
• Process calculus

A Pattern-Based Approach to Parametric Specification Mining Giles Reger, Howard Barringer, and David Rydeheard University of Manchester, UK Abstract. This paper presents a technique for mining parametric temporal specifi

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

• Logic
• Symbol
• Substitution
• Mathematical logic
• Finite automata

Motivation Interleaving AVATAR

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

• School of Computer Science
• University of Manchester
• Vampire

Reasoning about Resource-bounded Agents Natasha Alechina joint work with Brian Logan, Hoang Nga Nguyen, Franco Raimondi, Nils Bulling Agent Verification Workshop

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

• Artificial intelligence
• Multi-agent systems
• Modeling and simulation
• Systems science
• Agent-based model
• Artificial life
• Complex systems theory
• Model checking
• Temporal logic
• Intelligent agent
• Sociology

Static Program Analysis for Identifying Energy Bugs in Graphics-Intensive Mobile Apps Chang Hwan Peter Kim, Daniel Kroening, and Marta Kwiatkowska Department of Computer Science, University of Oxford, UK

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

• Computing
• Computer graphics
• 3D rendering
• Video game development
• Computer programming
• Graphics hardware
• Graphics libraries
• Texture atlas
• Graphics processing unit
• Texture mapping
• Optimizing compiler
• Rendering

fåîÉåíçêó ^ÅÅKVMUN pÅçííáëÜ=d~ÉäáÅ=qÉñíë=pçÅáÉíó k~íáçå~ä=iáÄê~êó=çÑ=pÅçíä~åÇ

Source URL: www.nls.uk

SUMMARY RECORD, ADMINISTRATIVE COUNCIL INTERNATIONAL AMATEUR RADIO UNION Meeting in Seoul, Republic of Korea 8 and 9 SeptemberThe 43rd meeting of the Administrative Council (AC) of the International Amateur Radi

Source URL: www.iaru.org

• Radio
• ITU Radio Regulations
• Amateur radio
• Amateur radio bands
• International Amateur Radio Union
• American Radio Relay League
• International Telecommunication Union
• Spectrum management
• 60-meter band

Informatics 1 Functional Programming Lectures 1 and 2 Monday 24–Tuesday 25 September 2012 Introduction, Functions Don Sannella

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

• Software engineering
• Computing
• Computer programming
• Tutorial
• Don Sannella
• Haskell
• D
• Informatics
• Functional programming

PDF Document

Source URL: journal.wrocah.ac.uk

• Mexican culture
• Americas
• Mexico
• Culture
• Interpreters
• La Malinche
• Slaves
• Marianismo
• Isabel Allende
• La chingada
• Margo Glantz
• Spanish profanity

PDF Document

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

• Software engineering
• Computer programming
• Programming language theory
• Functional languages
• Proof assistants
• Procedural programming languages
• Logic in computer science
• Type theory
• Isabelle
• Logic for Computable Functions
• Standard ML
• ML