Zobrazeno 1 - 10
of 6 914
pro vyhledávání: '"Bloomfield, P"'
Autor:
Bloomfield, Robin, Rushby, John
Publikováno v:
Expanded version of a paper from "The Practice of Formal Methods: Essays in Honour of Cliff Jones", Part I. Springer LNCS 14780, pp. 1--23, Sep. 2024
An assurance case should provide justifiable confidence in the truth of a claim about some critical property of a system or procedure, such as safety or security. We consider how confidence can be assessed in the rigorous approach we call Assurance 2
Externí odkaz:
http://arxiv.org/abs/2409.10665
Autor:
Murugesan, Anitha, Wong, Isaac, Arias, Joaquín, Stroud, Robert, Varadarajan, Srivatsan, Salazar, Elmer, Gupta, Gopal, Bloomfield, Robin, Rushby, John
Assurance cases offer a structured way to present arguments and evidence for certification of systems where safety and security are critical. However, creating and evaluating these assurance cases can be complex and challenging, even for systems of m
Externí odkaz:
http://arxiv.org/abs/2408.11699
Autor:
Radnaev, A. G., Chung, W. C., Cole, D. C., Mason, D., Ballance, T. G., Bedalov, M. J., Belknap, D. A., Berman, M. R., Blakely, M., Bloomfield, I. L., Buttler, P. D., Campbell, C., Chopinaud, A., Copenhaver, E., Dawes, M. K., Eubanks, S. Y., Friss, A. J., Garcia, D. M., Gilbert, J., Gillette, M., Goiporia, P., Gokhale, P., Goldwin, J., Goodwin, D., Graham, T. M., Guttormsson, CJ, Hickman, G. T., Hurtley, L., Iliev, M., Jones, E. B., Jones, R. A., Kuper, K. W., Lewis, T. B., Lichtman, M. T., Majdeteimouri, F., Mason, J. J., McMaster, J. K., Miles, J. A., Mitchell, P. T., Murphree, J. D., Neff-Mallon, N. A., Oh, T., Omole, V., Simon, C. Parlo, Pederson, N., Perlin, M. A., Reiter, A., Rines, R., Romlow, P., Scott, A. M., Stiefvater, D., Tanner, J. R., Tucker, A. K., Vinogradov, I. V., Warter, M. L., Yeo, M., Saffman, M., Noel, T. W.
Quantum computers must achieve large-scale, fault-tolerant operation to deliver on their promise of transformational processing power [1-4]. This will require thousands or millions of high-fidelity quantum gates and similar numbers of qubits [5]. Dem
Externí odkaz:
http://arxiv.org/abs/2408.08288
Autor:
Bloomfield, Robin, Rushby, John
We outline the principles of classical assurance for computer-based systems that pose significant risks. We then consider application of these principles to systems that employ Artificial Intelligence (AI) and Machine Learning (ML). A key element in
Externí odkaz:
http://arxiv.org/abs/2407.13948
Ensuring the reliability and safety of automated decision-making is crucial. It is well-known that data distribution shifts in machine learning can produce unreliable outcomes. This paper proposes a new approach for measuring the reliability of predi
Externí odkaz:
http://arxiv.org/abs/2407.07821
Autor:
Sikar, Daniel, Garcez, Artur, Bloomfield, Robin, Weyde, Tillman, Peeroo, Kaleem, Singh, Naman, Hutchinson, Maeve, Laksono, Dany, Reljan-Delaney, Mirela
This study introduces the Misclassification Likelihood Matrix (MLM) as a novel tool for quantifying the reliability of neural network predictions under distribution shifts. The MLM is obtained by leveraging softmax outputs and clustering techniques t
Externí odkaz:
http://arxiv.org/abs/2407.07818
Autor:
Pannu, Jaspreet, Bloomfield, Doni, Zhu, Alex, MacKnight, Robert, Gomes, Gabe, Cicero, Anita, Inglesby, Thomas V.
As a result of rapidly accelerating AI capabilities, over the past year, national governments and multinational bodies have announced efforts to address safety, security and ethics issues related to AI models. One high priority among these efforts is
Externí odkaz:
http://arxiv.org/abs/2407.13059
A traditional assurance case employs a positive argument in which reasoning steps, grounded on evidence and assumptions, sustain a top claim that has external significance. Human judgement is required to check the evidence, the assumptions, and the n
Externí odkaz:
http://arxiv.org/abs/2405.15800
Publikováno v:
International Breastfeeding Journal, Vol 19, Iss 1, Pp 1-15 (2024)
Abstract Background Mother’s milk provides optimal nutrition for infants. Donor human milk (DHM) is recommended for low birthweight infants when mother’s milk is unavailable. Little is known about human milk (HM) donation practices in New Zealand
Externí odkaz:
https://doaj.org/article/c36b3e8bc8f141e8a8940e5cde155cae
Publikováno v:
Environmental Research Letters, Volume 19, Number 5 (2024)
In highly renewable power systems the increased weather dependence can result in new resilience challenges, such as renewable energy droughts, or a lack of sufficient renewable generation at times of high demand. The weather conditions responsible fo
Externí odkaz:
http://arxiv.org/abs/2307.13520