E-LIB Suche - Ergebnisse für: Paterson, Colin

1

Predicting Nonfunctional Requirement Violations in Autonomo..:

Fang, Xinwei ; Yaman, Sinem Getir ; Calinescu, Radu..
ACM Transactions on Autonomous and Adaptive Systems. 19 (2024) 1 - p. 1-25 , 2024

Link: https://doi.org/10.1145/..

2

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/..

3

Hazards help autonomous cars to drive safely:

Paterson, Colin ; Picardi, Chiara
Nature. 615 (2023) 7953 - p. 594-595 , 2023

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

4

From Pluralistic Normative Principles to Autonomous-Agent R..:

Townsend, Beverley ; Paterson, Colin ; Arvind, T. T....
Minds and Machines. 32 (2022) 4 - p. 683-715 , 2022

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

5

Sports injury prevention programmes from the sports physica..:

Mendonça, Luciana De Michelis ; Schuermans, Joke ; Denolf, Sander...
Physical Therapy in Sport. 55 (2022) - p. 146-154 , 2022

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

6

Verified synthesis of optimal safety controllers for human-..:

Gleirscher, Mario ; Calinescu, Radu ; Douthwaite, James...
Science of Computer Programming. 218 (2022) - p. 102809 , 2022

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

7

Quantitative verification with adaptive uncertainty reducti..:

Alasmari, Naif ; Calinescu, Radu ; Paterson, Colin.
Journal of Systems and Software. 188 (2022) - p. 111275 , 2022

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

8

Utilising Assured Multi-Agent Reinforcement Learning within..:

Riley, Joshua ; Calinescu, Radu ; Paterson, Colin..
Procedia Computer Science. 192 (2021) - p. 1061-1070 , 2021

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

9

Assuring the Machine Learning Lifecycle: Desiderata, Method..:

Ashmore, Rob ; Calinescu, Radu ; Paterson, Colin
ACM Computing Surveys. 54 (2021) 5 - p. 1-39 , 2021

Link: https://doi.org/10.1145/..

10

Developing Sports Physiotherapy Expertise – The Value of In..:

Paterson, Colin ; Phillips, Nicola
International Journal of Sports Physical Therapy. 16 (2021) 3 - p. , 2021

Link: https://doi.org/10.26603..

11

Assuring the Machine Learning Lifecycle : Desiderata, Me..:

Ashmore, Rob ; Calinescu, Radu ; Paterson, Colin
ACM Computing Surveys (CSUR). 54 (2021) 5 - p. 1-39 , 2021

Link: https://dl.acm.org/doi/1..

12

Efficient Parametric Model Checking Using Domain Knowledge:

Calinescu, Radu ; Paterson, Colin ; Johnson, Kenneth
IEEE Transactions on Software Engineering. 47 (2021) 6 - p. 1114-1133 , 2021

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

13

Observation-Enhanced QoS Analysis of Component-Based System:

Paterson, Colin ; Calinescu, Radu
IEEE Transactions on Software Engineering. 46 (2020) 5 - p. 526-548 , 2020

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

14

Benefits of Hybrid Lateral Transshipments in Multi‐Item Inv..:

Glazebrook, Kevin ; Paterson, Colin ; Rauscher, Sandra.
Production and Operations Management. 24 (2015) 2 - p. 311-324 , 2015

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

15

Enhancing skills of critical reflection to evidence learnin..:

Paterson, Colin ; Chapman, Judith
Physical Therapy in Sport. 14 (2013) 3 - p. 133-138 , 2013

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