جستجوی پیشرفته

پاک کن

فیلترهای فعلی

پالایش جستجو:

جهت پالایش جستجو از فیلترها استفاده نمایید .


رکورد(های) بازیابی شده :
PreviewIssue DateTitleAuthor(s)
6-May-2016Interleaving and lock-step semantics for analysis and verification of GPU kernelsFelleisen, M; Gardner, P; Engineering & 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)
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)
26-May-2016Evolution of attacks, threat models, and solutions for virtualized systemsCommission of the European Communities; Engineering & Physical Science Research Council (EPSRC)
17-Feb-2017An iterative CT reconstruction algorithm for fast fluid flow imagingEngineering & Physical Science Research Council (EPSRC); Engineering & Physical Science Research Council (E
22-Feb-2017Development of micromechanisms for handling of biomaterials under laser lightWellcome Trust; Engineering & Physical Science Research Council (EPSRC)
30-Mar-2016Multiparty asynchronous session typesEngineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E; Engineering & 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)