E-LIB Suche - Ergebnisse für: Dixon, Clare

1

Trauma Memory Characteristics and Neurocognitive Performanc..:

Reed, Joanna ; Meiser-Stedman, Richard ; Dalgleish, Tim...
Research on Child and Adolescent Psychopathology. 52 (2024) 6 - p. 997-1008 , 2024

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

2

Security-Minded Verification of Cooperative Awareness Messa..:

Farrell, Marie ; Bradbury, Matthew ; Cardoso, Rafael C....
IEEE Transactions on Dependable and Secure Computing. 21 (2024) 4 - p. 4048-4065 , 2024

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

3

Investigating the dissociative subtype of post‐traumatic st..:

White, William F. ; Burgess, Aaron ; Dalgleish, Tim...
British Journal of Clinical Psychology. , 2024

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

4

Adaptive Cognitive Agents: Updating Action Descriptions and..:

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

Stringer, Peter ; Cardoso, Rafael C. ; Dixon, Clare.. - p. 345-362 , 2023

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

5

Dialogue Explanations for Rule-Based AI Systems:

, In: Explainable and Transparent AI and Multi-Agent Systems; Lecture Notes in Computer Science,

Xu, Yifan ; Collenette, Joe ; Dennis, Louise. - p. 59-77 , 2023

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

6

Parkinson's and the couple relationship: a qualitative meta..:

Glover, Louise ; Dixon, Clare ; Kobylecki, Christopher.
Aging & Mental Health. 27 (2023) 12 - p. 2420-2429 , 2023

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

7

Buy One Get 14 Free: Evaluating Local Reductions for Modal ..:

, In: Automated Deduction – CADE 29; Lecture Notes in Computer Science,

Nalon, Cláudia ; Hustadt, Ullrich ; Papacchini, Fabio. - p. 382-400 , 2023

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

8

Workplace Support for Mental Health Workers Who Are Parents..:

Dunn, Abby ; Dixon, Clare ; Thomson, Abi.
Frontiers in Psychology. 13 (2022) - p. , 2022

Link: https://doi.org/10.3389/..

9

Correction to: Local is Best: Efficient Reductions to Modal..:

Papacchini, Fabio ; Nalon, Cláudia ; Hustadt, Ullrich.
Journal of Automated Reasoning. 66 (2022) 4 - p. 1099-1099 , 2022

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

10

Formal Modelling and Runtime Verification of Autonomous Gra..:

Farrell, Marie ; Mavrakis, Nikos ; Ferrando, Angelo..
Frontiers in Robotics and AI. 8 (2022) - p. , 2022

Link: https://doi.org/10.3389/..

11

Local is Best: Efficient Reductions to Modal Logic K:

Papacchini, Fabio ; Nalon, Cláudia ; Hustadt, Ullrich.
Journal of Automated Reasoning. 66 (2022) 4 - p. 639-666 , 2022

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

12

Local Reductions for the Modal Cube:

, In: Automated Reasoning; Lecture Notes in Computer Science,

Nalon, Cláudia ; Hustadt, Ullrich ; Papacchini, Fabio. - p. 486-505 , 2022

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

13

Trajectory of post-traumatic stress and depression among ch..:

Zhang, Joyce ; Meiser-Stedman, Richard ; Jones, Bobby...
European Journal of Psychotraumatology. 13 (2022) 1 - p. , 2022

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

14

Journal-First: Formal Modelling and Runtime Verification of..:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,

Farrell, Marie ; Mavrakis, Nikos ; Ferrando, Angelo.. - p. 39-44 , 2022

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

15

Implementing Durative Actions with Failure Detection in Gwe..:

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

Stringer, Peter ; Cardoso, Rafael C. ; Dixon, Clare. - p. 332-351 , 2022

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