Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.


Results 41-50 of 1008 (Search time: 0.031 seconds).
Item hits:
Issue DateTitleAuthor(s)
2014Quiescent consistency: Defining and verifying relaxed linearizabilityDerrick, J; Dongol, B; Schellhorn, G; Tofan, B; Travkin, O; Wehrheim, H
2014Verifying linearizability on TSO architecturesDerrick, J; Smith, G; Dongol, B
2014EXACT2: the semantics of biomedical protocolsSoldatova, LN; Nadis, D; King, RD; Basu, PS; Haddi, E; Baumlé, V; Saunders, NJ; Marwan, W; Rudkin, BB
2015Designing robust and reliable timestamps for remote patient monitoringClarke, M; Schluter, P; Reinhold, B; Reinhold, B
2016H∞ state estimation for discrete-time memristive recurrent neural networks with stochastic time-delaysLiu, H; Wang, Z; Shen, B; Alsaadi, FE
2014Trusted integration of cloud-based NFC transaction playersPourghomi, P; Saeed, MQ; Ghinea, G
2015Salient region detection using patch level and region level image abstractionsKannan, R; Ghinea, G; Swaminathan, S
2016Using local states to drive the sampling of global conformations in proteinsPandini, A; Fornili, A
2014Development of an automated online clinical consultation with electronic antibiotic prescribing for the remote managment of genital chlamydia trachomatis infection within the ESTI2 consortiumGibbs, J; Sutcliffe, L; Sadig, T; Sonnenberg, P; Ashcroft, R; Gkaczidou, V; Hone, K; Estcourt, C
2014Establishing relationships between innovation characteristics and it innovation adoption in orgnisations: A meta-analysis approacheHameed, M; Counsell, S