Zobrazeno 1 - 10
of 26 363
pro vyhledávání: '"Woodcock, A."'
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
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:
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
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
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
Publikováno v:
Theoretical Computer Science Volume 1021, 21 December 2024, 114876
Probabilistic programming combines general computer programming, statistical inference, and formal semantics to help systems make decisions when facing uncertainty. Probabilistic programs are ubiquitous, including having a significant impact on machi
Externí odkaz:
http://arxiv.org/abs/2303.09692
Autor:
Williams, David R. A., Baldi, Ranieri D., Beswick, Robert J., McHardy, Ian M., Dullo, Bililign T., Pahari, Mayukh, Carver, Emma, Clifford, Jake, Kill, Nicholas A., Krishnamoorthi, Bhairavi, Woodcock, Oliver, Knapen, Johan, Mathur, Smita
Publikováno v:
Volume 426, 046, (2023)
The Legacy e-MERLIN Multi-band Imaging of Nearby Galaxies survey (LeMMINGs) is a statistically-complete census of nuclear accretion and star formation processes in the local Universe. The LeMMINGs observations at 1.5 and 5 GHz yield angular resolutio
Externí odkaz:
http://arxiv.org/abs/2303.08647