Zobrazeno 1 - 10
of 26 052
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:
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:
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
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