Search Results - Daggitt, Matthew

Refine Results
  1. 1
    Formally Verified Convergence of Policy-Rich DBF Routing Protocols

    Formally Verified Convergence of Policy-Rich DBF Routing Protocols by Daggitt, Matthew L., Griffin, Timothy G.

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    A Relaxation of Üresin and Dubois’ Asynchronous Fixed-Point Theory in Agda

    A Relaxation of Üresin and Dubois’ Asynchronous Fixed-Point Theory in Agda by Daggitt, Matthew L., Zmigrod, Ran, Griffin, Timothy G.

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  3. 3
    AshCalc–a new tool for the comparison of the exponential, power-law and Weibull models of tephra deposition

    AshCalc–a new tool for the comparison of the exponential, power-law and Weibull models of tephra deposition by Daggitt, Matthew L, Mather, Tamsin A, Pyle, David M, Page, Stephen

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Tracking urban activity growth globally with big location data

    Tracking urban activity growth globally with big location data by Daggitt, Matthew L., Noulas, Anastasios, Shaw, Blake, Mascolo, Cecilia

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    A new approach to SHRIMP II zircon U-Th disequilibrium dating

    A new approach to SHRIMP II zircon U-Th disequilibrium dating by Marsden, Ruby C., Kirkland, Christopher L., Danišík, Martin, Daggitt, Matthew L., Ahn, Ung-San, Friedrichs, Bjarne, Evans, Noreen J.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    Dynamic asynchronous iterations

    Dynamic asynchronous iterations by Daggitt, Matthew L., Griffin, Timothy G.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    Extracting meaningful U-Pb ages from core–rim mixtures

    Extracting meaningful U-Pb ages from core–rim mixtures by Olierook, Hugo K.H., Kirkland, Christopher L., Barham, Milo, Daggitt, Matthew L., Hollis, Julie, Hartnady, Michael

    Published in Gondwana research
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  8. 8
    Considerations for double-dating zircon in secular disequilibrium with protracted crystallisation histories

    Considerations for double-dating zircon in secular disequilibrium with protracted crystallisation histories by Marsden, Ruby C., Danišík, Martin, Ito, Hisatoshi, Kirkland, Christopher L., Evans, Noreen J., Miura, Daisuke, Friedrichs, Bjarne, Schmitt, Axel K., Uesawa, Shimpei, Daggitt, Matthew L.

    Published in Chemical geology
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  9. 9
    Efficient compilation of expressive problem space specifications to neural network solvers

    Efficient compilation of expressive problem space specifications to neural network solvers by Daggitt, Matthew L, Kokke, Wen, Atkey, Robert

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    Formally Verified Convergence of Policy-Rich DBF Routing Protocols

    Formally Verified Convergence of Policy-Rich DBF Routing Protocols by Daggitt, Matthew L, Griffin, Timothy G

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    Dynamic Asynchronous Iterations

    Dynamic Asynchronous Iterations by Daggitt, Matthew L, Griffin, Timothy G

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    CheckINN: Wide Range Neural Network Verification in Imandra (Extended)

    CheckINN: Wide Range Neural Network Verification in Imandra (Extended) by Desmartin, Remi, Passmore, Grant, Komendantskaya, Ekaterina, Daggitt, Matthew

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    Differentiable Logics for Neural Network Training and Verification

    Differentiable Logics for Neural Network Training and Verification by Slusarz, Natalia, Komendantskaya, Ekaterina, Daggitt, Matthew L, Stewart, Robert

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  14. 14
    Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs

    Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs by Daggitt, Matthew L, Kokke, Wen, Atkey, Robert, Slusarz, Natalia, Arnaboldi, Luca, Komendantskaya, Ekaterina

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  15. 15
    Logic of Differentiable Logics: Towards a Uniform Semantics of DL

    Logic of Differentiable Logics: Towards a Uniform Semantics of DL by Ślusarz, Natalia, Komendantskaya, Ekaterina, Daggitt, Matthew L, Stewart, Robert, Stark, Kathrin

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  16. 16
    NLP Verification: Towards a General Methodology for Certifying Robustness

    NLP Verification: Towards a General Methodology for Certifying Robustness by Casadio, Marco, Tanvi Dinkar, Komendantskaya, Ekaterina, Arnaboldi, Luca, Daggitt, Matthew L, Isac, Omri, Katz, Guy, Rieser, Verena, Lemon, Oliver

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  17. 17
    ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification

    ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification by Casadio, Marco, Arnaboldi, Luca, Daggitt, Matthew L, Isac, Omri, Tanvi Dinkar, Kienitz, Daniel, Rieser, Verena, Komendantskaya, Ekaterina

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  18. 18
    Why Robust Natural Language Understanding is a Challenge

    Why Robust Natural Language Understanding is a Challenge by Casadio, Marco, Komendantskaya, Ekaterina, Rieser, Verena, Daggitt, Matthew L, Kienitz, Daniel, Arnaboldi, Luca, Kokke, Wen

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  19. 19
    Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers

    Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers by Daggitt, Matthew L, Kokke, Wen, Atkey, Robert, Arnaboldi, Luca, Komendantskya, Ekaterina

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  20. 20
    Marabou 2.0: A Versatile Formal Analyzer of Neural Networks

    Marabou 2.0: A Versatile Formal Analyzer of Neural Networks by Wu, Haoze, Isac, Omri, Zeljić, Aleksandar, Tagomori, Teruhiro, Daggitt, Matthew, Kokke, Wen, Refaeli, Idan, Guy, Amir, Kyle, Julian, Bassan, Shahaf, Huang, Pei, Lahav, Ori, Wu, Min, Zhang, Min, Komendantskaya, Ekaterina, Katz, Guy, Barrett, Clark

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: