Zobrazeno 1 - 10
of 6 000
pro vyhledávání: '"Woodcock, P."'
Model execution allows us to prototype and analyse software engineering models by stepping through their possible behaviours, using techniques like animation and simulation. On the other hand, deductive verification allows us to construct formal proo
Externí odkaz:
http://arxiv.org/abs/2408.15817
Autor:
Ye, Kangfeng, Woodcock, Jim
RoboChart is a core notation in the RoboStar framework which brings modern modelling and formal verification technologies into software engineering for robotics. It is a timed and probabilistic domain-specific language for robotics and provides a UML
Externí odkaz:
http://arxiv.org/abs/2403.08136
Autor:
Gwenda Simons, Helen Jones, Ian Clarke, Firoza Davies, Stacey Grealis, Elspeth Insch, Hameed Kahn, Joanne Lloyd, Al Richards, Hayley Rose, Ruth Williams, Maarten de Wit, Clarissa Woodcock, Leigh Romaniuk, Michelle Bardgett, Arthur G. Pratt, Marie Falahee
Publikováno v:
Research Involvement and Engagement, Vol 10, Iss 1, Pp 1-12 (2024)
Abstract Background The value of patient and public involvement (PPI) during the earliest stages of clinical trial development, and prior to the award of substantive funding, is widely recognised. However, it is often under-resourced and PPI processe
Externí odkaz:
https://doaj.org/article/91b3f21c532e4ba892b241278e6993f2
The severity of recent vulnerabilities discovered on modern CPUs, e.g., Spectre [1], highlights how information leakage can have devas-tating effects to the security of computer systems. At the same time, it suggests that confidentiality should be pr
Externí odkaz:
http://arxiv.org/abs/2310.10658
Autor:
Bonnaffé, Willem, Group, CRUK ICGC Prostate, Hamdy, Freddie, Hu, Yang, Mills, Ian, Rittscher, Jens, Verrill, Clare, Woodcock, Dan J.
Recent advances in attention-based multiple instance learning (MIL) have improved our insights into the tissue regions that models rely on to make predictions in digital pathology. However, the interpretability of these approaches is still limited. I
Externí odkaz:
http://arxiv.org/abs/2309.03925
Autor:
Woodcock, Jim, Andersen, Mikkel Schmidt, Aranha, Diego F., Hallerstede, Stefan, Hansen, Simon Thrane, Jakobsen, Nikolaj Kuhne, Kulik, Tomas, Larsen, Peter Gorm, Macedo, Hugo Daniel, Martin, Carlos Ignacio Isasa, Norrild, Victor Alexander Mtsimbe
This report describes the state of the art in verifiable computation. The problem being solved is the following: The Verifiable Computation Problem (Verifiable Computing Problem) Suppose we have two computing agents. The first agent is the verifier,
Externí odkaz:
http://arxiv.org/abs/2308.15191
Autor:
Scheffler, Daniel, Beckert, Sebastian, Reichlova, Helena, Woodcock, Thomas G., Goennenwein, Sebastian T. B., Thomas, Andy
$\tau$-MnAl is interesting for spintronic applications as a ferromagnet with perpendicular magnetic anisotropy due to its high uniaxial magnetocrystalline anisotropy. Here we report on the anomalous Nernst effect of sputter deposited $\tau$-MnAl thin
Externí odkaz:
http://arxiv.org/abs/2307.03458
Autor:
Corinne L. Woodcock, Mansour Alsaleem, Michael S. Toss, Jennifer Lothion-Roy, Anna E. Harris, Jennie N. Jeyapalan, Nataliya Blatt, Albert A. Rizvanov, Regina R. Miftakhova, Yousif A. Kariri, Srinivasan Madhusudan, Andrew R. Green, Catrin S. Rutland, Rupert G. Fray, Emad A. Rakha, Nigel P. Mongan
Publikováno v:
Discover Oncology, Vol 15, Iss 1, Pp 1-17 (2024)
Abstract Background N6-methyladenosine (m6A) is the most common internal RNA modification and is involved in regulation of RNA and protein expression. AlkB family member 5 (ALKBH5) is a m6A demethylase. Given the important role of m6A in biological m
Externí odkaz:
https://doaj.org/article/8fdaac6eb0dd41889920c42b595de135
Publikováno v:
Journal of Logical and Algebraic Methods in Programming, Volume 137, February 2024, 100940
RoboChart is a core notation in the RoboStar framework. It is a timed and probabilistic domain-specific and state machine-based language for robotics. RoboChart supports shared variables and communication across entities in its component model. It ha
Externí odkaz:
http://arxiv.org/abs/2303.09106