Search

Start a new search

Current filters:

Add filters:

Use filters to refine the search results.


Item hits:
PreviewIssue DateTitleContributor(s)
9-Mar-2016Implementing Land-use and Ecosystem Service Effects into An Integrated Bioenergy Value Chain Optimisation FrameworkEngineering & Physical Science Research Council (EPSRC)
6-May-2016Interleaving and lock-step semantics for analysis and verification of GPU kernelsFelleisen, M; Gardner, P; Engineering & Physical Science Research Council (EPSRC)
9-May-2016Warps and atomics: beyond barrier synchronization in the verification of GPU kernelsBadger, JM; Rozier, KY; Engineering & Physical Science Research Council (EPSRC)
4-May-2016Hog active appearance modelsEngineering & Physical Science Research Council (EPSRC)
25-Jan-2016300 faces In-the-wild challenge: database and resultsEngineering & Physical Science Research Council (EPSRC); Engineering & Physical Science Research Council (EPSRC)
5-May-2016Remote-Scope Promotion: Clarified, Rectified, and VerifiedCommission of the European Communities; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (EPSRC)
5-May-2016Many-Core Compiler FuzzingCommission of the European Communities; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (EPSRC)
5-May-2016The Design and Implementation of a Verification Technique for GPU KernelsEngineering & Physical Science Research Council (EPSRC); Commission of the European Communities
25-Mar-2016Energy Packet Networks with Energy HarvestingEngineering & Physical Science Research Council (EPSRC)
30-Apr-2017An asymptotic-preserving method for a relaxation of the NavierStokes-Korteweg equationsThe Royal Society; Engineering & Physical Science Research Council (EPSRC)