Formal Specification and Verification of Autonomous Robotic Systems: A Survey von Luckcuck, Matt, Farrell, Marie, Dennis, Louise A., Dixon, Clare, Fisher, Michael

Volltext

Insulin-sensitizing effects of dietary resistant starch and effects on skeletal muscle and adipose tissue metabolism von Robertson, M Denise, Bickerton, Alex S, Dennis, A Louise, Vidal, Hubert, Frayn, Keith N

Volltext

IEEE P7001: A Proposed Standard on Transparency von 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

Volltext

Verifiable Self-Aware Agent-Based Autonomous Systems von Dennis, Louise A., Fisher, Michael

Volltext

An Overview of Verification and Validation Challenges for Inspection Robots von 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

Volltext

On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots von Bremner, Paul, Dennis, Louise A., Fisher, Michael, Winfield, Alan F.

Volltext

Formal verification of autonomous vehicle platooning von Kamali, Maryam, Dennis, Louise A., McAree, Owen, Fisher, Michael, Veres, Sandor M.

Volltext

Verifiable Autonomous Systems: Using Rational Agents to Provide Assurance about Decisions Made by Machines von Dennis, Louise A.

Volltext

Computational Goals, Values and Decision-Making von Dennis, Louise A.

Volltext

Explaining BDI agent behaviour through dialogue von Dennis, Louise A., Oren, Nir

Volltext

Downregulation of Adipose Tissue Fatty Acid Trafficking in Obesity: A Driver for Ectopic Fat Deposition? von 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

Volltext

Model checking agent programming languages von Dennis, Louise A., Fisher, Michael, Webster, Matthew P., Bordini, Rafael H.

Volltext

Cohort Profile: The Oxford Biobank von Karpe, Fredrik, Vasan, Senthil K, Humphreys, Sandy M, Miller, John, Cheeseman, Jane, Dennis, A Louise, Neville, Matt J

Volltext

Security-Minded Verification of Cooperative Awareness Messages von Farrell, Marie, Bradbury, Matthew, Cardoso, Rafael C., Fisher, Michael, Dennis, Louise A., Dixon, Clare, Sheik, Al Tariq, Yuan, Hu, Maple, Carsten

Volltext

Practical verification of decision-making in agent-based autonomous systems von Dennis, Louise A., Fisher, Michael, Lincoln, Nicholas K., Lisitsa, Alexei, Veres, Sandor M.

Volltext

Fasted to Fed Trafficking of Fatty Acids in Human Adipose Tissue Reveals a Novel Regulatory Step for Enhanced Fat Storage von Ruge, Toralph, Hodson, Leanne, Cheeseman, Jane, Dennis, A. Louise, Fielding, Barbara A., Humphreys, Sandy M., Frayn, Keith N., Karpe, Fredrik

Volltext

Subcutaneous Adipose Tissue from Obese and Lean Adults Does Not Release Hepcidin In Vivo von Pusatcioglu, Cenk, Nemeth, Elizabeta, Dennis, A. Louise, Westerman, Mark, Smith, Steven R., Frayn, Keith N., Tussing-Humphreys, Lisa, Thomson, Jessica

Volltext

Autonomous Nuclear Waste Management von 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.

Volltext

How Did They Know?''---Model-Checking for Analysis of Information Leakage in Social Networks von Dennis, Louise A., Slavkovik, Marija, Fisher, Michael

Volltext

An abstract formal basis for digital crowds von Slavkovik, Marija, Dennis, Louise A., Fisher, Michael

Volltext