IEEE P7001: A Proposed Standard on Transparency
Winfield, Alan F. T., Booth, Serena, Dennis, Louise A., Egawa, Takashi, Hastie, Helen, Jacobs, Naomi, Muttram, Roderick I., Olszewska, Joanna I., Rajabiyazdi, Fahimeh, Theodorou, Andreas, Underwood, Mark A., Wortham, Robert H., Watson, Eleanor
Published in Frontiers in robotics and AI (26.07.2021)
Published in Frontiers in robotics and AI (26.07.2021)
Get full text
Journal Article
Insulin-sensitizing effects of dietary resistant starch and effects on skeletal muscle and adipose tissue metabolism
Robertson, M Denise, Bickerton, Alex S, Dennis, A Louise, Vidal, Hubert, Frayn, Keith N
Published in The American journal of clinical nutrition (01.09.2005)
Published in The American journal of clinical nutrition (01.09.2005)
Get full text
Journal Article
An Overview of Verification and Validation Challenges for Inspection Robots
Fisher, Michael, Cardoso, Rafael C., Collins, Emily C., Dadswell, Christopher, Dennis, Louise A., Dixon, Clare, Farrell, Marie, Ferrando, Angelo, Huang, Xiaowei, Jump, Mike, Kourtis, Georgios, Lisitsa, Alexei, Luckcuck, Matt, Luo, Shan, Page, Vincent, Papacchini, Fabio, Webster, Matt
Published in Robotics (Basel) (01.06.2021)
Published in Robotics (Basel) (01.06.2021)
Get full text
Journal Article
On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots
Bremner, Paul, Dennis, Louise A., Fisher, Michael, Winfield, Alan F.
Published in Proceedings of the IEEE (01.03.2019)
Published in Proceedings of the IEEE (01.03.2019)
Get full text
Journal Article
Formal verification of autonomous vehicle platooning
Kamali, Maryam, Dennis, Louise A., McAree, Owen, Fisher, Michael, Veres, Sandor M.
Published in Science of computer programming (15.11.2017)
Published in Science of computer programming (15.11.2017)
Get full text
Journal Article
Markov chain model representation of information diffusion in social networks
Dennis, Louise A, Fu, Yu, Slavkovik, Marija
Published in Journal of logic and computation (06.09.2022)
Published in Journal of logic and computation (06.09.2022)
Get full text
Journal Article
Downregulation of Adipose Tissue Fatty Acid Trafficking in Obesity: A Driver for Ectopic Fat Deposition?
MCQUAID, Siobhán E, HODSON, Leanne, KARPE, Fredrik, NEVILLE, Matthew J, DENNIS, A. Louise, CHEESEMAN, Jane, HUMPHREYS, Sandy M, RUGE, Toralph, GILBERT, Marjorie, FIELDING, Barbara A, FRAYN, Keith N
Published in Diabetes (New York, N.Y.) (01.01.2011)
Published in Diabetes (New York, N.Y.) (01.01.2011)
Get full text
Journal Article
Model checking agent programming languages
Dennis, Louise A., Fisher, Michael, Webster, Matthew P., Bordini, Rafael H.
Published in Automated software engineering (01.03.2012)
Published in Automated software engineering (01.03.2012)
Get full text
Journal Article
Cohort Profile: The Oxford Biobank
Karpe, Fredrik, Vasan, Senthil K, Humphreys, Sandy M, Miller, John, Cheeseman, Jane, Dennis, A Louise, Neville, Matt J
Published in International journal of epidemiology (01.02.2018)
Published in International journal of epidemiology (01.02.2018)
Get full text
Journal Article
Subcutaneous Adipose Tissue from Obese and Lean Adults Does Not Release Hepcidin In Vivo
Pusatcioglu, Cenk, Nemeth, Elizabeta, Dennis, A. Louise, Westerman, Mark, Smith, Steven R., Frayn, Keith N., Tussing-Humphreys, Lisa, Thomson, Jessica
Published in TheScientificWorld (01.01.2011)
Published in TheScientificWorld (01.01.2011)
Get full text
Journal Article
Security-Minded Verification of Cooperative Awareness Messages
Farrell, Marie, Bradbury, Matthew, Cardoso, Rafael C., Fisher, Michael, Dennis, Louise A., Dixon, Clare, Sheik, Al Tariq, Yuan, Hu, Maple, Carsten
Published in IEEE transactions on dependable and secure computing (01.07.2024)
Published in IEEE transactions on dependable and secure computing (01.07.2024)
Get full text
Journal Article
Practical verification of decision-making in agent-based autonomous systems
Dennis, Louise A., Fisher, Michael, Lincoln, Nicholas K., Lisitsa, Alexei, Veres, Sandor M.
Published in Automated software engineering (01.09.2016)
Published in Automated software engineering (01.09.2016)
Get full text
Journal Article
Fasted to Fed Trafficking of Fatty Acids in Human Adipose Tissue Reveals a Novel Regulatory Step for Enhanced Fat Storage
Ruge, Toralph, Hodson, Leanne, Cheeseman, Jane, Dennis, A. Louise, Fielding, Barbara A., Humphreys, Sandy M., Frayn, Keith N., Karpe, Fredrik
Published in The journal of clinical endocrinology and metabolism (01.05.2009)
Published in The journal of clinical endocrinology and metabolism (01.05.2009)
Get full text
Journal Article
Autonomous Nuclear Waste Management
Aitken, Jonathan M., Veres, Sandor M., Shaukat, Affan, Gao, Yang, Cucco, Elisa, Dennis, Louise A., Fisher, Michael, Kuo, Jeffrey A., Robinson, Thomas, Mort, Paul E.
Published in IEEE intelligent systems (01.11.2018)
Published in IEEE intelligent systems (01.11.2018)
Get full text
Journal Article
Evaluating alternative gait strategies using evolutionary robotics
Sellers, William I., Dennis, Louise A., W.‐J., Wang, Crompton, Robin H.
Published in Journal of anatomy (01.05.2004)
Published in Journal of anatomy (01.05.2004)
Get full text
Journal Article