Dept of Computer Science Research Papers Collection home page

Browse
Subscribe to this collection to receive daily e-mail notification of new additions RSS Feed RSS Feed RSS Feed
Collection's Items (Sorted by Submit Date in Descending order): 1401 to 1450 of 2341
Issue DateTitleAuthor(s)
2013Implementation relations for testing through asynchronous channelsHierons, RM
2013Pain management following new and long-standing spinal cord injury: A pilot study of changes in pain intensity experienced during the dayFrank, AO; Spyridonis, F; Ghinea, G; Gawronski, J
2014Towards NFC payments using a lightweight architecture for the Web of ThingsGrønli, T-M; Ghinea, G; Pourghomi, P
2014On controllability of neuronal networks with constraints on the average of control gainsTang, Y; Wang, Z; Gao, H; Qiao, H; Kurths, J
2014Finite-horizon estimation of randomly occurring faults for a class of nonlinear time-varying systemsDong, H; Wang, Z; Ding, SX; Gao, H
2014Robust Adaptive Intra Refresh for Multiview VideoSagir, L; Sadka, AH
2014Interpreting infrastructure: Defining user value for digital financial intermediaries.Ferreira, J; McKnight, J; Fish, A; Perry, MJ
2014Putting the ‘digital’ in Digital Intermediaries: the role of technical infrastructure in building business modelsFerreira, J; McKnight, J; Perry, M; Fish, A
2014Verifying linearizability on TSO architecturesDerrick, J; Smith, G; Dongol, B
2015Enhancing practice and achievement in introductory programming with a robot olympicsScott, MJ; Counsell, S; Lauria, S; Swift, S; Tucker, A; Shepperd, M; Ghinea, G
2014Quiescent consistency: Defining and verifying relaxed linearizabilityDerrick, J; Dongol, B; Schellhorn, G; Tofan, B; Travkin, O; Wehrheim, H
2015Building an alternative social currency: Dematerialising and rematerialising digital money across mediaFerreira, J; Perry, M
10-Dec-2014Building an Alternative Social Currency: Dematerialising and rematerialising digital money across mediaFerreira, J; Perry, MJ
2014Deriving real-time action systems with multiple time bands using algebraic reasoningDongol, B; Hayes, IJ; Derrick, J
2014Retinal blood vessels extraction using probabilistic modellingKaba, D; Wang, C; Li, Y; Salazar-Gonzalez, A; Liu, X; Serag, A
2013Two-stage hybrid feature selection algorithms for diagnosing erythemato-squamous diseasesXie, J; Lei, J; Xie, W; Shi, Y; Liu, X
2013Enhanced indexation based on second-order stochastic dominanceRoman, D; Mitra, G; Zverovich, V
2005Memory-enhanced univariate marginal distribution algorithms for dynamic optimization problemsYang, S
2005Genetic algorithms with self-organized criticality for dynamic optimization problemsTinos, R; Yang, S
2012On design of quantized fault detection filters with randomly occurring nonlinearities and mixed time-delaysDong, H; Wang, Z; Gao, H
2011Public claims about automatic external defibrillators: An online consumer opinions studyMoney, AG; Barnett, J; Kuljis, J
2014EXACT2: the semantics of biomedical protocolsSoldatova, LN; Nadis, D; King, RD; Basu, PS; Haddi, E; Baumlé, V; Saunders, NJ; Marwan, W; Rudkin, BB
2014Computational models for inferring biochemical networksRausanu, S; Grosan, C; Wu, Z; Parvu, O; Stoica, R; Gilbert, D
2014Discovering study-specific gene regulatory networksBo, V; Curtis, T; Lysenko, A; Saqi, M; Swift, S; Tucker, A
2014Evaluating usability of cross-platform smartphone applicationsMesfin, G; Ghinea, G; Midekso, D; Grønli, T-M
2014Microblogging as a mechanism for human–robot interactionBell, D; Koulouri, T; Lauria, S; Macredie, RD; Sutton, J
2015Salient region detection using patch level and region level image abstractionsKannan, R; Ghinea, G; Swaminathan, S
2014Trusted integration of cloud-based NFC transaction playersPourghomi, P; Saeed, MQ; Ghinea, G
2014Designing an information system for updating land records in Bangladesh: action design ethnographic research (ADER)Brooks, L; Alam, MS
2014Sampling from Dirichlet process mixture models with unknown concentration parameter: mixing issues in large data implementationsHastie, DI; Liverani, S; Richardson, S
2014Assessing the role of conceptual knowledge in an anti-phishing gameScott, MJ; Ghinea, G; Arachchilage, NAG
2014Combining centralised and distributed testingHierons, RM
2014A new test framework for communications-critical large scale systemsNabulsi, MA; Hierons, RM
20-Feb-2014A hierarchical network model for epidemic spreading. Analysis of A/H1N1 virus spreading in RomaniaRausanu, S; Grosan, C
2013Data refinement for true concurrencyDongol, B; Derrick, J
2014Selected papers from the 16th Annual Bio-Ontologies Special Interest Group MeetingSoldatova, LN; Rocco-Serra, P; Dumontier, M; Shah, NH
2014Do (and say) as I say: Linguistic adaptation in human-computer dialogsKolouri, T; Lauria, S; Macredie, R
2008Comparative Pathway Analyzer - A web server for comparative analysis, clustering and visualization of metabolic networks in multiple organismsOehm, S; Gilbert, D; Tauch, A; Stoye, J; Goesmann, A
2013Investigating attributes affecting the performance of WBI usersAlhajri, RA; Counsell, S; Liu, X
2012A meta-analysis of relationships between organizational characteristics and IT innovation adoption in organizationsHameed, MA; Counsell, S; Swift, S
2013Electroencephalogram evidence for the activation of human mirror neuron system during the observation of intransitive shadow and line drawing actionsZhu, H; Sun, Y; Wang, F
2010Class movement and re-location: An empirical study of Java inheritance evolutionNasseri, E; Counsell, S; Shepperd, M
2014Development of a technology adoption and usage prediction tool for assistive technology for people with dementiaO'Neill, SA; McClean, SI; Donnelly, MD; Nugent, CD; Galway, L; Cleland, I; Zhang, S; Young, T; Scotney, BW; Mason, SC; Craig, D
2008A novel method for comparing topological models of protein structures enhanced with ligand informationVeeramalai, M; Gilbert, D
2009Some challenges facing Lean Thinking in healthcareYoung, T; McClean, S
2008Self-organizing peer-to-peer social networksWang, F; Sun, Y
2011On the formalization and reuse of scientific researchKing, RD; Liakata, M; Lu, C; Oliver, SG; Soldatova, LN
2008The EXACT description of biomedical protocolsSoldatova, LN; Aubrey, W; King, RD; Clare, A
2010Modeling biomedical experimental processes with OBIBrinkman, RR; Courtot, M; Derom, D; Fostel, JM; He, Y; Lord, P; Malone, J; Parkinson, H; Peters, B; Rocca-Serra, P; Ruttenberg, A; Sansone, S-A; Soldatova, LN; Stoeckert, CJ; Turner, JA; Zheng, J
2008The vision and reality of 'Connecting for Health': Tensions, opportunities and policy implications of the UK national programmeMcGrath, K; Hendy, J; Klecun, E; Young, T
Collection's Items (Sorted by Submit Date in Descending order): 1401 to 1450 of 2341