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

1

The Safety of Autonomy: A Systematic Approach:

McDermid, John A. ; Calinescu, Radu ; Habli, Ibrahim...
Computer. 57 (2024) 4 - p. 16-25 , 2024

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

2

Defining an Effective Context for the Safe Operation of Aut..:

, In: Communications in Computer and Information Science; Dependable Computing – EDCC 2024 Workshops,

Osborne, Matt ; Hawkins, Richard - p. 36-48 , 2024

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

3

Understanding safety engineering practice: Comparing safety..:

Osborne, Matt ; Hawkins, Richard ; Nicholson, Mark.
Safety Science. 172 (2024) - p. 106424 , 2024

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

4

Analysing the Safety of Decision-Making in Autonomous Syste..:

, In: Lecture Notes in Computer Science; Computer Safety, Reliability, and Security,

Osborne, Matt ; Hawkins, Richard ; McDermid, John - p. 3-16 , 2022

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

5

Towards Integrating Formal Verification of Autonomous Robot..:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,

Zhao, Xingyu ; Osborne, Matt ; Lantair, Jenny... - p. 105-124 , 2019

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

6

Guidance on the Safety Assurance of Autonomous Systems in C..:

Hawkins, Richard ; Osborne, Matt ; Parsons, Mike...
http://arxiv.org/abs/2208.00853. , 2022

Link: http://arxiv.org/abs/220..

7

Towards Integrating Formal Verification of Autonomous Robot..:

Zhao, Xingyu ; Osborne, Matt ; Lantair, Jenny...
http://arxiv.org/abs/1909.03019. , 2019

Link: http://arxiv.org/abs/190..

8

Raising sector skills levels : how responsive is local trai..:

Mason, Geoff ; Osborne, Matt ; Rincon-Aznar, Ana
https://dera.ioe.ac.uk//17747/1/Skills9_0954916301.pdf. , 2005

Link: https://dera.ioe.ac.uk//..

9

Cognitive impairment following sedative overdose:

Stewart, Patrick T. ; Rahman, Md Bayzidur ; Chiew, Angela L....
Clinical Toxicology. 62 (2024) 3 - p. 152-163 , 2024

Link: https://doi.org/10.1080/..

10

338 The Alabama Genomic Health Initiative: Integrating Geno..:

Limdi, Nita A ; Absher, Devin ; Asif, Irf...
Journal of Clinical and Translational Science. 7 (2023) s1 - p. 100-101 , 2023

Link: https://doi.org/10.1017/..

11

1675. Community Acquired Serious Bacterial Infections in Pe..:

Arrieta, Antonio C ; Osborne, Stephanie ; Nieves, Delma...
Open Forum Infectious Diseases. 10 (2023) Supplement_2 - p. , 2023

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

12

Analysis of Fibroblast Growth Factor 14 (FGF14) structural ..:

Ceroni, Fabiola ; Osborne, Daniel ; Clokie, Samuel...
European Journal of Human Genetics. 31 (2022) 3 - p. 353-359 , 2022

Link: https://doi.org/10.1038/..

13

How can academic research on UK agri-environment schemes pi..:

Clements, Jen ; Lobley, Matt ; Osborne, Juliet.
Land Use Policy. 106 (2021) - p. 105441 , 2021

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

14

The City Under COVID‐19: Podcasting As Digital Methodology:

Rogers, Dallas ; Herbert, Miles ; Whitzman, Carolyn...
Tijdschrift voor Economische en Sociale Geografie. 111 (2020) 3 - p. 434-450 , 2020

Link: https://doi.org/10.1111/..

15

Exploring access to, use of and benefits from population-or..:

Foley, Kristen ; Freeman, Toby ; Ward, Paul...
Health Promotion International. 36 (2020) 4 - p. 1105-1115 , 2020

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