A Probabilistic Model for Detecting Post-Biological Civilizations with Computational Efficiency Constraints | Synapse