.uk - PDFSEARCH.IO - Document Search Engine

.uk
Results: 509634

#	Item
11	EXPRESSMatching Systems for Concurrent Calculi Bjørn Haagensen1 Aalborg University Denmark Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2009-08-14 07:09:04 Theoretical computer science Process calculi -calculus Process calculus
12	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 Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 12:50:31 Logic Symbol Substitution Mathematical logic Finite automata
13	Motivation Interleaving AVATAR Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 13:24:52 School of Computer Science University of Manchester Vampire
14	Reasoning about Resource-bounded Agents Natasha Alechina joint work with Brian Logan, Hoang Nga Nguyen, Franco Raimondi, Nils Bulling Agent Verification Workshop Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2015-11-05 09:28:54 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
15	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 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-07-04 05:12:57 Computing Computer graphics 3D rendering Video game development Computer programming Graphics hardware Graphics libraries Texture atlas Graphics processing unit Texture mapping Optimizing compiler Rendering
16	fåîÉåíçêó ^ÅÅKVMUN pÅçííáëÜ=d~ÉäáÅ=qÉñíë=pçÅáÉíó k~íáçå~ä=iáÄê~êó=çÑ=pÅçíä~åÇ Add to Reading List Source URL: www.nls.uk Language: Portuguese - Date: 2002-05-16 11:14:02
17	Structural Normalisation Methods for Improving Best Answer Identification in Question Answering Communities Grégoire Burel, Paul Mulholland and Harith Alani Knowledge Media Institute, Open University, UK {g.burel, p.mu Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:49:36 Information science Yahoo! Answers Information retrieval Question answering Answer Internet forum Questions and answers Artificial intelligence
18	Informatics 1 Functional Programming Lectures 1 and 2 Monday 24–Tuesday 25 September 2012 Introduction, Functions Don Sannella Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2012-09-24 08:45:19 Software engineering Computing Computer programming Tutorial Don Sannella Haskell D Informatics Functional programming
19	PDF Document Add to Reading List Source URL: journal.wrocah.ac.uk Language: English Mexican culture Americas Mexico Culture Interpreters La Malinche Slaves Marianismo Isabel Allende La chingada Margo Glantz Spanish profanity
20	green wheat field and cloudy sky Add to Reading List Source URL: www.hmrc.gov.uk Language: English - Date: 2014-09-08 05:06:42 Economy Research and Development Expenditure Credit Research and Development Tax Credit Taxation in the United Kingdom Tax credit Corporate tax Tax Value-added tax