Artificial intelligence explainability: the technical and ethical dimensions
McDermid, John A, Jia, Yan, Porter, Zoe, Habli, Ibrahim
Published in Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences (04.10.2021)
Published in Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences (04.10.2021)
Get full text
Journal Article
Formal Specification-Based Inspection for Verification of Programs
Shaoying Liu, Yuting Chen, Nagoya, F., McDermid, J. A.
Published in IEEE transactions on software engineering (01.09.2012)
Published in IEEE transactions on software engineering (01.09.2012)
Get full text
Journal Article
Albumin Binding, Relaxivity, and Water Exchange Kinetics of the Diastereoisomers of MS-325, a Gadolinium(III)-Based Magnetic Resonance Angiography Contrast Agent
Caravan, Peter, Parigi, Giacomo, Chasse, Jaclyn M, Cloutier, Normand J, Ellison, Jeffrey J, Lauffer, Randall B, Luchinat, Claudio, McDermid, Sarah A, Spiller, Marga, McMurry, Thomas J
Published in Inorganic chemistry (06.08.2007)
Published in Inorganic chemistry (06.08.2007)
Get full text
Journal Article
A Rigorous Method for Inspection of Model-Based Formal Specifications
Shaoying Liu, McDermid, John A, Yuting Chen
Published in IEEE transactions on reliability (01.12.2010)
Published in IEEE transactions on reliability (01.12.2010)
Get full text
Journal Article
The Canadian Objective Assessment of Life Skills (COALS): A new measure of functional competence in schizophrenia
McDermid Vaz, Stephanie A, Heinrichs, R. Walter, Miles, Ashley A, Ammari, Narmeen, Archie, Suzanne, Muharib, Eva, Goldberg, Joel O
Published in Psychiatry research (30.04.2013)
Published in Psychiatry research (30.04.2013)
Get full text
Journal Article
The Interaction of MS-325 with Human Serum Albumin and Its Effect on Proton Relaxation Rates
Caravan, Peter, Cloutier, Normand J, Greenfield, Matthew T, McDermid, Sarah A, Dunham, Stephen U, Bulte, Jeff W. M, Amedio, John C, Looby, Richard J, Supkowski, Ronald M, Horrocks, William DeW, McMurry, Thomas J, Lauffer, Randall B
Published in Journal of the American Chemical Society (27.03.2002)
Published in Journal of the American Chemical Society (27.03.2002)
Get full text
Journal Article
The Safety of Autonomy: A Systematic Approach
McDermid, John A., Calinescu, Radu, Habli, Ibrahim, Hawkins, Richard, Jia, Yan, Molloy, John, Osborne, Matt, Paterson, Colin, Porter, Zoe, Conmy, Philippa Ryan
Published in Computer (Long Beach, Calif.) (01.04.2024)
Published in Computer (Long Beach, Calif.) (01.04.2024)
Get full text
Journal Article
An Automated Approach to Specification-Based Program Inspection
Liu, Shaoying, Nagoya, Fumiko, Chen, Yuting, Goya, Masashi, McDermid, John A.
Published in Formal Methods and Software Engineering (2005)
Published in Formal Methods and Software Engineering (2005)
Get full text
Book Chapter
Conference Proceeding
The reliability of examination for tenderness in patients with myofascial pain, chronic fibromyalgia and controls
Tunks, E, McCain, G A, Hart, L E, Teasell, R W, Goldsmith, C H, Rollman, G B, McDermid, A J, DeShane, P J
Published in Journal of rheumatology (01.05.1995)
Get more information
Published in Journal of rheumatology (01.05.1995)
Journal Article
When are Two Waters Worse Than One? Doubling the Hydration Number of a Gd-DTPA Derivative Decreases Relaxivity
Caravan, Peter, Amedio Jr, John C., Dunham, Stephen U., Greenfield, Matthew T., Cloutier, Normand J., McDermid, Sarah A., Spiller, Marga, Zech, Stephan G., Looby, Richard J., Raitsimring, Arnold M., McMurry, Thomas J., Lauffer, Randall B.
Published in Chemistry : a European journal (07.10.2005)
Published in Chemistry : a European journal (07.10.2005)
Get full text
Journal Article
SECT-AIR: Software Engineering Costs and Timescales – Aerospace Initiative for Reduction
Paige, Richard F., Zolotas, Athanasios, Kolovos, Dimitrios S., McDermid, John A., Bennett, Mike, Hutchesson, Stuart, Hawthorn, Andrew
Published in Software Technologies: Applications and Foundations (2018)
Published in Software Technologies: Applications and Foundations (2018)
Get full text
Book Chapter
The effect of litigation status on adjustment to whiplash injury
Swartzman, L C, Teasell, R W, Shapiro, A P, McDermid, A J
Published in Spine (Philadelphia, Pa. 1976) (01.01.1996)
Published in Spine (Philadelphia, Pa. 1976) (01.01.1996)
Get more information
Journal Article