Zobrazeno 1 - 10
of 17
pro vyhledávání: '"Phil, Clayton"'
Autor:
Ryan Gately, Elasma Milanzi, Wai Lim, Armando Teixeira-Pinto, Phil Clayton, Nicole Isbel, David W. Johnson, Carmel Hawley, Scott Campbell, Germaine Wong
Publikováno v:
Kidney International Reports. 8:531-543
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8cbe05d1186b5480efc323fc6cd54390
https://doi.org/10.1016/j.ekir.2022.12.020
https://doi.org/10.1016/j.ekir.2022.12.020
Autor:
Phil Clayton
The Birmingham Canal Navigations comprise the greatest concentration of waterways in Britain. Over the course of a century, from the original Birmingham Canal of 1769, they grew to their greatest extent of almost 160 miles, all within about a 12-mile
Autor:
Phil Clayton
Publikováno v:
Strategic HR Review. 16:49-51
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::16a0c0e4f268d07ae813f7e9ec562d18
https://doi.org/10.1108/shr-11-2016-0100
https://doi.org/10.1108/shr-11-2016-0100
Autor:
Claire, Trimingham, Stephen, McDonald, Kathryn, Dansie, Shilpa, Jesudason, Randall, Faull, Phil, Clayton, Grace, Liew, Richard, Le Leu, Anthony, Meade
Publikováno v:
Journal of renal care. 44(2)
The bowel health of those with chronic kidney disease (CKD) can be affected by medications, fluid/dietary allowances, reduced activity and pre-existing medical conditions. Patient perceptions of their bowel health can differ from those of health care
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmid________::329a13da69f8fd3c7ab57b4de6de05ee
https://pubmed.ncbi.nlm.nih.gov/29316279
https://pubmed.ncbi.nlm.nih.gov/29316279
Control engineers make extensive use of diagrammatic notations; control law diagrams are used in industry every day. Techniques and tools for analysis of these diagrams or their models are plentiful, but verification of their implementations is a cha
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1ff77f7697d8123f2c9dfe120ce75313
https://ora.ox.ac.uk/objects/uuid:4726e6fb-170f-4d39-b040-c4a5659c28c9
https://ora.ox.ac.uk/objects/uuid:4726e6fb-170f-4d39-b040-c4a5659c28c9
Autor:
Phil Clayton, Julie Lloyd
Cognitive Analytic Therapy (CAT) is increasingly used by those providing services for people with intellectual disabilities. This book introduces CAT in practical, user-friendly language and guides readers on how to use the approach to inform their w
Autor:
Robinson, Phil Clayton
Publikováno v:
Educational Leadership. Oct77, Vol. 35 Issue 1, p15. 4p.
Autor:
Ana Cavalcanti, Phil Clayton
Publikováno v:
ICECCS
The design of control systems is usually based on diagrammatic definitions of control laws. The independent use of Z and CSP to verify their implementations has been successful, even for very large applications; high levels of automation have been ac
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9a5bb398b544b80627cc5f3d99dec27e
https://doi.org/10.1109/iceccs.2006.1690376
https://doi.org/10.1109/iceccs.2006.1690376
Publikováno v:
The 23rd Digital Avionics Systems Conference (IEEE Cat. No.04CH37576).
This work describes the results of an experiment to compare conventional software development with software development using automatic code generation from Simulink and mathematically based code verification (proof). A real industrial scale, safety
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::afa8ac350bca4a1f6d8839e1402d2f22
https://doi.org/10.1109/dasc.2004.1390739
https://doi.org/10.1109/dasc.2004.1390739
Publikováno v:
FM 2005: Formal Methods ISBN: 9783540278825
FM
FM
Control diagrams are routinely used by engineers in the design of control systems. Yet, currently the formal verification of programs that implement the diagrams is a challenge. We present a strategy to translate block diagrams to Circus, a notation
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::803302531f8962ce170ac18d8f61115c
https://doi.org/10.1007/11526841_18
https://doi.org/10.1007/11526841_18