E-LIB Suche - Ergebnisse für: Cooksey, Mark A.

1

Rust for Morello: Always-on memory safety, even in unsafe c..:

Harris, Sarah ; Cooksey, Simon ; Vollmer, Michael.
https://kar.kent.ac.uk/106406/1/LIPIcs-ECOOP-2023-39.pdf. , 2023

2

Rust for Morello: Always-On Memory Safety, Even in Unsafe C..:

Harris, Sarah ; Cooksey, Simon ; Vollmer, Michael.
Is Part Of DARTS, Volume 9, Issue 2, Special Issue of the 37th European Conference on Object-Oriented Programming (ECOOP 2023). , 2023

Link: https://doi.org/10.4230/..

3

Rust for Morello: Always-On Memory Safety, Even in Unsafe C..:

Harris, Sarah ; Cooksey, Simon ; Vollmer, Michael.
Is Part Of LIPIcs, Volume 263, 37th European Conference on Object-Oriented Programming (ECOOP 2023). , 2023

Link: https://doi.org/10.4230/..

4

Rust for Morello: Always-on Memory Safety, Even in Unsafe C..:

Harris, Sarah ; Cooksey, Simon ; Vollmer, Michael.
info:eu-repo/grantAgreement/UKRI/EPSRC/EP/X021173/1/. , 2022

Link: https://zenodo.org/recor..

5

The Leaky Semicolon:

JEFFREY, A ; Riely, J ; Batty, Mark...
https://kar.kent.ac.uk/95153/1/3498716.pdf. , 2022

Link: https://kar.kent.ac.uk/9..

6

Modular Relaxed Dependencies in Weak Memory Concurrency:

Paviotti, Marco ; Cooksey, Simon ; Paradis, Anouk...
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-44914-8_22. , 2020

Link: https://hdl.handle.net/2..

7

PrideMM: A Solver for Relaxed Memory Models:

Cooksey, Simon ; Harris, Sarah ; Batty, Mark..
http://arxiv.org/abs/1901.00428. , 2018

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

8

Proceedings of the Pierce's Disease Research Symposium:

Tenscher, Alan ; Dandekar, Abhaya M ; Krivanek, Alan F...
http://hdl.handle.net/10211.3/185065. , 2017

Link: http://hdl.handle.net/10..

9

Proceedings of the 2004 Pierce's Disease Research Symposium:

Iandolino, A ; Dandekar, Abhaya M ; Krivanek, Alan F...
http://hdl.handle.net/10211.3/185064. , 2017

Link: http://hdl.handle.net/10..

10

Proceedings of the Pierce's Disease Research Symposium:

Portillo-L??pez, A ; Dandekar, Abhaya M ; Krivanek, Alan F...
http://hdl.handle.net/10211.3/185074. , 2017

Link: http://hdl.handle.net/10..

11

Proceedings of the Pierce's Disease Research Symposium:

Bruening, George ; Cook, Douglas R ; Goes-da-Silva, Francisco...
http://hdl.handle.net/10211.3/185073. , 2017

Link: http://hdl.handle.net/10..

12

Defining disease phenotypes in primary care electronic heal..:

Zhou, Shang-Ming ; Fernandez-Gutierrez, Fabiola ; Kennedy, Jonathan...
https://research-portal.st-andrews.ac.uk/en/researchoutput/defining-disease-phenotypes-in-primary-care-electronic-health-records-by-a-machine-learning-approach(496386f3-7c68-4ea4-8e02-cc80475101fc).html. , 2016

Link: https://research-portal...

13

Defining disease phenotypes in primary care electronic heal..:

Zhou, Shang Ming ; Fernandez-Gutierrez, Fabiola ; Kennedy, Jonathan...
Zhou , S M , Fernandez-Gutierrez , F , Kennedy , J , Cooksey , R , Atkinson , M , Denaxas , S , Siebert , S , Dixon , W G , O'Neill , T W , Choy , E , Sudlow , C , Brophy , S , Danesh , J , Allen , N , Blaveri , E , Brannan , R , Brayne , C , Chaturvedi , N , Collins , R , DeLusignan , S , Desai , P , Eastwood , S , Gallacher , J , Hemingway , H , Hotopf , M , Landray , M , Lyons , R , McGilchrist , M , Moller , H , Pringle , M , Sprosen , T , Strachan , D , Sullivan , F , Woodfield , R , Zhang , Q & Flaig , R 2016 , ' Defining disease phenotypes in primary care electronic health records by a machine learning approach : A case study in identifying rheumatoid arthritis ' , PL o S One , vol. 11 , no. 5 , e0154515 . https://doi.org/10.1371/journal.pone.0154515. , 2016

Link: https://kclpure.kcl.ac.u..

14

Defining disease phenotypes in primary care electronic heal..:

Zhou, Shang Ming ; Fernandez-Gutierrez, Fabiola ; Kennedy, Jonathan...
https://kclpure.kcl.ac.uk/portal/en/publications/0e83096f-4201-4e4a-ac1b-4f374dbedc64. , 2016

Link: https://kclpure.kcl.ac.u..

15

Defining disease phenotypes in primary care electronic heal..:

Zhou, Shang ; Fernandez-Gutierrez, Fabiola ; Kennedy, Jonathan...
http://eprints.gla.ac.uk/120023/1/120023.PDF. , 2016

Link: http://eprints.gla.ac.uk..