Computing : [1569] Collection home page

Browse
Collection's Items (Sorted by Title in Ascending order): 21 to 40 of 1569
< previous   next >
Publication DateTitleAuthor(s)
25-Jan-2015A Counter Abstraction Technique for the Verification of Robot Swarms.Lomuscio, AR; Kouvaros, P
15-Aug-2017A critical evaluation of spectrum-based fault localization techniques on a large-scale software systemKeller, F; Grunske, L; Heiden, S; Filieri, A; Van Hoorn, A, et al
12-Aug-2017A decade of imaging surgeons' brain function (Part I): terminology, techniques and clinical translationModi, HN; Singh, H; Yang, G; Darzi, A; Leff, D
26-Oct-2017A decade of imaging surgeons' brain function (Part II): a systematic review of applications for technical and non-technical skills assessmentModi, HN; Singh, H; Yang, G; Darzi, A; Leff, D
13-Oct-2017A Deep Cascade of Convolutional Neural Networks for Dynamic MR Image ReconstructionSchlemper, J; Caballero, J; Hajnal, J; Price, A; Rueckert, D
23-Dec-2016A deep learning approach to on-node sensor data analytics for mobile or wearable devicesRavi, D; Wong, C; Lo, B; Yang, G
15-Apr-2016A deep matrix factorization method for learning attribute representationsTrigeorgis, G; Bousmalis, K; Zafeiriou, S; Schuller, B
18-Apr-2017A deformable model for the reconstruction of the neonatal cortexSchuh, A; Makropoulos, A; Wright, R; Robinson, EC; Tusor, N, et al
13-Nov-2014A derivative for complex Lipschitz maps with generalised Cauchy–Riemann equationsEdalat, A
1-Sep-2015A DevOps approach to integration of software components in an EU research projectStillwell, ML; De Figueiredo Coutinho, JG
15-Jun-2010A differential operator and weak topology for Lipschitz mapsEdalat, A
-A Direct Symbolic Execution of SQL Code for Testing of Data-Oriented ApplicationsMarcozzi, M; Vanhoof, W; Hainaut, J-L
5-May-2016A domain specific approach to high performance heterogeneous computingThomas, DB; Inggs, G; Luk, W
1-Dec-2016A domain specific language for accelerated multilevel Monte Carlo simulationsLindsey, B; Leslie, M; Luk, W
-A domain-specific language for the hybridization and static condensation of finite element methodsGibson, TH; Mitchell, L; Ham, DA; Cotter, CJ
9-Aug-2017A domain-theoretic approach to Brownian motion and general continuous stochastic processesBilokon, P; Edalat, A
12-Jul-2017A DSL approach to reconcile equivalent divergent program executionsGanchinho de Pina, L; Grumberg, D; Andronidis, A; Cadar, C
1-Nov-2010A Dynamic Texture-Based Approach to Recognition of Facial Actions and Their Temporal ModelsKoelstra, S; Pantic, M; Patras, IY
24-Aug-2015A fast and scalable graph coloring algorithm for multi-core and many-core architecturesRokos, G; Gorman, G; Kelly, PHJ
6-Sep-2017A flexible graphical model for multi-modal parcellation of the cortex.Parisot, S; Glocker, B; Ktena, SI; Arslan, S; Schirmer, MD, et al
Collection's Items (Sorted by Title in Ascending order): 21 to 40 of 1569
< previous   next >