Prati
Matthew L. Daggitt
Matthew L. Daggitt
Lecturer, University of Western Australia
Potvrđena adresa e-pošte na uwa.edu.au
Naslov
Citirano
Citirano
Godina
AshCalc–a new tool for the comparison of the exponential, power-law and Weibull models of tephra deposition
ML Daggitt, TA Mather, DM Pyle, S Page
Journal of Applied Volcanology 3 (1), 7, 2014
732014
Neural network robustness as a verification property: a principled case study
M Casadio, E Komendantskaya, ML Daggitt, W Kokke, G Katz, G Amir, ...
International Conference on Computer Aided Verification, 219-231, 2022
562022
Tracking urban activity growth globally with big location data
ML Daggitt, A Noulas, B Shaw, C Mascolo
Royal Society open science 3 (4), 150688, 2016
442016
Marabou 2.0: a versatile formal analyzer of neural networks
H Wu, O Isac, A Zeljić, T Tagomori, M Daggitt, W Kokke, I Refaeli, G Amir, ...
International Conference on Computer Aided Verification, 249-264, 2024
272024
Asynchronous convergence of policy-rich distributed bellman-ford routing protocols
ML Daggitt, AJT Gurney, TG Griffin
Proceedings of the 2018 Conference of the ACM Special Interest Group on Data …, 2018
272018
AnalyZr: A Python application for zircon grain image segmentation and shape analysis
T Scharf, CL Kirkland, ML Daggitt, M Barham, V Puzyrev
Computers & Geosciences 162, 105057, 2022
242022
Logic of Differentiable Logics: Towards a Uniform Semantics of DL
N Ślusarz, E Komendantskaya, ML Daggitt, R Stewart, K Stark
arXiv preprint arXiv:2303.10650, 2023
202023
Extracting meaningful U-Pb ages from core–rim mixtures
HKH Olierook, CL Kirkland, M Barham, ML Daggitt, J Hollis, M Hartnady
Gondwana Research 92, 102-112, 2021
112021
Rate of convergence of increasing path-vector routing protocols
ML Daggitt, TG Griffin
2018 IEEE 26th International Conference on Network Protocols (ICNP), 335-345, 2018
82018
Compiling Higher-Order Specifications to SMT Solvers: How to Deal with Rejection Constructively
ML Daggitt, R Atkey, W Kokke, E Komendantskaya, L Arnaboldi
Proceedings of the 12th ACM SIGPLAN International Conference on Certified …, 2023
72023
Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs
ML Daggitt, W Kokke, R Atkey, N Slusarz, L Arnaboldi, ...
arXiv preprint arXiv:2401.06379, 2024
62024
The Vehicle Tutorial: Neural Network Verification with Vehicle
ML Daggitt, W Kokke, E Komendantskaya, R Atkey, L Arnaboldi, ...
Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous …, 2023
62023
Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers
ML Daggitt, W Kokke, R Atkey, L Arnaboldi, E Komendantskya
arXiv preprint arXiv:2202.05207, 2022
62022
CheckINN: Wide Range Neural Network Verification in Imandra
R Desmartin, G Passmore, E Komendantskaya, M Daggit
Proceedings of the 24th International Symposium on Principles and Practice …, 2022
52022
An Agda formalization of Üresin & Dubois’ asynchronous fixed-point theory
R Zmigrod, ML Daggitt, TG Griffin
Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as …, 2018
52018
NLP Verification: Towards a General Methodology for Certifying Robustness
M Casadio, T Dinkar, E Komendantskaya, L Arnaboldi, ML Daggitt, O Isac, ...
arXiv preprint arXiv:2403.10144, 2024
42024
Differentiable Logics for Neural Network Training and Verification
N Ślusarz, E Komendantskaya, ML Daggitt, R Stewart
International Workshop on Numerical Software Verification, 67-77, 2022
42022
ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification
M Casadio, L Arnaboldi, ML Daggitt, O Isac, T Dinkar, D Kienitz, V Rieser, ...
arXiv preprint arXiv:2305.04003, 2023
32023
A new approach to SHRIMP II zircon U-Th disequilibrium dating
RC Marsden, CL Kirkland, M Danišík, ML Daggitt, US Ahn, B Friedrichs, ...
Computers & Geosciences 158, 104947, 2022
32022
Considerations for double-dating zircon in secular disequilibrium with protracted crystallisation histories
RC Marsden, M Danišík, H Ito, CL Kirkland, NJ Evans, D Miura, ...
Chemical Geology 581, 120408, 2021
32021
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–20