Zobrazeno 1 - 10
of 15
pro vyhledávání: '"Matthew L. Daggitt"'
Publikováno v:
Royal Society Open Science, Vol 3, Iss 4 (2016)
In recent decades, the world has experienced rates of urban growth unparalleled in any other period of history and this growth is shaping the environment in which an increasing proportion of us live. In this paper, we use a longitudinal dataset from
Externí odkaz:
https://doaj.org/article/647211c1d78f454fbd8bbed50ae72e52
Publikováno v:
Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs.
Autor:
Milo Barham, Michael I. H. Hartnady, Christopher L. Kirkland, Hugo K.H. Olierook, Matthew L. Daggitt, Julie A. Hollis
Publikováno v:
Gondwana Research. 92:102-112
Zircon crystals frequently comprise discrete growth zones, each of which may preserve temporal information on different geological processes. However, discrete growth domains can be below the spatial resolution of the applied analytical technique, re
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031212215
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4bafd966baccf99d4345904f436d13bd
https://doi.org/10.1007/978-3-031-21222-2_5
https://doi.org/10.1007/978-3-031-21222-2_5
Autor:
Marco Casadio, Ekaterina Komendantskaya, Matthew L. Daggitt, Wen Kokke, Guy Katz, Guy Amir, Idan Refaeli
Publikováno v:
Computer Aided Verification ISBN: 9783031131844
Neural networks are very successful at detecting patterns in noisy data, and have become the technology of choice in many fields. However, their usefulness is hampered by their susceptibility to adversarial attacks. Recently, many methods for measuri
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::622bedb56b63fbaf9dae16a10380b138
https://doi.org/10.1007/978-3-031-13185-1_11
https://doi.org/10.1007/978-3-031-13185-1_11
Publikováno v:
TyDe@ICFP
Verification of AI is a challenge that has engineering, algorithmic and programming language components. For example, AI planners are deployed to model actions of autonomous agents. They comprise a number of searching algorithms that, given a set of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1441c507f6b1c4dcb8bbe7afb8bcb1f4
http://arxiv.org/abs/2105.11267
http://arxiv.org/abs/2105.11267
Autor:
Christopher L. Kirkland, Ruby C. Marsden, Noreen J. Evans, Matthew L. Daggitt, Ung San Ahn, Bjarne Friedrichs, Martin Danišík
Publikováno v:
Computers & Geosciences. 158:104947
U-Th disequilibrium dating of zircon is used to determine the crystallisation age of zircon crystals which formed ≲350 ka. In this work we present a new analytical and data reduction workflow for zircon U-Th disequilibrium analysis using a Sensitiv
Üresin and Dubois’ paper “Parallel Asynchronous Algorithms for Discrete Data” shows how a class of synchronous iterative algorithms may be transformed into asynchronous iterative algorithms. They then prove that the correctness of the resultin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fe8aa60a3e679a105b51c2d46277062b
Autor:
Matthew L. Daggitt, Timothy G. Griffin
Many problems can be solved by iteration by multiple participants (processors, servers, routers etc.). Previous mathematical models for such asynchronous iterations assume a single function being iterated by a fixed set of participants. We will call
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2cf56c690481328176629de9ae093d62
Autor:
Daisuke Miura, Martin Danišík, Hisatoshi Ito, Bjarne Friedrichs, Ruby C. Marsden, Matthew L. Daggitt, Noreen J. Evans, Axel K. Schmitt, Shimpei Uesawa, Christopher L. Kirkland
Publikováno v:
Chemical Geology. 581:120408
Zircon double-dating utilises (U–Th)/He dating coupled with U–Th disequilibrium or U–Pb dating to determine eruption ages for volcanic rocks between ca. 2 ka to 1 Ma. This approach depends on understanding the crystallisation history of each zi