Zobrazeno 1 - 10
of 368
pro vyhledávání: '"Gordon, Stewart"'
Autor:
Gordon, Stewart M. J.
This thesis describes the dimer method, which is an algorithm that can be used to find state transitions in an atomistic system, and the application of this method to two different atomistic diffusion problems. The dimer method is an algorithm that l
Externí odkaz:
https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.428913
Publikováno v:
Journal of Formalized Reasoning, Vol 10, Iss 1, Pp 67-95 (2017)
We report on the formalization in Ssreflect/Coq of a number of concepts and results from algorithmic game theory, including potential games, smooth games, solution concepts such as Pure and Mixed Nash Equilibria, Coarse Correlated Equilibria, epsilon
Externí odkaz:
https://doaj.org/article/5e7a964144cd4970985e87ca4e5c166c
Publikováno v:
2023 24th International Symposium on Quality Electronic Design (ISQED).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8be5d4cc764343d1069f5ec1c296f591
https://doi.org/10.1109/isqed57927.2023.10129334
https://doi.org/10.1109/isqed57927.2023.10129334