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
