E-LIB Suche - Ergebnisse für: Webster, Matt

1

Exploring Disulfiram's Anticancer Potential: PLGA Nano-Carr..:

Dumbuya, Ibrahim ; Pereira, Ana Maria ; Tolaymat, Ibrahim...
Nanomaterials. 14 (2024) 13 - p. 1133 , 2024

Link: https://doi.org/10.3390/..

2

Identifying and Treating Incarcerated Women Experiencing Su..:

Staton, Michele ; Tillson, Martha ; Levi, Mary...
Substance Abuse and Rehabilitation. 14 (2023) - p. 131-145 , 2023

Link: https://doi.org/10.2147/..

3

Towards the Determination of Safe Operating Envelopes for A..:

Page, Vincent ; Dadswell, Christopher ; Webster, Matt..
Robotics. 10 (2021) 3 - p. 97 , 2021

Link: https://doi.org/10.3390/..

4

An Overview of Verification and Validation Challenges for I..:

Fisher, Michael ; Cardoso, Rafael C. ; Collins, Emily C....
Robotics. 10 (2021) 2 - p. 67 , 2021

Link: https://doi.org/10.3390/..

5

A Review of Verification and Validation for Space Autonomou..:

Cardoso, Rafael C. ; Kourtis, Georgios ; Dennis, Louise A....
Current Robotics Reports. 2 (2021) 3 - p. 273-283 , 2021

Link: https://doi.org/10.1007/..

6

A Phase 3 Trial in Participants With Obesity Due to Bardet-..:

Haws, Robert ; Clément, Karine ; Dollfus, Hélène...
Journal of the Endocrine Society. 5 (2021) Supplement_1 - p. A1-A1 , 2021

Link: https://doi.org/10.1210/..

7

Use and usability of software verification methods to detec..:

Koay, Kheng Lee ; Webster, Matt ; Dixon, Clare...
Paladyn, Journal of Behavioral Robotics. 12 (2021) 1 - p. 402-422 , 2021

Link: https://doi.org/10.1515/..

8

Cyclodextrin Diethyldithiocarbamate Copper II Inclusion Com..:

Said Suliman, Ammar ; Khoder, Mouhamad ; Tolaymat, Ibrahim...
Pharmaceutics. 13 (2021) 1 - p. 84 , 2021

Link: https://doi.org/10.3390/..

9

The "Why Did You Do That?" Button: Answering Why-Questions ..:

, In: Engineering Multi-Agent Systems; Lecture Notes in Computer Science,

Koeman, Vincent J. ; Dennis, Louise A. ; Webster, Matt.. - p. 152-172 , 2020

Link: https://doi.org/10.1007/..

10

Exploring the effects of environmental conditions and desig..:

Webster, Matt ; Breza, Michael ; Dixon, Clare..
Journal of Computational Science. 45 (2020) - p. 101183 , 2020

Link: https://doi.org/10.1016/..

11

Formal Verification of Astronaut-Rover Teams for Planetary ..:

, In: 2020 IEEE Aerospace Conference,

Webster, Matt ; Dennis, Louise A. ; Dixon, Clare... - p. 1-8 , 2020

Link: https://doi.org/10.1109/..

12

A corroborative approach to verification and validation of ..:

Webster, Matt ; Western, David ; Araiza-Illan, Dejanira...
The International Journal of Robotics Research. 39 (2019) 1 - p. 73-99 , 2019

Link: https://doi.org/10.1177/..

13

Toward Reliable Autonomous Robotic Assistants Through Forma..:

Webster, Matt ; Dixon, Clare ; Fisher, Michael...
IEEE Transactions on Human-Machine Systems. 46 (2016) 2 - p. 186-196 , 2016

Link: https://doi.org/10.1109/..

14

Formal verification of ethical choices in autonomous system:

Dennis, Louise ; Fisher, Michael ; Slavkovik, Marija.
Robotics and Autonomous Systems. 77 (2016) - p. 1-14 , 2016

Link: https://doi.org/10.1016/..

15

Two-stage agent program verification:

Dennis, Louise A ; Fisher, Michael ; Webster, Matt
Journal of Logic and Computation. 28 (2015) 3 - p. 499-523 , 2015

Link: https://doi.org/10.1093/..