Hasil Pencarian - Marie Farrell

  • Menampilkan 1 - 8 hasil dari 8
Perbaiki Hasil
  1. 1
    The Current State of Deep Brain Stimulation for Chronic Pain and Its Context in Other Forms of Neuromodulation

    The Current State of Deep Brain Stimulation for Chronic Pain and Its Context in Other Forms of Neuromodulation oleh Sarah Marie Farrell, Alexander Green, Tipu Aziz

    Diterbitkan 2018-08-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  2. 2
    The Use of Neuromodulation for Symptom Management

    The Use of Neuromodulation for Symptom Management oleh Sarah Marie Farrell, Alexander Green, Tipu Aziz

    Diterbitkan 2019-09-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  3. 3
    Building Specifications in the Event-B Institution

    Building Specifications in the Event-B Institution oleh Marie Farrell, Rosemary Monahan, James F. Power

    Diterbitkan 2022-11-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  4. 4
    CSP2Turtle: Verified Turtle Robot Plans

    CSP2Turtle: Verified Turtle Robot Plans oleh Dara MacConville, Marie Farrell, Matt Luckcuck, Rosemary Monahan

    Diterbitkan 2023-04-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  5. 5
    Poor medical student welfare—a growing threat to healthcare

    Poor medical student welfare—a growing threat to healthcare oleh Andrew Molodynski, Sarah Marie Farrell, Dinesh Bhugra, Tarek Okasha

    Diterbitkan 2021-08-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  6. 6
    Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal

    Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal oleh Marie Farrell, Nikos Mavrakis, Angelo Ferrando, Clare Dixon, Yang Gao

    Diterbitkan 2022-01-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  7. 7
    Towards an extensive set of criteria for safety and cyber-security evaluation of cyber-physical systems [version 1; peer review: 2 approved]

    Towards an extensive set of criteria for safety and cyber-security evaluation of cyber-physical systems [version 1; peer review: 2 approved] oleh Ugur Yayan, Behrooz Sangchoolie, Alper Kanak, Aleš Smrčka, Jose Luis de la Vara, Emanuele Mingozzi, Salih Ergun, Raul Barbosa, Marie Farrell, Cem Baglum

    Diterbitkan 2023-12-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  8. 8
    An Overview of Verification and Validation Challenges for Inspection Robots

    An Overview of Verification and Validation Challenges for Inspection Robots oleh Michael Fisher, Rafael C. Cardoso, Emily C. Collins, Christopher Dadswell, Louise A. Dennis, Clare Dixon, Marie Farrell, Angelo Ferrando, Xiaowei Huang, Mike Jump, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Shan Luo, Vincent Page, Fabio Papacchini, Matt Webster

    Diterbitkan 2021-04-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:

Alat Pencarian: