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

پاک کن

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


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

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


رکورد(های) بازیابی شده :
PreviewIssue DateTitleAuthor(s)
24-Jun-2016Parameterised verification for multi-agent systemsEngineering & Physical Science Research Council (EPSRC); Engineering & Physical Science Research Council (EPSRC)
9-Mar-2016Implementing Land-use and Ecosystem Service Effects into An Integrated Bioenergy Value Chain Optimisation FrameworkEngineering & Physical Science Research Council (EPSRC)
15-Feb-2016Force-controlled absorption in a fully-nonlinear numerical wave tankEngineering & Physical Science Research Council (E; 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)
6-May-2016Interleaving and lock-step semantics for analysis and verification of GPU kernelsFelleisen, M; Gardner, P; 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)
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)
3-Jun-2016Effects as sessions, sessions as effectsEngineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (E; Engineering & Physical Science Research Council (EPSRC); Commission of the European Communities