Eric Whitman Smith
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| A versatile, sound tool for simplifying definitions | 2024-08-21 | Paper |
| Polymorphic types in ACL2 | 2024-08-19 | Paper |
| Action Functional Gradient Descent algorithm for estimating escape paths in Stochastic Chemical Reaction Networks | 2022-10-24 | Paper |
| Path-reversal, Doi-Peliti generating functionals, and dualities between dynamics and inference for stochastic processes | 2018-06-06 | Paper |
| Large-deviation principles, stochastic effective actions, path entropies, and the structure and meaning of thermodynamic descriptions | 2011-02-18 | Paper |
| A simple derivation and classification of common probability distributions based on information symmetry and measurement scale | 2010-10-11 | Paper |
| Meta Reasoning in ACL2 Lecture Notes in Computer Science | 2006-07-06 | Paper |
Research outcomes over time
This page was built for person: Eric Whitman Smith
