Collection's Items (Sorted by Submit Date in Descending order): 1401 to 1450 of 2341
Issue Date | Title | Author(s) |
2013 | Implementation relations for testing through asynchronous channels | Hierons, RM |
2013 | Pain management following new and long-standing spinal cord injury: A pilot study of changes in pain intensity experienced during the day | Frank, AO; Spyridonis, F; Ghinea, G; Gawronski, J |
2014 | Towards NFC payments using a lightweight architecture for the Web of Things | Grønli, T-M; Ghinea, G; Pourghomi, P |
2014 | On controllability of neuronal networks with constraints on the average of control gains | Tang, Y; Wang, Z; Gao, H; Qiao, H; Kurths, J |
2014 | Finite-horizon estimation of randomly occurring faults for a class of nonlinear time-varying systems | Dong, H; Wang, Z; Ding, SX; Gao, H |
2014 | Robust Adaptive Intra Refresh for Multiview Video | Sagir, L; Sadka, AH |
2014 | Interpreting infrastructure: Defining user value for digital financial intermediaries. | Ferreira, J; McKnight, J; Fish, A; Perry, MJ |
2014 | Putting the ‘digital’ in Digital Intermediaries: the role of technical infrastructure in building business models | Ferreira, J; McKnight, J; Perry, M; Fish, A |
2014 | Verifying linearizability on TSO architectures | Derrick, J; Smith, G; Dongol, B |
2015 | Enhancing practice and achievement in introductory programming with a robot olympics | Scott, MJ; Counsell, S; Lauria, S; Swift, S; Tucker, A; Shepperd, M; Ghinea, G |
2014 | Quiescent consistency: Defining and verifying relaxed linearizability | Derrick, J; Dongol, B; Schellhorn, G; Tofan, B; Travkin, O; Wehrheim, H |
2015 | Building an alternative social currency: Dematerialising and rematerialising digital money across media | Ferreira, J; Perry, M |
10-Dec-2014 | Building an Alternative Social Currency: Dematerialising and rematerialising digital money across media | Ferreira, J; Perry, MJ |
2014 | Deriving real-time action systems with multiple time bands using algebraic reasoning | Dongol, B; Hayes, IJ; Derrick, J |
2014 | Retinal blood vessels extraction using probabilistic modelling | Kaba, D; Wang, C; Li, Y; Salazar-Gonzalez, A; Liu, X; Serag, A |
2013 | Two-stage hybrid feature selection algorithms for diagnosing erythemato-squamous diseases | Xie, J; Lei, J; Xie, W; Shi, Y; Liu, X |
2013 | Enhanced indexation based on second-order stochastic dominance | Roman, D; Mitra, G; Zverovich, V |
2005 | Memory-enhanced univariate marginal distribution algorithms for dynamic optimization problems | Yang, S |
2005 | Genetic algorithms with self-organized criticality for dynamic optimization problems | Tinos, R; Yang, S |
2012 | On design of quantized fault detection filters with randomly occurring nonlinearities and mixed time-delays | Dong, H; Wang, Z; Gao, H |
2011 | Public claims about automatic external defibrillators: An online consumer opinions study | Money, AG; Barnett, J; Kuljis, J |
2014 | EXACT2: the semantics of biomedical protocols | Soldatova, LN; Nadis, D; King, RD; Basu, PS; Haddi, E; Baumlé, V; Saunders, NJ; Marwan, W; Rudkin, BB |
2014 | Computational models for inferring biochemical networks | Rausanu, S; Grosan, C; Wu, Z; Parvu, O; Stoica, R; Gilbert, D |
2014 | Discovering study-specific gene regulatory networks | Bo, V; Curtis, T; Lysenko, A; Saqi, M; Swift, S; Tucker, A |
2014 | Evaluating usability of cross-platform smartphone applications | Mesfin, G; Ghinea, G; Midekso, D; Grønli, T-M |
2014 | Microblogging as a mechanism for human–robot interaction | Bell, D; Koulouri, T; Lauria, S; Macredie, RD; Sutton, J |
2015 | Salient region detection using patch level and region level image abstractions | Kannan, R; Ghinea, G; Swaminathan, S |
2014 | Trusted integration of cloud-based NFC transaction players | Pourghomi, P; Saeed, MQ; Ghinea, G |
2014 | Designing an information system for updating land records in Bangladesh: action design ethnographic research (ADER) | Brooks, L; Alam, MS |
2014 | Sampling from Dirichlet process mixture models with unknown concentration parameter: mixing issues in large data implementations | Hastie, DI; Liverani, S; Richardson, S |
2014 | Assessing the role of conceptual knowledge in an anti-phishing game | Scott, MJ; Ghinea, G; Arachchilage, NAG |
2014 | Combining centralised and distributed testing | Hierons, RM |
2014 | A new test framework for communications-critical large scale systems | Nabulsi, MA; Hierons, RM |
20-Feb-2014 | A hierarchical network model for epidemic spreading. Analysis of A/H1N1 virus spreading in Romania | Rausanu, S; Grosan, C |
2013 | Data refinement for true concurrency | Dongol, B; Derrick, J |
2014 | Selected papers from the 16th Annual Bio-Ontologies Special Interest Group Meeting | Soldatova, LN; Rocco-Serra, P; Dumontier, M; Shah, NH |
2014 | Do (and say) as I say: Linguistic adaptation in human-computer dialogs | Kolouri, T; Lauria, S; Macredie, R |
2008 | Comparative Pathway Analyzer - A web server for comparative analysis, clustering and visualization of metabolic networks in multiple organisms | Oehm, S; Gilbert, D; Tauch, A; Stoye, J; Goesmann, A |
2013 | Investigating attributes affecting the performance of WBI users | Alhajri, RA; Counsell, S; Liu, X |
2012 | A meta-analysis of relationships between organizational characteristics and IT innovation adoption in organizations | Hameed, MA; Counsell, S; Swift, S |
2013 | Electroencephalogram evidence for the activation of human mirror neuron system during the observation of intransitive shadow and line drawing actions | Zhu, H; Sun, Y; Wang, F |
2010 | Class movement and re-location: An empirical study of Java inheritance evolution | Nasseri, E; Counsell, S; Shepperd, M |
2014 | Development of a technology adoption and usage prediction tool for assistive technology for people with dementia | O'Neill, SA; McClean, SI; Donnelly, MD; Nugent, CD; Galway, L; Cleland, I; Zhang, S; Young, T; Scotney, BW; Mason, SC; Craig, D |
2008 | A novel method for comparing topological models of protein structures enhanced with ligand information | Veeramalai, M; Gilbert, D |
2009 | Some challenges facing Lean Thinking in healthcare | Young, T; McClean, S |
2008 | Self-organizing peer-to-peer social networks | Wang, F; Sun, Y |
2011 | On the formalization and reuse of scientific research | King, RD; Liakata, M; Lu, C; Oliver, SG; Soldatova, LN |
2008 | The EXACT description of biomedical protocols | Soldatova, LN; Aubrey, W; King, RD; Clare, A |
2010 | Modeling biomedical experimental processes with OBI | Brinkman, 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 |
2008 | The vision and reality of 'Connecting for Health': Tensions, opportunities and policy implications of the UK national programme | McGrath, K; Hendy, J; Klecun, E; Young, T |
Collection's Items (Sorted by Submit Date in Descending order): 1401 to 1450 of 2341