Showing results 26098 to 26117 of 27061
< previous
next >
| Issue Date | Title | Author(s) |
| 2008 | Using formal methods to support testing | Hierons, RM; Bogdanov, K; Bowen, JP; Cleaveland, R; Derrick, J; Dick, JH; Gheorghe, M; Harman, M; Kapoor, K; Krause, P; Luettgen, G; Simons, AJH; Vilkomir, S; Woodward, M |
| 2009 | Using formal specifications to support testing | Hierons, RM; Bogdanov, K; Bowen, JP; Cleaveland, R; Derrick, J; Dick, J; Gheorghe, M; Harman, M; Kapoor, K; Krause, P; Luettgen, G; Simons, AJH; Vilkomir, S; Woodward, MR; Zedan, H |
| 2013 | Using genetic algorithms to generate test sequences for complex timed systems | Nunez, A; Merayo, MG; Nunez, M; Hierons, RM |
| 19-Feb-2024 | Using genetics to investigate the association between lanosterol and cataract | Hashimi, M; Amin, HA; Zagkos, L; Day, AC; Drenos, F |
| 2002 | Using geographical information systems for management of back-pain data | Ghinea, G; Gill, D; Frank, AO; De Souza, LH |
| 2004 | Using handheld devices for real-time wireless teleconsultation | Banitsas, KA; Georgiadis, P; Tachakra, S; Cavouras, D |
| 2006 | Using handheld pocket computers in a wireless telemedicine system | Banitsas, K; Tachakra, S; Tachakra, F; Song, Y; Solomon, H; Corrigan, R |
| 2014 | Using Heuristic Search with Pedestrian Simulation Statistics to Find Feasible Spatial Layout Design Elements | Hassan, FH; Swift, S; Tucker, A |
| 2008 | Using HSPA to improve the telemedical links on a moving ambulance | Banitsas, KA; Tachakra, S; Stefanidis, E; Boletis, K |
| 14-Sep-2022 | Using immersive technologies to facilitate location scouting in audiovisual media production: a user requirements study and proposed framework | Bodini, A; Colecchia, F; Manohar, A; Harrison, D; Garaj, V |
| 2008 | Using intelligent optimization methods to improve the group method of data handling in time series prediction | Abbod, MF; Deshpande, K |
| 2014 | Using intermittent self-catheters: Experiences of people with neurological damage to their spinal cord | Kelly, L; Spencer, S; Barrett, G |
| 2010 | Using interpretative phenomenological analysis to inform physiotherapy practice: An introduction with reference to the lived experience of cerebellar ataxia | Cassidy, E; Reynolds, F; Naylor, S; De Souza, LH |
| 23-Dec-2016 | Using judgement analysis to identify dietitians’ referral prioritisation for assessment in acute adult services | Hickson, M; Davies, M; Gokalp, H; Harries, PA |
| 2019 | Using Kinect v2 to Control a Laser Visual Cue System to Improve the Mobility during Freezing of Gait in Parkinson’s Disease | Amini, A; Banitsas, K |
| 2016 | Using local states to drive the sampling of global conformations in proteins | Pandini, A; Fornili, A |
| 2-Oct-2015 | Using mathematical modelling to explore hypotheses about the role of bovine epithelium structure in foot-And-mouth disease virus-induced cell Lysis | Giorgakoudi, K; Gubbins, S; Ward, J; Juleff, N; Zhang, Z; Schley, D |
| 10-Oct-2022 | Using Microservices to Design Patient-facing Research Software | Chapman, M; G-Medhin, A; Sassoon, I; Kokciyan, N; Sklar, E; Curcin, V |
| 2022 | Using mobile learning in blended learning environments in higher education: perceptions and acceptance among students and lecturers at Qassim university, Saudi Arabia | Alsidrah, Hanan |
| 23-Feb-2021 | Using Natural Language Processing and Artificial Intelligence to Explore the Nutrition and Sustainability of Recipes and Food | van Erp, M; Reynolds, C; Maynard, D; Starke, A; Ibáñez Martín, R; Andres, F; Leite, MCA; Alvarez de Toledo, D; Schmidt Rivera, X; Trattner, C; Brewer, S; Adriano Martins, C; Kluczkovski, A; Frankowska, A; Bridle, S; Levy, RB; Rauber, F; da Silva, JT; Bosma, U |
