Computing : [2334] Collection home page

Browse
Collection's Items (Sorted by Title in Ascending order): 41 to 60 of 2334
Issue DateTitleAuthor(s)
19-Jun-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
15-Jul-2018A differential privacy mechanism with network effects for crowdsourcing systemsLuo, Y; Jennings, NR
-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; Engineering & Physical Science Research Council (EPSRC); Engineering & Physical Science Research Council (E, et al
1-Dec-2016A domain specific language for accelerated multilevel Monte Carlo simulationsLindsey, B; Leslie, M; Luk, W; Engineering & Physical Science Research Council (E; Commission of the European Communities, et al
-A domain-specific language for the hybridization and static condensation of finite element methodsGibson, TH; Mitchell, L; Ham, DA; Cotter, CJ; Natural Environment Research Council (NERC), et al
9-Aug-2017A domain-theoretic approach to Brownian motion and general continuous stochastic processesBilokon, P; Edalat, A
-A DSL approach to reconcile equivalent divergent program executionsGanchinho de Pina, L; Grumberg, D; Andronidis, A; Cadar, C; Engineering & Physical Science Research Council (EPSRC)
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
3-Nov-2011A formal approach to adaptive software: continuous assurance of non-functional requirementsFilieri, A; Ghezzi, C; Tamburrelli, G
8-Aug-2018A formal approach to analyzing cyber-forensics evidenceKarafili, E; Cristani, M; Viganò, L; Commission of the European Communities
6-Dec-2019A framework for allocating server time to spot and on-demand services in cloud computingWu, X; De Pellegrini, F; Gao, G; Casale, G; Commission of the European Communities
10-Feb-2019A framework for generalized group testing with inhibitors and its potential application in neuroscienceBui, TV; Kuribayashi, M; Cheraghchi, M; Echizen, I
1-Jan-2014A Framework for Globally Optimizing Mixed-Integer Signomial ProgramsMisener, R; Floudas, CA
19-Dec-2016A framework for joint estimation and guided annotation of facial action unit intensityWalecki, R; Rudovic, O; Pantic, M; Pavlovic, V; Cohn, JF, et al
Collection's Items (Sorted by Title in Ascending order): 41 to 60 of 2334