The impact of earthquakes on orogen-scale exhumation

Autor: O. R. Francis, T. C. Hales, D. E. J. Hobley, X. Fan, A. J. Horton, G. Scaringi, R. Huang

Publikováno v: Earth Surface Dynamics, Vol 8, Pp 579-593 (2020)

Individual, large thrusting earthquakes can cause hundreds to thousands of years of exhumation in a geologically instantaneous moment through landslide generation. The bedrock landslides generated are important weathering agents through the conversio

Externí odkaz: https://doaj.org/article/073b78a8d11f41d7a4aef4fca6674f14

Sphere Packings, I

Autor: T. C. Hales

Publikováno v: The Kepler Conjecture ISBN: 9781461411284

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::d33a9efb6be79bde02d52f62ea738098
https://doi.org/10.1007/978-1-4614-1129-1_10

Guiding SMT solvers with Monte Carlo Tree Search and neural networks

Autor: Graham-Lengrand, Stéphane, Färber, Michael

Publikováno v: Third Conference on Artificial Intelligence and Theorem Proving (AITP'2018)
Third Conference on Artificial Intelligence and Theorem Proving (AITP'2018), Mar 2018, Aussois, France

International audience; Monte Carlo Tree Search (MCTS) is a technique to guide search in a large decision space by taking random samples and evaluating their outcome. Frequently, MCTS is employed together with reward heuristics learnt by neural netwo

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::caa168e3c70136b01705023a43119d7b
https://hal.science/hal-01935578/file/paper.pdf